ScalingStacks

Let Z1,…,ZrZ_{1},\ldots,Z_{r} be the connected components of ZZ. The construction above induces an isomorphism of differential pointed categories (cf (7.4.2))

(7.4.5) 𝒮∙​(Z1)∧⋯∧𝒮∙​(Zr)→∼𝒮∙​(Z),(S1,…,Sr)↦S1⊔⋯⊔Sr.{\mathcal{S}}^{\bullet}(Z_{1})\wedge\cdots\wedge{\mathcal{S}}^{\bullet}(Z_{r})\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}{\mathcal{S}}^{\bullet}(Z),\ (S_{1},\ldots,S_{r})\mapsto S_{1}\sqcup\cdots\sqcup S_{r}.

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2