Heegaard Floer homology and chirally cosmetic surgeries

Basic Information

• Paper ID: 2112.03144
• Title: Heegaard Floer homology and chirally cosmetic surgeries
• Author: Konstantinos Varvarezos
• Classification: math.GT (Geometric Topology)
• Publication Date: December 7, 2021
• Paper Link: https://arxiv.org/abs/2112.03144

Abstract

This paper investigates the problem of chirally cosmetic surgeries on knots. A pair of surgeries is called chirally cosmetic if the resulting manifolds are homeomorphic but have opposite orientations. Using Heegaard Floer homology, particularly the immersed curve formulation of knot Floer homology and corresponding surgery formulas, the author establishes new obstructions to the existence of such surgeries. As applications, the paper provides a complete classification of chirally cosmetic surgeries on odd alternating pretzel knots, excludes such surgeries for a large class of Whitehead doubles, and proves that L-space knots do not admit cosmetic surgeries along slopes of opposite signs.

Research Background and Motivation

Problem Background

1. Cosmetic Surgery Problem: Given a knot K in S³ and rational numbers r and r', surgeries along slopes r and r' are called cosmetic if S³ᵣ(K) and S³ᵣ'(K) are homeomorphic. Furthermore, if the homeomorphism preserves orientation, they are called purely cosmetic; if S³ᵣ(K) ≅ -S³ᵣ'(K), they are called chirally cosmetic.
2. Current State of Research:
   • No purely cosmetic surgeries on non-trivial knots in S³ have been found to date
   • Examples of chirally cosmetic surgeries exist: amphicheiral knots satisfy S³ᵣ(K) ≅ -S³₋ᵣ(K)
   • (2,n)-torus knots admit chirally cosmetic surgeries along certain slope pairs
3. Core Problem: Question 1.1 asks whether non-amphicheiral and non-(2,n)-torus knots admit chirally cosmetic surgeries.

Research Motivation

Existing Heegaard Floer obstructions indicate that chirally cosmetic surgeries along slopes of the same sign are rare (Theorem 1.2). This naturally leads to Question 1.3: do non-amphicheiral knots admit chirally cosmetic surgeries along slopes of opposite signs? This paper aims to provide new obstructions for this problem.

Core Contributions

1. New Obstruction Theorem: For knots satisfying τ(K) = g(K) > 0, specific constraints on chirally cosmetic surgeries along slopes of opposite signs are established (Theorem 1.4)
2. Complete Classification Result: Complete classification of chirally cosmetic surgeries on odd alternating pretzel knots K(k₁,...,k₂ₘ₊₁) (Theorem 1.5)
3. Whitehead Double Result: Excludes chirally cosmetic surgeries for a large class of Whitehead doubles D⁺(K,n) (Theorem 1.7)
4. L-space Knot Result: Proves that non-trivial L-space knots do not admit cosmetic surgeries along slopes of opposite signs (Theorem 1.8)

Methodology in Detail

Theoretical Foundation

The paper primarily employs the immersed curve formulation of Heegaard Floer homology, which encodes knot Floer homology as immersed curves on a punctured torus.

Core Technical Tools

1. Immersed Curve Invariants

For a knot K ⊂ S³, its immersed curve invariant Γ ⊂ T• encodes the Floer homology information of the knot. In the cylindrical cover T̃•, Γ has a special structure:

• Contains a unique "winding" component γ₀
• Other components can be homotoped into small neighborhoods of the meridian μ

2. Surgery Formula

Via Theorem 2.1, the Heegaard Floer homology of Dehn surgery can be computed through Lagrangian Floer homology of immersed curves:

ĤF(S³ₖ(p/q)) ≅ HF(Γ, Lₚ/ᵩ)

3. Rank Formula

For immersed curves in "tightened" configuration, the rank of Heegaard Floer homology of the surgery manifold is given by:

rk ĤF(S³ₖ(p/q)) = |p - q(2τ(K) - ε(K))| + |q|Vert(K)

Main Obstruction Mechanisms

Proof Strategy for Theorem 1.4

For knots satisfying τ(K) = g(K) > 0:

1. Lemma 2.4: If p/q > 2g(K) - 1, then for each Spinᶜ structure s,

   rk ĤF(S³ₖ(p/q), s) ≤ maxᵢ nᵢ(K)
   

2. Lemma 2.5: If p/q < 0, then there exists a Spinᶜ structure s such that

   rk ĤF(S³ₖ(p/q), s) ≥ maxᵢ nᵢ(K) + 1
   

