Computer Algebra
《Computer Algebra》 · 第 61 页 · Section 14「The Rosati involution」，定义段
Let $\lambda:A\to A^\vee$ be a polarization. The Rosati involution on $\operatorname{End}(A)\otimes\mathbb Q$ defined by $\lambda$ is $\alpha\mapsto\alpha^\dagger=\lambda^{-1}\circ\alpha^\vee\circ\lambda$.