Abelian varieties and arithmetic class invariants (Q2488750): Difference between revisions

Suppose \({\mathcal A}\) is the Néron model of a semi-stable abelian variety over a number field \(K\) This paper aims to extend the definition of the class-invariant homomorphism to that context, and to establish and interpret some of its properties. In its original setting the class-invariant homomorphism is a map \[ A^t(S)\longrightarrow \text{Pic}(G) \] where \(S=\operatorname{Spec}R\), \(R\) is a Dedekind ring with field of fractions \(K\), \(A\) is an abelian scheme over \(S\), \(A^t\) is its dual and \(G\) is a subgroup of \(A\). It factors through \(H^1(S, G^D)\) where \(G^D\) is the Cartier dual. In the present paper one takes an (open) subgroup \(\Gamma\) of \({\mathcal A}/{\mathcal A}^\circ\) (\({\mathcal A}^\circ\) is the identity component) and lets \(G\) be a closed quasi-finite flat subgroup of the inverse image \({\mathcal A}^\Gamma\) of \(\Gamma\) in \({\mathcal A}\). Then, if \(\Gamma'\) is the orthogonal complement of \(\Gamma\) under the monodromy pairing, one has a homomorphism \[ \pi\colon H^1(S,\underline{\text{Hom}}_S(G, {\mathbb G}_m)) \longrightarrow {\text{ {Pic}}}(G) \] and there is a map \(\psi\colon{\mathcal A}^{t,\Gamma'}(S)\to \text{Pic}(G)\) factoring through \(\pi\). Two applications are given. It is shown that \(\psi\) is trivial on torsion points in the case where \({\mathcal A}={\mathcal E}\) is an elliptic curve and \(G={\mathcal E}[m]\) for \((m,6)=1\). There is also an \(\ell\)-adic Arakelov version \(\widehat\Psi\), modelled on the ideas of \textit{A. Agboola} and \textit{G. Pappas} [Math. Ann. 320, No. 2, 339--365 (2001; Zbl 0989.11061)], and \(\widehat\Psi\) is injective mod torsion.