4.3. Khovanov-Rozansky homology of links
We specialize now to the case of the classical Artin braid groups considered by
Khovanov in [Kh].
Note that
Khovanov conjectured ten years ago that the βs should give rise to
interesting link invariants.
We take here , the reflection
representation of , with . Let
, where .
We put .
Let , where the limit is taken over the morphisms
of -algebras .
This provides
functors between derived categories
|
|
|
0P24
Theorem 4.9. The assignment to of
the isomorphism class of in
defines an invariant of oriented links.
Passing to homology, we recover the following result of Khovanov [Kh]. Khovanov
identifies the invariant as the Khovanov-Rozansky homology, a categorification of
the HOMFLYPT polynomial.
0P25
Theorem 4.10 (Khovanov). The assignment to of
|
|
|
defines an invariant of oriented links.
Note that , where corresponds to the trivial knot.
We define now a two variables invariant
.
The following corollary shows that is the HOMFLYPT
polynomial, as expected.
0P26
Corollary 4.11 (Khovanov). Given and , we have
|
|
|