Invariants of surfaces in smooth 4-manifolds from link homology

This paper constructs analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of smooth oriented 4-manifolds by utilizing skein lasagna modules derived from equivariant and deformed $\mathfrak{gl}_N$ link homology, while establishing non-vanishing results, decomposition theorems, and conditions for extending functoriality to immersed cobordisms.

The Gist

Imagine you have a giant, invisible, four-dimensional balloon (a "4-manifold"). Inside this balloon, there are floating, knotted strings (links) on the surface, and perhaps some smooth, soap-bubble-like sheets (surfaces) floating inside, attached to those strings.

Mathematicians have long wanted to know: What is the simplest, smoothest shape a surface can take while staying attached to these strings? Is it a flat disk? A twisted Mobius strip? A complex, multi-holed donut?

This paper by Kim Morrison, Kevin Walker, and Paul Wedrich introduces a new, super-powerful "mathematical microscope" to answer that question. They use a tool called Skein Lasagna Modules.

Here is the breakdown of their discovery using simple analogies:

1. The Problem: The "Shape" of the Unknown

In the 3D world, we have knots. In the 4D world, we have surfaces that end on those knots.

• The Old Way: For a long time, we could only measure these shapes if our 4D balloon was a perfect, empty sphere (like the standard 4-ball). We had a ruler called the "Rasmussen invariant" that told us the minimum complexity (genus) of a surface in that perfect sphere.
• The New Challenge: What if the 4D balloon is weird? What if it has holes, handles, or weird twists (like a torus or a projective plane)? The old ruler broke. We needed a new way to measure the "smoothness" of surfaces in any 4D shape.

2. The Tool: The "Lasagna"

The authors use a concept called a Skein Lasagna Module.

• The Metaphor: Imagine a lasagna. The bottom layer is your 4D balloon. The "noodles" are the surfaces you are studying. The "sauce" is a special mathematical flavor (called link homology) that you pour over the noodles.
• How it works: You don't just look at the noodles; you look at how the sauce interacts with them. If you change the shape of the noodle (the surface), the way the sauce settles changes in a very specific, predictable way.
• The "Lasagna" Construction: They imagine filling the 4D balloon with layers of 4D "balls" (like meatballs inside the lasagna). Each meatball has a label (a number or a color) based on the knot theory math. The whole structure is a giant algebraic equation that represents the surface.

3. The Big Breakthrough: The "Non-Vanishing" Rule

The paper's most exciting result is Theorem A.

