arXiv research

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

Technical report classifies all principal congruence link groups.

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

By regular tessellation, we mean any hyperbolic 3-manifold tessellated by ideal Platonic solids such that the symmetry group acts transitively on oriented flags. A regular tessellation has an invariant we call the cusp modulus. For small cusp modulus, we classify all regular tessellations. For large cusp modulus, we pr…

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…

Algorithm finds knot diagrams from exterior triangulations.

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.

In a paper of Menasco and Reid, it is conjectured that there exist no hyperbolic knots in S^3 for which the complement contains a closed embedded totally geodesic surface. In this note, we show that one can get "as close as possible" to a counter-example. Specifically, we construct a sequence of hyperbolic knots {K_n} …

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.

We give necessary conditions for a polynomial to be the Conway polynomial of a two-bridge link. As a consequence, we obtain simple proofs of the classical theorems of Murasugi and Hartley. We give a modulo 2 congruence for links, which implies the classical modulo 2 Murasugi congruence for knots. We also give sharp bou…

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…

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…

Study on cohomology of special linear groups over Euclidean number rings.

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…

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 …

We consider Conway polynomials of two-bridge links as Euler continuant polynomials. As a consequence, we obtain new and elementary proofs of classical Murasugi's 1958 alternating theorem and Hartley's 1979 trapezoidal theorem. We give a modulo 2 congruence for links, which implies the classical Murasugi's 1971 congruen…

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 give a congruence relating a one variable specialization of the two variable Kauffman polynomial of any periodic link to that of its mirror image. Consequently, we obtain a new and simple criterion for periodicity of links.

Kashaev and Reshetikhin proposed a generalization of the Reshetikhin-Turaev link invariant construction to tangles with a flat connection in a principal G-bundle over the complement of the tangle. The purpose of this paper is to adapt and renormalize their construction to define invariants of G-links using the semi-cyc…

Flat fully augmented links with homeomorphic complements are equivalent.

New link types derived from old links.

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…

Preserves hyperbolicity in link complements with two moves.

We show that all two-bridge knot and link complements are virtually fibered. We also show that spherical Montesinos knot and link complements are virtually fibered. This is accomplished by showing that such knot complements are finitely covered by great circle link complements.

Study on colored Jones polynomial and link complements.

In this paper, we show that any non-arithmetic hyperbolic $2$-bridge link complement admits no hidden symmetries. As a corollary, we conclude that a hyperbolic $2$-bridge link complement cannot irregularly cover a hyperbolic $3$-manifold. By combining this corollary with the work of Boileau and Weidmann, we obtain a ch…

Geometric proof confirms link volume conjecture.

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…

New bounds on Heegaard distance for link complements in 3D space.

The purpose of this note is to announce complete answers to the following questions. (1) For an essential simple loop on a 2-bridge sphere in a 2-bridge link complement, when is it null-homotopic in the link complement? (2) For two distinct essential simple loops on a 2-bridge sphere in a 2-bridge link complement, when…

We show that every hyperbolic link complement contains closed quasi-Fuchsian surfaces. As a consequence, we obtain the result that on a hyperbolic link complement, if we remove from each cusp of the manifold a certain finite set of slopes, then all remaining Dehn fillings on the link complement yield manifolds with clo…

Checkerboard surfaces in alternating link complements are used frequently to determine information about the link. However, when many crossings are added to a single twist region of a link diagram, the geometry of the link complement stabilizes (approaches a geometric limit), but a corresponding checkerboard surface in…

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…

Study volume conjecture for links with multiple hyperbolic pieces.

This paper examines number theoretic and topological properties of fully augmented pretzel link complements. In particular, we determine exactly when these link complements are arithmetic and exactly which are commensurable with one another. We show these link complements realize infinitely many CM-fields as invariant …

Study shows certain 4D hyperbolic links don't contain geodesic 3-manifolds.

The hyperbolic volume of a link complement is known to be unchanged when a half-twist is added to a link diagram, and a suitable 3-punctured sphere is present in the complement. We generalize this to the simplicial volume of link complements by analyzing the corresponding toroidal decompositions. We then use it to prov…