Canonical key formula for projective abelian schemes (Q470880): Difference between revisions

Let \(\pi:A\rightarrow S\) be a projective abelian scheme with unit section \(e:S\rightarrow A\) over a locally noetherian scheme \(S\) and let \(L\) be a symmetric, rigidified, relatively ample line bundle on \(A\). Let \(\omega_A\) be the determinant of the sheaf of differentials of \(\pi\) and let \(d\) denote the rank of the locally free sheaf \(\pi_*L\). In this paper the author proves that there is an isomorphism \(\text{det}(\pi_*L)^{\otimes 24}\cong (e^*\omega_A^{\vee})^{\otimes 12d}\), which is canonical in the sense that it can be chosen to be compatible with arbitrary base-change. He also extends this result in the context of Arakelov geometry.