This paper is the first part in a series of three papers devoted to the study of enumerative invariants of abelian surfaces through the tropical approach. In this paper, we consider the enumeration of genus g curves of fixed degree passing through g points. We compute the tropical multiplicity provided by a correspondence theorem due to T. Nishinou and show that it is possible to refine this multiplicity in the style of the Block–Göttsche refined multiplicity to get tropical refined invariants.

Let $p$ be a prime number. Kęstutis Česnavičius proved that for an abelian variety $A$ over a global field $K$, the $p$-Selmer group $\mathrm {Sel}_{p}(A/L)$ grows unboundedly when $L$ ranges over the $(\mathbb {Z}/p\mathbb {Z})$-extensions of $K$. Moreover, he raised a further problem: is $\dim _{\mathbb {F}_{p}} \text{III} (A/L) [p]$ also unbounded under the above conditions? In this paper, we give a positive answer to this problem in the case $p \neq \mathrm {char}\,K$. As an application, this result enables us to generalize the work of Clark, Sharif and Creutz on the growth of potential $\text{III}$ in cyclic extensions. We also answer a problem proposed by Lim and Murty concerning the growth of the fine Tate–Shafarevich groups.

We prove a formula, which, given a principally polarized abelian variety $(A,\lambda )$ over the field of algebraic numbers, relates the stable Faltings height of $A$ with the Néron–Tate height of a symmetric theta divisor on $A$. Our formula completes earlier results due to Bost, Hindry, Autissier and Wagener. The local non-archimedean terms in our formula can be expressed as the tropical moments of the tropicalizations of $(A,\lambda )$.

We provide an easy method for the construction of characteristic polynomials of simple ordinary abelian varieties ${{\mathcal A}}$ of dimension g over a finite field ${{\mathbb F}}_q$ , when $q\ge 4$ and $2g=\rho ^{b-1}(\rho -1)$ , for some prime $\rho \ge 5$ with $b\ge 1$ . Moreover, we show that ${{\mathcal A}}$ is absolutely simple if $b=1$ and g is prime, but ${{\mathcal A}}$ is not absolutely simple for any prime $\rho \ge 5$ with $b>1$ .

We define generalized Mellin transforms of mixed cusp forms, show their convergence, and prove that the function obtained by such a Mellin transform of a mixed cusp form satisfies a certain functional equation. We also prove that a mixed cusp form can be identified with a holomorphic form of the highest degree on an elliptic variety.

In this paper, we give multihomogeneous estimates for the group of relations linking multiplicatively dependent algebraic numbers. In the process, we raise a question in the style of Lehmer's problem, concerning multidimensional covolumes in the lattice of units. The proofs are based on the Brill-Gordan duality theorem on orthogonal lattices, and the paper closes with an algebraic version of the theorem, concerning orthogonal abelian subvarieties of an arbitrarily polarized abelian variety.