ScalingStacks

We assume now that σ\sigma is invertible. We define τ\tau an endomorphism of (B,A)(B,A)-bimodules of E22⊗BA⊕E2​E1⊗BA⊕E1​E2⊗BA⊕E12⊗BAE_{2}^{2}\otimes_{B}A\oplus E_{2}E_{1}\otimes_{B}A\oplus E_{1}E_{2}\otimes_{B}A\oplus E_{1}^{2}\otimes_{B}A by

(5.3.4) τ=(τ2⊗100000σ−1⊗100000000τ1⊗1).\tau=\left(\begin{matrix}\tau_{2}\otimes 1&0&0&0\\ 0&0&\sigma^{-1}\otimes 1&0\\ 0&0&0&0\\ 0&0&0&\tau_{1}\otimes 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