Khovanov homology can distinguish exotic Mazur manifolds

Basic Information

• Paper ID: 2510.10809
• Title: Khovanov homology can distinguish exotic Mazur manifolds
• Author: Gheehyun Nahm
• Classification: math.GT (Geometric Topology)
• Publication Date: October 12, 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10809

Abstract

Mazur manifolds are a class of compact, contractible 4-manifolds with handle decompositions consisting of a single 1-handle and a single 2-handle. This paper proves that Khovanov homology can distinguish certain exotic Mazur manifolds.

Research Background and Motivation

Problem Background

1. Exotic 4-manifolds Problem: In 4-dimensional geometric topology, a central question is understanding pairs of homeomorphic but non-diffeomorphic 4-manifolds (exotic manifolds). Such problems possess unique complexity in higher-dimensional manifold theory.
2. Significance of Mazur Manifolds: Mazur manifolds are compact contractible 4-manifolds constructed from a single 1-handle and a single 2-handle, serving as important examples in 4-dimensional topology. The first pair of exotic Mazur manifolds was constructed by Hayden, Mark, and Piccirillo in 2021.
3. Need for Invariants: Traditional topological invariants often fail to distinguish exotic manifolds, necessitating more refined tools. Khovanov homology, as a powerful tool in knot theory, is finding increasing applications in 4-manifold theory.

Research Motivation

This work is inspired by the research of Ren and Willis on applications of Khovanov homology to exotic 4-manifolds, particularly their result providing the first proof of the existence of exotic compact oriented 4-manifolds without analytical tools. The author aims to apply similar techniques to the study of Mazur manifolds.

Core Contributions

1. Main Theorem: Proves that for each integer k ≥ 1, Khovanov homology can distinguish the exotic Mazur manifold pairs shown in Figure 1.1.
2. Technical Innovation: Establishes the invariance of Khovanov cobordism maps for oriented surfaces in CP²\intD⁴ under diffeomorphisms (Lemma 3.3).
3. Methodological Contribution: Provides two proof pathways: one based on skein lasagna module theory, and another avoiding this theory to enhance transparency.
4. Computational Verification: Uses SnapPy software to verify that the mapping class groups of relevant 3-manifolds are trivial, ensuring rigorous proof of exoticity.

Detailed Methods

Core Technical Framework

Khovanov Cobordism Map: For an oriented surface S in CP²\intD⁴, define the Khovanov cobordism map:

Kh^{CP²}(S) : Kh(m(∂S)) → Z

Key Lemma Proof

Lemma 3.3: Let S, S' be oriented surfaces in (CP²)°, satisfying S = S' ∈ H₂((CP²)°; Z). If there exists a diffeomorphism:

