ScalingStacks

It follows that there are isomorphisms functorial in SS and TT

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

Here, the colimit is taken over the invertible maps ξ⁡(θr)\xi(\theta_{r}), where θr:{mr,…,mr+n−1}→{mr+1,…,mr+n}\theta_{r}:\{m_{r},\ldots,m_{r+n-1}\}\to\{m_{r+1},\ldots,m_{r+n}\} is the braid in 𝐑>0{\mathbf{R}}_{>0} given by (θr)ms=[ms→ms+1](\theta_{r})_{m_{s}}=[m_{s}\to m_{s+1}].

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2