On the Skitovich–Darmois theorem for some locally compact Abelian groups

Let X be a locally compact Abelian group, \(\alpha _{j}, \beta _j\) be topological automorphisms of X. Let \(\xi _1, \xi _2\) be independent random variables with values in X and distributions \(\mu _j\) with non-vanishing characteristic functions. It is known that if X contains no subgroup topologically isomorphic to the circle group \(\mathbb {T}\), then the independence of the linear forms \(L_1=\alpha _1\xi _1+\alpha _2\xi _2\) and \(L_2=\beta _1\xi _1+\beta _2\xi _2\) implies that \(\mu _j\) are Gaussian distributions. We prove that if X contains no subgroup topologically isomorphic to \(\mathbb {T}^2\), then the independence of \(L_1\) and \(L_2\) implies that \(\mu _j\) are either Gaussian distributions or convolutions of Gaussian distributions and signed measures supported in a subgroup of X generated by an element of order 2. The proof is based on solving the Skitovich–Darmois functional equation on some locally compact Abelian groups.     

Effective adjunction theory

Here we investigate the property of effectivity for adjoint divisors. Among others, we prove the following results: A projective variety X with at most canonical singularities is uniruled if and only if for each very ample Cartier divisor H on X we have \(H^0(X, m_0K_X+H)=0\) for some \(m_0=m_0(H)>0\). Let X be a projective 4-fold, L an ample divisor and t an integer with \(t \ge 3\). If \(K_X+tL\) is pseudo-effective, then \(H^0(X, K_X+tL) \ne 0\).     

A spectral-like decomposition for transitive Anosov flows in dimension three

Given a (transitive or non-transitive) Anosov vector field X on a closed three dimensional manifold M, one may try to decompose (M, X) by cutting M along tori and Klein bottles transverse to X. We prove that one can find a finite collection \(\{S_1,\dots ,S_n\}\) of pairwise disjoint, pairwise non-parallel tori and Klein bottles transverse to X, such that the maximal invariant sets \(\Lambda _1,\dots ,\Lambda _m\) of the connected components \(V_1,\dots ,V_m\) of \(M-(S_1\cup \dots \cup S_n)\) satisfy the following properties:

• each \(\Lambda _i\) is a compact invariant locally maximal transitive set for X;
• the collection \(\{\Lambda _1,\dots ,\Lambda _m\}\) is canonically attached to the pair (M, X) (i.e. it can be defined independently of the collection of tori and Klein bottles \(\{S_1,\dots ,S_n\}\));
• the \(\Lambda _i\)’s are the smallest possible: for every (possibly infinite) collection \(\{S_i\}_{i\in I}\) of tori and Klein bottles transverse to X, the \(\Lambda _i\)’s are contained in the maximal invariant set of \(M-\cup _i S_i\).

To a certain extent, the sets \(\Lambda _1,\dots ,\Lambda _m\) are analogs (for Anosov vector field in dimension 3) of the basic pieces which appear in the spectral decomposition of a non-transitive axiom A vector field. Then we discuss the uniqueness of such a decomposition: we prove that the pieces of the decomposition \(V_1,\dots ,V_m\), equipped with the restriction of the Anosov vector field X, are “almost unique up to topological equivalence”.

     

Representation of real Riesz maps on a strong <Emphasis Type="Italic">f</Emphasis>-ring by prime elements of a frame

In classical topology, it is proved that for a topological space X, every bounded Riesz map \(\varphi :C (X) \rightarrow {\mathbb {R}}\) is of the from \({\hat{x}}\) for a point \(x\in X\). In this paper, our main purpose is to prove a version of this result by lattice-valued maps. A ring representation of the from \(A\rightarrow {\mathbb {R}}\) is constructed. This representation is denoted by \(\widetilde{p_c}\) that is an onto f-ring homomorphism for every \(p\in \Sigma L\), where its index c, denotes a cozero lattice-valued map. Also, it is shown that for every Riesz map \(\phi :A\rightarrow {\mathbb {R}} \) and \(c\in F(A, L)\) with specific properties, there exists \(p\in \Sigma L\) such that \(\phi =\phi (1)\widetilde{p_c}\).     

The distortion dimension of $$\mathbb $$-rank 1 lattices

