ScalingStacks

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 FbF_{b}’s should give rise to interesting link invariants.

We take here V=(⨁i=1nkei)/k(e1+β‹―en)V=(\bigoplus_{i=1}^{n}ke_{i})/k(e_{1}+\cdots e_{n}), the reflection representation of W=𝔖nW={\mathfrak{S}}_{n}, with S={(1,2),…,(nβˆ’1,n)}S=\{(1,2),\ldots,(n-1,n)\}. Let Pn=k⁑[V]=k⁑[Ξ±1,…,Ξ±nβˆ’1]P_{n}=k[V]=k[\alpha_{1},\ldots,\alpha_{n-1}], where Ξ±i=Xi+1βˆ’Xi\alpha_{i}=X_{i+1}-X_{i}. We put Bn=B(W,S)B_{n}=B_{(W,S)}.

Let P∞=limnPnP_{\infty}=\lim_{n}P_{n}, where the limit is taken over the morphisms of PnP_{n}-algebras ρn:Pn+1β†’Pn,Ξ±n↦0\rho_{n}:P_{n+1}\to P_{n},\ \alpha_{n}\mapsto 0. This provides functors between derived categories

β‹―β†’Db​(Pnβ€‹βˆ’modgr)β†’Db​(Pn+1β€‹βˆ’modgr)β†’β‹―β†’Db​(Pβˆžβ€‹βˆ’modgr).\cdots\to D^{b}(P_{n}\operatorname{\!-modgr}\nolimits)\to D^{b}(P_{n+1}\operatorname{\!-modgr}\nolimits)\to\cdots\to D^{b}(P_{\infty}\operatorname{\!-modgr}\nolimits).
0P24

Theorem 4.9. The assignment to b∈Bn+1b\in B_{n+1} of the isomorphism class of HHβˆ—βˆ’n+l⁑(b)2⁑(Fb)​[n+l⁑(b)2]\operatorname{HH}\nolimits_{*-\frac{n+l(b)}{2}}(F_{b})[\frac{n+l(b)}{2}] in D12b​(Pβˆžβ€‹βˆ’modgr)12​𝐙D^{b}_{\frac{1}{2}}(P_{\infty}\operatorname{\!-modgr}\nolimits)^{\frac{1}{2}{\mathbf{Z}}} 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 b∈Bn+1b\in B_{n+1} of

Xb=(t2t3βˆ’1)(n+l⁑(b))/2βˆ‘d,i,jdimHj(HHi(Fb))dt1dt2it3j∈𝐍[t1Β±1,t2Β±1/2,t3Β±1/2]X_{b}=(t_{2}t_{3}^{-1})^{(n+l(b))/2}\sum_{d,i,j}\dim H^{j}(\operatorname{HH}\nolimits_{i}(F_{b}))_{d}t_{1}^{d}t_{2}^{i}t_{3}^{j}\in{\mathbf{N}}[t_{1}^{\pm 1},t_{2}^{\pm 1/2},t_{3}^{\pm 1/2}]

defines an invariant of oriented links.

Note that X1=1X_{1}=1, where 1∈B11\in B_{1} corresponds to the trivial knot.

We define now a two variables invariant Yb=(Xb)|t31/2=βˆ’1Y_{b}=(X_{b})_{|t_{3}^{1/2}=\sqrt{-1}}. The following corollary shows that YbY_{b} is the HOMFLYPT polynomial, as expected.

0P26

Corollary 4.11 (Khovanov). Given b,bβ€²βˆˆBnb,b^{\prime}\in B_{n} and r∈{1,…,nβˆ’1}r\in\{1,\ldots,n-1\}, we have

t1βˆ’1/2t21/2Yb​σrβˆ’1​bβ€²+t11/2t2βˆ’1/2Yb​σr​bβ€²=βˆ’1(t1βˆ’1/2βˆ’t11/2)Yb​bβ€².t_{1}^{-1/2}t_{2}^{1/2}Y_{b\sigma_{r}^{-1}b^{\prime}}+t_{1}^{1/2}t_{2}^{-1/2}Y_{b\sigma_{r}b^{\prime}}=\sqrt{-1}(t_{1}^{-1/2}-t_{1}^{1/2})Y_{bb^{\prime}}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

RaphaΓ«l Rouquier

Original source: arXiv:1203.5065v1