Average height of isogenous abelian varieties (Q1780579)

This paper generalizes to abelian varieties a result of \textit{L. Szpiro} and \textit{E. Ullmo} for elliptic curves [Duke Math. J. 97, No. 1, 81--97 (1999; Zbl 0952.11018)]. Let \(g\) be an integer \(\geq 1\), \(p\) a prime number and let \(e_{g;p}= \prod_{i=1}^g(p^i+1)\). Let \((A;\lambda)\) be a \(g\)-dimensional principally polarised abelian variety defined over \( \overline {{\mathbb Q}}\) with ordinary good reduction at \(p\) and let \(\widehat{h}(A)\) denote the stable Faltings height of \(A\). Let \(G_1,G_2,\dots G_e\) be the \(e=e_{g;p}\) isotropic subgroups of \(A[p]\) of rank \(p^g\) and let \(A_i=A/G_i\). Then there exists a natural number \(m=m_{g;p}\) depending only on \(g\) and \(p\) satisfying \[ {1\over e}\sum_{i=1}^e \widehat{h}(A_i)=\widehat{h}(A)+ \left({g\over 2}-{m \over e} \right)\ln p \] An immediate corollary is: Suppose \((A;\lambda)\) is defined over a number field \(K\subset \overline{{\mathbb Q}}\) and that \(\text{Gal}(\overline{{\mathbb Q}}/K)\) acts transitively on the set \(\{G_1,\dots,G_e\}\). Then \(\widehat{h}(A_i)= \widehat{h}(A)+ ({g\over 2}-{m\over e})\ln p \) for all \(i\). It is noted that essentially the same method of proof gives an analogous theorem for isotropic subgroups of \(A[p^r]\) of rank \(p^{rg}\).