Algebraic planar torsion in contact manifolds

Imagine you are an architect trying to build a house (a Contact Manifold) that is perfectly sealed and airtight. In the world of mathematics, this "house" is a specific type of geometric shape. The big question mathematicians ask is: Can this shape be the boundary of a larger, solid room (a Symplectic Filling)?

Some shapes are easy to seal; they are "fillable." Others are "overtwisted"—they have a hole or a twist that makes them impossible to seal, no matter how hard you try. But there's a tricky middle ground: shapes that look tight and perfect but secretly have a "leak" that prevents them from being filled.

For decades, mathematicians have struggled to find a single, unified way to detect these hidden leaks in high-dimensional spaces (dimensions 5 and up).

Enter Zhengyi Zhou's paper.

Think of this paper as a new, super-sensitive leak detector that works for almost every known "leaky" shape. Here is how the paper works, explained through simple analogies:

1. The Problem: The "Leaky" House

In the world of contact geometry, a "tight" shape is like a well-built house. A "fillable" shape is one that you can prove is the roof of a solid basement.

The Goal: Prove a shape cannot have a basement (is not fillable).
The Old Way: Mathematicians used to look for specific, messy geometric features (like a twisted knot in the wall) to prove a shape was leaky. But this was like trying to find a leak by poking every single brick. It worked for some houses, but not all.

2. The New Tool: The "Torsion Cobordism" (The Bridge)

Zhou introduces a clever construction called a Torsion Cobordism. Imagine this as a special bridge you build connecting your "leaky house" to a "ruined house" (a shape we know is definitely broken and cannot be fixed).

The Metaphor: If you can build a bridge from your house to a known ruin, and the bridge has a specific property (it "kills" a certain path or loop), then your house must also be broken.
The Magic: Zhou shows that for almost every known "leaky" shape in high dimensions, you can build this specific bridge.

3. The Detector: "Algebraic Planar Torsion"

This is the paper's main invention. Think of Algebraic Planar Torsion as a score or a counter that measures how "broken" a shape is.

Score 0: The shape is perfectly fine (or "overtwisted" in a way that makes it trivially broken).
Finite Score (e.g., 1, 5, 10): The shape is "tight" but has a specific, measurable leak. It cannot be filled.
Infinite Score: The shape is perfectly fillable.

The Big Discovery: Zhou proves that if you can build that "Torsion Cobordism" bridge, the shape on the other side must have a finite score. This means the shape is definitely not fillable.

4. Why This Matters: The "Universal Fix"

Before this paper, mathematicians had different tools for different types of leaks.

Tool A worked for 3D shapes.
Tool B worked for shapes with "Giroux torsion."
Tool C worked for "Bourgeois" shapes.

Zhou's paper says: "Stop using three different tools. Use this one bridge."
He shows that almost every known example of a non-fillable shape in dimensions 5 and higher can be understood through this single "bridge" mechanism. It unifies the field.

5. The New Houses Built

The paper doesn't just explain old leaks; it builds new ones.

The "Stably Fillable" Paradox: Zhou builds shapes that can be filled if you add a little extra room (stable filling) but cannot be filled on their own. He proves these shapes have a specific "leak score" (torsion) of exactly $k$ .
The Sphere Surprise: He shows that even on a perfect sphere (which usually seems very solid), you can twist the geometry to create a "tight but leaky" version. This proves that "leaky" shapes are actually everywhere in high dimensions, not just rare exceptions.

6. The "Virtual Counting" Trick

How does he prove the bridge works? He uses Symplectic Field Theory (SFT).

The Analogy: Imagine trying to count how many paths a ball can take through a maze. In high dimensions, the maze is too complex to count by hand.
The Trick: Instead of counting the paths directly, he uses a "virtual counting" method (like a computer simulation that predicts the outcome without running every single simulation). He proves that if the bridge exists, the "virtual count" of paths must be zero, which mathematically forces the "leak score" to be finite.

