Legendrian Isotopy Classes

• Legendrian isotopy classes are sets of Legendrian submanifolds in a contact manifold connected via smooth one-parameter isotopies and characterized by geometric, analytic, and combinatorial invariants.
• Algebraic invariants such as Reeb chord counts, contact homology DGAs, and generating families enable precise classification and detection of non-isotopic behaviors.
• The study extends to metric and order structures with defined spectral selectors and discrete invariant distances, linking contact topology with applications in Lorentz geometry.

A Legendrian isotopy class is the set of Legendrian submanifolds—i.e., submanifolds everywhere tangent to the contact distribution—in a fixed contact manifold (M, ξ) that are connected by a smooth one-parameter family of Legendrian embeddings. The paper and classification of these classes is a central theme in contact topology, with deep connections to symplectic field theory, low-dimensional topology, and mathematical physics. The structure of Legendrian isotopy classes, their combinatorial and analytic invariants, and metric/ordering properties are governed by a range of geometric, algebraic, and dynamical phenomena.

1. Algebraic and Combinatorial Invariants Distinguishing Classes

A fundamental approach to distinguishing Legendrian isotopy classes employs algebraic invariants extracted from geometric structures such as Reeb chord counts, Legendrian contact homology DGAs, and augmentation varieties.

• Reeb Chord Counts: For Legendrian submanifolds in 1-jet spaces, the minimal number of transverse Reeb chords is a sharp contact invariant. For a surface of genus $g$ in $J^1(\mathbb{R}^2) \cong \mathbb{R}^5$, embeddings $L_{g,k}$ (constructed via handle attachment) achieve exactly $g+1$ transverse Reeb chords, the conjectural minimum (1102.0914). The partition into Legendrian isotopy classes is governed by attaching $k$ "knotted" vs $g-k$ "standard" handles; the Legendrian contact homology DGA distinguishes these classes via nontrivial differentials arising from knotted handles, with the presence/absence of $\mathbb{Z}/2$-augmentations indicating linearizability.
• Legendrian Contact Homology DGA and Augmentations: The DGA, generated by Reeb chords and equipped with differentials computed from rigid gradient flow trees or holomorphic disks, serves as a powerful invariant. For example, in $J^1(\mathbb{R}^2)$, the DGA for $L_{g,k}$ (using group ring coefficients) has distinct augmentation varieties for different $k$, providing a scheme to classify Legendrian surfaces (1102.0914). For any (punctured) Riemann surface $P$ and integer $k$, there exist $k$ distinct Legendrian knots (in $P\times\mathbb{R}$), all formally Legendrian isotopic and smoothly isotopic, but in mutually distinct Legendrian isotopy classes as detected by their contact homology polynomial invariants (1108.1568).
• Generating Families: The existence of generating families provides another invariant. Surfaces $L_{g,0}$ with only standard handles admit linear-at-infinity generating families, while all $L_{g,k}$ with $k>0$ do not. This dichotomy sharply detects nonisotopic behavior (1102.0914).
• Grid, Rectangular, and Combinatorial Diagrams: For Legendrian graphs and links, combinatorial models—including generalized rectangular diagrams and moves (commutations, stabilizations, cyclic permutations, etc.)—permit combinatorial encoding and algorithmic detection of Legendrian isotopy classes (Prasolov, 2014). There is a bijection between classes of Legendrian graphs (modulo contraction) and equivalence classes of such diagrams, with further correspondence to fence diagrams of quasipositive surfaces.
• Specialized Graph Invariants: For Legendrian graphs, extension of classical invariants (Thurston–Bennequin number $tb$, rotation number $rot$) to cycles in the graph reveals that these invariants alone do not suffice for classification if the graph contains a cut edge or vertex; instead, additional data concerning cyclic order at vertices is necessary (1108.2281).

2. Metric and Order Structures on Isotopy Classes

Recent work has demonstrated rich order and metric structures on the universal cover of Legendrian isotopy classes:

• Partial Orders and Orderability: The set of Legendrian isotopy classes (or their universal covers), particularly for the fibers in the spherical cotangent bundle $ST^*M$, can be equipped with a partial order induced by non-negative Legendrian isotopies. This is made precise via a relation $L_1 \preceq L_2$ if there exists a non-negative isotopy connecting $L_1$ to $L_2$, i.e., the contact form evaluates non-negatively on the velocity vectors along the isotopy. Universal orderability (antisymmetry on the universal cover) is established in a broad range of cases, including $ST^*M$ for any manifold $M$ (Chernov et al., 2013).
• Legendrian Order and Spectral Selectors: The existence of a partial order is equivalent to the existence of well-behaved spectral selectors—numerical invariants analogous to spectral invariants in Floer theory—constructed via the Reeb flow and the action spectrum. For Legendrians $\Lambda_0, \Lambda_1$,

$$\ell_+^\alpha(\Lambda_1, \Lambda_0) = \inf\{ t\mid \Lambda_1 \preceq \varphi_t^\alpha\Lambda_0 \},$$

with dual properties for $\ell_-$ (Allais et al., 2023). When spectral selectors are non-degenerate, the order is robust and obstructs the existence of nontrivial positive Legendrian loops.

