ScalingStacks

We define an endomorphism τ\tau of E2E^{2} as follows. We have E2​(m,π21,π31,π32)=(m′′,π21′′,π31′′,π32′′)E^{2}(m,\pi_{21},\pi_{31},\pi_{32})=(m^{\prime\prime},\pi^{\prime\prime}_{21},\pi^{\prime\prime}_{31},\pi^{\prime\prime}_{32}) where (ignoring differentials)

m′′=E32​(m)⊕E3​E2​(m)⊕E3​E1​(m)⊕E2​E3​(m)⊕E22​(m)⊕E2​E1​(m)⊕E1​E3​(m)⊕E1​E2​(m)⊕E12​(m).m^{\prime\prime}=E_{3}^{2}(m)\oplus E_{3}E_{2}(m)\oplus E_{3}E_{1}(m)\oplus E_{2}E_{3}(m)\oplus E_{2}^{2}(m)\oplus E_{2}E_{1}(m)\oplus E_{1}E_{3}(m)\oplus E_{1}E_{2}(m)\oplus E_{1}^{2}(m).

We define the endomorphism τ\tau of m′′m^{\prime\prime} by

(4.3.6) τ=(τ3σ23σ13τ2σ12τ1).\tau=\left(\begin{matrix}\tau_{3}\\ &&&\sigma_{23}\\ &&&&&&\sigma_{13}\\ \\ &&&&\tau_{2}\\ &&&&&&&\sigma_{12}\\ \\ \\ &&&&&&&&\tau_{1}\end{matrix}\right).

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2