Abstract:Let $A = \prod_{1\leq i\leq n} A_i$ be the product of principally polarized abelian varieties $A_1, \ldots, A_n$ of dimensions $g_1, \ldots, g_n$, respectively, each defined over a number field $K$, and pairwise nonisogenous over $\overline{K}$. We make effective an open image theorem for $A$ due to Hindry and Ratazzi. More specifically, we give an explicit bound of the constant $c(A)$ under GRH, in terms of standard invariants of $K$ and each $A_i$, where $c(A)$ is defined to be the smallest positive integer such that for any prime $\ell>c(A)$, the image of the $\ell$-adic Galois representation of $A$ is "as large as possible" in a suitable sense.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to provide an effective open - image theorem for a certain class of abelian variety products and give an explicit upper bound under the Generalized Riemann Hypothesis (GRH). Specifically, the paper focuses on principally polarized abelian varieties \(A = \prod_{1 \leq i \leq n} A_i\), where each \(A_i\) is an abelian variety of dimensions \(g_1,\ldots,g_n\) defined over a number field \(K\), and these abelian varieties are pairwise non - isogenous over \(K\).
### Problem Background
For an abelian variety \(A\), one can define its \(\ell\)-adic Tate module \(T_\ell(A)\) and the corresponding \(\ell\)-adic Galois representation \(\rho_{A,\ell}\):
\[
\rho_{A,\ell}: \text{Gal}(K^{\text{sep}}/K)\to\prod_{i = 1}^n\text{GSp}_{2g_i}(\mathbb{Z}_\ell)
\]
where \(\text{GSp}_{2g_i}(\mathbb{Z}_\ell)\) represents the general symplectic group.
According to Serre's open - image theorem, if the geometric endomorphism ring of the abelian variety \(A\) is trivial (i.e., \(\text{End}(A_{\overline{K}})=\mathbb{Z}\)), then when \(\ell\) is large enough, \(\rho_{A,\ell}\) is surjective. This result has been generalized to higher - dimensional abelian varieties and products of multiple abelian varieties.
### Paper Goals
The goal of the paper is to quantify Hindry and Ratazzi's open - image theorem. Specifically, it is to find a constant \(c(A_1\times\cdots\times A_n)\) such that for all \(\ell > c(A_1\times\cdots\times A_n)\), the representation \(\rho_{A,\ell}\) is surjective. This constant \(c(A_1\times\cdots\times A_n)\) is defined as the smallest positive integer that satisfies the above conditions; if no such integer exists, then \(c(A_1\times\cdots\times A_n)=\infty\).
### Main Contributions
The main contribution of the paper is to give an explicit upper bound for \(c(A_1\times\cdots\times A_n)\). In particular, under GRH, for abelian varieties \(A_1,\ldots,A_n\) of common dimension \(g\), the paper proves the following equivalent conditions:
1. For all \(1\leq i\neq j\leq n\), \(A_i\) and \(A_j\) are non - isogenous over \(K\).
2. The adelic Galois image \(G_{A_1\times\cdots\times A_n}\) of \(A\) is an open subgroup of \(\Delta_{2g,n}(\hat{\mathbb{Z}})\).
3. The constant \(c(A_1\times\cdots\times A_n)\) exists and satisfies a certain explicit upper bound.
Furthermore, the paper also provides specific numerical examples and algorithms for calculating the largest non - surjective prime for the Jacobian product of a given hyperelliptic curve.
Through these results, the paper provides more precise tools and methods for understanding the Galois representations of abelian variety products.