ScalingStacks

Proposition 18 We have a direct sum decomposition

C¯​(D1)=X1⊕X2⊕X3\overline{C}(D_{1})=X_{1}\oplus X_{2}\oplus X_{3} (112)

in the category Kom⁡(R​-mod0){{\mathrm{Kom}}}({R{\mbox{-mod}_{0}}}) of complexes of graded RR-modules.

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

Mikhail Khovanov

Original source: arXiv:math/9908171v2