A. Mark and J. Paupert [Presentations for cusped arithmetic hyperbolic lattices, 2018, arXiv:1709.06691.] presented a method to compute a presentation for any cusped complex hyperbolic lattice. In this note, we will use their method to give a presentation for the Eisenstein-Picard modular group in three complex dimensions.

We prove Wiener Tauberian theorem type results for various spaces of radial functions, which are Banach algebras on a real-rank-one semisimple Lie group G. These are natural generalizations of the Wiener Tauberian theorem for the commutative Banach algebra of the integrable radial functions on G.

Let G be a real Lie group, $\Lambda <G$ a lattice and $H\leqslant G$ a connected semisimple subgroup without compact factors and with finite center. We define the notion of H-expanding measures $\mu $ on H and, applying recent work of Eskin–Lindenstrauss, prove that $\mu $-stationary probability measures on $G/\Lambda $ are homogeneous. Transferring a construction by Benoist–Quint and drawing on ideas of Eskin–Mirzakhani–Mohammadi, we construct Lyapunov/Margulis functions to show that H-expanding random walks on $G/\Lambda $ satisfy a recurrence condition and that homogeneous subspaces are repelling. Combined with a countability result, this allows us to prove equidistribution of trajectories in $G/\Lambda $ for H-expanding random walks and to obtain orbit closure descriptions. Finally, elaborating on an idea of Simmons–Weiss, we deduce Birkhoff genericity of a class of measures with respect to some diagonal flows and extend their applications to Diophantine approximation on similarity fractals to a nonconformal and weighted setting.

In this note, assuming the nonvanishing result of explicit theta correspondence for the symplectic–orthogonal dual pair over quaternion algebra $\mathbb {H}$, we show that, for metapletic–orthogonal dual pair over $\mathbb {R}$ and the symplectic–orthogonal dual pair over quaternion algebra $\mathbb {H}$, the theta correspondence is compatible with tempered condition by directly estimating the matrix coefficients, without using the classification theorem.

Sarnak’s density conjecture is an explicit bound on the multiplicities of nontempered representations in a sequence of cocompact congruence arithmetic lattices in a semisimple Lie group, which is motivated by the work of Sarnak and Xue ([58]). The goal of this work is to discuss similar hypotheses, their interrelation and their applications. We mainly focus on two properties – the spectral spherical density hypothesis and the geometric Weak injective radius property. Our results are strongest in the p-adic case, where we show that the two properties are equivalent, and both imply Sarnak’s general density hypothesis. One possible application is that either the spherical density hypothesis or the Weak injective radius property imply Sarnak’s optimal lifting property ([57]). Conjecturally, all those properties should hold in great generality. We hope that this work will motivate their proofs in new cases.

Given a Polish group G, let $E(G)$ be the right coset equivalence relation $G^{\omega }/c(G)$, where $c(G)$ is the group of all convergent sequences in G. The connected component of the identity of a Polish group G is denoted by $G_0$.

Let $G,H$ be locally compact abelian Polish groups. If $E(G)\leq _B E(H)$, then there is a continuous homomorphism $S:G_0\rightarrow H_0$ such that $\ker (S)$ is non-archimedean. The converse is also true when G is connected and compact.

For $n\in {\mathbb {N}}^+$, the partially ordered set $P(\omega )/\mbox {Fin}$ can be embedded into Borel equivalence relations between $E({\mathbb {R}}^n)$ and $E({\mathbb {T}}^n)$.

Let $S=\{p_1, \ldots , p_r,\infty \}$ for prime integers $p_1, \ldots , p_r.$ Let X be an S-adic compact nilmanifold, equipped with the unique translation-invariant probability measure $\mu .$ We characterize the countable groups $\Gamma $ of automorphisms of X for which the Koopman representation $\kappa $ on $L^2(X,\mu )$ has a spectral gap. More specifically, let Y be the maximal quotient solenoid of X (thus, Y is a finite-dimensional, connected, compact abelian group). We show that $\kappa $ does not have a spectral gap if and only if there exists a $\Gamma $-invariant proper subsolenoid of Y on which $\Gamma $ acts as a virtually abelian group,

