arXiv research

Uniform mixing proved for hyperbolic manifolds using congruence covers.

We study how the systole of principal congruence coverings of a Hilbert modular variety grows when the degree of the covering goes to infinity. We prove that given a Hilbert modular variety $M$ of real dimension $2n$, the sequence of principal congruence coverings $M_{I}$ eventually satisfies $$sysπ_{1}(M_{I})\geq \fra…

Lower bounds for systole growth in quaternionic hyperbolic manifolds.

Survey on systole growth in congruence symmetric spaces.

Study finds lower bounds on flat cycles in congruence covers of symmetric spaces.

Researchers prove a spectral gap for Hecke covers of Schottky surfaces.

Study growth of systoles in arithmetic manifolds, focusing on $k$-dimensional cases.

Given a rational homology sphere M, whose splice diagram satisfy the semigroup condition, Neumann and Wahl were able to define a complete intersection surface singularity called splice diagram singularity from the splice diagram of M. They were also able to show that under an additional hypothesis on M called the congr…

We study Veech groups of covering surfaces of primitive translation surfaces. Therefore we define congruence subgroups in Veech groups of primitive translation surfaces using their action on the homology with entries in $\mathbb{Z}/a\mathbb{Z}$. We introduce a congruence level definition and a property of a primitive t…

Let G=SO(n,1) and Gamma a geometrically finite Zariski dense subgroup of G which is contained in an arithmetic subgroup of G. Denoting by Gamma(q) the principal congruence subgroup of Gamma of level q, and fixing a positive number λ_0 strictly smaller than (n-1)^2/4, we show that, as q tends to infinity along primes, t…

In this paper we show that flat (m-1)-dimensional tori give nontrivial rational homology cycles in congruence covers of the locally symmetric space SL(m,Z) \SL(m,R)/SO(m). We also show that the dimension of the subspace of H_{m-1}(Γ\SL(m,R)/SO(m);Q) spanned by flat (m-1)-tori grows as one goes up in congruence covers.

Given a closed hyperbolic 3-manifold $M$, we construct a tower of covers with increasing Heegaard genus, and give an explicit lower bound on the Heegaard genus of such covers as a function of their degree. Using similar methods we prove that for any $ε>0$ there exist infinitely many congruence covers $\{M_i\}$ such tha…

We determine C-special subgroups of the Bianchi groups of index bounded above by 120 by effectivising the arguments of Agol-Long-Reid. These subgroups are congruence of level 2 or 4 and retract to the free group on two generators. As a consequence, we find a C-special 20-sheeted cover of the figure-eight knot complemen…

In this paper we prove that, for any arithmetic hyperbolic $n$-manifold $M$ of the first type, the systole of most of the principal congruence coverings $M_{I}$ satisfy $sys_{1}(M_{I})\geq \frac{8}{n(n+1)}\log(vol(M_{I}))-c,$ where $c$ is a constant independent of $I$. This generalizes previous work of Buser and Sarn…

We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound sys(X) > 4/3 log g(X) on the systole, where g is the genus. We also exhibit the Bolza group a…

Let $Γ<\mathrm{SL}_2(\mathbb{Z})$ be a non-elementary finitely generated subgroup and let $Γ(q)$ be its congruence subgroup of level $q$ for each $q\in \mathbb{N}$. We obtain an asymptotic formula for the matrix coefficients of $L^2(Γ(q) \backslash \mathrm{SL}_2(\mathbb{R}))$ with a {\it uniform} exponential error term…

These are the lecture notes for my course at the 2011 Park City Mathematics Graduate Summer School. The first two lectures covered the basics of the Torelli group and the Johnson homomorphism, and the third and fourth lectures discussed the second cohomology group of the level p congruence subgroup of the mapping class…

We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold.…

In this paper we study the systole growth of arithmetic locally symmetric spaces up congruence covers and show that this growth is at least logarithmic in volume. This generalizes previous work of Buser and Sarnak as well as Katz, Schaps and Vishne where the case of compact hyperbolic 2- and 3-manifolds was considered.

Study on braid group quotients by congruence subgroups.

The paper describes the geometric properties of line congruences' singularities.

The paper classifies singularities of line congruences in 4D space.

Explicitly bounds the spectral gap for Schottky subgroups of SL(2,Z).

Study on braid groups' congruence subgroups and their crystallographic quotients.

The paper classifies singularities of plane congruences and affine distance functions.

Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f: weak f-congruence, f-congruence, and strong f-congruence. If f is odd, weak f-congruence preserves the ring structure on cohomology with Z_f-coefficients. We…

This paper explores geometric insights into discrete R-congruences and their envelopes.

We enumerate all the principal congruence link complements in $S^3$, there by answering a question of W. Thurston. Related articles: "Technical Report: All Principal Congruence Link Groups" (arXiv:1902.04722), "All Known Principal Congruence Links" (arXiv:1902.04426).

Paper explores relations between braid groups and their quotients.

Starting with an O(2)-principal fibration over a closed oriented surface F_g, g>=1, a 2-fold covering of the total space is said to be special when the monodromy sends the fiber SO(2) = S^1 to the nontrivial element of Z_2. Adapting D Jonhson's method [Spin structures and quadratic forms on surfaces, J London Math Soc,…

New BDEs reveal singular surfaces from line congruences.

Technical report classifies all principal congruence link groups.

The study explores congruence subgroups of braid groups and their quotients.

Criterion for congruence RFRS towers in hyperbolic lattices.

Study of line congruences for Appell's rank-4 hypergeometric functions.

This paper explores dual relations between line congruences and surfaces in 3D and 4D.

Abstract lists known link diagrams for all principal congruence link complements.

DCL method improves congruency in machine learning tasks.

We give a sufficient condition for isometric actions to have the congruency of orbits, that is, all orbits are isometrically congruent to each other. As applications, we give simple and unified proofs for some known congruence results, and also provide new examples of isometric actions on symmetric spaces of noncompact…

Characterizes W-congruences to study their stable umbilical points.

We continue the investigation of the correspondence between systems of conservation laws and congruences of lines in projective space. Relationship between "additional" conservation laws and hypersurfaces conjugate to a congruence is established. This construction allows us to introduce, in a purely geometric way, the …

Proves congruence subgroup property for mapping class groups of hyperbolic surfaces.

Study mapping class groups of cyclic covers, focusing on liftability.

Extends Kummer's theory to singular surfaces for line congruences.

We study "how far away" a finite index subgroup G of SL(2,Z) is from being a congruence group. For this we define its deficiency of being a congruence group. We show that the index of the image of G in SL(2,Z/nZ) is biggest, if n is the general Wohlfahrt level. We furthermore show that the Veech groups of origamis (or …

Let S be a smooth affine algebraic curve, and let S' be the Riemann surface obtained by removing a point from S. We provide evidence for the congruence subgroup property of the mapping class group Mod(S') by showing that its congruence kernel lies in the centralizer of every braid in Mod(S'). As a corollary, we obtain …

The paper explores affine geometry of line congruences using singularity theory.

It is known that the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$ has a finite generating set. In this paper, we give a finite presentation of the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$.