arXiv research

Study integrable discretizations of cyclic systems with circular coordinate lines.

A p-periodic 3-manifold is a 3-manifold that admits a Z_{p}-action whose fixed point set is a circle. We give a congruence relates the quantum invariant of a p-periodic 3-manifold associated to any modular category over an integrally closed ground ring and the corresponding quantum invariant of its orbit space.

We show that there exist infinitely many pairs of non-homeomorphic closed oriented SOL torus bundles with the same quantum (TQFT) invariants. This follows from the arithmetic behind the conjugacy problem in $SL(2,\Z)$ and its congruence quotients, the classification of SOL (polycyclic) 3-manifold groups and an elementa…

We consider congruences of straight lines in a plane with the combinatorics of the square grid, with all elementary quadrilaterals possessing an incircle. It is shown that all the vertices of such nets (we call them incircular or IC-nets) lie on confocal conics. Our main new results are on checkerboard IC-nets in the p…

In classical surface theory there are but few known examples of surfaces admitting nontrivial isometric deformations and fewer still non-simply-connected ones. We consider the isometric deformability question for an immersion x: M \to R^3 of an oriented non-simply-connected surface with constant mean curvature H. We pr…

We consider the isometric deformation problem for oriented non simply connected immersed minimal surfaces $f:M \to S^{4}$. We prove that the space of all isometric minimal immersions of $M$ into $S^{4}$ with the same normal curvature function is, within congruences, either finite or a circle. Furthermore, we show that …

Study on braid group quotients by congruence subgroups.

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

We develop the theory of maximal representations of the fundamental group of a compact connected oriented surface with boundary, into a group of Hermitian type. For any such representation we define the Toledo invariant, for which we establish properties such as uniform boundedness on the representation variety, additi…

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

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.

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

Paper explores relations between braid groups and their quotients.

We study the moduli space of congruence classes of isometric surfaces with the same mean curvature in 4-dimensional space forms. Having the same mean curvature means that there exists a parallel vector bundle isometry between the normal bundles that preserves the mean curvature vector fields. We prove that if both Gaus…

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 …

New BDEs reveal singular surfaces from line congruences.

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

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…

Characterizes W-congruences to study their stable umbilical points.

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.

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 …

Study of $η$ invariants on lens spaces detects distinctions invisible to ordinary $η$.

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 …

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.

Proves Congruence Subgroup Property for two types of groups.

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…

One of the well-known challenges in computer vision tasks is the visual diversity of images, which could result in an agreement or disagreement between the learned knowledge and the visual content exhibited by the current observation. In this work, we first define such an agreement in a concepts learning process as con…

We give some new congruences for singular real algebraic curves which generalize Fiedler's congruence for nonsingular curves.

Theorem proves congruence for compact submanifolds in a sphere.

This is a technical report accompanying the paper "All Principal Congruence Link Groups" (arXiv:1802.01275) classifying all principal congruence link complements in S^3 by the same authors. It provides a complete overview of all cases (d,I) that had to be considered, as well as describes the necessary computations and …

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.

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…

The asymptotic lattices and their transformations are studied within the line geometry approach. It is shown that the discrete asymptotic nets are represented by isotropic congruences in the Plucker quadric. On the basis of the Lelieuvre-type representation of asymptotic lattices and of the discrete analog of the Mouta…

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

Making use of the Kerr theorem for shear-free null congruences and of Newman's representation for a virtual charge ``moving'' in complex space-time, we obtain an axisymmetric time-dependent generalization of the Kerr congruence, with a singular ring uniformly contracting to a point and expanding then to infinity. Elect…

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…

Geometry-aware models improve cross-subject EEG decoding accuracy.