We assume now that σ\sigma is invertible. We define τ\tau an endomorphism of (B,A)(B,A)-bimodules of E22⊗BA⊕E2E1⊗BA⊕E1E2⊗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
Andrew Manion, Raphael Rouquier
Original source: arXiv:2009.09627v2
Chapter overview
Read the whole chapter