Summary

In a nutshell:
Zhou Zhou (the author) has built a universal key (the Torsion Cobordism) that unlocks the mystery of "leaky" shapes in high-dimensional geometry.

He shows that if you can connect a shape to a known "ruin" via this specific bridge, the shape is definitely not fillable.
He proves that almost all known "leaky" shapes fit this description.
He uses this to build new, weird shapes that are tight but unfillable, confirming a long-standing guess by other mathematicians.

It's like realizing that every time a house has a leak, it's because someone built a specific type of bridge to a demolition site. Once you know that, you can instantly identify any leaky house just by checking for that bridge.

Here is a detailed technical summary of the paper "Algebraic Planar Torsion in Contact Manifolds" by Zhengyi Zhou.

1. Problem Statement and Context

The Core Problem:
In contact topology, a fundamental dichotomy exists between overtwisted and tight contact structures. While overtwisted structures are topological (satisfying h-principles), tight structures are geometric and difficult to classify. A primary method to prove tightness is symplectic fillability (strong or weak). However, in dimensions $\ge 5$ , many tight contact manifolds are known to be non-fillable, yet the mechanisms obstructing their fillings are not fully unified.

The Gap:

Algebraic Torsion: Symplectic Field Theory (SFT) provides algebraic invariants to detect non-fillability.
- Full SFT: Counts curves of all genera. Latschev and Wendl defined algebraic torsion ( $AT$ ) via full SFT.
- Rational SFT (RSFT): Counts only rational (genus 0) curves. Moreno and Zhou introduced algebraic planar torsion ( $APT$ ) via RSFT.
The Question: Do all known examples of non-fillable contact manifolds in higher dimensions ( $\dim \ge 5$ ) exhibit finite algebraic (planar) torsion? Furthermore, can one construct families of manifolds with precise torsion values $k$ to confirm conjectures by Latschev and Wendl?
Current Limitations: Previous computations of torsion relied on explicit, difficult calculations of holomorphic curves (intersection theory, adiabatic limits). A unified, functorial approach was missing.

2. Methodology

The paper employs a functorial approach using Rational Symplectic Field Theory (RSFT) and the concept of "wrong cobordisms."

RSFT Functoriality: The author utilizes the fact that RSFT defines a functor from the category of exact symplectic cobordisms to the category of $BL_\infty$ algebras (or $IBL_\infty$ for full SFT).
Torsion Cobordisms: The central technical tool is the construction of specific strong cobordisms $W$ $W$ from a contact manifold $Y_-$ $Y_{-}$ (concave boundary) to a "rigid" or "simple" contact manifold $Y_+$ $Y_{+}$ (convex boundary).
- Definition: A torsion cobordism is a strong cobordism where a non-trivial homology class in the convex boundary (often coming from a Liouville domain $\Sigma$ ) is mapped to zero in the homology of the cobordism $W$ .
- Mechanism: If the convex boundary $Y_+$ exhibits "filling rigidity" (e.g., it is overtwisted, has vanishing contact homology, or admits a specific stable Hamiltonian structure), the functoriality of RSFT forces the concave boundary $Y_-$ to have finite algebraic planar torsion.
Geometric Constructions: The paper systematically constructs these cobordisms using:
- Contact $(+1)$ -surgeries on Legendrian spheres.
- Transverse surgeries and blowing down Giroux domains.
- Spinal open books (generalizing contact open books).
- Liouville connected sums.
- Bourgeois constructions (products with tori).
Virtual Counting: The proofs rely on Pardon's Virtual Fundamental Class (VFC) to ensure the well-definedness of the counts of holomorphic curves, avoiding the need for explicit geometric curve counting in the target manifolds.

3. Key Contributions and Results

A. Unification of Known Examples (Theorem A)

The paper demonstrates that all known examples of contact manifolds in dimension $\ge 5$ that lack strong or weak fillings admit finite algebraic planar torsion (with twisted coefficients). This includes:

