相关论文: Special subvarieties of non-arithmetic ball quotie…
Let $\Gamma$ be a lattice in $\mathrm{SO}_0(n, 1)$. We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$, then $\Gamma$ is arithmetic. This answers a…
Let $G/\Gamma$ be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups $H$ of $G$ that is large enough, the orbits of $H$ on $G/\Gamma$ intersect nontrivially with a fixed compact set. As a…
We attack a conjecture of J. Rogawski: any cocompact lattice in $S U (2, 1)$ for which the ball quotient $X = B^2 / \Gamma$ satisfies $b_1 (X) = 0$ and $H^{1, 1} (X) \cap H^2 (X, \bbq) \approx \bbq$ is arithmetic. We prove the Archimedian…
We extend the Ax-Schanuel theorem recently proven for Shimura varieties by Mok-Pila-Tsimerman to all varieties supporting a pure polarized integral variation of Hodge structures. The essential new ingredient is a volume bound on Griffiths…
Arithmetic quotients are quotients of bounded symmetric domains by arithmetic groups, and modular subvarieties of arithmetic quotients are themselves arithmetic quotients of lower dimension which live on arithmetic quotients, by an…
If $\Gamma$ is any nonuniform lattice in the group ${\rm PU}(2,1)$, let $\overline{\Gamma}$ be the quotient of $\Gamma$ obtained by filling the cusps of $\Gamma$ (i.e. killing the center of parabolic subgroups). Assuming that such a lattice…
In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important…
In the present article we study the following problem. Let G be a linear algebraic group over Q, $\Gamma$ be an arithmetic lattice and H be an observable Q-subgroup. There is a H-invariant measure $\mu_H$ supported on the closed submanifold…
Let \Gamma be a lattice in G=SL(n,R) and X=G/S a homogeneous space of G, where S is a closed subgroup of G which contains a real algebraic subgroup H such that G/H is compact. We establish uniform distribution of orbits of \Gamma in X…
Let H be a discrete cocompact subgroup of SL_2(C). We conjecture that the quotient manifold X=SL_2(C)/H contains infinitely many non-isogeneous elliptic curves and prove that this is indeed the case if Schanuel's conjecture holds. We also…
We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are…
Let $\omega$ be a point in the upper half plane, and let $\Gamma$ be a discrete, finite covolume subgroup of $\mathrm{PSL}_2(\mathbb{R})$. We conjecture an explicit formula for the pair correlation of the angles between geodesic rays of the…
Suppose $\Gamma < \mathrm{PU}(n,1)$ is a cocompact arithmetic lattice of simplest type with profinite completion $\widehat{\Gamma}$. This paper proves there is an open subgroup $\widehat{\Gamma}_0 \le \widehat{\Gamma}$ such that…
We show that for a typical high rank arithmetic lattice $\Gamma$, there exist finite index subgroups $\Gamma_{1}$ and $\Gamma_{2}$ such that $\Gamma_{1} \not\simeq \Gamma_{2}$ while $\widehat{\Gamma_{1}} \simeq \widehat{\Gamma_{2}}$. But…
We prove a functional transcendence theorem for the integrals of algebraic forms in families of algebraic varieties. This allows us to prove a geometric version of Andr\'e's generalization of the Grothendieck period conjecture, which we…
We prove that in a cocompact complex hyperbolic arithmetic lattice $\Gamma < {\rm PU}(m,1)$ of the simplest type, deep enough finite index subgroups admit plenty of homomorphisms to $\mathbb{Z}$ with kernel of type $\mathscr{F}_{m-1}$ but…
For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture…
Let $\Gamma$ be a discrete and torsion-free subgroup of $\mathrm{PU}(n,1)$, the group of biholomorphisms of the unit ball in $\mathbb{C}^{n}$, denoted by $\mathbb{H}^{n}_{\mathbb{C}}$. We show that if $\Gamma$ is Abelian, then…
For any $g_1, g_2 \ge 0$, this paper shows that there is a cocompact lattice $\Gamma < \mathrm{PU}(2,1)$ such that the ball quotient $\Gamma \backslash \mathbb{B}^2$ is birational to a product $C_1 \times C_2$ of smooth projective curves…
For $n \ge 2$, we prove that a finite volume complex hyperbolic $n$-manifold containing infinitely many maximal properly immersed totally geodesic submanifolds of dimension at least two is arithmetic, paralleling our previous work for real…