Let \(X=G/K\) be a symmetric space of noncompact type and rank \(k\ge 2\). We prove that horospheres in X are Lipschitz \((k-2)\)-connected if their centers are not contained in a proper join factor of the spherical building of X at infinity. As a consequence, the distortion dimension of an irreducible \(\mathbb {Q}\)-rank-1 lattice \(\Gamma \) in a linear, semisimple Lie group G of \(\mathbb R\)-rank k is \(k-1\). That is, given \(m< k-1\), a Lipschitz m-sphere S in (a polyhedral complex quasi-isometric to) \(\Gamma \), and a \((m+1)\)-ball B in X (or G) filling S, there is a \((m+1)\)-ball \(B'\) in \(\Gamma \) filling S such that \({{\mathrm{vol}}}B'\sim {{\mathrm{vol}}}B\). In particular, such arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension \(k-1\).     

On expansion and topological overlap

We give a detailed and easily accessible proof of Gromov’s Topological Overlap Theorem. Let X be a finite simplicial complex or, more generally, a finite polyhedral cell complex of dimension d. Informally, the theorem states that if X has sufficiently strong higher-dimensional expansion properties (which generalize edge expansion of graphs and are defined in terms of cellular cochains of X) then X has the following topological overlap property: for every continuous map \(X\rightarrow \mathbb {R}^d\) there exists a point \(p\in \mathbb {R}^d\) that is contained in the images of a positive fraction \(\mu >0\) of the d-cells of X. More generally, the conclusion holds if \(\mathbb {R}^d\) is replaced by any d-dimensional piecewise-linear manifold M, with a constant \(\mu \) that depends only on d and on the expansion properties of X, but not on M.     

Hermitian rank distance codes

Let \(X=X(n,q)\) be the set of \(n\times n\) Hermitian matrices over \(\mathbb {F}_{q^2}\). It is well known that X gives rise to a metric translation association scheme whose classes are induced by the rank metric. We study d-codes in this scheme, namely subsets Y of X with the property that, for all distinct \(A,B\in Y\), the rank of \(A-B\) is at least d. We prove bounds on the size of a d-code and show that, under certain conditions, the inner distribution of a d-code is determined by its parameters. Except if n and d are both even and \(4\le d\le n-2\), constructions of d-codes are given, which are optimal among the d-codes that are subgroups of \((X,+)\). This work complements results previously obtained for several other types of matrices over finite fields.     

On a Characterization of Idempotent Distributions on Discrete Fields and on the Field of <Emphasis Type="Italic">p</Emphasis>-Adic Numbers

We prove the following theorem. Let X be a discrete field, and \(\xi \) and \(\eta \) be independent identically distributed random variables with values in X and distribution \(\mu \). The random variables \(S=\xi +\eta \) and \(D=(\xi -\eta )^2\) are independent if and only if \(\mu \) is an idempotent distribution. A similar result is also proved in the case when \(\xi \) and \(\eta \) are independent identically distributed random variables with values in the field of p-adic numbers \({\mathbf {Q}}_p\), where \(p>2\), assuming that the distribution \(\mu \) has a continuous density.     

Linear extensions of some Baire-one functions

Let X be a Hausdorff topological space, and let \({\mathscr {B}}_1(X)\) denote the space of all real Baire-one functions defined on X. Let A be a nonempty subset of X endowed with the topology induced from X, and let \({\mathscr {F}}(A)\) be the set of functions \(A\rightarrow {\mathbb R}\) with a property \({\mathscr {F}}\) making \({\mathscr {F}}(A)\) a linear subspace of \({\mathscr {B}}_1(A)\). We give a sufficient condition for the existence of a linear extension operator \(T_A:{\mathscr {F}}(A)\rightarrow {\mathscr {F}}(X)\), where \({\mathscr {F}}\) means to be piecewise continuous on a sequence of closed and \(G_\delta \) subsets of X and is denoted by \({\mathscr {P}_0}\). We show that \(T_A\) restricted to bounded elements of \({\mathscr {F}}(A)\) endowed with the supremum norm is an isometry. As a consequence of our main theorem, we formulate the conclusion about existence of a linear extension operator for the classes of Baire-one-star and piecewise continuous functions.     

A group of continuous self-maps on a topological groupoid

