arXiv research

A completely nonintegrable $2$-dimensional distribution on a $4$-manifold is called an Engel structure. A $4$-manifold with an Engel structure is called an Engel manifold. The developing map for an Engel manifold is very important tool to determine the Engel structure. Montgomery used it to prove that an Engel automorp…

Study uses superalgebra homology to classify 4D Engel-like Lie algebras.

We study the geometry of Engel structures, which are 2-plane fields on 4-manifolds satisfying a generic condition, that are compatible with other geometric structures. A complex Engel structure is an Engel 2-plane field on a complex surface for which the 2-planes are complex lines. We solve the equivalence problems for…

We study the geometry of Engel structures, which are 2-plane fields on 4-manifolds satisfying a generic condition, that are compatible with other geometric structures. A \em{Lagrangian} Engel structure is an Engel 2-plane field on a symplectic 4-manifold for which the 2-planes are Lagrangian with respect to the symplec…

Classifies metric lines in Engel-type groups, a step towards solving sub-Riemannian manifold problems.

We give two applications of the 2-Engel relation, classically studied in finite and Lie groups, to the 4-dimensional topological surgery conjecture. The A-B slice problem, a reformulation of the surgery conjecture for free groups, is shown to admit a homotopy solution. We also exhibit a new collection of universal surg…

Alternative construction of Rumin complex on Lie groups.

A contact twisted cubic structure (M,C,S) is a 5-dimensional manifold M together with a contact distribution C and a bundle S of twisted cubics that is compatible with the conformal symplectic form on C. In Engel's classical work, the Lie algebra of the exceptional Lie group G_2 was realized as the symmetry algebra of …

We find all intrinsic measures of $C^{1,1}$ smooth submanifolds in the Engel group, showing that they are equivalent to the corresponding $d$-dimensional spherical Hausdorff measure restricted to the submanifold. The integer $d$ is the degree of the submanifold. These results follow from a different approach to negligi…

This paper characterizes semigenerated Carnot groups and applies it to rectifiability of perimeter sets.

The authors found extremals of arbitrary left-invariant sub-Finsler metric on the Engel group defined by a distribution of rank two. They use for this the Pontryagin Maximum Principle for the corresponding time-optimal problem in coordinates of the first kind. The obtained results are applied to the case of left-invari…

Modeling curvature-sensitive cells in visual cortex using manifold geometry.

In Carnot groups, directional pliability allows curve extensions and approximations.

The notion of curvature discussed in this paper is a far going generalization of the Riemannian sectional curvature. It was first introduced by Agrachev, Barilari and Rizzi in arXiv:1306.5318, and it is defined for a wide class of optimal control problems: a unified framework including geometric structures such as Riem…

For any Engel 4-fold, we show that the scanning map from the space of Engel knots to the space of formal Engel knots is a weak homotopy equivalence when restricted to the complement of the orbits of the Engel kernel. This is a relative, parametric and close h-principle.

We introduce a modification procedure for Engel structures that is reminiscent of the Lutz twist in 3-dimensional Contact Topology. This notion allows us to define what an Engel overtwisted disc is, and to prove a complete h-principle for overtwisted Engel structures with fixed overtwisted disc.

We develop a construction of Engel stuctures on 4-manifolds based on decompositions of manifolds into round handles. This allows us to show that all parallelizable 4-manifolds admit an Engel structure. We also show that, given two Engel manifolds M_1,M_2 satisfying a certain condition on the characteristic foliation, t…

Reduced sub-Riemannian time on a specific group structure.

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…

We classify complex surfaces $(M,\,J)$ admitting Engel structures $\mathcal{D}$ which are complex line bundles. Namely we prove that this happens if and only if $(M,\,J)$ has trivial Chern classes. We construct examples of such Engel structures by adapting a construction due to Geiges. We also study associated Engel de…

The left-invariant sub-Riemannian problem on the Engel group is considered. The problem gives the nilpotent approximation to generic nonholonomic systems in four-dimensional space with two-dimensional control, for instance to a system which describes motion of mobile robot with a trailer. The global optimality of extre…

We call two Engel structures isotopic if they are homotopic through Engel structures by a homotopy that fixes the characteristic line field. In the present paper we define an isotopy invariant of Engel structures on oriented circle bundles over closed oriented three-manifolds and apply it to give an isotopy classificat…

This paper is about geometric and Riemannian properties of Engel structures, i.e. maximally non-integrable $2$-plane fields on $4$-manifolds. Two $1$-forms $α$ and $β$ are called Engel defining forms if $\mathcal{D}=\kerα\cap\kerβ$ is an Engel structure and $\mathcal{E}=\kerα$ is its associated even contact structure, …