• Invariant Distances: It is possible to define integer-valued, unbounded invariant distances on the universal cover of an orderable Legendrian isotopy class. Given a positive loop of Legendrians (not necessarily a positive loop of contactomorphisms), one defines, for isotopy classes $\hat{x}, \hat{y}$,

$$d(\hat{x}, \hat{y}) = \max\{ \ell_+(\hat{y}, \hat{x}),\; -\ell_-(\hat{y}, \hat{x}) \}$$

where $\ell_{\pm}$ counts the minimal/maximal number of positive loop iterations needed to pass between the isotopy classes (Arlove, 24 Jul 2025). This metric is shown to be discrete: all invariant distances on such universal covers take integer values with a uniform positive lower bound, due to contact flexibility allowing infinitesimal isotopic displacements to be "absorbed" by local Weinstein neighborhood geometry—a phenomenon fundamentally different from the smooth category.

3. Geometric Constructions, Graphs, and Smoothing

• Legendrian Surfaces via Surgery: Constructions such as attaching standard or knotted handles (with corresponding changes in contact homological invariants), or forming direct sums with Legendrian tori, alter isotopy types in explicit controlled ways (1102.0914).
• Graph Moves (Vertex Stabilization and Twist): In Legendrian graphs, moves such as vertex stabilization and vertex twist alter the cyclic order of edges and contact topology, and are needed (along with edge stabilization) to fully relate Legendrian realizations within a smooth isotopy class (Lambert-Cole et al., 2016). For planar $\Theta$-graphs, there exists an infinite family of distinct nondestabilizeable Legendrian graphs even within a fixed topological class.
• Equivalence of Piecewise and Smooth Categories: A class of Legendrian links formed of bi-Lipschitz (Lavrentiev) curves, defined via a vanishing integral condition for the contact form, is shown to have isotopy classes in bijection with those of smooth Legendrian links. Canonical smoothing procedures (involving bypasses and controlled projections) permit passage from the piecewise smooth or combinatorial category to the smooth setting without altering isotopy classification (Prasolov, 20 Apr 2024).

4. Virtual Legendrian Isotopy, Projections, and Extensions

• Virtual Legendrian Isotopy: Extending the classical theory, virtual Legendrian knots are defined using diagrams up to Legendrian isotopy, stabilization/destabilization of the surface away from the projection, and automorphisms. There exists a bijective correspondence with equivalence classes of Gauss diagrams, allowing for combinatorial classification (Chernov et al., 2014). An extension of Manturov's projection maps virtual Legendrian classes to classical classes in $ST^*S^2$ by substituting odd crossings (defined via the parity of associated smoothing loops) with virtual crossings. This operation preserves invariants such as crossing number and canonical genus for classical representatives (Chernov et al., 24 Dec 2024).
• Rigidity under Virtual Stabilizations: Every virtual Legendrian isotopy class contains a unique irreducible representative (i.e., a representative with no further nontrivial destabilizations), mirroring Kuperberg's result for virtual knots (Chernov et al., 2014).

5. Applications to Lorentz Geometry and Causality

• Causal Order and Legendrian Linking: The order structure on Legendrian isotopy classes, particularly in $ST^*M$, encodes Lorentzian causality. In globally hyperbolic spacetimes, causality between two points is equivalent to the order relation s(x) $\preceq$ s(y) between their associated skies (Legendrian spheres) in $ST^*M$ (Chernov et al., 2013). This framework generalizes Low's conjecture, with further links to virtual Legendrian theory and causality in generalized spacetimes (Chernov et al., 2023).
• Extension to Spectral Metrics and Finsler Structures: The spectral selectors and distances allow contact topology to import formal structures from Lorentzian and Finsler geometry, such as causal cones and continuous time functions on isotopy class spaces (Allais et al., 2023).

6. Known Limitations and Open Directions

• The Legendrian isotopy classification of graphs is not determined solely by classical invariants (Thurston–Bennequin, rotation) if the graph contains cut edges/vertices; additional combinatorial invariants are required (1108.2281).
• Invariant metrics on Legendrian isotopy classes are always discrete due to contact flexibility phenomena (Arlove, 24 Jul 2025).
• The relationship between algebraic structures such as mutation distance in cluster algebras on sheaf moduli and Legendrian isotopy classes for high-dimensional Legendrian constructions is an area of active research (Hughes et al., 23 May 2025). Mutation distance between cluster seeds provides a metric for distinguishing isotopy classes among Legendrian doubles or twist spuns in standard $\mathbb{R}^5$.
• For twist spuns, the number of exact fillings may be constrained by the presence or absence of fixed points for group actions on Grassmannians, showing interplay between fillability and algebraic symmetry (Hughes et al., 23 May 2025).
• The extension and computation of spectral selectors, causal structures, and time functions for higher-dimensional or singular Legendrian submanifolds and their relation to symplectic field theory remains a vibrant field of investigation.

---

The paper of Legendrian isotopy classes thus rests on an interplay between combinatorial, algebraic, analytic, and geometric invariants, possesses a robust and quantized metric structure, and interfaces with deep phenomena in both geometry and physics, notably orderability, discrete metrics, and applications to the topology of spacetime.