ScalingStacks

We obtain as in (8.1.1) isomorphisms functorial in SS and TT

(8.1.5) colimr→∞⁡Hom𝒮M∙​(Z)​(T⊔ξ′​({m−r,…,m−r−n+1}),S)→∼R∙​(S,T,en).\operatorname{colim}\nolimits_{r\to\infty}\operatorname{Hom}\nolimits_{{\mathcal{S}}^{\bullet}_{M}(Z)}(T\sqcup\xi^{\prime}(\{m_{-r},\ldots,m_{-r-n+1}\}),S)\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}R^{\bullet}(S,T,e^{n}).

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2