Answering a question by Chatterji–Druţu–Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty ]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space ($0< p<\infty$) with unbounded orbits if and only if $p \geq p_G$. A similar result holds for the existence of proper continuous affine isometric actions on $L_p$ spaces. Using a representation of cohomology by harmonic cocycles, we also show that such unbounded orbits cannot occur when the linear part comes from a measure-preserving action, or more generally a state-preserving action on a von Neumann algebra and $p>2$. We also prove the stability of this critical constant $p_G$ under $L_p$ measure equivalence, answering a question of Fisher.

We state a conjecture that relates the derived category of smooth representations of a $p$-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case of the principal block of ${\rm GL}_n$ by showing that the functor should be given by the derived tensor product with the family of representations interpolating the modified Langlands correspondence over the stack of L-parameters that is suggested by the work of Helm and of Emerton and Helm.

We construct an action of the affine Hecke category on the principal block $\mathrm {Rep}_0(G_1T)$ of $G_1T$-modules where G is a connected reductive group over an algebraically closed field of characteristic $p> 0$, T a maximal torus of G and $G_1$ the Frobenius kernel of G. To define it, we define a new category with a Hecke action which is equivalent to the combinatorial category defined by Andersen-Jantzen-Soergel.

We study the arithmeticity of $\mathbb {C}$-Fuchsian subgroups of some nonarithmetic lattices constructed by Deraux et al. [‘New non-arithmetic complex hyperbolic lattices’, Invent. Math. 203 (2016), 681–771]. Our results give an answer to a question raised by Wells [Hybrid Subgroups of Complex Hyperbolic Isometries, Doctoral thesis, Arizona State University, 2019].

Let $\alpha $ be a $C^{\infty }$ volume-preserving action on a closed n-manifold M by a lattice $\Gamma $ in $\mathrm {SL}(n,\mathbb {R})$, $n\ge 3$. Assume that there is an element $\gamma \in \Gamma $ such that $\alpha (\gamma )$ admits a dominated splitting. We prove that the manifold M is diffeomorphic to the torus ${{\mathbb T}^{n}={\mathbb R}^{n}/{\mathbb Z}^{n}}$ and $\alpha $ is smoothly conjugate to an affine action. Anosov diffeomorphisms and partial hyperbolic diffeomorphisms admit a dominated splitting. We obtained a topological global rigidity when $\alpha $ is $C^{1}$. We also prove similar theorems for actions on $2n$-manifolds by lattices in $\textrm {Sp}(2n,{\mathbb R})$ with $n\ge 2$ and $\mathrm {SO}(n,n)$ with $n\ge 5$.

We give cases in which nearby cycles commute with pushforward from sheaves on the moduli stack of shtukas to a product of curves over a finite field. The proof systematically uses the property that taking nearby cycles of Satake sheaves on the Beilinson–Drinfeld Grassmannian with parahoric reduction is a central functor together with a ‘Zorro's lemma’ argument similar to that of Xue [Smoothness of cohomology sheaves of stacks of shtukas, Preprint (2020), arXiv:2012.12833]. As an application, for automorphic forms at the parahoric level, we characterize the image of tame inertia under the Langlands correspondence in terms of two-sided cells.

We present a quantitative isolation property of the lifts of properly immersed geodesic planes in the frame bundle of a geometrically finite hyperbolic $3$-manifold. Our estimates are polynomials in the tight areas and Bowen–Margulis–Sullivan densities of geodesic planes, with degree given by the modified critical exponents.

