arXiv research

Small sub-Riemannian balls have diameter close to twice their radius.

Study proves h-principles for curves in bracket-generating distributions.

Maps to manifolds transverse to certain distributions satisfy an $h$-principle.

Constructs canonical frames for specific distributions, proving maximality and describing germs.

Extends Tanaka theory to supergeometry for upper bounds on supersymmetry.

Several representations of geometric shapes involve quotients of mapping spaces. The projection onto the quotient space defines two sub-bundles of the tangent bundle, called the horizontal and vertical bundle. We investigate in these notes the sub-Riemannian geometries of these bundles. In particular, we show for a sel…

Introduce sub-Randers metrics by adding a one-form to a sub-Riemannian metric

We introduce and study a construction of higher derived brackets generated by a (not necessarily inner) derivation of a Lie superalgebra. Higher derived brackets generated by an element of a Lie superalgebra were introduced in our earlier work. Examples of higher derived brackets naturally appear in geometry and mathem…

Local equivalence found between maximally symmetric rolling and flat Cartan distributions.

We study Bakry-Emery type estimates for the Laplace-Beltrami operator of a totally geodesic foliation. In particular, we are interested in situations for which the $Γ_2$ operator may not be bounded from below but the horizontal Bakry-Emery curvature is. As we prove it, under a bracket generating condition, this weaker …

We propose a new, infinite class of brackets generalizing the Frölicher--Nijenhuis bracket. This class can be reduced to a family of generalized Nijenhuis torsions recently introduced. In particular, the Haantjes bracket, the first example of our construction, is relevant in the characterization of Haantjes moduli of o…

Generalizes Connes's tangent groupoid for sub-Riemannian geometry.

Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M).

A conjecture about rational curves' formal principle and convergence proved for Goursat type families.

Analytic curves have infinite codimension of singular germs.

We consider $H$(eisenberg)-type groups whose law of left translation gives rise to a bracket generating distribution of step 2. In the contrast with sub-Riemannian studies we furnish the horizontal distribution with a nondegenerate indefinite metric of arbitrary index and investigate the problem concerning causal geode…

We study sub-Dirac operators that are associated with left-invariant bracket-generating sub-Riemannian structures on compact quotients of nilpotent semi-direct products $G=\mathbb{R}^n\rtimes_A\mathbb{R}$. We will prove that these operators admit an $L^2$-basis of eigenfunctions. Explicit examples show that the spectru…

Extends elliptic operator regularity to maximally hypoelliptic operators.

Each sub-Riemannian geometry with bracket generating distribution enjoys a background structure determined by the distribution itself. At the same time, those geometries with constant sub-Riemannian symbols determine a unique Cartan connection leading to their principal invariants. We provide cohomological description …

New $G_2$ symmetry found in 8D distribution with 6D square.

This work is a short, self-contained introduction to subriemannian geometry with special emphasis on Chow's Theorem. As an application, a regularity result for the Poincaré Lemma is presented. At the beginning, the definitions of a subriemannian geometry, horizontal vector fields and horizontal curves are given. Then t…

We establish an efficient compatibility criterion for a system of generalized complete intersection type in terms of certain multi-brackets of differential operators. These multi-brackets generalize the higher Jacobi-Mayer brackets, important in the study of evolutionary equations and the integrability problem. We also…

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, the singular set is an embedded one dimensional manifold and there are three type of point…

Study proves existence of regions minimizing perimeter in specific geometric structures.

Distributions of Monge type are a class of strongly regular bracket-generating distributions introduced by I. Anderson, Zh. Nie and P. Nurowski. Their symbol algebras prolong to simple graded Lie algebras, thus allowing one to associate a parabolic geometry to any given Monge distribution. This article is devoted to th…

A family of algebraic curves covering a projective variety $X$ is called a web of curves on $X$ if it has only finitely many members through a general point of $X$. A web of curves on $X$ induces a web-structure, in the sense of local differential geometry, in a neighborhood of a general point of $X$. We study how the …

