arXiv research

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

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

New BDEs reveal singular surfaces from line congruences.

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

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 paper explores affine geometry of line congruences using singularity theory.

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

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…

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 …

This paper explores geometric insights into discrete R-congruences and their envelopes.

The study identifies unique fluid flow patterns.

Study integrable discretizations of cyclic systems with circular coordinate lines.

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…

New discretizations of principal curvature lines discovered.

We study the geodesic flow on the normal line congruence of a minimal surface in ${\Bbb{R}}^3$ induced by the neutral Kähler metric on the space of oriented lines. The metric is lorentz with isolated degenerate points and the flow is shown to be completely integrable. In addition, we give a new holomorphic description …

We generalize the "miraculous cancellation" formulas of Alvarez-Gaumé, Witten and Kefeng Liu to a twisted version where an extra complex line bundle is involved. We also apply our result to discuss intrinsic relations between the higher dimensional Rokhlin type congruence formulas of Ochanine [O1], Finashin [F] and Zha…

Study of modular representations in homology of congruence subgroups.

The paper proves conditions for Darboux integrability in diagonal hydrodynamic systems.

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…

Holomorphic discs converge to maximal surfaces under specific flows.

We show how to find a complete set of necessary and sufficient conditions that solve the fixed-parameter local congruence problem of immersions in $G$-spaces, whether homogeneous or not, provided that a certain $k^{\rm th}$ order jet bundle over the $G$-space admits a $G$-invariant local coframe field of constant struc…

The correspondence between 2-parameter families of oriented lines in ${\Bbb{R}}^3$ and surfaces in $T{\Bbb{P}}^1$ is studied, and the geometric properties of the lines are related to the complex geometry of the surface. Congruences generated by global sections of $T{\Bbb{P}}^1$ are investigated and a number of theorems…

We prove that the focal set generated by the reflection of a point source off a translation invariant surface consists of two sets: a curve and a surface. The focal curve lies in the plane orthogonal to the symmetry direction containing the source, while the focal surface is translation invariant. This is done by const…

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…

The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a topological, not a metric concept. That leads quickly to the notion of connectedness with…

An almost Robinson structure on an $n$-dimensional Lorentzian manifold $(\mcM,g)$, where $n=2m+ε$, $ε\in \{ 0 ,1 \}$, is a complex $m$-plane distribution $\mcN$ that is totally null with respect to the complexified metric, and intersects its complex conjugate in a real null line distribution $\mcK$, say. When $\mcN$ an…

Study of optical geometries with intrinsic torsion in general relativity.

We study the neutral Kähler metric on the space of time-like lines in Lorentzian ${\Bbb{E}}^3_1$, which we identify with the total space of the tangent bundle to the hyperbolic plane. We find all of the infinitesimal isometries of this metric, as well as the geodesics, and interpret them in terms of the Lorentzian metr…

Study on braid group quotients by congruence subgroups.

We study discrete conjugate nets whose Laplace sequence is of period four. Corresponding points of opposite nets in this cyclic sequence have equal osculating planes in different net directions, that is, they correspond in an asymptotic transformation. We show that this implies that the connecting lines of correspondin…

The space ${\Bbb{L}}$ of oriented lines, or rays, in ${\Bbb{R}}^3$ is a 4-dimensional space with an abundance of natural geometric structure. In particular, it boasts a neutral Kähler metric which is closely related to the Euclidean metric on ${\Bbb{R}}^3$. In this paper we explore the relationship between the focal se…

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…

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.

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

Criterion for congruence RFRS towers in hyperbolic lattices.

We investigate $n$-component systems of conservation laws that possess third-order Hamiltonian structures of differential-geometric type. The classification of such systems is reduced to the projective classification of linear congruences of lines in $\mathbb{P}^{n+2}$ satisfying additional geometric constraints. Algeb…

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.

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

The total space of the tangent bundle of a Kähler manifold admits a canonical Kähler structure. Parallel translation identifies the space ${\Bbb{T}}$ of oriented affine lines in ${\Bbb{R}}^3$ with the tangent bundle of $S^2$. Thus, the round metric on $S^2$ induces a Kähler structure on ${\Bbb{T}}$ which turns out to h…

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 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…

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