arXiv research

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

Technical report classifies all principal congruence link groups.

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

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

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

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.

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

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…

New discretizations of principal curvature lines discovered.

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

There is a natural duality between line congruences in $\mathbb{R}^3$ and surfaces in $\mathbb{R}^4$ that sends principal lines into asymptotic lines. The same correspondence takes the discriminant curve of a line congruence into the parabolic curve of the dual surface. Moreover, it takes the ridge curves to the flat r…

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

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…

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 cohomology of special linear groups over Euclidean number rings.

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…

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

We examine the large systole problem, which concerns compact hyperbolic Riemannian surfaces whose systole, the length of the shortest noncontractible loops, grows logarithmically in genus. The generalization of a construction of Buser and Sarnak by Katz, Schaps, and Vishne, which uses principal "congruence" subgroups o…

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…

Study top dimensional cohomology groups of congruence subgroups of SL_n(Z).

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…

Projective resolves symplectic Steinberg module for number rings.

Study on braid group quotients by congruence subgroups.

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…

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

We prove that a deformation of a hypersurface in a $(n+1)$-dimensional real space form ${\mathbb S}^{n+1}_{p,1}$ induce a Hamiltonian variation of the normal congruence in the space ${\mathbb L}({\mathbb S}^{n+1}_{p,1})$ of oriented geodesics. As an application, we show that every Hamiltonian minimal sumbanifold in ${\…

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

The paper explores discrete isothermic nets using checkerboard patterns in quadrilateral nets.

We introduce the palindromic automorphism group and the palindromic Torelli group of a right-angled Artin group A_G. The palindromic automorphism group Pi A_G is related to the principal congruence subgroups of GL(n,Z) and to the hyperelliptic mapping class group of an oriented surface, and sits inside the centraliser …

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.

A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group ΠA_n of the free group F_n consists of automorphisms that take each member of some fixed free basis of F_n to a palindrome; the group ΠA_n has close connections with h…

Paper explores relations between braid groups and their quotients.

We study conformally flat hypersurfaces $f\colon M^{3} \to \Q^{4}(c)$ with three distinct principal curvatures and constant mean curvature $H$ in a space form with constant sectional curvature $c$. First we extend a theorem due to Defever when $c=0$ and show that there is no such hypersurface if $H\neq 0$. Our main res…

New BDEs reveal singular surfaces from line congruences.

Criterion for congruence RFRS towers in hyperbolic lattices.

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

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 investigate modular embeddings for semi-arithmetic Fuchsian groups. First we prove some purely algebro-geometric or even topological criteria for a regular map from a smooth complex curve to a quaternionic Shimura variety to be covered by a modular embedding. Then we set up an adelic formalism for modular embeddings…

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.

For a congruence of straight lines defined by a hypersurface in $R^{n+1}, n \geq 1,$ and a field of reflected directions created by a point source we define the notion of intensity in a tangent direction and introduce elementary symmetric functions $S_m, m=1, 2,...,n,$ of {\it principal intensities}. The problem of exi…

The f-invariant is a higher version of the e-invariant that takes values in the divided congruences between modular forms; it can be formulated as an elliptic genus of manifolds with corners of codimension two. In this thesis, we develop a geometrical interpretation of the f-invariant in terms of index theory, thereby …