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.

We show that if F is $\mathbb{Q}$ or a multiquadratic number field, $p\in\left\{{2,3,5}\right\}$, and $K/F$ is a Galois extension of degree a power of p, then for elliptic curves $E/\mathbb{Q}$ ordered by height, the average dimension of the p-Selmer groups of $E/K$ is bounded. In particular, this provides a bound for the average K-rank of elliptic curves $E/\mathbb{Q}$ for such K. Additionally, we give bounds for certain representation–theoretic invariants of Mordell–Weil groups over Galois extensions of such F.

The central result is that: for each finite Galois extension $K/F$ of number fields and prime number p, as $E/\mathbb{Q}$ varies, the difference in dimension between the Galois fixed space in the p-Selmer group of $E/K$ and the p-Selmer group of $E/F$ has bounded average.

The Hankel index of a real variety X is an invariant that quantifies the difference between nonnegative quadrics and sums of squares on X. In [5], the authors proved an intriguing bound on the Hankel index in terms of the Green–Lazarsfeld index, which measures the ‘linearity’ of the minimal free resolution of the ideal of X. In all previously known cases, this bound was tight. We provide the first class of examples where the bound is not tight; in fact, the difference between Hankel index and Green–Lazarsfeld index can be arbitrarily large. Our examples are outer projections of rational normal curves, where we identify the center of projection with a binary form F. The Green–Lazarsfeld index of the projected curve is given by the complex Waring border rank of F [16]. We show that the Hankel index is given by the almost real rank of F, which is a new notion that comes from decomposing F as a sum of powers of almost real forms. Finally, we determine the range of possible and typical almost real ranks for binary forms.

