Related papers: Special subvarieties of non-arithmetic ball quotie…

Let $\Gamma$ be a nonelementary discrete subgroup of SU(n,1) or Sp(n,1). We show that if the trace field of $\Gamma$ is contained in $\mathbb R$, $\Gamma$ preserves a totally geodesic submanifold of constant negative sectional curvature.…

We show by construction that every rhombic lattice $\Gamma$ in $\mathbb{R}^{2}$ has a fundamental domain whose symmetry group contains the point group of $\Gamma$ as a subgroup of index $2$. This solves the last open case of a question…

We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices. We explore the connections with well-connected algebras and suitable generalizations, focusing in particular on representable varieties.…

We explore hybrid subgroups of certain non-arithmetic lattices in $\mathrm{PU}(2,1)$. We show that all of Mostow's lattices are virtually hybrids; moreover, we show that some of these non-arithmetic lattices are hybrids of two…

Let $\Gamma$ be a dual polar graph with diameter $D \geqslant 3$, having as vertices the maximal isotropic subspaces of a finite-dimensional vector space over the finite field $\mathbb{F}_q$ equipped with a non-degenerate form (alternating,…

We prove that the covolume of any quasi-arithmetic hyperbolic lattice (a notion that generalizes the definition of arithmetic subgroups) is a rational multiple of the covolume of an arithmetic subgroup. As a corollary, we obtain a good…

Let $M$ be a $d$-dimensional complete Riemannian manifold and let $\pi: SM \to M$ denote the canonical projection from the unit tangent bundle. We prove that if $E \subset SM$ is a set that invariant under the geodesic flow with Hausdorff…

As well-known, in a finitary algebraic structure the set $\Gamma$ of all the non-generators is the intersection of all the maximal proper substructures. In particular, $\Gamma$ is a substructure. We show that the corresponding statements…

Assuming the four exponentials conjecture, Hansel and Safer showed that if a subset $S$ of the Gaussian integers is both $\alpha=-m+i $- and $\beta=-n+i$-recognizable, then it is syndetic, and they conjectured that $S$ must be eventually…

The main result of this paper is the existence of Galois representations associated with the mod $p$ (or mod $p^m$) cohomology of the locally symmetric spaces for $\GL_n$ over a totally real or CM field, proving conjectures of Ash and…

We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral…

We prove the existence of a pair $(\Sigma ,\, \Gamma)$, where $\Sigma$ is a compact Riemann surface with $\text{genus}(\Sigma)\, \geq\, 2$, and $\Gamma\, \subset\, {\mathrm SL}(2, \mathbb C)$ is a cocompact lattice, such that there is a…

We prove a modified version for a conjecture of Weiss from 2004. Let $G$ be a semisimple real algebraic group defined over $\mathbb{Q}$, $\Gamma$ be an arithmetic subgroup of $G$. A trajectory in $G/\Gamma$ is divergent if eventually it…

We prove in this paper the Ax-Schanuel conjecture for all admissible variations of mixed Hodge structures.

We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $\Gamma_1,\ldots,\Gamma_j$ of low-degree…

Let $\Gamma$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $\Gamma$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly…

Let $\Gamma$ be a lattice in a connected semisimple Lie group $G$ with trivial center and no compact factors. We introduce a volume invariant for representations of $\Gamma$ into $G$, which generalizes the volume invariant for…

We give a simple proof about the topological rigidity of closures of certain sparse unipotent orbits in $G/\Gamma$ where $G=\prod_{i=1}^k\operatorname{SL}_2(\mathbb R)$ and $\Gamma$ is an irreducible lattice in $G$.

We introduce the general polynomial algebras characterizing a class of higher order superintegrable systems that separate in Cartesian coordinates. The construction relies on underlying polynomial Heisenberg algebras and their defining…

Let $G$ and $G'$ be simple Lie groups of equal real rank and real rank at least $2$. Let $\Gamma <G$ and $\Lambda < G'$ be non-uniform lattices. We prove a theorem that often implies that any quasi-isometric embedding of $\Gamma$ into…