On lower bounds for cohomology growth in p-adic analytic towers

Let \(p\) and \(\ell \) be two distinct prime numbers and let \(\Gamma \) be a group. We study the asymptotic behaviour of the mod- \(\ell \) Betti numbers in \(p\) -adic analytic towers of finite index subgroups. If \(\Theta \) is a finite \(\ell \) -group of automorphisms of \(\Gamma \) , our main theorem allows to lift lower bounds for the mod- \(\ell \) cohomology growth in the fixed point group \(\Gamma ^\Theta \) to lower bounds for the growth in \(\Gamma \) . We give applications to \(S\) -arithmetic groups and we also obtain a similar result for cohomology with rational coefficients.     

Neighbour-transitive codes in Johnson graphs

The Johnson graph \(J(v,k)\) has, as vertices, the \(k\) -subsets of a \(v\) -set \(\mathcal {V}\) and as edges the pairs of \(k\) -subsets with intersection of size \(k-1\) . We introduce the notion of a neighbour-transitive code in \(J(v,k)\) . This is a proper vertex subset \(\Gamma \) such that the subgroup \(G\) of graph automorphisms leaving \(\Gamma \) invariant is transitive on both the set \(\Gamma \) of ‘codewords’ and also the set of ‘neighbours’ of \(\Gamma \) , which are the non-codewords joined by an edge to some codeword. We classify all examples where the group \(G\) is a subgroup of the symmetric group \(\mathrm{Sym}\,(\mathcal {V})\) and is intransitive or imprimitive on the underlying \(v\) -set \(\mathcal {V}\) . In the remaining case where \(G\le \mathrm{Sym}\,(\mathcal {V})\) and \(G\) is primitive on \(\mathcal {V}\) , we prove that, provided distinct codewords are at distance at least \(3\) , then \(G\) is \(2\) -transitive on \(\mathcal {V}\) . We examine many of the infinite families of finite \(2\) -transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.     

The type and stable type of the boundary of a Gromov hyperbolic group

Consider an ergodic non-singular action \(\Gamma \curvearrowright B\) of a countable group on a probability space. The type of this action codes the asymptotic range of the Radon–Nikodym derivative, also called the ratio set. If \(\Gamma \curvearrowright X\) is a pmp (probability-measure-preserving) action, then the ratio set of the product action \(\Gamma \curvearrowright B\times X\) is contained in the ratio set of \(\Gamma \curvearrowright B\) . So we define the stable ratio set of \(\Gamma \curvearrowright B\) to be the intersection over all pmp actions \(\Gamma \curvearrowright X\) of the ratio sets of \(\Gamma \curvearrowright B\times X\) . By analogy, there is a notion of stable type which codes the stable ratio set of \(\Gamma \curvearrowright B\) . This concept is crucially important for the identification of the limit in pointwise ergodic theorems established by the author and Amos Nevo. Here, we establish a general criteria for a nonsingular action of a countable group on a probability space to have stable type \(III_\lambda \) for some \(\lambda >0\) . This is applied to show that the action of a non-elementary Gromov hyperbolic group on its boundary with respect to a quasi-conformal measure is not type \(III_0\) and, if it is weakly mixing, then it is not stable type \(III_0\) .     

The large rank of a finite semigroup using prime subsets

The large rank of a finite semigroup \(\Gamma \) , denoted by \(r_5(\Gamma )\) , is the least number \(n\) such that every subset of \(\Gamma \) with \(n\) elements generates \(\Gamma \) . Howie and Ribeiro showed that \(r_5(\Gamma ) = |V| + 1\) , where \(V\) is a largest proper subsemigroup of \(\Gamma \) . This work considers the complementary concept of subsemigroups, called prime subsets, and gives an alternative approach to find the large rank of a finite semigroup. In this connection, the paper provides a shorter proof of Howie and Ribeiro’s result about the large rank of Brandt semigroups. Further, this work obtains the large rank of the semigroup of order-preserving singular selfmaps.     

Optimal mass transport and symmetric representations of their cost functions

We consider Monge–Kantorovich problems corresponding to general cost functions \(c(x,y)\) but with symmetry constraints on a Polish space \(X\times X\) . Such couplings naturally generate anti-symmetric Hamiltonians on \(X\times X\) that are \(c\) -convex with respect to one of the variables. In particular, if \(c\) is differentiable with respect to the first variable on an open subset \(X\) in \( \mathbb {R}^d\) , we show that for every probability measure \(\mu \) on \(X\) , there exists a symmetric probability measure \(\pi _0\) on \(X\times X\) with marginals \(\mu \) , and an anti-symmetric Hamiltonian \(H\) such that \(\nabla _2H(y, x)=\nabla _1c(x,y)\) for \( \pi _0\) -almost all \((x,y) \in X \times X.\) If \(\pi _0\) is supported on a graph \((x, Sx)\) , then \(S\) is necessarily a \(\mu \) -measure preserving involution (i.e., \(S^2=I\) ) and \(\nabla _2H(x, Sx)=\nabla _1c(Sx,x)\) for \(\mu \) -almost all \(x \in X.\) For monotone cost functions such as those given by \(c(x,y)=\langle x, u(y)\rangle \) or \(c(x,y)=-|x-u(y)|^2\) where \(u\) is a monotone operator, \(S\) is necessarily the identity yielding a classical result by Krause, namely that \(u(x)=\nabla _2H(x, x)\) where \(H\) is anti-symmetric and concave-convex.     