The group of bisections of groupoids plays an important role in the study of Lie groupoids. In this paper another construction is introduced. Indeed, for a topological groupoid G, the set of all continuous self-maps f on G such that (x, f(x)) is a composable pair for every \(x\in G\), is denoted by \(S_G\). We show that \(S_G\) by a natural binary operation is a monoid. \(S_G(\alpha )\), the group of units in \(S_G\) precisely consists of those \(f\in S_G\) such that the map \(x\mapsto xf(x)\) is a bijection on G. Similar to the group of bisections, \(S_G(\alpha )\) acts on G from the right and on the space of continuous self-maps on G from the left. It is proved that \(S_G(\alpha )\) with the compact- open topology inherited from C(G, G) is a left topological group. For a compact Hausdorff groupoid G it is proved that the group of bisections of \(G^2\) is isomorphic to the group \(S_G(\alpha )\) and the group of transitive bisections of G, \(Bis_T(G)\), is embedded in \(S_G(\alpha )\), where \(G^2\) is the groupoid of all composable pairs.     

Complements of convex topologies on products of finite totally ordered spaces

Let X be a finite product of finite totally ordered topological spaces. We show that in the lattice of topologies on X, every convex topology \(\tau \) on X has a convex complement \(\tau '\).     

Morse inequalities for Fourier components of Kohn–Rossi cohomology of CR manifolds with $$S^1$$-action

Let X be a compact connected CR manifold of dimension \(2n-1, n\ge 2\) with a transversal CR \(S^1\)-action on X. We study the Fourier components of the Kohn–Rossi cohomology with respect to the \(S^1\)-action. By studying the Szegö kernel of the Fourier components we establish the Morse inequalities on X. Using the Morse inequalities we have established on X we prove that there are abundant CR functions on X when X is weakly pseudoconvex and strongly pseudoconvex at a point.     

EKR Sets for Large <Emphasis Type="Italic">n</Emphasis> and <Emphasis Type="Italic">r</Emphasis>

Let \(\mathcal {A}\subset \left( {\begin{array}{c}[n]\\ r\end{array}}\right) \) be a compressed, intersecting family and let \(X\subset [n]\). Let \(\mathcal {A}(X)=\{A\in \mathcal {A}:A\cap X\ne \emptyset \}\) and \(\mathcal {S}_{n,r}=\left( {\begin{array}{c}[n]\\ r\end{array}}\right) (\{1\})\). Motivated by the Erd?s–Ko–Rado theorem, Borg asked for which \(X\subset [2,n]\) do we have \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\) for all compressed, intersecting families \(\mathcal {A}\)? We call X that satisfy this property EKR. Borg classified EKR sets X such that \(|X|\ge r\). Barber classified X, with \(|X|\le r\), such that X is EKR for sufficiently large n, and asked how large n must be. We prove n is sufficiently large when n grows quadratically in r. In the case where \(\mathcal {A}\) has a maximal element, we sharpen this bound to \(n>\varphi ^{2}r\) implies \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\). We conclude by giving a generating function that speeds up computation of \(|\mathcal {A}(X)|\) in comparison with the naïve methods.     

On commutator of generalized Aluthge transformations and Fuglede–Putnam theorem

Let \(A=U|A|\) be the polar decomposition of A on a complex Hilbert space \({\mathscr {H}}\) and \(0<s,t\). Then \({\widetilde{A}}_{s, t}=|A|^sU|A|^t\) and \({\widetilde{A}}_{s, t}^{(*)}=|A^*|^sU|A^*|^t\) are called the generalized Aluthge transformation and generalized \(*\)-Aluthge transformation of A, respectively. A pair (A, B) of operators is said to have the Fuglede–Putnam property (breifly, the FP-property) if \(AX=XB\) implies \(A^*X=XB^*\) for every operator X. We prove that if (A, B) has the FP-property, then \(({\widetilde{A}}_{s, t},{\widetilde{B}}_{s, t})\) and \((({\widetilde{A}}_{s, t})^{*},({\widetilde{B}}_{s, t})^{*})\) has the FP-property for every \(s,t>0\) with \(s+t=1\). Also, we prove that \(({\widetilde{A}}_{s, t},{\widetilde{B}}_{s, t})\) has the FP-property if and only if \((({\widetilde{A}}_{s, t})^{*},({\widetilde{B}}_{s, t})^{*})\) has the FP-property, where A, B are invertible and \( 0 < s, t \) with \( s + t =1\). Moreover, we prove that if \(0 < s, t\) and \({\widetilde{A}}_{s, t}\) is positive and invertible, then \(\left\| {\widetilde{A}}_{s, t}X-X{\widetilde{A}}_{s, t}\right\| \le \left\| A\right\| ^{2t}\left\| ({\widetilde{A}}_{s, t})^{-1}\right\| \left\| X\right\| \) for every operator X. Also, if \( 0 <s, t\) and X is positive, then \(\left\| |{\widetilde{A}}_{s, t}|^{2r} X-X|{\widetilde{A}}_{s, t}|^{2r}\right\| \le \frac{1}{2}\left\| |A|\right\| ^{2r}\left\| X\right\| \) for every \(r>0\).     