3. Proof by Contradiction: If p/q > 2g(K) - 1 and a chirally cosmetic surgery exists, then the Heegaard Floer homologies of the two surgery manifolds cannot be isomorphic.
4. Precise Constraints: Using the rank formula yields precise algebraic constraints:

   2p = (Vert(K) + 2g(K) - 1)(q + q')
   

Experimental Setup

Objects of Application

The "experiments" in this paper apply theoretical results to specific knot families:

1. Odd Alternating Pretzel Knots: P(-2k₁-1, -2k₂-1, ..., -2k₂ₘ₊₁-1)
2. Whitehead Double Knots: D⁺(K,n)
3. L-space Knots: Knots satisfying certain surgery conditions that produce L-spaces

Computational Tools

• Coefficients of Conway and Alexander polynomials
• Finite-type invariants v₃(K) and a₂(K), a₄(K)
• τ and ε invariants
• Knot determinant det(K)

Experimental Results

Complete Classification of Pretzel Knots

Main Result (Theorem 1.5)

For K = K(k₁,...,k₂ₘ₊₁), if at least one kᵢ > 0, then K admits no chirally cosmetic surgeries.

Proof Strategy

1. Opposite Sign Slopes Case:
   • Utilize Corollary 2.8 combined with finite-type invariants
   • For g ≥ 4 with at least two non-zero kᵢ (Lemma 3.9)
   • For two-bridge knots J(-(2k+1), 2g) (Lemmas 3.11, 3.12)
2. Same Sign Slopes Case:
   • Apply Theorem 1.2; such knots must be L-space knots
   • But these pretzel knots are not L-space knots

Key Calculations

Computing the determinant via Seifert algorithm:

det(K) = Σ(m=0 to 2g) 2^m(2g+1-m)sₘ,₂ₘ₊₁

where sₘ,ₙ are elementary symmetric polynomials.

Whitehead Double Results

Theorem 1.7

• If a₂(K) = 0 and |n| ≥ 5, then D⁺(K,n) admits no chirally cosmetic surgeries
• If additionally 2τ(K) > n for n ∈ {-4,-2,1,4}, the conclusion still holds

Proof Highlights

1. Utilize known formulas for Whitehead doubles:
   • a₂(D⁺(K,n)) = -n
   • v₃(D⁺(K,n)) = -2a₂(K) + (n²-n)/2
   • τ(D⁺(K,n)) = 1 when n < 2τ(K), otherwise 0
2. Combine with Lemma 3.14's Casson-type invariant obstruction

Complete Exclusion for L-space Knots

Theorem 1.8

Non-trivial L-space knots do not admit cosmetic surgeries along slopes of opposite signs.

Innovative Technique

1. Structure Theorem (Lemma 4.1): The immersed curve invariant of an L-space knot consists of a single embedded component
2. Relative Grading Analysis: Establish a bijection ψ using shearing transformations and reflections to analyze grading relationships among different Spinᶜ structures
3. Proof by Contradiction: Derive contradiction through monotonicity of average grading difference ∆ₐᵥₘ

Related Work

Development of Heegaard Floer Techniques

• Original theory by Ozsváth-Szabó
• Immersed curve formulation by Hanselman
• Applications to cosmetic surgery problems

Current State of Cosmetic Surgery Research

• Purely cosmetic surgeries: no examples found, strong obstructions exist
• Chirally cosmetic surgeries: known examples and obstruction results
• Classification results for specific knot families

Applications of Finite-Type Invariants

• Results by Ito using LMO invariants (Theorem 2.6)
• Applications of Conway polynomial coefficients
• v₃ invariants derived from Jones polynomial

Conclusions and Discussion

Main Conclusions

1. Provides new powerful obstructions to chirally cosmetic surgeries
2. Completely resolves the classification problem for odd alternating pretzel knots
3. Significantly advances understanding of Question 1.3

Theoretical Significance

• Demonstrates that knots "far from amphicheiral" (τ(K) = g(K)) typically do not admit chirally cosmetic surgeries
• Establishes new connections between Heegaard Floer theory and finite-type invariants
• Provides new perspectives on L-space knot theory

Technical Innovation

• Systematic application of immersed curve techniques to cosmetic surgery problems
• Geometric analysis methods for relative grading
• Organic combination of multiple invariants

In-Depth Evaluation

Strengths

Technical Level

1. Methodological Innovation: First systematic application of immersed curve formulation to cosmetic surgery problems
2. Complete Results: Provides complete classification for pretzel knots and complete exclusion for L-space knots
3. Technical Depth: Skillfully combines Heegaard Floer theory, finite-type invariants, and geometric analysis

Academic Value

1. Theoretical Contribution: Provides substantial progress on an important open problem
2. Methodological Value: Demonstrates the power of modern knot invariants
3. Completeness: Complete chain from abstract theory to concrete applications

Limitations

Methodological Constraints

1. Scope of Applicability: Main results require τ(K) = g(K), limiting applicable knot types
2. Technical Threshold: Requires deep background in Heegaard Floer theory
3. Computational Complexity: Concrete applications require extensive invariant calculations

Theoretical Gaps

1. Question 1.1 Not Fully Resolved: Some knot types remain uncovered
2. Lack of Constructive Results: Primarily exclusionary results, lacking positive constructions
3. Generality Limitations: L-space knot results, though strong, are restricted in type

Impact Assessment

Direct Impact

1. Field Advancement: Significantly advances research on cosmetic surgery problems in 3-dimensional topology
2. Technical Demonstration: Provides exemplary applications of immersed curve techniques
3. Problem Resolution: Completely resolves classification for specific knot families

Potential Applications

1. Method Generalization: Techniques may apply to other knot families
2. Theoretical Development: May promote further development of Heegaard Floer theory
3. Cross-disciplinary Applications: Methods may have applications in related geometric problems

Applicable Scenarios

1. Knot Theory Research: Particularly cosmetic surgeries and knot invariants
2. 3-Dimensional Topology: Dehn surgery and 3-manifold classification problems
3. Heegaard Floer Theory: Development and applications of immersed curve techniques

References

The paper cites 40 important references, primarily including:

• Foundational works in Heegaard Floer theory (Ozsváth-Szabó)
• Development of immersed curve formulation (Hanselman-Rasmussen-Watson)
• Prior research on cosmetic surgery problems (Ichihara-Ito-Saito, et al.)
• Finite-type invariant theory (Ito, et al.)

Overall Assessment: This is a high-quality paper with significant contributions to 3-dimensional topology. It features deep techniques, important results, and innovative methods, representing the frontier of the field. While limitations remain in generality, it provides substantial progress on important open problems and possesses considerable academic value.