Existence of Engel structures
An Engel structure on a smooth 4-manifold \(M\) is a maximally non-integrable distribution \(\mathcal D\) of rank two, meaning that \(\mathcal E =[\mathcal D, \mathcal D]\) is a distribution of rank three and \([\mathcal E, \mathcal E] = TM\), where \([\mathcal D, \mathcal D]\) is defined by taking all the commutators of local sections of \(\mathcal D\). Engel structures are all locally equivalent, as are contact structures on odd-dimensional manifolds and symplectic structures on even-dimensional manifolds. The proof of the main theorem below establishes a deep connection between Engel 4-manifolds and contact 3-manifolds. A result of V. Gershkovich [see \textit{M. Kazarian}, \textit{R. Montgomery} and \textit{B. Shapiro}, Pac. J. Math. 179, No.~2, 355--370 (1997; Zbl 0895.58004)] states that every orientable Engel 4-manifold is parallelizable. In the paper under review, the author shows the converse of this, namely, every parallelizable 4-manifold is Engel. This is the main theorem. The proof is based on the existence of round handles decompositions on parallelizable 4-manifolds. A round handle of dimension \(n\) and index \(k\) is \(D^k \times D^{n-k-1} \times S^1\) attached to an \(n\)-manifold along \(S^{k-1} \times D^{n-k-1} \times S^1\) by an embedding into the boundary (for \(k=0\) there is no attachment at all). By a theorem of \textit{D. Asimov} [Ann. Math. (2) 102, 41--54 (1975; Zbl 0316.57020)], a closed manifold \(M\) of dimension \(\neq 3\) admits a round handle decomposition if and only if \(\chi(M) = 0\). By means of 3-dimensional contact geometry, the author constructs basic Engel structures on each round handle of dimension four. Also, he shows how to extend an Engel structure over a round handle attached to an Engel 4-manifold. The extended Engel structure on the round handle is equivalent to a basic one. This is the scheme of the proof. Consider a round handle decomposition of a parallelizable 4-manifold \(M\). Then, start from a suitable basic Engel structure on the round handle of index zero. By the extension procedure, the author is able to get an Engel structure on \(M\).
- Existence \(h\)-principle for Engel structures
- Exotic holomorphic Engel structures on \(\mathbf {C}^4\)
- Notes on open book decompositions for Engel structures
- Classification of Engel knots
- A construction of Engel structures
- Germs of Engel structures along 3-manifolds
- Relative local equivalence of Engel structures
- Engel structures and weakly hyperbolic flows on four-manifolds
- Graded hypoellipticity of BGG sequences
- Analytic torsion of generic rank two distributions in dimension five
- The Engel-Lutz twist and overtwisted Engel structures
- Engel structures on complex surfaces
- On prolongations of contact manifolds
- Loose Legendrians and the plastikstufe
- Holomorphic Engel structures
- Open Engel manifolds admitting compact characteristic leaves
- Sub-Riemannian homogeneous spaces of Engel type
- On the classification of prolongations up to Engel homotopy
- On 5-manifolds admitting rank two distributions of Cartan type
- scientific article; zbMATH DE number 852169 (Why is no real title available?)
- Loose Engel structures
- Generalized pseudo-Kähler structures
- Engel structures with trivial characteristic foliations
- Horizontal gradient of polynomial functions for the standard Engel structure on \(\mathbb R^4\)
- Round handle decompositions of 1-connected 5-manifolds
- Non-isotopic transverse tori in Engel manifolds
- Dimension two holomorphic distributions on four-dimensional projective space
- On Dold-Whitney's parallelizability of 4-manifolds
- Flexibility for tangent and transverse immersions in Engel manifolds
- Existence and classification of maximal growth distributions
This page was built for publication: Existence of Engel structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389135)