Selmer groups over {\mathbb {Z}}_p^d-extensions

Consider an abelian variety \(A\) defined over a global field \(K\) and let \(L/K\) be a \({\mathbb {Z}}_p^d\) -extension, unramified outside a finite set of places of \(K\) , with \({{\mathrm{Gal}}}(L/K)=\Gamma \) . Let \(\Lambda (\Gamma ):={\mathbb {Z}}_p[[\Gamma ]]\) denote the Iwasawa algebra. In this paper, we study how the characteristic ideal of the \(\Lambda (\Gamma )\) -module \(X_L\) , the dual \(p\) -primary Selmer group, varies when \(L/K\) is replaced by a strict intermediate \({\mathbb {Z}}_p^e\) -extension.     

Regularity of minimal hypersurfaces with a common free boundary

Let \(N\) be a Riemannian manifold and consider a stationary union of three or more \(C^{1,\mu }\) hypersurfaces-with-boundary \(M_k \subset N\) with a common boundary \(\Gamma \) . We show that if \(N\) is smooth, then \(\Gamma \) is smooth and each \(M_k\) is smooth up to \(\Gamma \) (real analytic in the case \(N\) is real analytic). Consequently we strengthen a result of Wickramasekera for stable codimension 1 integral varifolds regularity to conclude that under the stronger hypothesis that \(V\) is a stationary, stable, integral \(n\) -varifold in an \((n+1)\) -dimensional, smooth (real analytic) Riemannian manifold such that the support of \(\Vert V\Vert \) is nowhere locally the union of three or more smooth (real analytic) hypersurfaces-with-boundary meeting along a common boundary, the singular set of \(V\) is empty if \(n \le 6\) , is discrete if \(n = 7\) , and has Hausdorff dimension at most \(n-7\) if \(n \ge 8\) .     

Salem numbers in dynamics on Kähler threefolds and complex tori

Let \(X\) be a compact Kähler manifold of dimension \(k\!\le \! 4\) and \(f{:}X\!\rightarrow \! X\) a pseudo-automorphism. If the first dynamical degree \(\lambda _1(f)\) is a Salem number, we show that either \(\lambda _1(f)=\lambda _{k-1}(f)\) or \(\lambda _1(f)^2=\lambda _{k-2}(f)\) . In particular, if \({\dim }(X)=3\) then \(\lambda _1(f)=\lambda _2(f)\) . We use this to show that if \(X\) is a complex 3-torus and \(f\) is an automorphism of \(X\) with \(\lambda _1(f)>1\) , then \(f\) has a non-trivial equivariant holomorphic fibration if and only if \(\lambda _1(f)\) is a Salem number. If \(X\) is a complex 3-torus having an automorphism \(f\) with \(\lambda _1(f)=\lambda _2(f)>1\) but is not a Salem number, then the Picard number of \(X\) must be 0, 3 or 9, and all these cases can be realized.     

Ribbon graphs and mirror symmetry

Given a ribbon graph \(\Gamma \) with some extra structure, we define, using constructible sheaves, a dg category \(\mathrm {CPM}(\Gamma )\) meant to model the Fukaya category of a Riemann surface in the cell of Teichmüller space described by \(\Gamma .\) When \(\Gamma \) is appropriately decorated and admits a combinatorial “torus fibration with section,” we construct from \(\Gamma \) a one-dimensional algebraic stack \(\widetilde{X}_\Gamma \) with toric components. We prove that our model is equivalent to \(\mathcal {P}\mathrm {erf}(\widetilde{X}_\Gamma )\) , the dg category of perfect complexes on \(\widetilde{X}_\Gamma \) .     

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

Scattered linear sets generated by collineations between pencils of lines

Let \(A\) and \(B\) be two points of \(\mathrm{{PG}}(2,q^n)\) , and let \(\Phi \) be a collineation between the pencils of lines with vertices \(A\) and \(B\) . In this paper, we prove that the set of points of intersection of corresponding lines under \(\Phi \) is either the union of a scattered \(\mathrm{{GF}}(q)\) -linear set of rank \(n+1\) with the line \(AB\) or the union of \(q-1\) scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n\) with \(A\) and \(B\) . We also determine the intersection configurations of two scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n+1\) of \(\mathrm{{PG}}(2,q^n)\) both meeting the line \(AB\) in a \(\mathrm{{GF}}(q)\) -linear set of pseudoregulus type with transversal points \(A\) and \(B\) .     

Möbius characterization of the boundary at infinity of rank one symmetric spaces

