arXiv research

Study on braid group quotients by congruence subgroups.

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

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

Proves Congruence Subgroup Property for two types of groups.

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

Study virtual braid groups, proving a key subgroup result.

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

Enhances stability ranges for Torelli and congruence subgroup homologies.

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

The study characterizes subgroups of braid groups and their finite quotients.

Paper explores relations between braid groups and their quotients.

We describe a criterion for a real or complex hyperbolic lattice to admit a RFRS tower that consists entirely of congruence subgroups. We use this to show that certain Bianchi groups $\mathrm{PSL}(\mathcal{O}_d)$ are virtually fibered on congruence subgroups, and also exhibit the first examples of RFRS Kähler groups th…

In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.

In this paper we prove that for suitable sequences of congruence subgroups of Bianchi groups, including the standard exhaustive sequences of a congruence subgroup, and even symmetric powers of the standard representation of Sl_2(C) the size of the torsion part in the first homology grows exponentially. This extends res…

Ng and Schauenburg proved that the kernel of a $(2+1)$-dimensional topological quantum field theory representation of $\mathrm{SL}(2, \mathbb{Z})$ is a congruence subgroup. Motivated by their result, we explore when the kernel of an irreducible representation of the braid group $B_3$ with finite image enjoys a congruen…

Unified framework for studying Torelli group and congruence subgroup maps.

By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group…

Study of modular representations in homology of congruence subgroups.

Study shows conjugacy of torsion in genus 2 surfaces.

Generators found for a specific subgroup of braid groups.

There is an established bijection between finite-index subgroups Gamma of Gamma(2) and bipartite graphs on surfaces, or, equivalently, certain triples of permutations. We utilize this relationship to study both congruence and noncongruence subgroups in terms of the corresponding graphs. We show some elementary criteria…

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

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…

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 …

This paper determines a minimal generating set and abelianization of a specific subgroup of SL(n,Z).

Study shows Steinberg representation's multiplicity in cohomology of congruence subgroups.

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). Th…

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…

We prove a representation stability result for the second homology groups of Torelli subgroups of mapping class groups and automorphism groups of free groups. This strengthens the results of Boldsen-Hauge Dollerup and Day-Putman. We also prove a new representation stability result for the homology of certain congruence…

Let $X$ be a locally symmetric space defined by a simple Chevalley group $G$ and a congruence subgroup of $G(\mathbb Q)$. In this generality, the Weyl law for $X$ was proved by Lindenstrauss--Venkatesh. In the case where $G$ is simply connected, we sharpen their result by giving a power saving estimate for the remainde…

Let A denote the algebraic closure of the rationals Q in the complex numbers C. Suppose G is a torsion-free group which contains a congruence subgroup as a normal subgroup of finite index and denote by U(G) the C-algebra of closed densely defined unbounded operators affiliated to the group von Neumann algebra. We prove…

Starting from the results in math.DG:1212.3161 we prove that for a given Bianchi group, certain natural coefficent modules and a lot of sequences of congruence subgroups of the size of the torsion subgroup of the first homology grows exponentially with the index (we give an explicit rate). We also prove limit multiplic…

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.

We study the congruence problem for subgroups of the modular group that appear as Veech groups of square-tiled surfaces in the minimal stratum of abelian differentials of genus two.

Computes isotropy subgroups of orthogonal matrices acting on Hermitian matrices.

Veech groups are discrete subgroups of SL(2, R) which play an important role in the theory of translation surfaces. For a special class of translation surfaces called origamis or square-tiled surfaces their Veech groups are subgroups of finite index of SL(2, Z). We show that each stratum of the space of translation sur…

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…

In a previous paper, the author (together with Matthew Emerton) proved that the completed cohomology groups of SL_N(Z) are stable in fixed degree as N goes to infinity (Z may be replaced by the ring O_F of integers of any number field). In this paper, we relate these completed cohomology groups to K-theory and Galois c…

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 …

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 calculate the abelianizations of the level $L$ subgroup of the genus $g$ mapping class group and the level $L$ congruence subgroup of the $2g \times 2g$ symplectic group for $L$ odd and $g \geq 3$.

The paper proves a free product decomposition for congruence subgroups with constraints.

In this paper, we classify all the orientable hyperbolic 5-manifolds that arise as a hyperbolic space form $H^5/Γ$ where $Γ$ is a torsion-free subgroup of minimal index of the congruence two subgroup $Γ^5_2$ of the group $Γ^5$ of positive units of the Lorentzian quadratic form $x_1^2+...+x_5^2-x_6^2$. We also show that…

We show that the modular group has an infinite family of finite index subgroups, each of which has the same trace set as the modular group itself. Various congruence subgroups of the modular group, and the Bianchi groups, are also shown to have this property. In the case of the modular group, we construct examples of s…

We study the action of the Veech group of square-tiled surfaces of genus two on homology. This action defines the homology Veech group which is a subgroup of $\textrm{SL}_2(\mathcal{O}_D)$ where $\mathcal{O}_D$ is a quadratic order of square discriminant. Extending a result of Weitze-Schmithüsen we show that also the h…

In this paper we prove that for a fixed neat principal congruence subgroup of a Bianchi group the order of the torsion part of its second cohomology group with coefficients in an integral lattice associated to the m-th symmetric power of the standard representation of SL_2(C) grows exponentially in m^2. We give upper a…

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…