[Paper Review] Luttinger surgery and Kodaira dimension

Chung-I Ho, Tianjun Li|arXiv (Cornell University)|Aug 2, 2011

Geometric and Algebraic Topology20 references6 citations

TL;DR

This paper establishes that Luttinger surgery, a symplectic 4-manifold operation along Lagrangian tori, preserves the symplectic Kodaira dimension—a fundamental invariant in symplectic topology. The authors prove that for manifolds with non-positive Kodaira dimension, Luttinger surgery implies strong topological constraints: when the Kodaira dimension is −∞, the resulting manifold is symplectomorphic to the original; when it is 0 and the Euler characteristic is positive, the homology type is preserved. These results constrain the existence of exotic Lagrangian tori and show that their framings are topologically preferred, implying vanishing of the Fintushel-Stern invariant λ(L).

ABSTRACT

In this note we show that the Lagrangian Luttinger surgery preserves the symplectic Kodaira dimension. Some constraints on Lagrangian tori in symplectic four manifolds with non-positive Kodaira dimension are also derived.

Motivation & Objective

• To investigate the behavior of the symplectic Kodaira dimension under Luttinger surgery, a symplectic operation along Lagrangian tori.
• To derive topological constraints on Lagrangian tori in symplectic 4-manifolds with non-positive Kodaira dimension.
• To determine when the Lagrangian framing of a torus is topologically preferred, especially in relation to homology and diffeomorphism type.
• To examine the implications for the Fintushel-Stern invariant λ(L), showing it vanishes under certain conditions.
• To explore the possibility that symplectic Calabi-Yau surfaces with χ=0 arise via Luttinger surgeries from T⁴.

Proposed method

• Define the symplectic Kodaira dimension κ(X) via the symplectic canonical class Kω and its intersection with [ω], using minimal models.
• Use the Luttinger surgery construction: cut out a tubular neighborhood of a Lagrangian torus L, and reglue it via a diffeomorphism that alters the meridian by a linear combination of the longitude and a curve on L.
• Analyze the induced change in homology using Mayer-Vietoris sequences and the induced maps on homology groups.
• Apply the invariance of κ(X) under Luttinger surgery to deduce that if κ(X) = −∞, then the resulting manifold is symplectomorphic to the original.
• Use the homology classification of symplectic Calabi-Yau surfaces to show that when χ(X) > 0 and κ(X) = 0, the homology type is preserved under Luttinger surgery.
• Define topological preferred framings via the primitivity and rationality of the meridian class in homology, and relate this to the vanishing of λ(L).

Experimental results

Research questions

• RQ1 Does Luttinger surgery preserve the symplectic Kodaira dimension of a 4-manifold?
• RQ2 Under what conditions does Luttinger surgery preserve the symplectic structure up to symplectomorphism?
• RQ3 What constraints does the invariance of the Kodaira dimension impose on the framings of Lagrangian tori in symplectic 4-manifolds with κ(X) ≤ 0?
• RQ4 When does the Fintushel-Stern invariant λ(L) vanish for a Lagrangian torus L?
• RQ5 Can all symplectic Calabi-Yau surfaces with χ=0 be obtained from T⁴ via Luttinger surgeries?

Key findings

• Luttinger surgery preserves the symplectic Kodaira dimension: if (X,ω) has κ(X) = −∞, then any Luttinger surgery yields a manifold symplectomorphic to (X,ω).
• For symplectic Calabi-Yau surfaces with χ(X) > 0, Luttinger surgery preserves the integral homology type, implying X and X̃ are homology equivalent.
• If κ(X) = −∞, then any Lagrangian torus L is null-homologous and its Lagrangian framing is a topological preferred framing.
• For symplectic Calabi-Yau surfaces with χ(X) = 0, any Lagrangian torus is either null-homologous with topological preferred framing or completely essential (r(ker i₁ℚ) = 3).
• When H₂(X;ℤ) is torsion-free and L is null-homologous with κ(X) = 0, the Lagrangian framing is a topological preferred framing.
• The Fintushel-Stern invariant λ(L) vanishes for Lagrangian tori in symplectic 4-manifolds with κ(X) ≤ 0 and trivial H₁(X;ℤ), due to the framing being topologically preferred.