Legendrian Barriers in Contact Topology

• Legendrian barriers are geometric or categorical obstructions in contact and symplectic topology that block operations using quantifiable invariants and explicit submanifolds.
• They leverage structures like prequantization bundles, normal rulings, and microsheaf categories to impose non-squeezing and embedding bounds on Legendrian and Lagrangian submanifolds.
• Integrating holomorphic curve techniques and Floer-theoretic invariants, these barriers yield quantitative energy constraints and prevent destabilization, isotopy, or concordance.

A Legendrian barrier is a geometric, combinatorial, or categorical obstruction in contact and symplectic topology that blocks certain Legendrian operations—such as isotopy, displacement, cylinder insertion, or Lagrangian concordance—by virtue of quantifiable invariants, categorical objects, or the presence of explicit submanifolds. These barriers enforce quantitative or structural rigidity, typically by leveraging features intrinsic to Legendrian submanifolds, their invariants, or their (pre)quantization lifts, often leading to new non-squeezing, embedding, or non-destabilizability results. The subject synthesizes contact geometry, microlocal sheaf theory, holomorphic curve techniques, and Legendrian or Lagrangian Floer-theoretic invariants.

1. Prequantization Bundles and the Geometric Setting

Prequantization bundles are central to the construction and behavior of Legendrian barriers. Given a closed or noncompact integral symplectic manifold $(N^{2n},\tau)$, the prequantization contact manifold is a principal $S^1$-bundle $P\xrightarrow{\pi}N$ with Euler class $e(P) = -[\tau]\in H^2(N;\mathbb{Z})$. The structure is specified by a contact form $\alpha$ that acts as a real connection $1$-form with $d\alpha = \pi^*\tau$. The Reeb vector field $R_\alpha$ generates the $S^1$ action, and the symplectization $SP = P\times\mathbb{R}^+$ admits the symplectic form $\omega = d(R\alpha)$. The identification between disc bundles in $L\to N$ and regions in the symplectization $SP$ enables comparison between symplectic and contact-side arguments regarding barriers (Opshtein, 21 Dec 2025).

Legendrian submanifolds $\Lambda\subset (P,\ker\alpha)$, defined by $\dim \Lambda = n$ and $T\Lambda\subset\ker\alpha$, often arise as lifts of Lagrangians from the symplectic base $N$ to $P$, provided the Liouville form on $N$ pulls back to an integral class on the Lagrangian (Kilgore, 2024, Opshtein, 21 Dec 2025).

2. Formal Definition and Types of Legendrian Barriers

A Legendrian barrier can take several forms:

• Explicit geometric barriers: Constructed Legendrian submanifolds (often CW-complexes or skeleta) whose presence or removal obstructs the embedding or isotopy of other Legendrian objects.
• Combinatorial/categorical invariants as barriers: Invariants such as normal ruling counts, disk or sphere ruling polynomials, sheaf-theoretic counts, and Legendrian contact homology that prevent operations like isotopy into small cylinders, destabilization, or Lagrangian concordance.
• Universal interlinkers: Subsets (e.g., a $k$-fold Legendrian lift of a Lagrangian skeleton) such that every Legendrian either meets them via short Reeb chords or loses embeddedness upon long contact Hamiltonian flows (Opshtein, 21 Dec 2025).

A principal geometric example is the $k$-fold Legendrian lift $\Lambda_k\subset P$ of a Lagrangian skeleton $\Gamma_k\subset N$, which meets every $S^1$-fiber in $k$ points and projects onto $\Gamma_k$.

3. Theoretical Results: Non-Squeezing, Rigidity, and Non-Embeddability

Legendrian Non-Squeezing

The non-squeezing phenomenon in the Legendrian setting is a Legendrian analog of Gromov’s symplectic non-squeezing. If $L\subset(\mathbb{C}^n,d\lambda)$ is a closed, embedded Lagrangian whose Liouville class $[\lambda|_L]$ is integral, its Legendrian lifts $\Lambda\subset P=S^1\times\mathbb{C}^n$ cannot be isotoped into arbitrarily small prequantized cylinders $P_r:=S^1\times D^{2n}(r)$. There exists a minimal radius $r_0>0$ (depending only on $L$) so that no Legendrian isotopy carries $\Lambda$ into $P_r$ for $r<r_0$ (Kilgore, 2024).

This rigidity can be detected in low dimensions via normal rulings—combinatorial objects associated to the front projection of Legendrians—and in higher dimensions via categories of microsheaves. For Legendrians with nontrivial ruling or sheaf invariants, this prevents squeezing into domains where these invariants vanish (Kilgore, 2024).

Construction of Barriers and Contact Embedding Bounds

