Skip to main content
1 of 2

Isogeny and canonical isomorphism of global highest differential forms

Let $A$ and $B$ be Abelian Varieties of dimension $d$ over a local field $K$. Let $\phi : A \rightarrow B$ be an isogeny and $\phi^{\prime}$ its dual.

Recall that one has a canonical isomorphism $can_A : H^0(A, {\Omega_A}^d) \cong H^0(A^{\prime}, {\Omega_{A^{\prime}}}^d)$, where $A^{\prime}$ is the dual Abelian variety. Namely, $H^0(A, {\Omega_A}^d) \cong (H^d(A, \mathcal{O}))^* \cong \Lambda^d H^1(A, \mathcal{O})^* \cong H^0(A^{\prime}, {\Omega_{A^{\prime}}}^d)$ (the last isomorphism comes from $H^1(A, \mathcal{O}) \cong Lie(A^{\prime})$).

Is it true that in the following diagram

$\require{AMScd}$ \begin{CD} H^0(A, {\Omega_A}^n) @>can_A>> H^0(A^{\prime}, {\Omega_{A^{\prime}}}^n)\\ @AA \phi^* A @VV {\phi^{\prime}}^* V\\ H^0(B, {\Omega_B}^n) @>>can_B> H^0(B^{\prime}, {\Omega_{B^{\prime}}}^n) \end{CD}

$ {\phi^{\prime}}^* \circ can_A \circ \phi^* = deg(\phi) can_B$?

For example, it is easy to see that the assertion holds when $A$ and $B$ are elliptic curves.