We introduce a collection of 1/2-$π_1$-null 4-dimensional surgery problems. This is an intermediate notion between the classically studied universal surgery models and the $π_1$-null kernels which are known to admit a solution in the topological category. Using geometric applications of the group-theoretic 2-Engel rela…

Study integrability of geodesic flow on specific Lie groups.

An Engel structure is a maximally non-integrable field of two-planes tangent to a four-manifold. Any two such structures are locally diffeomorphic. We investigate the space of global deformations of canonical Engel structures arising out of contact three-manifolds. The main tool is Cartan's method of prolongation and d…

In this article we introduce a higher dimensional analogue of Engel structure, motivated by the Cartan prolongation of contact manifolds. We study the stability of such structure, generalizing the Gray-type stability for Engel manifolds.

Engel manifolds show transverse tori can be made to have various formal invariants.

Modeling curvature-sensitive cells in visual cortex with geometric structures.

In part I it was shown that for each k>0 the generalized Sato-Levine invariant detects a gap between k-quasi-isotopy of link and peripheral structure preserving isomorphism of the finest quotient G_k of its fundamental group, `functorially' invariant under k-quasi-isotopy. Here we show that Cochran's derived invariant …

Study finds non-isotopic transverse tori in Engel manifolds.

There is a remarkable type of field of two-planes special to four dimensions known as an Engel distributions. They are the only stable regular distributions besides the contact, quasi-contact and line fields. If an arbitrary two-plane field on a four-manifold is slightly perturbed then it will be Engel at generic point…

Engel structures on bundles over 3-manifolds in complex 3-space.

A holomorphic Engel structure determines a flag of distributions $\mathcal{W}\subset \mathcal{D}\subset \mathcal{E}$. We construct examples of Engel structures on $\mathbf{C}^4$ such that each of these distributions is hyperbolic in the sense that it has no tangent copies of $\mathbf{C}$. We also construct two infinite…

We describe a complete system of invariants for 4-dimensional CR manifolds of CR dimension 1 and codimension 2 with Engel CR distribution by constructing an explicit canonical Cartan connection. We also investigate the relation between the Cartan connection and the normal form of the defining equation of an embedded En…

This article introduces the notion of a loose family of Engel structures and shows that two such families are Engel homotopic if and only if they are formally homotopic. This implies a complete h-principle when some auxiliary data is fixed. As a corollary, we show that Lorentz and orientable Cartan prolongations are cl…

The A-B slice problem, a reformulation of the 4-dimensional topological surgery conjecture for free groups, is shown to admit a link-homotopy+ solution. The proof relies on geometric applications of the group-theoretic 2-Engel relation. Implications for the surgery conjecture are discussed.

We provide the first known family of examples of integrable homogeneous sub-Riemannian structures admitting strictly abnormal geodesics. These examples were obtained through the analysis of the equivalence problem for sub-Riemannian Engel structures. We formulate a criterion of strict abnormality in terms of structure …

In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some specific coordinates, they are upper-graphs of entire Lipschitz functions (with respe…

We consider the nilpotent left-invariant sub-Riemannian structure on the Engel group. This structure gives a fundamental local approximation of a generic rank 2 sub-Riemannian structure on a 4-manifold near a generic point (in particular, of the kinematic models of a car with a trailer). On the other hand, this is the …

We study pairs of Engel structures on four-manifolds whose intersection has constant rank one and which define the same even contact structure, but induce different orientations on it. We establish a correspondence between such pairs of Engel structures and a class of weakly hyperbolic flows. This correspondence is ana…

New 4D shapes can't be opened like books.

A simple proof is given of the following result first observed by J. Adachi: embedded circles tangent to the standard Engel structure on Euclidean 4-space are classified, up to isotopy via such embeddings, by their rotation number.

In [CPPP] it was shown that Engel structures satisfy an existence $h$-principle, and the question of whether a full $h$-principle holds was left open. In this note we address the classification problem, up to Engel deformation, of Cartan and Lorentz prolongations. We show that it reduces to their formal data as soon as…

Dancing polygons and rolling balls linked via a special geometric distribution.

The aim of this paper is to extend basic understanding of Engel structures through developing geometric constructions which are canonical to a certain degree and the dynamics of Cauchy characteristics in the transverse spaces which may exhibit elliptic, parabolic, or hyperbolic natures in typical cases.

We apply spectral sequences to derive both an obstruction to the existence of $n$-fold prolongations and a topological classification. Prolongations have been used in the literature in an attempt to prove that every Engel structure on $M\times\mathbb{S}^1$ with characteristic line field tangent to the fibers is determi…

The goal of this modern presentation, followed by an English translation from the German, is to make available some parts of Lie's very systematic mathematical thought which deserve to join the contemporary literature, and above all also, to be read.