[Paper Review] Elliptic Involution on Knot Complements

Yang Xiu|arXiv (Cornell University)|Nov 7, 2015

Geometric and Algebraic Topology6 references3 citations

TL;DR

This paper proves that the bordered Heegaard Floer homology invariant CFD of a knot complement in S³ is invariant under the elliptic involution on its boundary torus. Using an algorithmic extraction of CFD from the knot Floer complex CFK⁻, the authors show that the module structure remains unchanged when the boundary parametrization is composed with the elliptic involution, establishing a symmetry property crucial for mutation invariants in low-dimensional topology.

ABSTRACT

We show that Bordered Heegaard Floer invariant $\widehat{CFD}$ of a knot complement in $S^3$ is invariant under the elliptic involution on its boundary.

Motivation & Objective

• To establish invariance of the bordered invariant CFD under the elliptic involution on the boundary torus of a knot complement.
• To provide a constructive method for computing CFD from the knot Floer complex CFK⁻ using a basis that is both vertically and horizontally simplified.
• To demonstrate that this invariance implies that mutations using the elliptic involution do not alter the dHF invariant when one of the pieces is a knot complement.
• To offer two proofs: one under a mild technical assumption and a general proof using the full algorithmic framework from bordered Heegaard Floer theory.

Proposed method

• Extracting the CFD module from the knot Floer complex CFK⁻ via an algorithmic procedure described in Theorem 3 and Theorem 4 of [4], using a large framing parameter n.
• Representing the CFD module as a bigraded module over the algebra A(F), with components V₀ and V₁ indexed by integer and half-integer grading shifts.
• Tracking differentials via ρ-structures (ρ₁, ρ₂, ρ₃, ρ₁₂, ρ₂₃, ρ₁₂₃), which correspond to differentials in the knot complex and their compositions.
• Using cancellation techniques on the module diagram to simplify the structure, particularly focusing on pairs of generators and their associated arrows.
• Applying the elliptic involution h: T² → T² to the boundary parametrization and showing that the resulting CFD module is isomorphic to the original via diagrammatic and algebraic equivalence.
• Verifying compatibility of cancellations across different regions of the module, especially at boundary and corner cases, to ensure the isomorphism is well-defined.

Experimental results

Research questions

• RQ1 Does the bordered invariant CFD of a knot complement remain unchanged when the boundary parametrization is composed with the elliptic involution on the torus?
• RQ2 Can the CFD module be algorithmically reconstructed from the knot Floer complex CFK⁻ in a way that makes this invariance manifest?
• RQ3 How does this invariance affect the behavior of 3-manifold mutations involving knot complements?
• RQ4 What is the role of the horizontal and vertical simplification of the CFK⁻ basis in ensuring the invariance under the elliptic involution?
• RQ5 Are there topological or algebraic obstructions to this invariance, and if so, do they exist for any knots?

Key findings

• The CFD invariant of a knot complement in S³ is isomorphic to its CFD under composition with the elliptic involution on the boundary torus, i.e., CFD(X, φ) ≃ CFD(X, φ∘h).
• This invariance holds even when the knot does not satisfy the mild simplification condition required in the first proof, as shown via the general algorithm in Theorem 3.
• The proof relies on a diagrammatic and algebraic analysis of the CFD module structure, where cancellations preserve the isomorphism type under the involution.
• The result implies that mutations of 3-manifolds using the elliptic involution do not alter the dHF invariant when one of the pieces is a knot complement.
• The invariance is robust across all regions of the module, including corner cases and boundary rows, as verified by compatibility of cancellation procedures.
• The key mechanism is the symmetry of the CFK⁻ complex under the involution, which induces a corresponding symmetry in the CFD module via the algorithmic construction.