arXiv research

Theorem proves congruence for compact submanifolds in a sphere.

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.

Unified framework for studying Torelli group and congruence subgroup maps.

By calculating the Fermat limit of certain q-Fermat functions, we get explicit surgery formulae for the second and third Ohtsuki invariants for homology 3-spheres. The surgery formula of the second Ohtsuki invariant λ_2, combined with an argument using the general theory of finite type invariants of homology 3-spheres,…

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 …

We consider the generalization of classical Blaschke's Problem to higher codimension case, characterizing Darboux pair of isothermic surfaces and dual S-Willmore surfaces as the only non-trivial surface pairs that envelop a 2-sphere congruence and conformally correspond to each other. When the sphere congruence is the …

The study identifies unique fluid flow patterns.

We show that a Riemannian foliation on a topological $n$-sphere has leaf dimension 1 or 3 unless n=15 and the Riemannian foliation is given by the fibers of a Riemannian submersion to an 8-dimensional sphere. This allows us to classify Riemannian foliations on round spheres up to metric congruence.

The study characterizes surfaces with specific harmonic properties in pseudo-conformal geometry.

An explicit construction of surfaces with flat normal bundle in the Euclidean space (unit hypersphere) in terms of solutions of certain linear system is proposed. In the case of 3-space our formulae can be viewed as the direct Lie sphere analog of the generalized Weierstrass representation of surfaces in conformal geom…

New geometric interpretation of discrete Willmore energy using rolling spheres connection.

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…

Following Burstall and Hertrich-Jeromin we study the Ribaucour transformation of Legendre submanifolds in Lie sphere geometry. We give an explicit parametrization of the resulted Legendre submanifold $\hat{F}$ of a Ribaucour transformation, via a single real function $τ$ which represents the regular Ribaucour sphere co…

It is known that for each combinatorial type of convex 3-dimensional polyhedra, there is a representative with edges tangent to the unit sphere. This representative is unique up to projective transformations that fix the unit sphere. We show that there is a unique representative (up to congruence) with edges tangent to…

We discuss channel surfaces in the context of Lie sphere geometry and characterise them as certain $Ω_{0}$-surfaces. Since $Ω_{0}$-surfaces possess a rich transformation theory, we study the behaviour of channel surfaces under these transformations. Furthermore, by using certain Dupin cyclide congruences, we characteri…

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…

A Clifford algebra model for M"obius geometry is presented. The notion of Ribaucour pairs of orthogonal systems in arbitrary dimensions is introduced, and the structure equations for adapted frames are derived. These equations are discretized and the geometry of the occuring discrete nets and sphere congruences is disc…

We solve Blaschke's problem for hypersurfaces of dimension $n\geq 3$. Namely, we determine all pairs of Euclidean hypersurfaces $f,\tilde{f}\colon M^n\to\R^{n+1}$ that induce conformal metrics on $M^n$ and envelope a common sphere congruence in $\R^{n+1}$.

Minimal surfaces match symmetries and topology exactly.

Study on braid group quotients by congruence subgroups.

We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold.…

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

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.

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.

New BDEs reveal singular surfaces from line congruences.

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

Criterion for congruence RFRS towers in hyperbolic lattices.

We obtain explicitly all solutions of the SU(infinity) Toda field equation with the property that the associated Einstein-Weyl space admits a 2-sphere of divergence-free shear-free geodesic congruences. The solutions depend on an arbitrary holomorphic function and give rise to new hyperKahler and selfdual Einstein metr…

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

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…

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…

DCL method improves congruency in machine learning tasks.

This paper answers a question about discrete embeddings to maximal surfaces.

Characterizes W-congruences to study their stable umbilical points.

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 …

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 …

We derive general structure and rigidity theorems for submetries $f: M \to X$, where $M$ is a Riemannian manifold with sectional curvature $\sec M \ge 1$. When applied to a non-trivial Riemannian submersion, it follows that $diam X \leq π/2$. In case of equality, there is a Riemannian submersion $\mathbb{S} \to M$ fro…

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…

Proves Congruence Subgroup Property for two types of groups.

Study virtual braid groups, proving a key subgroup result.