arXiv research

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

Proves Congruence Subgroup Property for two types of groups.

Study shows conjugacy of torsion in genus 2 surfaces.

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…

Enhances stability ranges for Torelli and congruence subgroup homologies.

Characterizes W-congruences to study their stable umbilical points.

This is a survey of our work on Quantum Hyperbolic Invariants (QHI) of 3-manifolds. We explain how the theory of scissors congruence classes is a powerful geometric framework for QHI and for a `Volume Conjecture' to make sense.

Unified framework for studying Torelli group and congruence subgroup maps.

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 …

In this paper, we investigate a question of Breuillard and Reid concerning which genera can be obtained by closed congruence surfaces. Specifically, we study a smaller set of objects, namely the closed congruence surfaces which can be constructed by a maximal order in a quaternion algebra, and show that there is no sur…

Study of modular representations in homology of congruence subgroups.

Automorphisms of pants complex are shown to be inner.

We propose a geometric correspondence between (a) linearly degenerate systems of conservation laws with rectilinear rarefaction curves and (b) congruences of lines in projective space whose developable surfaces are planar pencils of lines. We prove that in projective 4-space such congruences are necessarily linear. Bas…

Constructs surfaces that can be tiled by a finite set of rigid motion congruence classes of tiles.

An important problem in quaternionic hyperbolic geometry is to classify ordered $m$-tuples of pairwise distinct points in the closure of quaternionic hyperbolic n-space, $\overline{{\bf H}_\bh^n}$, up to congruence in the holomorphic isometry group ${\rm PSp}(n,1)$ of ${\bf H}_\bh^n$. In this paper we concentrate on tw…

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…

Study on braid group quotients by congruence subgroups.

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…

Virtual knots can be transformed by $2k$-moves, affecting their writhes.

We construct a family of hyperbolic link complements by gluing tangles along totally geodesic four-punctured spheres, then investigate the commensurability relation among its members. Those with different volume are incommensurable, distinguished by their scissors congruence classes. Mutation produces arbitrarily large…

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

We investigate reductions of the two-dimensional Dirac equation imposed by the requirement of the existence of a differential operator $D_n$ of order $n$ mapping its eigenfunctions to adjoint eigenfunctions. For first order operators these reductions (and multi-component analogs thereof) lead to the Lame equations desc…

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

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…

Study describes moduli of quaternionic hyperbolic triples of points.

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.

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

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

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…

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

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…

Paper explores relations between braid groups and their quotients.

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

New BDEs reveal singular surfaces from line congruences.

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

Study null geodesics on even-dimensional conformal manifolds, finding Einstein metrics and CR structures.

We introduce a technique for proving quantitative representation stability theorems for sequences of representations of certain finite linear groups over a field of characteristic zero. In particular, we prove a vanishing result for higher syzygies of VIC- and SI-modules, which can be thought of as a weaker version of …

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…

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 …

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.

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 …

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

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…

Study virtual braid groups, proving a key subgroup result.