[Paper Review] The Universal sl_2 Link Homology Theory

Gad Naot|ArXiv.org|Jun 25, 2007

Geometric and Algebraic Topology23 references3 citations

TL;DR

This paper introduces a universal $\mathfrak{sl}_2$ link homology theory that unifies all known $\mathfrak{sl}_2$ link homology functors through a geometric complex over $\mathbb{Z}$, reducing it via a novel reduction theorem to a simpler algebraic structure. The key contribution is a computable, universal complex that captures all known invariants and reveals new homology theories with controlled information content, resolving universality and phenomenological structure in link homology.

ABSTRACT

We explore the complex associated to a link in the geometric formalism of Khovanov's (n=2) link homology theory, determine its exact underlying algebraic structure and find its precise universality properties for link homology functors. We present new methods of extracting all known link homology theories directly from this universal complex, and determine its relative strength as a link invariant by specifying the amount of information held within the complex. We achieve these goals by finding a complex isomorphism which reduces the complex into one in a simpler category. We introduce few tools and methods, including surface classification modulo the 4TU/S/T relations and genus generating operators, and use them to explore the relation between the geometric complex and its underlying algebraic structure. We identify the universal topological quantum field theory (TQFT) that can be used to create link homology and find that it is ``smaller'' than what was previously reported by Khovanov. We find new homology theories that hold a controlled amount of information relative to the known ones. The universal complex is computable efficiently using our reduction theorem. This allows us to explore the phenomenological aspects of link homology theory through the eyes of the universal complex in order to explain and unify various phenomena (such as torsion and thickness). The universal theory also enables us to state results regarding specific link homology theories derived from it. The methods developed in this thesis can be combined with other known techniques (such as link homology spectral sequences) or used in the various extensions of Khovanov link homology (such as sl_3 link homology).

Motivation & Objective

• To identify the precise universal complex underlying $\mathfrak{sl}_2$ link homology over $\mathbb{Z}$, resolving ambiguities in earlier constructions.
• To establish a reduction theorem that simplifies the geometric complex into a computable algebraic structure over $\mathbb{Z}$ and $\mathbb{Q}$.
• To demonstrate how all known $\mathfrak{sl}_2$ link homology theories arise as specializations of this universal complex.
• To uncover new homology theories with controlled information content by analyzing the universal complex’s structure.
• To clarify the role of the universal topological quantum field theory (TQFT) and its relation to known TQFTs, showing it is smaller than previously thought.

Proposed method

• Developed a surface classification modulo the 4TU/S/T relations over $\mathbb{Z}[\frac{1}{2}]$ and $\mathbb{Z}$, enabling algebraic reduction of the geometric complex.
• Introduced genus-generating operators and a 2-handle lemma to analyze the algebraic structure of the complex.
• Formulated a reduction theorem over $\mathbb{Q}$ and $\mathbb{Z}$, transforming the geometric complex into a simpler, computable chain complex.
• Defined a universal TQFT via promotion and H-promotion, showing it governs all $\mathfrak{sl}_2$ link homology functors.
• Used the universal complex to extract known invariants (e.g., Jones polynomial, Rasmussen invariant) via projections and spectral sequences.
• Provided an algorithm and Mathematica code (via JavaKh) to compute the universal complex efficiently for knots up to 7 crossings.

Experimental results

Research questions

• RQ1 What is the precise algebraic structure of the geometric $\mathfrak{sl}_2$ complex over $\mathbb{Z}$, and how can it be simplified?
• RQ2 How does the universal complex relate to all known $\mathfrak{sl}_2$ link homology theories, and what is its universality property?
• RQ3 What new link homology theories can be derived from the universal complex with controlled information content?
• RQ4 How does the universal TQFT compare to Khovanov’s earlier construction, and what is its minimal structure?
• RQ5 How can the universal complex be efficiently computed and used to unify phenomena like torsion and thickness in link homology?

Key findings

• The universal $\mathfrak{sl}_2$ complex over $\mathbb{Z}$ is computable via a reduction theorem, enabling explicit computation of the homology for knots up to 7 crossings.
• All known $\mathfrak{sl}_2$ link homology theories arise as specializations of the universal complex through projections and diagonalizations.
• The universal TQFT is smaller than previously reported by Khovanov, with a minimal structure that still captures all $\mathfrak{sl}_2$ invariants.
• New homology theories with controlled information content were identified by analyzing the universal complex’s internal structure.
• The complex reveals intrinsic phenomena such as torsion and thickness, which are unified under the universal framework.
• Manual reductions of the output complex (e.g., from JavaKh) yield a simplified, canonical form, demonstrating the practical computability of the universal theory.