Ashay A. Burungale,Haruzo Hida,Shilin Lai
Abstract:Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$ has connected monodromy groups, we show that the set of places $v$ such that $F(A,v)$ is isomorphic to a fixed number field has upper Dirichlet density zero. Assuming the GRH, we give a power saving upper bound for the number of such places.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to explore the arithmetic properties of the Frobenius fields of Abelian varieties over number fields, especially the relationship between the Frobenius fields of non - CM (non - complex multiplication) Abelian varieties at specific prime points and a given number field. Specifically, the author studies the cases where the Frobenius fields are isomorphic to the given number field at these prime points and attempts to determine the upper Dirichlet density of such sets of prime points.
#### Main problem description:
1. **Upper Dirichlet density is zero**:
- For an absolutely simple non - CM Abelian variety \( A \) defined over a number field \( K \), if its monodromy groups are connected, then for any number field \( M \), the upper Dirichlet density of the set of prime points \( v \) such that \( F(A, v)\cong M \) is zero.
- Expressed in a formula:
\[
\text{ud}(S_{A, M}) = 0
\]
where \( S_{A, M}=\{v\in\Sigma_K\mid v\nmid N, F(A, v)\cong M\}\), and \(\text{ud}(S)\) represents the upper Dirichlet density of the set \( S \).
2. **Power - saving upper bound under the assumption of the Generalized Riemann Hypothesis (GRH)**:
- Under the assumption that the Generalized Riemann Hypothesis (GRH) holds, for any \(\epsilon > 0\), there exists a constant \( c \) depending on \((A, K,\epsilon)\) such that for any number field \( M \) and \( X\in\mathbb{R}_{>0}\), the number of prime points \( v \) satisfying \( F(A, v)\cong M \) has the following upper bound:
\[
|\{v\in S_{A, M}\mid N_{K /\mathbb{Q}}v\leq X\}| \leq cX^{1-\frac{1}{3d - r+ 2}+\epsilon}
\]
where \( d \) is the dimension of the Abelian variety and \( r \) is the absolute rank of its semi - simple quotient.
### Conclusions and significance:
The results of this paper show that for non - CM Abelian varieties, the prime points where their Frobenius fields are isomorphic to a given number field are very sparse and their upper Dirichlet density is zero. Moreover, under the assumption of the Generalized Riemann Hypothesis, a more precise quantitative estimate can be given. This provides an important theoretical basis for further understanding the arithmetic properties of Abelian varieties.