Transverse tori in Engel manifolds
Abstract
We show that tori in Engel 4-manifolds behave analogously to knots in contact 3-manifolds: Every torus with trivial normal bundle is isotopic to infinitely many distinct transverse tori, distinguished locally (and globally in the nullhomologous case) by their formal invariants. (Few examples of transverse tori were previously known.) We classify the formal invariants, which are richer than for transverse knots. We show that in an overtwisted Engel structure, up to homotopy through such structures, these invariants are a complete set of uniqueness obstructions, and every torus with trivial normal bundle can be made transverse realizing any combination of these invariants. Fixing Engel structures not known to be overtwisted, we explore the range of the primary invariants of given tori. A sample application is that many Engel manifolds admit infinitely many transverse homotopy classes of unknotted transverse tori such that each class contains infinitely many transverse isotopy classes.
Keywords
Cite
@article{arxiv.2210.04292,
title = {Transverse tori in Engel manifolds},
author = {Robert E. Gompf},
journal= {arXiv preprint arXiv:2210.04292},
year = {2025}
}
Comments
38 pg 8 figs. To appear, J. Sympl. Geom. Major expositional upgrade. Section 5.1 now shows: In overtwisted Engel manifolds up to homotopy, formal invariants classify transverse tori. Remarks expanded, notably 2.9 (nonorientable Engel structures) and 4.3 (nullhomologous tori in 4-mfds with 1-homology may not have canonical normal framings). v1 Example 5.13(d) deferred to sequel, corrected/expanded