arXiv research

Paper shows non-arithmetic surface with unique geometric property.

Classifies non-arithmetic orbifolds in specific hyperbolic spaces.

We construct some non-arithmetic ball quotients as branched covers of a quotient of an Abelian surface by a finite group, and compare them with lattices that previously appear in the literature. This gives an alternative construction, which is independent of the computer, of some lattices constructed by the author with…

Paper proves non-arithmetic Teichmüller length spectra for subgroup of mapping class groups.

The paper proves geometric bordisms for specific hyperbolic surfaces.

Classifies Nil 3-manifolds as cross-sections of complex hyperbolic surfaces.

Study $\mathbb{C}$-Fuchsian subgroups of non-arithmetic lattices.

We study the arithmeticity of the Couwenberg-Heckman-Looijenga lattices in PU(n,1), and show that they contain a non-arithmetic lattice in PU(3,1) which is not commensurable to the non-arithmetic Deligne-Mostow lattice in PU(3,1).

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 non-commensurable arithmetic lattices in $\mathrm{PU}(1,1)$.

We study Veech surfaces of genus 2 arising from quadratic differentials that are not squares of abelian differentials. We prove that all such surfaces of type (2,2) and (2,1,1) are arithmetic. In (1,1,1,1) case, we reduce the question to abelian differentials of type (2,2) on hyperelliptic genus 3 surfaces with singula…

We show that all the currently known non-arithmetic lattices in ${\rm PU}(2,1)$ are monodromy groups of higher hypergeometric functions.

We describe a general procedure to produce fundamental domains for complex hyperbolic triangle groups, a class of groups that contains a representative of the commensurability class of every known non-arithmetic lattice in ${\rm PU}(2,1)$. We discuss several commensurability invariants for lattices, and show that some …

New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.

Minimal non-arithmetic hyperbolic 3-orbifold found with least volume.

We show that the non-arithmetic lattices in PO(n,1) of Belolipetsky and Thomson (2011), obtained as fundamental groups of closed hyperbolic manifolds with short systole, are quasi-arithmetic in the sense of Vinberg, and, by contrast, the well-known non-arithmetic lattices of Gromov and Piatetski-Shapiro are not quasi-a…

This paper examines number theoretic and topological properties of fully augmented pretzel link complements. In particular, we determine exactly when these link complements are arithmetic and exactly which are commensurable with one another. We show these link complements realize infinitely many CM-fields as invariant …

The paper embeds non-arithmetic hyperbolic manifolds into higher-dimensional spaces.

We show that every surface in H^hyp(4) is either a Veech surface or a generic surface, i.e. its GL^+(2,R)-orbit is either a closed or a dense subset of H^hyp(4) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Recent results of Eskin-Mirzak…

For a Veech surface (x,ω), we characterize subspaces of X^n, invariant under the diagonal action of the affine group of X. We prove that non-arithmetic Veech surfaces have only finitely many invariant subspaces of very particular shape (in any dimension). Among other consequences we find copies of (X,ω) embedded in the…

We give an algebro-geometric construction of some of the non-arithmetic ball quotients constructed by the author, Parker and Paupert. The new construction reveals a relationship between the corresponding orbifold fundamental groups and the automorphism group of the Klein quartic, and also with groups constructed by Bar…

We study Deraux's non arithmetic orbifold ball quotient surfaces obtained as birational transformations of a quotient $X$ of a particular Abelian surface $A$. Using the fact that $A$ is the Jacobian of the Bolza genus $2$ curve, we identify $X$ as the weighted projective plane $\mathbb{P}(1,3,8)$. We compute the equati…

We produce a family of new, non arithmetic lattices in PU(2,1). All previously known examples were commensurable with lattices constructed by Picard, Mostow and Deligne-Mostow, and fell into 9 commensurability classes. Our groups produce 5 new distinct commensurability classes. Most of the techniques are completely gen…

Method calculates systolic length of modular curves.

