Abstract:Fix a finite set of primes $\mathcal{S}$, for an abelian variety $A_0$ over $\overline{\mathbb{Q}}$ (with extra structures) which has supersingular good reductions at all $\ell\in\mathcal{S}$, we consider the simultaneous reduction modulo $\ell\in\mathcal{S}$ of several copies of $p$-adic/prime-to-$N$ Hecke orbits of $A_0$. We show that this simultaneous reduction map is always surjective under certain rationality condition on the copies of the Hecke orbits.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the simultaneous reduction maps of Hecke orbits of abelian varieties are surjective under multiple primes under certain conditions. Specifically:
1. **Research objects**: Abelian varieties and their Hecke orbits. These abelian varieties have specific structures and have supersingular good reductions at certain primes.
2. **Core problem**: For an abelian variety \(A_0\) with supersingular good reductions at all \(\ell\in S\), consider whether the simultaneous reduction maps of its \(p\)-adic Hecke orbit \(H_p(A_0)\) and prime - to - \(N\) Hecke orbit \(H^{(N)}(A_0)\) under multiple primes \(\ell\in S\) are surjective. That is:
- For the \(p\)-adic Hecke orbit, whether the map \(R_{S,T;p}:H_p(A_0)\to\prod_{\ell\in S,\sigma\in T_\ell}H_p(A_{0,\ell})\) is surjective.
- For the prime - to - \(N\) Hecke orbit, whether the map \(R^{(N)}_{S,T}:H^{(N)}(A_0)\to\prod_{\ell\in S,\sigma\in T_\ell}H^{(N)}(A_{0,\ell})\) is surjective.
3. **Main results**: The author proves that under certain rationality conditions, the above - mentioned simultaneous reduction maps are indeed surjective. In particular, when the images of each \(\ell\in S\) are distinct in \(ZG^1_{A_0}(Q)\backslash ZG^1_{A_0}(Q_p)\), or in the CM case, when the images are distinct in \(GA_0(Q)\backslash GA_0(Q_p)\), the maps \(R_{S,T;p}\) and \(R^{(N)}_{S,T}\) are surjective.
### Formula summary
- **Definition of \(p\)-adic Hecke orbit**:
\[
H_p(A_0)=\{A\mid(Isom_p):Isom_K(A_0[\ell^\infty],A[\ell^\infty])\neq\emptyset;(Q - isog_{K,p}):Q - isog_{K,p}(A_0,A)\neq\emptyset\}
\]
- **Definition of prime - to - \(N\) Hecke orbit**:
\[
H^{(N)}(A_0)=\{A\mid(Isom_\ell):Isom_K(A_0[\ell^\infty],A[\ell^\infty])\neq\emptyset\text{ for any }\ell\nmid N;(Q - isog^{(N)}_K):Q - isog^{(N)}_K(A_0,A)\neq\emptyset\}
\]
- **Simultaneous reduction map**:
\[
R_{S,T;p}:H_p(A_0)\to\prod_{\ell\in S,\sigma\in T_\ell}H_p(A_{0,\ell}),\quad A\mapsto((\sigma A)_\ell)_{\ell\in S,\sigma\in T_\ell}
\]
\[
R^{(N)}_{S,T}:H^{(N)}(A_0)\to\prod_{\ell\in S,\sigma\in T_\ell}H^{(N)}(A_{0,\ell})
\]