Rationality and arithmetic of the moduli of abelian varieties

TL;DR

This paper investigates the rationality of moduli spaces of abelian varieties over $\,\mathbb{Q}$, explores lifting properties from finite fields, and establishes new results on the rationality and existence of certain abelian varieties.

Contribution

It proves unirationality of $\,\mathcal{A}_g$ for $g\leq 5$, stable rationality for $g=3$, and shows lifting of abelian varieties from finite fields to $\,\mathbb{Q}$, with implications for the existence of non-Jacobian abelian varieties.

Findings

Unirational over $\,\mathbb{Q}$ for $g\leq 5$

Stably rational for $g=3$

Any abelian threefold over $\,\mathbb{F}_p$ lifts to $\,\mathbb{Q}$

Abstract

We study the rationality properties of the moduli space $\mathcal{A}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular we show that any principally polarised abelian threefold over $\mathbb{F}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri-Lang conjecture we also show that this is not the case for abelian varieties of dimension at least seven. About moduli spaces, we show that $\mathcal{A}_g$ is unirational over $\mathbb{Q}$ for $g \leq 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.