• The Analogy: Imagine you have a very special, high-tech detector. You place a surface inside your 4D balloon. If the surface is "homologically diverse" (a fancy way of saying it's not just a bunch of floating, disconnected bubbles that cancel each other out), the detector always lights up.
• Why this matters: In math, "non-vanishing" means the answer isn't zero. If the detector lights up, it proves the surface exists and has a specific, measurable "weight" or "charge." This proves that the surface is a real, distinct object in the 4D world, not just a mathematical ghost.

4. The Result: A New "Genus Bound" (The Ruler)

Because the detector always lights up for these surfaces, the authors can now measure them.

• The Rasmussen Invariant (Old): This was a ruler that worked only for the perfect 4D sphere. It told you the minimum number of holes a surface must have.
• The New Bound (Corollary B): The authors created a universal ruler. It works for any 4D shape.
  • They look at the "charge" of the surface in their Lasagna Module.
  • They calculate a number based on that charge.
  • This number gives a strict lower limit on how complex the surface can be.
  • Example: If the math says the minimum complexity is 5, you know for a fact that you cannot draw a smooth surface with only 3 holes attached to that knot. It must have at least 5.

5. The Secret Sauce: "Deformation" and "Coloring"

To make this work, they used a trick called deformation.

• The Metaphor: Imagine the mathematical sauce has different flavors (colors).
  • Equivariant Version: The sauce has a complex, multi-layered flavor (like a gourmet sauce with many spices).
  • Deformed Version: They "tweak" the spices. They change the recipe slightly.
• The Magic: When they tweak the recipe, the giant Lasagna Module breaks apart into smaller, simpler Lasagnas.
  • It's like taking a giant, complex puzzle and realizing it's actually just a stack of simple, single-color puzzles.
  • By solving these simple puzzles (which are much easier to understand), they can prove that the giant puzzle (the complex 4D surface) must exist and has a specific size.

6. Why Should You Care?

• Detecting "Exotic" Shapes: In 4D, there are shapes that look the same from the outside but are secretly different on the inside (called "exotic" 4-manifolds). This new tool helps mathematicians spot these hidden differences.
• Proving Limits: It tells us the absolute limits of how "simple" a surface can be in a complex universe. It's like knowing the minimum amount of fuel a rocket needs to escape a specific planet's gravity, no matter how weird the planet is.
• Connecting Worlds: It bridges the gap between the simple 3D knots we can draw on paper and the wild, invisible 4D shapes that govern the fabric of our universe.

In summary: The authors built a new mathematical "lasagna" that can be cooked in any 4D kitchen. By tasting the layers, they proved that certain surfaces are always "real" and created a new universal ruler to measure their complexity, generalizing a famous 3D knot rule to the entire 4D universe.

Technical Summary

Here is a detailed technical summary of the paper "Invariants of surfaces in smooth 4-manifolds from link homology" by Kim Morrison, Kevin Walker, and Paul Wedrich.

1. Problem Statement

The paper addresses the challenge of constructing invariants for smoothly embedded oriented surfaces $S$ within a smooth, compact, oriented 4-manifold $W$, where the boundary of the surface is a given framed oriented link $L \subset \partial W$.

While invariants for surfaces in the 4-ball ($B^4$) are well-established (e.g., Khovanov–Jacobsson classes and the Rasmussen $s$-invariant), extending these to arbitrary 4-manifolds has been difficult. The authors aim to:

• Construct analogs of Khovanov–Jacobsson classes for surfaces in general 4-manifolds.
• Derive genus bounds for these surfaces that generalize the Rasmussen bound.
• Establish non-vanishing theorems for these invariants to ensure they provide meaningful topological information.

2. Methodology

The authors utilize Skein Lasagna Modules, a framework introduced in their previous work [MWW22], which treats 4-manifold invariants as receptacles for link homology theories. The core methodology involves three main technical pillars:

A. Equivariant and Deformed Link Homologies

The authors extend the construction of skein modules to input theories based on:

• $GL(N)$-equivariant $\mathfrak{gl}_N$ link homology: Defined over the ring $H^*(BGL(N)) \cong \mathbb{Z}[e_1, \dots, e_N]$.
• Deformed $\mathfrak{gl}_N$ link homology: Defined over $\mathbb{C}$ using a multiset of deformation parameters $\Sigma = \{\lambda_1, \dots, \lambda_N\}$. This includes Lee homology as a specific case.
• These theories are constructed using the Robert–Wagner foam evaluation, ensuring functoriality under link cobordisms.

B. Surface Invariants via Lasagna Fillings

A surface $S \subset W$ is represented in the skein module by a "lasagna filling." This consists of:

1. A collection of small 4-balls embedded in the interior of $W$.
2. A properly embedded surface $S$ in the complement of these balls, meeting the boundary $\partial W$ at $L$ and the boundaries of the balls at links $L_i$.
3. Labels $v_i$ from the link homology theory assigned to the input balls.

The authors define the tridegree of the surface invariant $[S]$ in the module $S_0^{GL(N)}(W; L)$ as:

• Homological degree: $[S] \in H_2(W, L)$.
• $t$-degree: $\deg_t(S) = [S] \cdot [S]$ (self-intersection).
• $q$-degree: $\deg_q(S) = (1-N)\chi(S) - N([S] \cdot [S])$.

C. Decomposition and Non-Vanishing Strategy

To prove the non-vanishing of these invariants, the authors employ a "deformation and specialization" strategy:

1. Specialization: Map the equivariant module to a deformed module $S_\Sigma(W; L)$ by specializing the equivariant parameters to complex numbers.
2. Decomposition: Prove that the deformed module decomposes into a direct sum of smaller modules based on the coloring of link components by the deformation parameters $\Sigma$.
3. Reduction to $\mathfrak{gl}_1$: In the case where all deformation parameters are distinct (multiplicity 1), the module decomposes into $\mathfrak{gl}_1$ skein modules.
4. Identification with Homology: Show that $\mathfrak{gl}_1$ skein modules are isomorphic to relative second homology groups. Since homologically diverse surfaces represent non-trivial homology classes, their invariants cannot vanish.

3. Key Contributions and Results

Theorem A: Non-Vanishing Theorem

The central result states that for any smooth, compact, oriented 4-manifold $W$ with boundary link $L$, any homologically diverse surface $S$ (defined as a surface where no union of a non-empty subset of its closed components is null-homologous in $W$) defines a non-trivial class in the $GL(N)$-equivariant skein lasagna module modulo torsion.

• Significance: This guarantees that the invariant detects the existence of such surfaces and does not vanish trivially, even in complex 4-manifolds.

Corollary B: Genus Bounds

The non-vanishing result yields a genus bound for surfaces in $W$. Let $q_{min}^N(\alpha)$ be the minimal $q$-degree of a non-zero class in the module for a homology class $\alpha$. For a homologically diverse surface $S$:
$$\chi(S) \leq \frac{-N([S] \cdot [S]) - q_{min}^N([S])}{N-1}$$

• Generalization: When $W=B^4$ and $N=2$, this recovers the Rasmussen invariant bound.
• Sharpness: The bound is sharp for positive links in $B^4$.

Theorem C: Decomposition Theorem

The authors prove a decomposition theorem for deformed skein modules. For a multiset of deformation parameters $\Sigma = \{\lambda_1^{N_1}, \dots, \lambda_n^{N_n}\}$, the module $S_\Sigma(W; L)$ is isomorphic to a direct sum over colorings $c$ of the boundary link:
$$S_\Sigma(W; L) \cong \bigoplus_{c} \bigotimes_{i=1}^n S_{N_i, \text{tw}}(W; L_{c^{-1}(\lambda_i)})$$
where $S_{N_i, \text{tw}}$ are twisted $\mathfrak{gl}_{N_i}$ skein modules.

• Functoriality: A key technical contribution is the use of Hopf link homology classes to extend the functoriality of link homology to immersed cobordisms with idempotent decorations. This allows the decomposition to hold naturally under cobordism maps, resolving issues where standard cobordism maps fail to be natural without rescaling.

Technical Characterization

The paper characterizes the precise technical conditions (Theorem 2.1) required for a link homology theory to extend to a 4-manifold skein module. Specifically, the theory must be monoidal, satisfy the "sweep-around" move, and have the trace of the $2\pi$ rotation acting as the identity.

4. Significance and Applications

• Detection of Exotic Structures: The invariants are sensitive to the smooth structure of 4-manifolds. The paper notes that related work (Ren–Willis, Sullivan) uses these techniques to detect exotic pairs of 4-manifolds and exotic surfaces (surfaces that are topologically isotopic but not smoothly isotopic).
• Generalization of Rasmussen Invariant: It provides a robust framework for generalizing the Rasmussen $s$-invariant beyond $S^3$ boundaries to arbitrary 4-manifolds, offering new tools to study the topology of embedded surfaces.
• Thom Conjecture Connection: The authors discuss a potential path to a purely skein-theoretic proof of the Thom conjecture (minimal genus of surfaces in $\mathbb{C}P^2$) by analyzing the behavior of these invariants under handle attachments, though preliminary computations suggest torsion issues must be resolved.
• Functoriality under Immersion: The construction of functorial maps for immersed cobordisms using Hopf link classes is a significant advancement in the theory of link homology, bridging the gap between algebraic constructions and geometric topology.

In summary, the paper successfully constructs a powerful family of 4-manifold invariants derived from link homology, proves their non-triviality for a broad class of surfaces, and provides explicit genus bounds that generalize classical results, all while establishing a rigorous decomposition theory for deformed versions of these invariants.