Translates of homogeneous measures associated with observable subgroups on some homogeneous spaces

In the present article, we study the following problem. Let $\boldsymbol {G}$ be a linear algebraic group over $\mathbb {Q}$ , let $\Gamma$ be an arithmetic lattice, and let $\boldsymbol {H}$ be an observable $\mathbb {Q}$ -subgroup. There is a $H$ -invariant measure $\mu _H$ supported on the closed submanifold $H\Gamma /\Gamma$ . Given a sequence $(g_n)$ in $G$ , we study the limiting behavior of $(g_n)_*\mu _H$ under the weak- $*$ topology. In the non-divergent case, we give a rather complete classification. We further supplement this by giving a criterion of non-divergence and prove non-divergence for arbitrary sequence $(g_n)$ for certain large $\boldsymbol {H}$ . We also discuss some examples and applications of our result. This work can be viewed as a natural extension of the work of Eskin–Mozes–Shah and Shapira–Zheng.

Arithmetic lattices in unipotent algebraic groups

Fixing an arithmetic lattice Γ in an algebraic group G, the commensurability growth function assigns to each n the cardinality of the set of subgroups Δ with {[\Gamma:\Gamma\cap\Delta][\Delta:\Gamma\cap\Delta]=n}. This growth function gives a new setting where methods of F. Grunewald, D. Segal and G. C. Smith’s “Subgroups of finite index in nilpotent groups” apply to study arithmetic lattices in an algebraic group. In particular, we show that, for any unipotent algebraic {\mathbb{Z}}-group with arithmetic lattice Γ, the Dirichlet function associated to the commensurability growth function satisfies an Euler decomposition. Moreover, the local parts are rational functions in {p^{-s}}, where the degrees of the numerator and denominator are independent of p. This gives regularity results for the set of arithmetic lattices in G.

Quaternionic arithmetic lattices of rank 2 and a fake quadric in characteristic 2

We construct a torsion-free arithmetic lattice in [Formula: see text] arising from a quaternion algebra over [Formula: see text]. It is the fundamental group of a square complex with universal covering [Formula: see text], a product of trees with constant valency [Formula: see text], which has minimal Euler characteristic. Furthermore, our lattice gives rise to a fake quadric over [Formula: see text] by means of non-archimedean uniformization.

On orbits of unipotent flows on homogeneous spaces

Let G be a connected Lie group and let Γ be a lattice in G (not necessarily co-compact). We show that if (ut) is a unipotent one-parameter subgroup of G then every ergodic invariant (locally finite) measure of the action of (ut) on G/Γ is finite. For ‘arithmetic lattices’ this was proved in [2]. The present generalization is obtained by studying the ‘frequency of visiting compact subsets’ for unbounded orbits of such flows in the special case where G is a connected semi-simple Lie group of ℝ-rank 1 and Γ is any (not necessarily arithmetic) lattice in G.