((CP²)°, S) ≅ ((CP²)°, S') rel ∂

then the induced maps Kh^{CP²}(S) and Kh^{CP²}(S') are equal up to sign.

Technical Pathways

1. Direct Argument (Section 3.1):
   • Decompose the cobordism map into two steps: first through the surface-induced cobordism map, then project to specific gradings
   • Use Ren's results to prove invariance of the map under homotopy
2. Skein Lasagna Argument (Section 3.2):
   • Utilize the Künneth formula for gl₂ skein lasagna modules
   • Establish invariance through canonical dual lasagna generators

Main Theorem Proof Strategy

Prove Theorem 1.1 through the following steps:

1. Construct surfaces S_k and S'_k, obtained respectively by blowing up on m(Σ_k) and m(Σ'_k)
2. Utilize the distinguishing property from Hayden-Sundberg Theorem 2.1
3. Apply Lemma 3.3 to establish diffeomorphism invariance
4. Verify through handle calculus that the resulting manifolds are indeed Mazur manifolds

Experimental Setup

Computational Tools

• SnapPy: Used to verify properties of hyperbolic 3-manifolds and compute mapping class groups
• Sage: Serves as the runtime environment for SnapPy

Verification Content

1. Hyperbolicity Verification: Confirm that S³₀(J_k) is a hyperbolic manifold
2. Geodesic Computation: Find all geodesics of length ≤ 1
3. Mapping Class Group Computation: Verify that MCG(S³₀(J_k)) is trivial

Technical Details

Employ effective bounds from Thurston's hyperbolic Dehn surgery theorem, combined with FPS22, Theorem 7.28 to handle all cases k ≥ 1.

Experimental Results

Main Computational Results

For the case k = 1:

• S³₀(J₁) is verified to be a hyperbolic manifold
• A unique geodesic of length 0.92213444882961... is found
• The manifold obtained by drilling out this geodesic has trivial automorphism group

General Results

Through effective algorithms, verification for all k ≥ 1 shows:

• MCG(S³₀(J_k)) is trivial
• Ensures no boundary diffeomorphism exists between the exotic manifold pairs

Handle Calculus Verification

Figure 4.1 displays the complete handle calculus process, proving that the constructed manifolds indeed possess the handle structure of Mazur manifolds.

Related Work

Exotic 4-manifolds Research

• Akbulut-Ruberman (2016): First pair of exotic compact contractible 4-manifolds
• Hayden-Mark-Piccirillo (2021): First pair of exotic Mazur manifolds
• Ren-Willis (2024): First proof using Khovanov homology without analytical tools

Applications of Khovanov Homology to 4-manifolds

• Morrison-Walker-Wedrich (2022): Establish 4-manifold invariants from Khovanov-Rozansky chain homology
• Hayden-Sundberg (2024): Construct exotic slice disks and prove the distinguishing power of Khovanov homology

Conclusions and Discussion

Main Conclusions

1. Successfully proves that Khovanov homology can distinguish an infinite family of exotic Mazur manifolds
2. Establishes diffeomorphism invariance of cobordism maps for surfaces in CP²\intD⁴
3. Provides rigorous computational verification methods

Open Problems

The paper explicitly poses two important questions:

• Problem 1.2: Can Khovanov homology distinguish exotic closed oriented 4-manifolds?
• Problem 1.3: Can Khovanov homology distinguish exotic closed oriented simply-connected 4-manifolds?

Technical Limitations

1. The method currently applies only to Mazur manifolds with specific constructions
2. Requires the boundary 3-manifold to have trivial mapping class group
3. Computational verification relies on special properties of hyperbolic geometry

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First systematic application of Khovanov homology to the study of Mazur manifolds, opening new research directions.
2. Technical Rigor: Provides two independent proof pathways, enhancing reliability of the results.
3. Computational Completeness: Detailed computational verification using SnapPy ensures completeness of the mathematical proof.
4. Method Generality: The established technical framework may apply to broader classes of 4-manifold problems.

Limitations

1. Limited Scope: Currently handles only specific families of Mazur manifolds; generality remains to be improved.
2. Computational Dependence: Critical steps in the proof rely on computer verification, reducing theoretical purity.
3. Open Problems: The two core problems posed in the paper remain unsolved, indicating limitations of the method.

Impact

1. Academic Value: Provides new tools and perspectives for 4-dimensional geometric topology.
2. Methodological Significance: Demonstrates the potential of knot homology theory in applications to higher-dimensional topology.
3. Computational Topology: Advances the application of computational methods in pure mathematical proofs.

Applicable Scenarios

This method is particularly suitable for:

• Study of 4-manifolds with special handle structures
• Exotic manifold problems requiring fine invariants for distinction
• Interdisciplinary research between knot theory and 4-manifold theory

References

Key references include:

• HS24 Hayden-Sundberg's work on exotic slice disks
• RW24 Ren-Willis's research on Khovanov homology and exotic 4-manifolds
• MWW22 Morrison-Walker-Wedrich's foundational theory on 4-manifold invariants
• HMP21 Hayden-Mark-Piccirillo's original construction of exotic Mazur manifolds

This paper makes significant contributions to 4-dimensional geometric topology, successfully applying powerful tools from knot theory to manifold classification problems, opening new directions for development in this field.