ScalingStacks

∙\bullet\ The objects of 𝒱{\mathcal{V}} are pairs (m,π)(m,\pi) where m∈𝒲¯im\in\overline{{\mathcal{W}}}^{i} and π∈Z​Hom𝒲¯i⁡(E2​(m),E1​(m))\pi\in Z\operatorname{Hom}\nolimits_{\overline{{\mathcal{W}}}^{i}}(E_{2}(m),E_{1}(m)) such that the following diagram commutes

(4.3.2) E22​(m)\textstyle{E_{2}^{2}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}E2​π\scriptstyle{E_{2}\pi}τ2\scriptstyle{\tau_{2}}E2​E1​(m)\textstyle{E_{2}E_{1}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}σ\scriptstyle{\sigma}E1​E2​(m)\textstyle{E_{1}E_{2}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}E1​π\scriptstyle{E_{1}\pi}E12​(m)\textstyle{E_{1}^{2}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}τ1\scriptstyle{\tau_{1}}E22​(m)\textstyle{E_{2}^{2}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}E2​π\scriptstyle{E_{2}\pi}E2​E1​(m)\textstyle{E_{2}E_{1}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}σ\scriptstyle{\sigma}E1​E2​(m)\textstyle{E_{1}E_{2}(m)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}E1​π\scriptstyle{E_{1}\pi}E12​(m)\textstyle{E_{1}^{2}(m)}

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2