[Paper Review] A proof of Tait's Conjecture on alternating-achiral knots

Nicola Ermotti, Cam Van Quach Hongler+1 more|arXiv (Cornell University)|Mar 16, 2011

Geometric and Algebraic Topology4 references3 citations

TL;DR

This paper proves Tait's Conjecture on alternating −achiral knots by demonstrating that every such knot admits a minimal projection in the 2-sphere that is invariant under an orientation-reversing involution of S³, which fixes two points on the projection and reverses the knot’s orientation. The proof relies on the canonical decomposition of alternating knot projections into jewels and twisted band diagrams, encoded via a structure tree, and analyzes symmetries through automorphisms of this tree under the constraints of flyping equivalence and involution invariance.

ABSTRACT

In this paper we are interested in symmetries of alternating knots, more precisely in those related to achirality. We call the following statement Tait's Conjecture on alternating -achiral knots: Let K be an alternating -achiral knot. Then there exists a minimal projection Π of K in S^2 \subset S^3 and an involution ϕ:S^3 oS^3 such that: 1) ϕ reverses the orientation of $S^3$; 2) ϕ(S^2) = S^2; 3) ϕ (Π) = Π; 4) ϕ has two fixed points on Π and hence reverses the orientation of K. The purpose of this paper is to prove this statement.

Motivation & Objective

• To resolve a long-standing conjecture by Peter Tait regarding the geometric realization of −achirality in alternating knots.
• To establish that every alternating −achiral knot has a minimal projection invariant under an orientation-reversing involution of S³ with two fixed points on the projection.
• To clarify the distinction between +achirality and −achirality in alternating knots, particularly regarding the role of symmetry order and visibility on minimal projections.
• To provide a topological framework using structure trees and checkerboard graphs to analyze symmetries and isomorphism conditions in alternating knot theory.

Proposed method

• Decomposes minimal projections of alternating knots into canonical components—jewels and twisted band diagrams—using Haseman circles.
• Constructs the structure tree A(K) of an alternating knot K as a canonical invariant encoding the decomposition, with nodes representing components and edges representing connections.
• Applies the Flyping Theorem to show that two minimal projections are equivalent under flypes and orientation-preserving diffeomorphisms of S².
• Analyzes symmetries of K via automorphisms of the structure tree A(K), classifying fixed points as jewels or Haseman circles to distinguish cases (A, B, C).
• Uses the Key Theorem to reduce the problem to showing that −achirality implies equivalence between a projection Π and its mirror image −ˆΠ via flypes and orientation-preserving maps.
• Establishes that in the case of −achirality, such an equivalence can be realized without flypes on a minimal projection, implying the existence of an invariant projection under a global involution.

Experimental results

Research questions

• RQ1 Can every alternating −achiral knot be represented by a minimal projection that is invariant under an orientation-reversing involution of S³ with two fixed points on the projection?
• RQ2 Is the symmetry of −achirality always visible on a minimal projection, or are there cases where flypes are required to realize the symmetry?
• RQ3 How do the structure tree A(K) and its automorphisms classify the possible symmetries of alternating knots, particularly in relation to the order of achirality?
• RQ4 What is the relationship between the isomorphism of checkerboard graphs G(Π) and G*(Π) and the achirality type (±) of a minimal projection Π?
• RQ5 Are there counterexamples to Kauffman’s Conjecture that are −achiral, or are such counterexamples necessarily +achiral and of higher symmetry order?

Key findings

• Tait’s Conjecture on alternating −achiral knots is proven: every such knot admits a minimal projection Π in S² ⊂ S³ and an orientation-reversing involution φ of S³ such that φ(S²) = S², φ(Π) = Π, and φ has exactly two fixed points on Π.
• The proof shows that for −achiral alternating knots, the symmetry can be realized without flypes on a minimal projection, meaning the involution is visible directly on the diagram.
• The structure tree A(K) is a canonical invariant of the knot, and the automorphism induced by −achirality fixes either a jewel (Case A), a Haseman circle adjacent to two jewels (Case B), or a Haseman circle adjacent to two band diagrams (Case C).
• Kauffman’s Conjecture—that every alternating −achiral knot has a minimal projection with isomorphic checkerboard graphs—is confirmed: such a projection exists where G(Π) is +equivalent to G*(Π).
• Counterexamples to Kauffman’s Conjecture, such as those constructed by Dasbach and Hougardy, are necessarily +achiral and not −achiral, and can be of arbitrarily high symmetry order 2^a with a ≥ 2.
• The paper constructs, for every a ≥ 2, an alternating knot that is +achiral of period 2^a, quasi-polyhedral, and a counterexample to Kauffman’s Conjecture, showing that Kauffman-Jablan’s Conjecture is false.