arXiv research

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…

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.

Let $Γ$ be a Zariski dense convex cocompact subgroup contained in an arithmetic lattice of $\operatorname{SO}(n, 1)^{\circ}$. We prove uniform exponential mixing of the geodesic flow for congruence covers of the hyperbolic manifold $Γ\backslash \mathbb{H}^n$ avoiding finitely many prime ideals. This extends the work of…

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…

We provide an explicit lower bound for the sytole in principal congruence covers of compact quaternionic hyperbolic manifolds. We also prove the optimality of this lower bound.

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…

Here we survey on the growth of systoles of arithmetic locally symmetric spaces under the congruence covering and give simple proofs for the best possible constants of Gromov for several important classes of symmetric spaces.

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.

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…

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

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.

New BDEs reveal singular surfaces from line congruences.

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,…

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.

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…

DCL method improves congruency in machine learning tasks.

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.

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})$.

Study virtual braid groups, proving a key subgroup result.

Proves Congruence Subgroup Property for two types of groups.

The paper studies congruence subgroups and crystallographic quotients of small Coxeter groups.

The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces. In this article we p…