The moduli space of genus 3 translation surfaces with a single zero has two connected components. We show that in the odd connected component H^{odd}(4) the only GL^+(2,R) orbit closures are closed orbits, the Prym locus Q(3,-1^3), and H^{odd}(4). Together with work of Matheus-Wright, this implies that there are only f…

Gromov and Piatetski-Shapiro proved existence of finite volume non-arithmetic hyperbolic manifolds of any given dimension. In dimension four and higher, we show that there are about v^v such manifolds of volume at most v, considered up to commensurability. Since the number of arithmetic ones tends to be polynomial, alm…

The paper finds many thin subgroups isomorphic to Gromov-Piatetski-Shapiro lattices.

Study intersections of curves on translation surfaces, focusing on regular polygons and their Teichmüller disks.

The study finds infinitely many twist knot complements with totally geodesic surfaces.

The paper disproves a conjecture about isomorphic subgroups in finite groups.

This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding horosphere packings and canonical cell decompositions. For example, we use this…

We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.

This paper classifies commensurability of Deligne-Mostow lattices.

We prove that there are at least 2 commensurability classes of minimal-volume hyperbolic 4-manifolds. Moreover, by applying a well-known technique due to Gromov and Piatetski-Shapiro, we build the smallest known non-arithmetic hyperbolic 4-manifold.

We determine the Lyapunov spectrum of ball quotients arising from cyclic coverings. The computations are performed by rewriting the sum of Lyapunov exponents as ratios of intersection numbers and by the analysis of the period map near boundary divisors. As a corollary, we complete the classification of commensurability…

In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently construct…

We prove that every homomorphism from the elementary Chevalley group over a finitely generated unital commutative ring associated with reduced irreducible classical root system of rank at least 2, and ME analogues of such groups, into acylindrically hyperbolic groups has an absolutely elliptic image. This result provid…

Fuchsian groups with a modular embedding have the richest arithmetic properties among non-arithmetic Fuchsian groups. But they are very rare, all known examples being related either to triangle groups or to Teichmueller curves. In Part I of this paper we study the arithmetic properties of the modular embedding and deve…

We show that for every $n\geq 2$ and any $ε>0$ there exists a compact hyperbolic $n$-manifold with a closed geodesic of length less than $ε$. When $ε$ is sufficiently small these manifolds are non-arithmetic, and they are obtained by a generalised inbreeding construction which was first suggested by Agol for $n=4$. We …

In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strong…

Every homomorphism from finite index subgroups of a universal lattices to mapping class groups of orientable surfaces (possibly with punctures), or to outer automorphism groups of finitely generated nonabelian free groups must have finite image. Here the universal lattice denotes the special linear group G=SL_m(Z[x1,..…

New proof shows Fuchsian groups have irrational length spectra.

We show that large classes of non-arithmetic hyperbolic $n$-manifolds, including the hybrids introduced by Gromov and Piatetski-Shapiro and many of their generalizations, have only finitely many finite-volume immersed totally geodesic hypersurfaces. In higher codimension, we prove finiteness for geodesic submanifolds o…

Study shows how to count and equidistribute cusped Hitchin representations with entropy gaps.

We investigate modular embeddings for semi-arithmetic Fuchsian groups. First we prove some purely algebro-geometric or even topological criteria for a regular map from a smooth complex curve to a quaternionic Shimura variety to be covered by a modular embedding. Then we set up an adelic formalism for modular embeddings…

Lattices in PSL(2,C) are omnipotent, acting on geodesics and homology.

We study extreme values of group-indexed stable random fields for discrete groups $G$ acting geometrically on spaces $X$ in the following cases: 1) $G$ acts freely, properly discontinuously by isometries on a CAT(-1) space $X$, 2) $G$ is a lattice in a higher rank Lie group, acting on a symmetric space $X$, 3) $G$ is t…

Let $M$ be a geometrically finite acylindrical hyperbolic 3-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained earlier by McMullen, Moh…

Proves a limit on hyperplanes in complex manifolds.