ScalingStacks

0PLL
  1. 1.

    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.

  2. 2.

    The complexes X2X_{2} and X3X_{3} are acyclic.

  3. 3.

    The complex X1X_{1} is isomorphic to the complex C¯​(D)​[−1]​{−1}.\overline{C}(D)[-1]\{-1\}.

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

Mikhail Khovanov

Original source: arXiv:math/9908171v2