Inscribed and circumscribed polygons that characterize inner product spaces

Let X be a real normed space with unit sphere S. We prove that X is an inner product space if and only if there exists a real number \(\rho =\sqrt{(1+\cos \frac{2k\pi }{2m+1})/2}, (k=1,2,\ldots ,m; m=1,2,\ldots )\), such that every chord of S that supports \(\rho S\) touches \(\rho S\) at its middle point. If this condition holds, then every point \(u\in S\) is a vertex of a regular polygon that is inscribed in S and circumscribed about \(\rho S\).     

Szegő kernel expansion and equivariant embedding of CR manifolds with circle action

Let X be a compact strongly pseudoconvex CR manifold with a transversal CR \(S^1\)-action. In this paper, we establish the asymptotic expansion of Szeg? kernels of positive Fourier components, and by using the asymptotics, we show that X can be equivariant CR embedded into some \(\mathbb {C}^N\) equipped with a simple \(S^1\)-action. An equivariant embedding of quasi-regular Sasakian manifold is also derived.     

The dual Radon–Nikodym property for finitely generated Banach <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-modules

We extend the well-known criterion of Lotz for the dual Radon–Nikodym property (RNP) of Banach lattices to finitely generated Banach C(K)-modules and Banach C(K)-modules of finite multiplicity. Namely, we prove that if X is a Banach space from one of these classes then its Banach dual \(X^\star \) has the RNP iff X does not contain a closed subspace isomorphic to \(\ell ^1\).     

On the Diophantine equation $$X^{2N}+2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5$$

We prove that for each prime p, positive integer \(\alpha \), and non-negative integers \(\beta \) and \(\gamma \), the Diophantine equation \(X^{2N} + 2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5\) has no solution with N, X, \(Z\in \mathbb {Z}^+\), \(N > 1\), and \(\gcd (X,Z) = 1\).     

Regularity of harmonic maps from polyhedra to CAT(1) spaces

We determine regularity results for energy minimizing maps from an n-dimensional Riemannian polyhedral complex X into a CAT(1) space. Provided that the metric on X is Lipschitz regular, we prove Hölder regularity with Hölder constant and exponent dependent on the total energy of the map and the metric on the domain. Moreover, at points away from the \((n-2)\)-skeleton, we improve the regularity to locally Lipschitz. Finally, for points \(x \in X^{(k)}\) with \(k \le n-2\), we demonstrate that the Hölder exponent depends on geometric and combinatorial data of the link of \(x \in X\).     

Strong extensions for q-summing o perators acting in p-convex Banach function s paces for $$1 \le p \le q$$1≤ p≤ q

Let \(1\le p\le q<\infty \) and let X be a p-convex Banach function space over a \(\sigma \)-finite measure \(\mu \). We combine the structure of the spaces \(L^p(\mu )\) and \(L^q(\xi )\) for constructing the new space \(S_{X_p}^{\,q}(\xi )\), where \(\xi \) is a probability Radon measure on a certain compact set associated to X. We show some of its properties, and the relevant fact that every q-summing operator T defined on X can be continuously (strongly) extended to \(S_{X_p}^{\,q}(\xi )\). Our arguments lead to a mixture of the Pietsch and Maurey-Rosenthal factorization theorems, which provided the known (strong) factorizations for q-summing operators through \(L^q\)-spaces when \(1 \le q \le p\). Thus, our result completes the picture, showing what happens in the complementary case \(1\le p\le q\).