ScalingStacks

Note that the ℒ~\widetilde{\mathcal{L}}-resolution D⁡(ℒ~)D(\widetilde{\mathcal{L}}) of diagram DD and the ℒ\mathcal{L}-resolution D!(ℒ)D^{!}(\mathcal{L}) of D!D^{!} are isomorphic. Let kk be the number of circles in D⁡(ℒ~).D(\widetilde{\mathcal{L}}). Then

ℱ(D(ℒ~))=ℱ(D!(ℒ))=𝒜⊗k{\cal F}(D(\widetilde{\mathcal{L}}))={\cal F}(D^{!}(\mathcal{L}))={\cal A}^{\otimes k} (162)

and, via μ,\mu, we can identify

ℱ(D(ℒ~))=(𝒜∗)⊗k=(ℱ(D!(ℒ)))∗{\cal F}(D(\widetilde{\mathcal{L}}))=({\cal A}^{\ast})^{\otimes k}=({\cal F}(D^{!}(\mathcal{L})))^{\ast} (163)

Since μ\mu maps m,Δm,\Delta to m∗,Δ∗,m^{\ast},\Delta^{\ast}, we see that after suitable shifts (recall that 𝒱D​(ℒ){\cal V}_{D}(\mathcal{L}) is equal to ℱ⁡(D⁡(ℒ)){\cal F}(D(\mathcal{L})) shifted up by |ℒ||\mathcal{L}|) the identification (163) extends to an isomorphism of ℐ\mathcal{I}-cubes 𝒱D!{−n}{\cal V}_{D^{!}}\{-n\} and (𝒱D)∗.({\cal V}_{D})^{\ast}.

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

Mikhail Khovanov

Original source: arXiv:math/9908171v2