1: \begin{definition}

2: Recall that we have fixed a polarization on $A$, which defines an isogeny $\phi$ from $A$ to its dual variety $\widehat{A}$. The \emph{Rosati involution}

3: takes $\psi \in \End(A_{\C})_{\Q}$ to $\psi' = \phi^{-1} \circ \widehat{\psi} \circ \phi$.

4: It has the following positivity property: the function

5: \[

6: \psi \mapsto \Trace(\psi \circ \psi', H_1(A_\C^{\topo}, \Q))

7: \]

8: is a positive definite quadratic form on $\End(A_{\C})$ \cite[\S 21, Theorem~1]{Mu}.

9: We will call this form the \emph{Rosati form}.

10: \end{definition}

11: