Subconvex bounds for Hecke–Maass forms on compact arithmetic quotients of semisimple Lie groups

Let H be a semisimple algebraic group, K a maximal compact subgroup of $$G:=H({{\mathbb {R}}})$$ G : = H ( R ) , and $$\Gamma \subset H({{\mathbb {Q}}})$$ Γ ⊂ H ( Q ) a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke–Maass forms on the locally symmetric space $$\Gamma \backslash G/K$$ Γ \ G / K to corresponding bounds on the arithmetic quotient $$\Gamma \backslash G$$ Γ \ G for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial K-types, yielding such bounds for new classes of automorphic representations. They constitute subconvex bounds for eigenfunctions on compact manifolds with both positive and negative sectional curvature. We also obtain new subconvex bounds for holomorphic modular forms in the weight aspect.

Divergent trajectories in arithmetic homogeneous spaces of rational rank two

Let G be a semisimple real algebraic group defined over ${\mathbb {Q}}$ , $\Gamma $ be an arithmetic subgroup of G, and T be a maximal ${\mathbb {R}}$ -split torus. A trajectory in $G/\Gamma $ is divergent if eventually it leaves every compact subset. In some cases there is a finite collection of explicit algebraic data which accounts for the divergence. If this is the case, the divergent trajectory is called obvious. Given a closed cone in T, we study the existence of non-obvious divergent trajectories under its action in $G\kern-1pt{/}\kern-1pt\Gamma $ . We get a sufficient condition for the existence of a non-obvious divergence trajectory in the general case, and a full classification under the assumption that $\mathrm {rank}_{{\mathbb {Q}}}G=\mathrm {rank}_{{\mathbb {R}}}G=2$ .

Arithmetic Subgroups and Applications

Arithmetic subgroups are an important source of discrete groups acting freely on manifolds. We need to know that there exist many torsion-free 푺푺L(ퟐퟐ,ℝ) is an “arithmetic” subgroup of 푺푺L(ퟐퟐ,ℝ). The other arithmetic subgroups are not as obvious, but they can be constructed by using quaternion algebras. Replacing the quaternion algebras with larger division algebras yields many arithmetic subgroups of 푺푺L(풏풏,ℝ), with 풏풏>2. In fact, a calculation of group cohomology shows that the only other way to construct arithmetic subgroups of 푺푺L(풏풏, ℝ) is by using arithmetic groups. In this paper justifies Commensurable groups, and some definitions and examples,ℝ-forms of classical simple groups over ℂ, calculating the complexification of each classical group, Applications to manifolds. Let us start with 푺푺푺푺(푛푛,ℂ). This is already a complex Lie group, but we can think of it as a real Lie group of twice the dimension. As such, it has a complexification.

The cohomology of Torelli groups is algebraic

The Torelli group of $W_g = \#^g S^n \times S^n$ is the group of diffeomorphisms of $W_g$ fixing a disc that act trivially on $H_n(W_g;\mathbb{Z} )$ . The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $\text{Sp}_{2g}(\mathbb{Z} )$ or $\text{O}_{g,g}(\mathbb{Z} )$ . In this article we prove that for $2n \geq 6$ and $g \geq 2$ , they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent.

APPROXIMATION OF -ANALYTIC TORSION FOR ARITHMETIC QUOTIENTS OF THE SYMMETRIC SPACE

In [31] we defined a regularized analytic torsion for quotients of the symmetric space $\operatorname{SL}(n,\mathbb{R})/\operatorname{SO}(n)$ by arithmetic lattices. In this paper we study the limiting behavior of the analytic torsion as the lattices run through sequences of congruence subgroups of a fixed arithmetic subgroup. Our main result states that for principal congruence subgroups and strongly acyclic flat bundles, the logarithm of the analytic torsion, divided by the index of the subgroup, converges to the $L^{2}$-analytic torsion.

Collections of Orbits of Hyperplane Type in Homogeneous Spaces, Homogeneous Dynamics, and Hyperkähler Geometry

Consider the space M = O(p, q)/O(p) × O(q) of positive p-dimensional subspaces in a pseudo-Euclidean space V of signature (p, q), where p > 0, q > 1 and $(p,q)\neq (1,2)$, with integral structure: $V = V_{\mathbb{Z}} \otimes \mathbb{Z}$. Let Γ be an arithmetic subgroup in $G = O(V_{\mathbb{Z}})$, and $R \subset V_{\mathbb{Z}}$ a Γ-invariant set of vectors with negative square. Denote by R⊥ the set of all positive p-planes W ⊂ V such that the orthogonal complement W⊥ contains some r ∈ R. We prove that either R⊥ is dense in M or Γ acts on R with finitely many orbits. This is used to prove that the squares of primitive classes giving the rational boundary of the Kähler cone (i.e., the classes of “negative” minimal rational curves) on a hyperkähler manifold X are bounded by a number which depends only on the deformation class of X. We also state and prove the density of orbits in a more general situation when M is the space of maximal compact subgroups in a simple real Lie group.

LOCAL BORCHERDS PRODUCTS FOR UNITARY GROUPS

For the modular variety attached to an arithmetic subgroup of an indefinite unitary group of signature $(1,n+1)$, with $n\geqslant 1$, we study Heegner divisors in the local Picard group over a boundary component of a compactification. For this purpose, we introduce local Borcherds products. We obtain a precise criterion for local Heegner divisors to be torsion elements in the Picard group, and further, as an application, we show that the obstructions to a local Heegner divisor being a torsion element can be described by certain spaces of vector-valued elliptic cusp forms, transforming under a Weil representation.

Cusp forms on the exceptional group of type

Let $\mathbf{G}$ be the connected reductive group of type $E_{7,3}$ over $\mathbb{Q}$ and $\mathfrak{T}$ be the corresponding symmetric domain in $\mathbb{C}^{27}$. Let ${\rm\Gamma}=\mathbf{G}(\mathbb{Z})$ be the arithmetic subgroup defined by Baily. In this paper, for any positive integer $k\geqslant 10$, we will construct a (non-zero) holomorphic cusp form on $\mathfrak{T}$ of weight $2k$ with respect to ${\rm\Gamma}$ from a Hecke cusp form in $S_{2k-8}(\text{SL}_{2}(\mathbb{Z}))$. We follow Ikeda’s idea of using Siegel’s Eisenstein series, their Fourier–Jacobi expansions, and the compatible family of Eisenstein series.

Quantifying residual finiteness of arithmetic groups

The normal residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal residual finiteness growth ndim (G).

A twisted topological trace formula for Hecke operators and liftings from symplectic to general linear groups

For the locally symmetric space X attached to an arithmetic subgroup of an algebraic group G of ℚ-rank r, we construct a compact manifold $\tilde X$ by gluing together 2r copies of the Borel–Serre compactification of X. We apply the classical Lefschetz fixed point formula to $\tilde X$ and get formulas for the traces of Hecke operators ℋ acting on the cohomology of X. We allow twistings of ℋ by outer automorphisms η of G. We stabilize this topological trace formula and compare it with the corresponding formula for an endoscopic group of the pair (G,η) . As an application, we deduce a weak lifting theorem for the lifting of automorphic representations from Siegel modular groups to general linear groups.