In mathematics, Khovanov homology is an oriented link invariant that arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial.
It was developed in the late 1990s by Mikhail Khovanov.
Definition
This definition follows the formalism given in Dror Bar-Natan’s 2002 paper.
Let
denote the degree shift operation on graded vector spaces—that is, the homogeneous component in dimension
is shifted up to dimension
.
Similarly, let
denote the height shift operation on cochain complexes—that is, the
th vector space or module in the complex is shifted along to the
th place, with all the differential maps being shifted accordingly.
Let
be a graded vector space with one generator
of degree 1, and one generator
of degree
.
Now take an arbitrary diagram
representing a link
. The axioms for the Khovanov bracket are as follows:
, where
denotes the empty link.
, where O denotes an unlinked trivial component.
![{\displaystyle [D]=\mathbf {F} (0\to [D_{0}]\to [D_{1}]\{1\}\to 0)}](/wp-content/uploads/wiki-images/92610fb8a715b8ce9213995a56459a5f69c0f659-45d5d244.svg)
In the third of these,
denotes the `flattening’ operation, where a single complex is formed from a double complex by taking direct sums along the diagonals. Also,
denotes the `0-smoothing’ of a chosen crossing in
, and
denotes the `1-smoothing’, analogously to the skein relation for the Kauffman bracket.
Next, we construct the `normalised’ complex
, where
denotes the number of left-handed crossings in the chosen diagram for
, and
the number of right-handed crossings.
The Khovanov homology of
is then defined as the cohomology
of this complex
. It turns out that the Khovanov homology is indeed an invariant of
, and does not depend on the choice of diagram. The graded Euler characteristic of
turns out to be the Jones polynomial of
. However,
has been shown to contain more information about
than the Jones polynomial, but the exact details are not yet fully understood.
In 2006 Dror Bar-Natan developed a computer program to calculate the Khovanov homology (or category) for any knot.[1]
Applications
The first application of Khovanov homology was provided by Jacob Rasmussen, who defined the s-invariant using Khovanov homology. This integer valued invariant of a knot gives a bound on the slice genus, and is sufficient to prove the Milnor conjecture.
In 2010, Kronheimer and Mrowka proved that the Khovanov homology detects the unknot. The categorified theory has more information than the non-categorified theory. Although the Khovanov homology detects the unknot, it is not yet known if the Jones polynomial does.
Notes
- ↑ New Scientist, 18 October 2008
- ↑ Dowlin, Nathan (2018-11-19). “A spectral sequence from Khovanov homology to knot Floer homology”. arXiv:1811.07848 [math.GT].
- ↑ Kronheimer, Peter B.; Mrowka, Tomasz (2011). “Khovanov homology is an unknot-detector”. Publications Mathématiques de l’IHÉS. 113: 97–208. arXiv:1005.4346. doi:10.1007/s10240-010-0030-y. S2CID 119586228.
References
- Bar-Natan, Dror (2002), “On Khovanov’s categorification of the Jones polynomial”, Algebraic & Geometric Topology, 2: 337–370, arXiv:math.QA/0201043, Bibcode:2002math……1043B, doi:10.2140/agt.2002.2.337, MR 1917056, S2CID 11754112.
- Bloom, Jonathan M. (2011), “A link surgery spectral sequence in monopole Floer homology”, Advances in Mathematics, 226 (4): 3216–3281, arXiv:0909.0816, doi:10.1016/j.aim.2010.10.014, MR 2764887, S2CID 11791207.
- Dunfield, Nathan M.; Gukov, Sergei; Rasmussen, Jacob (2006), “The superpolynomial for knot homologies”, Experimental Mathematics, 15 (2): 129–159, arXiv:math.GT/0505662, doi:10.1080/10586458.2006.10128956, MR 2253002, S2CID 3060662.
- Khovanov, Mikhail (2000), “A categorification of the Jones polynomial”, Duke Mathematical Journal, 101 (3): 359–426, arXiv:math.QA/9908171, doi:10.1215/S0012-7094-00-10131-7, MR 1740682, S2CID 119585149.
- Khovanov, Mikhail (2006), “Link homology and categorification”, International Congress of Mathematicians. Vol. II, Zürich: European Mathematical Society, pp. 989–999, arXiv:math.GT/0605339, MR 2275632.
- Ozsváth, Peter; Szabó, Zoltán (2005), “On the Heegaard Floer homology of branched double-covers”, Advances in Mathematics, 194 (1): 1–33, arXiv:math.GT/0309170, doi:10.1016/j.aim.2004.05.008, MR 2141852, S2CID 17245314.
- Stroppel, Catharina (2005), “Categorification of the Temperley-Lieb category, tangles, and cobordisms via projective functors”, Duke Mathematical Journal, 126 (3): 547–596, CiteSeerX 10.1.1.586.3553, doi:10.1215/S0012-7094-04-12634-X, MR 2120117.
This article is adapted from “Khovanov homology” on Wikipedia, written by its contributors, and used under CC BY-SA 4.0. Text on this page is available under the same licence. Source snapshot: Wikipedia via Kiwix, 2026-07-20.