Table of Contents
Fetching ...

The modularity of an abelian variety

Jae-Hyun Yang

TL;DR

The paper proposes a structural generalization of modularity from elliptic curves to higher-dimensional simple abelian varieties over $\mathbb Q$ by using Siegel modular forms of genus $g$ and their $L$-functions. It defines a modularity criterion for $A$ through a weight $g+1$ Siegel Hecke eigenform $F$ and discusses spinor and standard zeta functions $Z_F(s)$, $D_F(s)$, and $L(A,s)$, together with conjectural equivalences MAV1–MAV4. It also provides a rigorous Hecke-algebra framework, including $p$-adic Satake parameters $\alpha_0,\dots,\alpha_g$, which control eigenvalues and local $L$-factors, supporting a program to attach Galois representations to Siegel eigenforms. The work outlines pathways toward a Langlands-type correspondence for abelian varieties and sets open problems for constructing modularity proofs beyond dimension one.

Abstract

We introduce the concept of the modularity of an abelian variety defined over the rational number field extending the modularity of an elliptic curve. We discuss the modularity of an abelian variety over the rational number field. We conjecture that a simple abelian variety over the rational number field is modular.

The modularity of an abelian variety

TL;DR

The paper proposes a structural generalization of modularity from elliptic curves to higher-dimensional simple abelian varieties over by using Siegel modular forms of genus and their -functions. It defines a modularity criterion for through a weight Siegel Hecke eigenform and discusses spinor and standard zeta functions , , and , together with conjectural equivalences MAV1–MAV4. It also provides a rigorous Hecke-algebra framework, including -adic Satake parameters , which control eigenvalues and local -factors, supporting a program to attach Galois representations to Siegel eigenforms. The work outlines pathways toward a Langlands-type correspondence for abelian varieties and sets open problems for constructing modularity proofs beyond dimension one.

Abstract

We introduce the concept of the modularity of an abelian variety defined over the rational number field extending the modularity of an elliptic curve. We discuss the modularity of an abelian variety over the rational number field. We conjecture that a simple abelian variety over the rational number field is modular.

Paper Structure

This paper contains 4 sections, 5 theorems, 122 equations.

Key Result

Lemma 4.1

Let $M\in \Delta_g^+$ with ${}^tMJ_gM=lJ_g$. Then the double coset $\Gamma_gM\Gamma_g$ has a unique representative of the form where $a_g|d_g,\ a_j>0,\ a_jd_j=l$ for $1\leq j\leq g$ and $a_k| a_{k+1}$ for $1\leq k\leq g-1.$

Theorems & Definitions (21)

  • Definition 1.1
  • Definition 1.2
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 3.1
  • Definition 3.2
  • Remark 3.3
  • Definition 3.4
  • Definition 3.5
  • ...and 11 more