arXiv research

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

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…

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…

The virtually cyclic dimension of Out(F_N) is finite and related properties are established.

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

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

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…

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

Proves Congruence Subgroup Property for two types of groups.

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…

Study shows conjugacy of torsion in genus 2 surfaces.

Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. W…

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…

We calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups arising from orders in quaternion algebras over number fields. As an application we give a lower bound for the first Betti number of a class of arithmetically defined hyperbolic 3-manifolds and we deduce…

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…

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…

Study on braid group quotients by congruence subgroups.

Study of modular representations in homology of congruence subgroups.

Analytic torsion and Reidemeister torsion help show exponential growth of torsion in cohomology.

New results on homology torsion growth for various groups.

It has been shown that non-stabilizer eigenstates of permutation gates are appropriate for allowing $d$-dimensional universal quantum computing (uqc) based on minimal informationally complete POVMs. The relevant quantum gates may be built from subgroups of finite index of the modular group $Γ=PSL(2,\mathbb{Z})$ [M. Pla…

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

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 G be an arithmetic Kleinian group, and let O be the associated hyperbolic 3-orbifold or 3-manifold. In this paper, we prove that, in many cases, G is large, which means that some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. This has many consequences, including that O has in…

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…

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

Criterion for congruence RFRS towers in hyperbolic lattices.

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…

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.

Origamis with specific groups have Veech groups that surject onto SL(2, Z/nZ).

The paper disproves the existence of certain subgroups with nontrivial rational abelianization.

Finite index subgroups of relatively hyperbolic groups have equal index.

Paper explores relations between braid groups and their quotients.

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…

Finite index subgroups of certain groups cannot act faithfully on the circle.

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…

Generators found for a specific subgroup of braid groups.

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…

The orbifold group of the Borromean rings with singular angle 90 degrees, $U$, is a universal group, because every closed oriented 3--manifold $M^{3}$ occurs as a quotient space $M^{3} = H^{3}/G$, where $G$ is a finite index subgroup of $U$. Therefore, an interesting, but quite difficult problem, is to classify the fin…

Study of subgroups in complex hyperbolic lattice triangle groups.

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…

Let Mod(S) be the extended mapping class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index …

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…