Khovanov homology

In mathematics, Khovanov homology is an oriented link invariant that arises as the homology of a chain complex. It may be regarded as a categorification of the Jones polynomial. In mathematics, Khovanov homology is an oriented link invariant that arises as the homology of a chain complex. It may be regarded as a categorification of the Jones polynomial. It was developed in the late 1990s by Mikhail Khovanov, then at the University of California, Davis, now at Columbia University. To any link diagram D representing a link L, we assign the Khovanov bracket , a chain complex of graded vector spaces. This is the analogue of the Kauffman bracket in the construction of the Jones polynomial. Next, we normalise by a series of degree shifts (in the graded vector spaces) and height shifts (in the chain complex) to obtain a new chain complex C(D). The homology of this chain complex turns out to be an invariant of L, and its graded Euler characteristic is the Jones polynomial of L. This definition follows the formalism given in Dror Bar-Natan's 2002 paper. Let {l} denote the degree shift operation on graded vector spaces—that is, the homogeneous component in dimension m is shifted up to dimension m + l. Similarly, let denote the height shift operation on chain complexes—that is, the rth vector space or module in the complex is shifted along to the (r + s)th place, with all the differential maps being shifted accordingly. Let V be a graded vector space with one generator q of degree 1, and one generator q−1 of degree −1. Now take an arbitrary diagram D representing a link L. The axioms for the Khovanov bracket are as follows: In the third of these, F denotes the `flattening' operation, where a single complex is formed from a double complex by taking direct sums along the diagonals. Also, D0 denotes the `0-smoothing' of a chosen crossing in D, and D1 denotes the `1-smoothing', analogously to the skein relation for the Kauffman bracket.