For $g\ge 2$ and $n\ge 0$, let $\mathcal {H}_{g,n}\subset \mathcal {M}_{g,n}$ denote the complex moduli stack of n-marked smooth hyperelliptic curves of genus g. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb {Z}/2\mathbb {Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of $\mathcal {H}_{g, n}$. Using this graph complex, we give a sum-over-graphs formula for the $S_n$-equivariant weight zero compactly supported Euler characteristic of $\mathcal {H}_{g, n}$. This formula allows for the computer-aided calculation, for each $g\le 7$, of the generating function $\mathsf {h}_g$ for these equivariant Euler characteristics for all n. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissible G-covers of genus zero curves, when G is abelian, as a symmetric $\Delta $-complex. We use these complexes to generalize our formula for $\mathsf {h}_g$ to moduli spaces of n-pointed smooth abelian covers of genus zero curves.

We prove that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F-regular type. As a consequence, all higher cohomologies of the theta line bundle vanish. During the proof, we develop a method to estimate codimension.

We consider cyclic unramified coverings of degree d of irreducible complex smooth genus $2$ curves and their corresponding Prym varieties. They provide natural examples of polarized abelian varieties with automorphisms of order d. The rich geometry of the associated Prym map has been studied in several papers, and the cases $d=2, 3, 5, 7$ are quite well understood. Nevertheless, very little is known for higher values of d. In this paper, we investigate whether the covering can be reconstructed from its Prym variety, that is, whether the generic Prym Torelli theorem holds for these coverings. We prove this is so for the so-called Sophie Germain prime numbers, that is, for $d\ge 11$ prime such that $\frac {d-1}2$ is also prime. We use results of arithmetic nature on $GL_2$-type abelian varieties combined with theta-duality techniques.

Given a smooth genus three curve C, the moduli space of rank two stable vector bundles on C with trivial determinant embeds in ${\mathbb {P}}^8$ as a hypersurface whose singular locus is the Kummer threefold of C; this hypersurface is the Coble quartic. Gruson, Sam and Weyman realized that this quartic could be constructed from a general skew-symmetric four-form in eight variables. Using the lines contained in the quartic, we prove that a similar construction allows to recover $\operatorname {\mathrm {SU}}_C(2,L)$, the moduli space of rank two stable vector bundles on C with fixed determinant of odd degree L, as a subvariety of $G(2,8)$. In fact, each point $p\in C$ defines a natural embedding of $\operatorname {\mathrm {SU}}_C(2,{\mathcal {O}}(p))$ in $G(2,8)$. We show that, for the generic such embedding, there exists a unique quadratic section of the Grassmannian which is singular exactly along the image of $\operatorname {\mathrm {SU}}_C(2,{\mathcal {O}}(p))$ and thus deserves to be coined the Coble quadric of the pointed curve $(C,p)$.

We prove the geometric Satake equivalence for étale metaplectic covers of reductive group schemes and extend the Langlands parametrization of V. Lafforgue to genuine cusp forms defined on their associated covering groups.

We systematically study the moduli stacks of Higgs bundles, spectral curves, and Norm maps on Deligne–Mumford curves. As an application, under some mild conditions, we prove the Strominger–Yau–Zaslow duality for the moduli spaces of Higgs bundles over a hyperbolic stacky curve.

We define a new algebraic invariant of a graph G called the Ceresa–Zharkov class and show that it is trivial if and only if G is of hyperelliptic type, equivalently, G does not have as a minor the complete graph on four vertices or the loop of three loops. After choosing edge lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph G that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb {C}(\!(t)\!)$.

Let $f\,:\,X\,\longrightarrow \,Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is virtually globally generated. Moreover, $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is ample if and only if f is genuinely ramified.

In this article, we study Galois points of plane curves and the extension of the corresponding Galois group to $\mathrm{Bir}(\mathbb{P}^2)$. We prove that if the Galois group has order at most $3$, it always extends to a subgroup of the Jonquières group associated with the point $P$. Conversely, with a degree of at least $4$, we prove that it is false. We provide an example of a Galois extension whose Galois group is extendable to Cremona transformations but not to a group of de Jonquières maps with respect to $P$. In addition, we also give an example of a Galois extension whose Galois group cannot be extended to Cremona transformations.

Let $\alpha \colon X \to Y$ be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under $\alpha $ is semistable if the genus of Y is at least $1$ and stable if the genus of Y is at least $2$. We prove this conjecture if the map $\alpha $ is general in any component of the Hurwitz space of covers of an arbitrary smooth curve Y.

In this paper, we present a solution to the problem of the analytic classification of germs of plane curves with several irreducible components. Our algebraic approach follows precursive ideas of Oscar Zariski and as a subproduct allows us to recover some particular cases found in the literature.

We develop two methods for expressing the global index of the gradient of a 2 variable polynomial function $f$: in terms of the atypical fibres of $f$, and in terms of the clusters of Milnor arcs at infinity. These allow us to derive upper bounds for the global index, in particular refining the one that was found by Durfee in terms of the degree of $f$.

Let $C\; : \;y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega _{\mathcal{C}/O_K}$.

In the present paper, we study a new kind of anabelian phenomenon concerning the smooth pointed stable curves in positive characteristic. It shows that the topology of moduli spaces of curves can be understood from the viewpoint of anabelian geometry. We formulate some new anabelian-geometric conjectures concerning tame fundamental groups of curves over algebraically closed fields of characteristic $p>0$ from the point of view of moduli spaces. The conjectures are generalized versions of the Weak Isom-version of the Grothendieck conjecture for curves over algebraically closed fields of characteristic $p>0$ which was formulated by Tamagawa. Moreover, we prove that the conjectures hold for certain points lying in the moduli space of curves of genus $0$.

Let $\overline {\mathcal {M}}_{g, m|n}$ denote Hassett’s moduli space of weighted pointed stable curves of genus g for the heavy/light weight data

$$\begin{align*}\left(1^{(m)}, 1/n^{(n)}\right),\end{align*}$$

and let $\mathcal {M}_{g, m|n} \subset \overline {\mathcal {M}}_{g, m|n}$ be the locus parameterizing smooth, not necessarily distinctly marked curves. We give a change-of-variables formula which computes the generating function for $(S_m\times S_n)$-equivariant Hodge–Deligne polynomials of these spaces in terms of the generating functions for $S_{n}$-equivariant Hodge–Deligne polynomials of $\overline {\mathcal {M}}_{g,n}$ and $\mathcal {M}_{g,n}$.

In this note, we prove a formula for the cancellation exponent $k_{v,n}$ between division polynomials $\psi _n$ and $\phi _n$ associated with a sequence $\{nP\}_{n\in \mathbb {N}}$ of points on an elliptic curve $E$ defined over a discrete valuation field $K$. The formula greatly generalizes the previously known special cases and treats also the case of non-standard Kodaira types for non-perfect residue fields.

Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb {Z} \smallsetminus \pm \mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr {F}_N(f_0)$, more than $74.9\,\%$ are insoluble, and more than $71.8\,\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least $99.9\,\%$ and $96.7\,\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ‘Faltings plus epsilon’ for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb {Q}$ have no rational points.