Let E be the Engel group and D be a rank 2 bracket generating left invariant distribution with a Lorentzian metric, which is a nondegenerate metric of index 1. In this paper, we first prove that timelike normal extremals are locally maximizing. Second, we obtain a parametrization of timelike, spacelike, lightlike norma…

The paper gives the complete characterization of all graded nilpotent Lie algebras with infinite-dimensional Tanaka prolongation as extensions of graded nilpotent Lie algebras of lower dimension by means of a commutative ideal. We introduce a notion of weak characteristics of a vector distribution and prove that if a b…

An almost-Riemannian structure on a surface is a generalized Riemannian structure whose local orthonormal frames are given by Lie bracket generating pairs of vector fields that can become collinear. The distribution generated locally by orthonormal frames has maximal rank at almost every point of the surface, but in ge…

We consider coefficient bodies $\mathcal M_n$ for univalent functions. Based on the Löwner-Kufarev parametric representation we get a partially integrable Hamiltonian system in which the first integrals are Kirillov's operators for a representation of the Virasoro algebra. Then $\mathcal M_n$ are defined as sub-Riemann…

New Lie systems derived from Goursat distributions with applications to differential equations.

In 1974, Berezin proposed a quantum theory for dynamical systems having a Kähler manifold as their phase space. The system states were represented by holomorphic functions on the manifold. For any homogeneous Kähler manifold, the Lie algebra of its group of motions may be represented either by holomorphic differential …

We prove the following nonholonomic version of the classical Moser theorem: given a bracket-generating distribution on a connected compact manifold (possibly with boundary), two volume forms of equal total volume can be isotoped by the flow of a vector field tangent to this distribution. We describe formal solutions of…

The article proves the existence of horizontal immersions into fat distributions and contact structures.

We give a description of Nurowski's conformal structure for some examples of bracket-generating rank 2 distributions in dimension 5, aka $(2,3,5)$-distributions, namely the An-Nurowski circle twistor distribution for pairs of surfaces of constant Gauss curvature rolling without slipping or twisting over each other. In …

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We study the relation between the topological invariants of an almost-Riemannian structure on a compact…

We solve the following problem: to describe in geometric terms all differential operators of the second order with a given principal symbol. Initially the operators act on scalar functions. Operator pencils acting on densities of arbitrary weights appear naturally in the course of study. We show that for the algebra of…

Local equivalence shown between specific distributions and flat Cartan distribution.

The equitangent locus of a convex plane curve consists of the points from which the two tangent segments to the curve have equal length. The equitangent problem concerns the relation between the curve and its equitangent locus. An equitangent n-gon of a convex curve is a circumscribed n-gon whose vertices belong to the…

We solve the problem of describing all nonlocal Hamiltonian operators of hydrodynamic type with flat metrics. This problem is also equivalent to the description of all flat submanifolds with flat normal bundle in a pseudo-Euclidean space. It is proved that every such Hamiltonian operator (or the submanifold correspondi…

The paper studies geometric structures on SL(n,R) induced by the Killing form.

This paper solves a complex differential relation using a novel 'avoidance trick'.

The first aim of the present paper is to compare various sub-Riemannian structures over the three dimensional sphere $S^3$ originating from different constructions. Namely, we describe the sub-Riemannian geometry of $S^3$ arising through its right Lie group action over itself, the one inherited from the natural complex…

This paper is connected with the problem of describing path metric spaces that are homeomorphic to manifolds and biLipschitz homogeneous, i.e., whose biLipschitz homeomorphism group acts transitively. Our main result is the following. Let $X = G/H$ be a homogeneous manifold of a Lie group $G$ and let $d$ be a geodesic …

Complete integrability proved for SR geodesic flow on S^7.

Study of ants' movement rules on a 6D space, revealing distribution structures and singular trajectories.

A new framework for generative modeling using controlled vector fields.

The paper finds formulas for flat models of certain Lie algebras.