Modularity theorems for abelian surfaces

TL;DR

This paper proves the modularity of a positive proportion of abelian surfaces over Q by employing new techniques involving p-adic Siegel modular forms and specific torsion representation conditions.

Contribution

It introduces a novel approach using a 2-3 switch and a classicality theorem for ordinary p-adic Siegel modular forms to establish modularity results for abelian surfaces.

Findings

Proves modularity for abelian surfaces with specific local properties.

Employs a new classicality theorem for ordinary p-adic Siegel modular forms.

Establishes modularity under certain torsion representation assumptions.

Abstract

We prove the modularity of a positive proportion of abelian surfaces over $\mathbf{Q}$. More precisely, we prove the modularity of abelian surfaces which are ordinary at $3$ and are $3$-distinguished, subject to some assumptions on the $3$-torsion representation (a "big image" hypothesis, and a technical hypothesis on the action of a decomposition group at $2$). We employ a 2-3 switch and a new classicality theorem (in the style of Lue Pan) for ordinary $p$-adic Siegel modular forms.