Möbius structure (on a set \(X\) ) is a class of metrics having the same cross-ratios. A Möbius structure is Ptolemaic if it is invariant under inversion operations. The boundary at infinity of a \(\mathrm{CAT }(-1)\) space is in a natural way a Möbius space, which is Ptolemaic. We give a free of classification proof of the following result that characterizes the rank one symmetric spaces of noncompact type purely in terms of their Möbius geometry: Let \(X\) be a compact Ptolemy space which contains a Ptolemy circle and allows many space inversions. Then \(X\) is Möbius equivalent to the boundary at infinity of a rank one symmetric space.     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.     

A study of saturated tensor cone for symmetrizable Kac–Moody algebras

Let \(\mathfrak {g}\) be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra \(\mathfrak {h}\) and the Weyl group \(W\) . Let \(P_+\) be the set of dominant integral weights. For \(\lambda \in P_+\) , let \(L(\lambda )\) be the integrable, highest weight (irreducible) representation of \(\mathfrak {g}\) with highest weight \(\lambda \) . For a positive integer \(s\) , define the saturated tensor semigroup as $$\begin{aligned} \Gamma _s:= \{(\lambda _1, \dots , \lambda _s,\mu )\in P_+^{s+1}: \exists \, N\ge 1 \,\text {with}\,L(N\mu )\subset L(N\lambda _1)\otimes \dots \otimes L(N\lambda _s)\}. \end{aligned}$$ The aim of this paper is to begin a systematic study of \(\Gamma _s\) in the infinite dimensional symmetrizable Kac-Moody case. In this paper, we produce a set of necessary inequalities satisfied by \(\Gamma _s\) . These inequalities are indexed by products in \(H^*(G^{\mathrm{min }}/B; \mathbb {Z})\) for \(B\) the standard Borel subgroup, where \(G^{\mathrm{min }}\) is the ‘minimal’ Kac-Moody group with Lie algebra \(\mathfrak {g}\) . The proof relies on the Kac-Moody analogue of the Borel-Weil theorem and Geometric Invariant Theory (specifically the Hilbert-Mumford index). In the case that \(\mathfrak {g}\) is affine of rank 2, we show that these inequalities are necessary and sufficient. We further prove that any integer \(d>0\) is a saturation factor for \(A^{(1)}_1\) and 4 is a saturation factor for \(A^{(2)}_2\) .     

Identification of a convolution kernel in a control problem for the heat equation with a boundary memory term

We consider the evolution of the temperature \(u\) in a material with thermal memory characterized by a time-dependent convolution kernel \(h\) . The material occupies a bounded region \(\Omega \) with a feedback device controlling the external temperature located on the boundary \(\Gamma \) . Assuming both \(u\) and \(h\) unknown, we formulate an inverse control problem for an integrodifferential equation with a nonlinear and nonlocal boundary condition. Existence and uniqueness results of a solution to the inverse problem are proved.     

Finiteness of non-parabolic ends on submanifolds in spheres

We study a complete noncompact submanifold \(M^n\) in a sphere \(\mathbb {S}^{n+p}\) . We prove that the dimension of the space of \(L^2\) harmonic \(1\) -forms on \(M\) is finite and there are finitely many non-parabolic ends on \(M\) if the total curvature of \(M\) is finite and \(n\ge 3\) . This result is an improvement of Fu–Xu theorem on submanifolds in spheres and a generalized version of Cavalcante, Mirandola and Vitorio’s result on submanifolds in Hadamard manifolds.     

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .     

The V-filtration for tame unit F-crystals

Let \(X\) be a smooth variety over an algebraically closed field of characteristic \(p > 0, Z\) a smooth divisor, and \(j: U=X {\setminus } Z \rightarrow X\) the natural inclusion. We introduce in an axiomatic way the notion of a \(V\) -filtration on unit \(F\) -crystals and prove such axioms determine a unique filtration. It is shown that if \(\mathcal M \) is a tame unit \(F\) -crystal on \(U\) , then such a \(V\) -filtration along \(Z\) exists on \(j_*\mathcal M \) . The degree zero component of the associated graded module is proven to be the (unipotent) nearby cycles functor of Grothendieck and Deligne under the Emerton–Kisin Riemann–Hilbert correspondence. A few applications to \(\mathbb A ^1\) and gluing are then discussed.     

Approximate Unitary Equivalence to Skew Symmetric Operators

An operator \(T\) on a complex Hilbert space \(\mathcal {H}\) is called skew symmetric if \(T\) can be represented as a skew symmetric matrix relative to some orthonormal basis for \(\mathcal {H}\) . In this paper, we study the approximation of skew symmetric operators and provide a \(C^*\) -algebra approach to skew symmetric operators. We classify up to approximate unitary equivalence those skew symmetric operators \(T\in \mathcal {B(H)}\) satisfying \(C^*(T)\cap \mathcal {K(H)}=\{0\}\) . This is used to characterize when a unilateral weighted shift with nonzero weights is approximately unitarily equivalent to a skew symmetric operator.