Abstract:In this paper we study the field of definition of abelian subvarieties $B\subset A_{\overline{K}}$ for an abelian variety $A$ over a field $K$ of characteristic $0$. We show that, provided that no isotypic component of $A_{\overline{K}}$ is simple, there are infinitely many abelian subvarieties of $A_{\overline{K}}$ with field of definition $K_A$, the field of definition of the endomorphisms of $A_{\overline{K}}$. This result combined with earlier work of Rémond gives an explicit maximum for the minimal degree of a field extension over which an abelian subvariety of $A_{\overline{K}}$ is defined with varying $A$ of fixed dimension and $K$ of characteristic $0$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the field of definition of abelian varieties. Specifically:
1. **Study the field of definition of abelian sub - varieties**:
- The paper studies the abelian variety \(A\) over a field \(K\) of characteristic 0, and the field of definition of its abelian sub - variety \(B\subset A_K\).
- The author focuses on the relationship between the field of definition of these abelian sub - varieties and the field of definition \(K_A\) of endomorphisms of \(A_K\).
2. **Prove existence**:
- If no isogenous component of \(A_K\) is simple, then there exist infinitely many abelian sub - varieties \(B\) whose field of definition is \(K_A\).
- This result, combined with Rémond's previous work, gives an explicit maximum for determining the minimal field of definition extension degree of abelian sub - varieties over a field of fixed dimension and characteristic 0.
### Main conclusions
- **Theorem 1.1**: Let \(A\) be an abelian variety over a field \(K\) of characteristic 0, let \(r\geq1\) be an integer, and let \(n_1,\ldots,n_r\) be integers greater than or equal to 2 such that \(A_K\) is isogenous to the product \(\prod_{i = 1}^rC_i^{n_i}\) of simple and pairwise non - isomorphically abelian varieties \(C_i\). For all \(r\)-tuples \((k_1,\ldots,k_r)\) with \(k_i\in\{1,\ldots,n_i - 1\}\), there exist infinitely many abelian sub - varieties \(B\subset A_K\) that are isogenous to \(\prod_{i = 1}^rC_i^{k_i}\) and whose field of definition is \(K_A\).
- **Corollary 1.2**: Let \(g\geq2\) be a positive integer, and let \(A\) be a \(g\)-dimensional abelian variety over a field \(K\) of characteristic 0. For any abelian sub - variety \(B\subset A_K\) and its field of definition \(L\), we have
\[
[L:K]\leq f(g)
\]
where \(f(g)=2^{\alpha(g)}6^{g - 1}g!\), and \(\alpha(g)\) is defined as follows:
\[
\alpha(g)=\left\{\begin{array}{ll}
1 & \text{if } g\notin\{2,4,6\}\\
2 & \text{if } g = 2\\
5 & \text{if } g = 4\\
\frac{7}{6} & \text{if } g = 6
\end{array}\right.
\]
Furthermore, there exists a \(g\)-dimensional abelian variety \(A\) and an abelian sub - variety \(B\subset A_Q\) such that its field of definition \(L\) satisfies \([L:Q]=f(g)\).
### Method overview
The paper transforms the action of the Galois group \(\text{Gal}(K/K)\) on sub - varieties into an action on algebras by studying the automorphisms of the matrix algebra \(M_n(D)\) and their actions on right sub - spaces, thus proving the above conclusions. The key lies in using the properties of Grassmann varieties and the correspondence between ideals and abelian sub - varieties.
### Applications
This result supplements Rémond's previous proposition, shows that the given bound is precise, and provides a specific method for calculating the field of definition of abelian sub - varieties.