We establish (some directions of) a Ledrappier correspondence between Hölder cocycles, Patterson–Sullivan measures, etc for word-hyperbolic groups with metric-Anosov Mineyev flow. We then study Patterson–Sullivan measures for $\vartheta $-Anosov representations over a local field and show that these are parameterized by the $\vartheta $-critical hypersurface of the representation. We use these Patterson–Sullivan measures to establish a dichotomy concerning directions in the interior of the $\vartheta $-limit cone of the representation in question: if ${\mathsf {u}}$ is such a half-line, then the subset of ${\mathsf {u}}$-conical limit points has either total mass if $|\vartheta |\leq 2$ or zero mass if $|\vartheta |\geq 4.$ The case $|\vartheta |=3$ remains unsettled.

Given a continuous and isometric action of a Polish group G on an adequate Polish topometric space $(X,\tau ,\rho )$ and $x \in X$, we find a necessary and sufficient condition for $\overline {Gx}^{\rho }$ to be co-meagre; we also obtain a criterion that characterizes when such a point exists. This work completes a criterion established in earlier work of the authors.

In this paper, we give an explicit computable algorithm for the Zelevinsky–Aubert duals of irreducible representations of $p$-adic symplectic and odd special orthogonal groups. To do this, we establish explicit formulas for certain derivatives and socles. We also give a combinatorial criterion for the irreducibility of certain parabolically induced representations.

Let ${\mathcal A}$ be a Banach algebra, and let $\varphi $ be a nonzero character on ${\mathcal A}$. For a closed ideal I of ${\mathcal A}$ with $I\not \subseteq \ker \varphi $ such that I has a bounded approximate identity, we show that $\operatorname {WAP}(\mathcal {A})$, the space of weakly almost periodic functionals on ${\mathcal A}$, admits a right (left) invariant $\varphi $-mean if and only if $\operatorname {WAP}(I)$ admits a right (left) invariant $\varphi |_I$-mean. This generalizes a result due to Neufang for the group algebra $L^1(G)$ as an ideal in the measure algebra $M(G)$, for a locally compact group G. Then we apply this result to the quantum group algebra $L^1({\mathbb G})$ of a locally compact quantum group ${\mathbb G}$. Finally, we study the existence of left and right invariant $1$-means on $ \operatorname {WAP}(\mathcal {T}_{\triangleright }({\mathbb G}))$.

Let $\mathbb {V}$ be a polarized variation of Hodge structure over a smooth complex quasi-projective variety $S$. In this paper, we give a complete description of the typical Hodge locus for such variations. We prove that it is either empty or equidistributed with respect to a natural differential form, the pull–push form. In particular, it is always analytically dense when the pull–push form does not vanish. When the weight is two, the Hodge numbers are $(q,p,q)$ and the dimension of $S$ is least $rq$, we prove that the typical locus where the Picard rank is at least $r$ is equidistributed in $S$ with respect to the volume form $c_q^r$, where $c_q$ is the $q$th Chern form of the Hodge bundle. We obtain also several equidistribution results of the typical locus in Shimura varieties: a criterion for the density of the typical Hodge loci of a variety in $\mathcal {A}_g$, equidistribution of certain families of CM points and equidistribution of Hecke translates of curves and surfaces in $\mathcal {A}_g$. These results are proved in the much broader context of dynamics on homogeneous spaces of Lie groups which are of independent interest. The pull–push form appears in this greater generality, we provide several tools to determine it, and we compute it in many examples.

In his 1985 paper, Sullivan sketched a proof of his structural stability theorem for differentiable group actions satisfying certain expansion-hyperbolicity axioms. In this paper, we relax Sullivan’s axioms and introduce a notion of meandering hyperbolicity for group actions on geodesic metric spaces. This generalization is substantial enough to encompass actions of certain nonhyperbolic groups, such as actions of uniform lattices in semisimple Lie groups on flag manifolds. At the same time, our notion is sufficiently robust, and we prove that meandering-hyperbolic actions are still structurally stable. We also prove some basic results on meandering-hyperbolic actions and give other examples of such actions.