In prequantization bundles, the $k$-fold Legendrian barrier $\Lambda_k\subset P$ interacts with contact Hamiltonian dynamics: for any closed Legendrian $\Lambda\subset P$ and any contact Hamiltonian $H\colon P\times[0,1]\to [1,\infty)$, either a short (length $\le 1/k$) $H$-chord exists from $\Lambda$ to $\Lambda_k$, or the time-$1/k$ swept set loses embeddedness. The removal of $\Lambda_k$ prevents contact embeddings of cylinders longer than $1/k$: any contact embedding of $\overline{D^{2n}(R)}\times S^1$ into $(P\setminus\Lambda_k,\alpha')$ forces $R\le 1/k$ (Opshtein, 21 Dec 2025).

This barrier property can be interpreted in terms of symplectic disc bundle decompositions of the base, leading to area-based obstructions to Lagrangian embeddings in $M\setminus L_k$ (Opshtein, 21 Dec 2025).

4. Invariant Theory and Categorical Tools Underlying Barriers

Combinatorial and categorical invariants serve as obstructions:

• Normal Rulings: In dimension 3, the normal disk and circular rulings $R^C(\Lambda)$ and $R^S(\Lambda)$ yield counts that are invariant under Legendrian isotopy. The inequality $\#R^C(\Lambda) \le \#R^S(\Lambda)$ holds whenever $\Lambda \subset S^1 \times D^2(1)$; when $\#R^C(\Lambda)>0$ and $\#R^S(\Lambda)=0$ for small cylinders, squeezing is impossible (Kilgore, 2024).
• Microsheaf Categories: In higher dimensions, microsheaf categories $\mu\mathrm{Sh}^C_\Lambda$ and $\mu\mathrm{Sh}^S_\Lambda$ capture the "disk" and "sphere" supported sheaves on the Legendrian submanifold. Extension theorems produce injective maps of isomorphism classes: $$\#\mathrm{Iso}\,\mu\mathrm{Sh}^{C,1}_\Lambda \le \#\mathrm{Iso}\,\mu\mathrm{Sh}^{S,1}_\Lambda$$, with vanishing in the sphere category for small radii obstructing squeezing (Kilgore, 2024).

Other barriers include nonvanishing Legendrian contact homology, which obstructs destabilizations even when classical invariants such as the Thurston–Bennequin invariant are not maximal (Shonkwiler et al., 2009).

Rabinowitz–Floer invariants and their persistent homology barcodes give lower bounds for displacement energies and ensure non-displaceability or quantitative rigidity of Legendrian submanifolds (Rizell et al., 2021).

5. Concrete Examples and Quantitative Determination

Explicit computations illustrate the quantitative role of Legendrian barriers:

• Spherical Lifts: Lifting $S^{n-1}\subset\mathbb{C}^n$ produces a Legendrian with one nontrivial rank-one sheaf in the disk category, but none in the sphere category for $r<1$, giving $r_0=1$ (Kilgore, 2024).
• Monotone Clifford Tori: Rank-one sheaves parametrized by $\mathbb{k}^\times\setminus\{1\}$ survive only in the disk category and grow as $|\mathbb{k}|\to\infty$, while small cylinders kill all such sheaves. No squeezing is possible below $r=A$, the minimal holomorphic disk area (Kilgore, 2024).
• Legendrian Barriers in Prequantization Bundles: The $k$-fold Legendrian barrier $\Lambda_k\subset P$ enforces the blocking of long Reeb-cylinders and codimension-2 skeleton removals, forcing all contact and symplectic capacities of the complement to be $\le 1/k$ and increasing the discriminant length of isotopies in the complement (Opshtein, 21 Dec 2025).

6. Barriers in Legendrian Concordance and Cobordism

Barriers also manifest in the context of Lagrangian concordances between Legendrian knots:

• Ruling Obstructions: If a Legendrian admits two distinct normal rulings, then it cannot be concordant to the standard Legendrian unknot. If it is $A_{(2)}$-compatible (its 2-stranded half-twist satellite admits an augmentation), it is similarly blocked (Cornwell et al., 2014).
• Non-reversible Concordances: Infinite families exist where the standard unknot is concordant to $\Lambda_n$ but not vice versa, with multiple normal rulings serving as the distinguishing barrier (Cornwell et al., 2014).

Table: Summary of Main Barrier Mechanisms

Barrier Mechanism	Context	Quantitative Criterion
Legendrian lifts & prequantization	Squeezing/embedding in $P_r$	Minimal $r_0$ from holomorphic disk area/sheaf invariants (Kilgore, 2024)
$k$-fold Legendrian barriers $\Lambda_k$	Prequantization, embeddings	No cylinders longer than $1/k$ after removal (Opshtein, 21 Dec 2025)
Normal ruling counts	Isotopy/concordance between knots	$\#R^C > 0$, $\#R^S = 0$ obstructs squeezing; multiple rulings block concordance (Kilgore, 2024, Cornwell et al., 2014)
(Micro)sheaf categories	High-dimensional Legendrians	Extension between $\mu\mathrm{Sh}^C$ and $\mu\mathrm{Sh}^S$
Contact homology	Destabilization	Nonvanishing homology blocks destabilization (Shonkwiler et al., 2009)
Rabinowitz–Floer persistent barcodes	Displacement energy, non-displaceability	Minimal bar length gives energy lower bound (Rizell et al., 2021)

7. Implications, Complement Rigidity, and Open Problems

Legendrian barriers underpin a spectrum of rigidity phenomena across contact and symplectic topology. Their removal typically reduces capacities and increases the minimal action or energy required for displacements, embeddings, and isotopies. These results generalize Gromov's non-squeezing into the Legendrian context and provide a language for codimension-2 “skeleton” obstructions in both closed and prequantized manifolds (Kilgore, 2024, Opshtein, 21 Dec 2025).

Current questions include the refinement of barrier constructions (controlling the ($\delta$, $\delta'$) parameters more precisely), the detection of nonsmooth CW–Legendrians by holomorphic curve invariants, and the extension of these methods to broader classes of contact and symplectic manifolds (Opshtein, 21 Dec 2025).

Legendrian barriers are thus central and multifaceted obstructions, governed by a combination of geometry, topology, and categorical structures, that shape the global behavior and quantitative topology of Legendrian and Lagrangian submanifolds.