[Paper Review] Existence h-principle for Engel structures

Roger Casals, José Luis Pérez+2 more|arXiv (Cornell University)|Jul 19, 2015

Homotopy and Cohomology in Algebraic Topology9 references4 citations

TL;DR

This paper establishes an existence h-principle for Engel structures on 4-manifolds by proving that the inclusion of the space of Engel structures into the space of formal Engel flags induces surjections on all homotopy groups. The key result shows that any formal flag of distributions with an oriented 3-distribution can be homotoped through formal flags to an actual Engel structure, implying that the existence of Engel structures is governed entirely by formal topological data, not geometric obstructions.

ABSTRACT

In this article we prove that the inclusion of the space of Engel structures of a smooth $4$-fold into the space of full flags of its tangent bundle induces surjections in all homotopy groups. In particular, we construct Engel structures representing any given full flag.

Motivation & Objective

• To determine whether Engel structures on 4-manifolds satisfy an h-principle, i.e., whether their existence is determined solely by formal topological invariants.
• To resolve the open question of whether Engel geometry is trivial (governed only by topology) or rich in geometric invariants.
• To extend previous results on parallelizable 4-manifolds by showing that any formal flag of distributions (with oriented 3-distribution) can be realized as an actual Engel structure.
• To generalize the h-principle from the non-parametric to the parametric and foliated settings, establishing homotopical control over the flag.

Proposed method

• Define formal Engel structures as oriented full flags of distributions: $\mathcal{W}^1 \subset \mathcal{D}^2 \subset \mathcal{E}^3 \subset TM$ with $\mathcal{E}$ oriented.
• Prove that the inclusion $i: \mathfrak{E}(M) \to \mathfrak{F}(M)$ induces surjections on all homotopy groups $\pi_k$ for $k \geq 0$.
• Use a reduction theorem (Theorem 29) to deform a formal Engel structure into a local model near a 3-disk with radial or angular behavior.
• Construct a parametric and foliated generalization of the reduction, using triangulations and flowbox neighborhoods adapted to the line field $\mathcal{W}$.
• Apply a shell extension result (Theorem 19) to show that $6\pi$-radial shells can be homotoped to solid Engel structures.
• Use a relative version of the reduction to handle manifolds with boundary, ensuring the boundary contact structure is preserved.

Experimental results

Research questions

• RQ1 Does the existence of an Engel structure on a 4-manifold depend only on formal topological data, or are there geometric obstructions?
• RQ2 Can every formal flag of distributions with an oriented 3-distribution be homotoped to an actual Engel structure?
• RQ3 To what extent can the h-principle for Engel structures be extended to parametric and foliated settings?
• RQ4 Is the classification of Engel structures determined entirely by the underlying algebraic topology, or do deeper geometric invariants exist?
• RQ5 Can the construction of Engel structures be localized and extended using shell-like models in a controlled homotopical way?

Key findings

• The inclusion of the space of Engel structures $\mathfrak{E}(M)$ into the space of formal Engel flags $\mathfrak{F}(M)$ induces surjections on all homotopy groups $\pi_k$.
• Any formal Engel flag on a 4-manifold can be realized as an actual Engel structure via a homotopy, proving a full existence h-principle.
• The result holds in the parametric and foliated settings: the reduction and extension theorems generalize to families parameterized by a disk $\mathbb{D}^m$.
• A $6\pi$-radial shell can be homotoped to a solid Engel structure, providing a key step in the h-principle construction.
• The method preserves the contact structure on the boundary when applied to manifolds with boundary, ensuring compatibility with cobordism arguments.
• The proof relies on a relative version of the reduction theorem, allowing the construction of Engel structures in neighborhoods of manifolds with boundary while preserving the boundary data.