Table of Contents
Fetching ...

Matrix factorizations and link homology

Mikhail Khovanov, Lev Rozansky

TL;DR

The paper constructs a family of doubly-graded link homologies $H_n(L)$ for $n>0$ whose Euler characteristics recover the HOMFLY polynomial $P_n(L)$ by employing matrix factorizations tied to planar MOY graphs. It develops a robust, diagrammatic calculus based on cyclic Koszul complexes and graded factorizations, enabling local graph decompositions and a tangle-based, functorial invariant framework. The approach yields a combinatorial algorithm to compute $H_n(L)$ and connects to established theories for $n=0,1,2,3$, while outlining conjectural correspondences for $n=3$ and potential extensions to tangle cobordisms. Overall, the work provides a unified algebraic pathway to categorify quantum-group–related link invariants via matrix factorizations and planar graph calculus, with broad implications for link homology theories and topological quantum field theories.

Abstract

For each positive integer n the HOMFLY polynomial of links specializes to a one-variable polynomial that can be recovered from the representation theory of quantum sl(n). For each such n we build a doubly-graded homology theory of links with this polynomial as the Euler characteristic. The core of our construction utilizes the theory of matrix factorizations, which provide a linear algebra description of maximal Cohen-Macaulay modules on isolated hypersurface singularities.

Matrix factorizations and link homology

TL;DR

The paper constructs a family of doubly-graded link homologies for whose Euler characteristics recover the HOMFLY polynomial by employing matrix factorizations tied to planar MOY graphs. It develops a robust, diagrammatic calculus based on cyclic Koszul complexes and graded factorizations, enabling local graph decompositions and a tangle-based, functorial invariant framework. The approach yields a combinatorial algorithm to compute and connects to established theories for , while outlining conjectural correspondences for and potential extensions to tangle cobordisms. Overall, the work provides a unified algebraic pathway to categorify quantum-group–related link invariants via matrix factorizations and planar graph calculus, with broad implications for link homology theories and topological quantum field theories.

Abstract

For each positive integer n the HOMFLY polynomial of links specializes to a one-variable polynomial that can be recovered from the representation theory of quantum sl(n). For each such n we build a doubly-graded homology theory of links with this polynomial as the Euler characteristic. The core of our construction utilizes the theory of matrix factorizations, which provide a linear algebra description of maximal Cohen-Macaulay modules on isolated hypersurface singularities.

Paper Structure

This paper contains 12 sections, 79 theorems, 355 equations, 61 figures.

Key Result

Proposition 1

If the entries of $\mathbf{a}$ and $\mathbf{b}$ generate $R$ as an $R$-module, the factorization $\{ \mathbf{a},\mathbf{b}\}$ is contractible (its identity endomorphism is null-homotopic).

Figures (61)

  • Figure 1: The HOMFLY skein relation
  • Figure 2: Reducing to planar graphs
  • Figure 3: Graph skein relations, $[i]=\frac{ q^i -q^{-i}}{ q-q^{-1}}$
  • Figure 4: Murakami-Ohtsuki-Yamada terminology and the appearance of edges labelled by $3.$
  • Figure 5: Near a wide edge
  • ...and 56 more figures

Theorems & Definitions (83)

  • Definition 1
  • Definition 2
  • Proposition 1
  • Corollary 1
  • Proposition 2
  • Corollary 2
  • Definition 3
  • Proposition 3
  • Proposition 4
  • Proposition 5
  • ...and 73 more