[Paper Review] On the Visibility of Alternating +Achiral Knots

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

Geometric and Algebraic Topology16 references3 citations

TL;DR

This paper investigates the visibility of +achirality in prime alternating knots, proving that for arborescent knots, +achirality is visible via a diffeomorphism of order 4 on a non-minimal projection, while for non-arborescent knots without minimal visible symmetry, the +achirality must be of order exactly 4. The results rely on structure trees, canonical decompositions, and flype invariance to analyze symmetry visibility in knot projections.

ABSTRACT

This article is devoted to the study of prime alternating +achiral knots. In the case of arborescent knots, we prove in +AAA Visibility Theorem 5.1, that the symmetry is visible on a certain projection (not necessarily minimal) and that it is realised by a homeomorphism of order 4. In the general case (arborescent or not), if the prime alternating knot has no minimal projection on which +achirality is visible, we prove that the order of +achirality is necessarily equal to 4.

Motivation & Objective

• To determine whether +achirality of alternating knots can be visibly realized in a projection, particularly when minimal projections fail to show the symmetry.
• To establish conditions under which the symmetry of a +achiral alternating knot is visible via a diffeomorphism of order 4 on a projection.
• To analyze the structural and topological constraints on projections where +achirality is not visible in minimal form.
• To extend visibility results from arborescent knots to general alternating +achiral knots, especially when minimal projections lack visible symmetry.
• To prove that if no minimal projection exhibits +achirality, then the symmetry must be of order exactly 4.

Proposed method

• Utilizes the structure tree ${\mathcal{A}}(K)$ derived from the canonical Conway family of Haseman circles to encode the decomposition of a knot projection into twisted band diagrams and jewels.
• Applies the Flyping Theorem and Bonahon-Siebenmann’s canonical decomposition to ensure invariance of the structure tree under flypes and isotopy.
• Employs Key Theorem 3.1 and the Finite Order Lemma 3.1 to relate orientation-preserving homeomorphisms of the projection sphere to twisted rotations in $\mathbb{R}^3$.
• Analyzes the action of the +achirality symmetry on the structure tree, showing it induces an automorphism with exactly one fixed point (a vertex or edge).
• Distinguishes cases based on whether the fixed point is a vertex (corresponding to a jewel) or an edge (corresponding to an invariant Haseman circle), leading to different projection types.
• Uses the concept of $*$-equivalence and minimal central tangles to classify primary tangles and analyze cross-plumbing operations in arborescent knots.

Experimental results

Research questions

• RQ1 Can +achirality of a prime alternating arborescent knot be visibly realized in a projection, even if not minimal?
• RQ2 What is the minimal order of symmetry for a +achiral alternating knot that lacks a minimal projection exhibiting visible +achirality?
• RQ3 How does the structure tree of a knot projection encode information about the visibility of its symmetries?
• RQ4 Under what conditions does the fixed point of the symmetry automorphism on the structure tree correspond to a Haseman circle or a jewel?
• RQ5 Can the Kauffman-Jablan Conjecture be supported or refuted within the framework of +achirality and structure tree automorphisms?

Key findings

• For prime alternating arborescent knots with +achirality, there exists a non-minimal projection where the +achirality is visibly realized by a diffeomorphism of order 4 on the projection sphere.
• The +achirality symmetry is realized via a twisted rotation in $\mathbb{R}^3$ whose reflection plane coincides with the projection plane, ensuring visibility.
• In the absence of a minimal projection exhibiting visible +achirality, the order of +achirality must be exactly 4, as proven in Theorem 7.1.
• The structure tree ${\mathcal{A}}(K)$ is invariant under flypes and isotopy, making it a robust invariant for analyzing symmetry visibility.
• For arborescent knots, the symmetry automorphism on the structure tree has a fixed point that is either a vertex (jewel) or an edge (Haseman circle), and this determines the type of projection.
• The canonical decomposition into twisted band diagrams and jewels allows for a classification of projections, with arborescent knots being those where all diagrams are twisted band diagrams.