Manifolds with Giroux torsion.
Manifolds with higher-dimensional Giroux torsion.
Bourgeois contact manifolds.
Exotic contact spheres constructed by Bowden, Gironella, Moreno, and Zhou.
Manifolds with "wrong cobordisms" to overtwisted or non-cofillable manifolds.

B. Confirmation of Latschev–Wendl Conjecture (Theorems B & C)

The author confirms the conjecture that for any integer $k \ge 1$ and dimension $n \ge 2$ , there exist infinitely many $(2n+1)$ -dimensional contact manifolds with algebraic planar torsion exactly $k$ .

Stably Fillable Examples: Crucially, the paper constructs examples that admit stable symplectic fillings (a weaker condition than strong filling) yet still possess finite algebraic planar torsion. This confirms that algebraic torsion is a genuine obstruction to strong fillings even when stable fillings exist.
Construction: These are built using spinal open books with specific monodromies derived from Brieskorn varieties and Dehn-Seidel twists, ensuring precise control over the torsion value via homological arguments.

C. Ubiquity of Non-Fillable Structures (Theorems E & F)

Exotic Spheres: The paper proves that the exotic contact spheres $(S^{2n+1}, \xi_{ex})$ constructed in [BGMZ22] have finite algebraic planar torsion (specifically $APT=1$ for $n \ge 3$ ).
Generalization: It is shown that in dimensions $\ge 5$ , the class of manifolds admitting tight, non-weakly-fillable contact structures is as large as the class admitting tight contact structures. Specifically, for any almost contact structure admitting a tight structure, one can construct a tight, non-weakly-fillable structure with finite twisted algebraic planar torsion.

D. Quantitative Bounds (Theorem D & 4.9)

The paper establishes a quantitative relationship between the geometry of the cobordism and the torsion value:

If $W$ is a "torsion cobordism of order $k$ " (involving $k$ disjoint symplectic hypersurfaces that kill a homology class), then the algebraic planar torsion of the concave boundary satisfies $APT(Y_-) \le k$ .
This provides a method to bound torsion from above based on the topology of the cobordism.

4. Significance and Impact

Unified Framework: The paper provides a unified, functorial explanation for why diverse geometric constructions (surgeries, open books, Bourgeois manifolds) lead to non-fillability. Instead of computing curves for each case, one simply identifies the "torsion cobordism" structure.
Resolution of Conjectures: It settles the Latschev–Wendl conjecture regarding the existence of manifolds with arbitrary algebraic torsion $k$ in higher dimensions, a problem previously open due to the lack of explicit curve counting techniques in high dimensions.
Distinction of Fillings: By producing examples with finite torsion that are stably fillable but not strongly fillable, the work clarifies the hierarchy of fillability obstructions and the specific power of RSFT vs. full SFT.
New Invariants for Mapping Class Groups: The results have applications in symplectic mapping class groups. For instance, if a symplectomorphism $\phi$ has a non-trivial variation map ( $var(\phi) \neq 0$ ), the paper proves that the contact open book $OB(\Sigma, \phi^{-1})$ is algebraically overtwisted (vanishing contact homology), and $\phi^k \neq id$ for any $k > 0$ .
Higher-Dimensional Phenomena: The work highlights that "tight but non-fillable" structures are ubiquitous in higher dimensions, contrasting with the 3-dimensional case where such examples are rarer and more specific.

5. Conclusion

Zhengyi Zhou's paper fundamentally shifts the study of contact fillability obstructions from explicit geometric computation to algebraic functoriality. By defining and utilizing "torsion cobordisms," the author proves that finite algebraic planar torsion is the universal algebraic signature of non-fillability for all known high-dimensional examples. This not only confirms long-standing conjectures about the existence of manifolds with specific torsion values but also establishes a robust toolkit for constructing and analyzing tight, non-fillable contact structures in all dimensions $\ge 5$ .