Abstract:Assuming the Mumford-Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the problem of recovering the algebraic center of geometric endomorphisms of an abelian variety through Frobenius endomorphisms. Specifically, the authors hope to recover the center of the geometric endomorphism algebra of an abelian variety from its reduction over a finite field, and based on this, propose a practical algorithm to calculate this center.
### Main contributions of the paper
1. **Theoretical results**:
- **Theorem 1.1**: Assuming that the Mumford - Tate conjecture holds, the authors prove that the center of the geometric endomorphism algebra of an abelian variety can be recovered through the field generated by the appropriately intersected Frobenius endomorphisms.
- **Theorem 1.2**: Further refines the result of Theorem 1.1 and obtains another arithmetically interesting field related to the abelian variety - that is, the splitting field of the Mumford - Tate group.
2. **Algorithmic applications**:
- Proposes a conditional algorithm (Algorithm 5.1), which uses the concept of norm polynomials to calculate the center of the geometric endomorphism algebra of an abelian variety, avoiding potentially impractical field intersection operations.
### Key formulas and concepts
- **Geometric endomorphism algebra**:
\[
B := \text{End}(A_{\overline{F}}) \otimes \mathbb{Q}
\]
where \( A_{\overline{F}} = A\times_F \overline{F} \) is the base change of the abelian variety \( A \) over the algebraic closure \( \overline{F} \).
- **Center**:
\[
L := Z(B)
\]
that is, the center of \( B \), which is a number field.
- **Frobenius endomorphism**:
\[
M(p) := Z(\text{End}(A_p)\otimes \mathbb{Q})
\]
where \( A_p \) is the good reduction of \( A \) at the prime number \( p \).
- **Splitting field of the Mumford - Tate group**:
\[
F_{GA}
\]
is the smallest field such that \( G_A\times_{\mathbb{Q}} K \) becomes a split reductive group.
### Practical significance
This research not only provides new insights in theory, but also provides an effective method for actually calculating the center of the geometric endomorphism algebra of an abelian variety. This is of great significance for understanding the structure of abelian varieties and their related properties, especially in the fields of algebraic geometry and number theory.