[Paper Review] Remarks on Formal Knot Theory

Louis H. Kauffman|ArXiv.org|May 23, 2006

Geometric and Algebraic Topology20 references3 citations

TL;DR

This paper provides a companion guide to Formal Knot Theory, reformulating the Alexander polynomial via state summations and exploring its connections to quantum topology. It introduces Khovanov homology as a categorification of the bracket polynomial, showing how differential structures built from Frobenius algebras yield topological invariants invariant under Reidemeister moves.

ABSTRACT

This paper is an introduction to the state sum model for the Alexander-Conway polynomial that was introduced in the the author's book "Formal Knot Theory" (Princeton University Press, 1983). The article outlines how Alexander's original definition of the polynomial as the determinant of a matrix associated with the link diagram can be reformulated as a state summation over combinatorial configurations of the diagram. Facts about the state model, the Clock Theorem (that makes this model tick) and relations with other state models such as the bracket polynomial, are discussed. The paper includes a miniature introduction to Khovanov homology. This paper will appear in the forthcoming Dover republication of Formal Knot Theory.

Motivation & Objective

• To provide a conceptual and computational guide to Formal Knot Theory, especially for readers engaging with the original text.
• To reformulate the Alexander polynomial as a state summation, making it more accessible through combinatorial methods.
• To explore the emergence of quantum invariants, particularly Khovanov homology, from the bracket polynomial model.
• To clarify the role of Frobenius algebras in constructing chain complexes whose homology is invariant under Reidemeister moves.
• To compare Khovanov homology with knot Floer homology, highlighting differences in combinatorial vs. geometric foundations.

Proposed method

• Reformulates the Alexander polynomial using a determinant of a matrix derived from region and crossing relations in a link diagram.
• Expresses the determinant expansion as a sum over states, where each state corresponds to a choice of crossing for each region, forming a state summation.
• Constructs a chain complex from bracket polynomial states, assigning an algebra $\mathcal{A}$ to each loop in a state and forming tensor products over the number of loops.
• Defines a differential on the chain complex using smoothing maps $m$ (merging loops) and $\Delta$ (splitting loops), with signs based on ordering conventions.
• Imposes the Frobenius algebra axioms—specifically $\Delta \circ m = (m \otimes 1) \circ (1 \otimes \Delta) = (1 \otimes \Delta) \circ (m \otimes 1)$—to ensure $d^2 = 0$.
• Uses a specific Frobenius algebra with basis $\{1, X\}$, $X^2 = 0$, $\Delta(1) = 1 \otimes X + X \otimes 1$, $\Delta(X) = X \otimes X$, to realize the homology theory.

Experimental results

Research questions

• RQ1 How can the Alexander polynomial be reformulated as a state summation derived from its determinant formulation?
• RQ2 What algebraic structure underlies the construction of Khovanov homology, and how does it ensure topological invariance?
• RQ3 How do the differential maps in Khovanov homology correspond to topological cobordisms between link states?
• RQ4 What is the relationship between the bracket polynomial and the categorification of the Alexander polynomial via Khovanov homology?
• RQ5 Why does knot Floer homology lack a known purely combinatorial differential, unlike Khovanov homology?

Key findings

• The Alexander polynomial of the trefoil knot is $\Delta \dot{=} x^2 - x + 1$, computed via the determinant of a matrix derived from region and crossing relations.
• The state summation reformulation of the Alexander polynomial arises naturally from the expansion of the determinant, with each term corresponding to a state where each region selects a boundary crossing.
• Khovanov homology is constructed as a chain complex where the $n$-th level is the direct sum of tensor products $\mathcal{A}^{\otimes ||S||}$ over all states $S$ with $n$ type-$A$ sites.
• The differential $d$ maps $C_{n+1}(K)$ to $C_n(K)$ via signed sums of single-site resmoothing maps, with $d^2 = 0$ ensured by the Frobenius algebra axioms.
• A specific Frobenius algebra with basis $\{1, X\}$, $X^2 = 0$, $\Delta(1) = 1 \otimes X + X \otimes 1$, $\Delta(X) = X \otimes X$ satisfies the required conditions and yields a topological invariant.
• Knot Floer homology categorifies the Alexander polynomial but currently lacks a known combinatorial description of its differential, relying instead on more complex geometric methods.