ScalingStacks

0PL0

Proposition 4 Let VV be a skew ℐ\mathcal{I}-cube over an abelian category ℬ\mathcal{B} and suppose that for some a∈ℐa\in\mathcal{I} and any ℒ⊂ℐ∖{a}\mathcal{L}\subset\mathcal{I}\setminus\{a\} the map ξaV:V⁡(ℒ)→V⁡(ℒ​a)\xi^{V}_{a}:V(\mathcal{L})\to V(\mathcal{L}a) is an isomorphism. Then the complex C¯​(V)\overline{C}(V) is acyclic.

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

Mikhail Khovanov

Original source: arXiv:math/9908171v2