ScalingStacks

0NA0

Definition 2.5. The Khovanov–Rozansky 𝔤​𝔩N\mathfrak{gl}_{N} link homology KhRN:ℝ3​𝐋𝐢𝐧𝐤∘→grℤ×ℤ​𝐀𝐛𝐆𝐫𝐩\mathrm{KhR}_{N}\colon{\mathbb{R}}^{3}\boldsymbol{\mathrm{Link}}^{\circ}\to\mathrm{gr}^{{\mathbb{Z}}\times{\mathbb{Z}}}\boldsymbol{\mathrm{AbGrp}}, with target given by the category of ℤ×ℤ{\mathbb{Z}}\times{\mathbb{Z}}-graded abelian groups and homogeneous homomorphisms, is defined as the composition of ⟦−⟧\left\llbracket-\right\rrbracket, the representable functor ⨁k∈ℤ𝐅𝐨𝐚𝐦N​(q−k​∅,−)\bigoplus_{k\in{\mathbb{Z}}}\boldsymbol{\mathrm{Foam}}_{N}(q^{-k}\emptyset,-), and taking homology. It is functorial by Theorem 2.4.

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

Scott Morrison, Kevin Walker, Paul Wedrich

Original source: arXiv:1907.12194v5