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)
We define the endomorphism τ\tau of m′′m^{\prime\prime} by
Andrew Manion, Raphael Rouquier
Original source: arXiv:2009.09627v2
Chapter overview
Read the whole chapter