Yuri G. Zarhin
Abstract:Let f(x) be a polynomial of degree at least 5 with complex coefficients and without repeated roots. Let p be an odd prime. Suppose that all the coefficients of f(x) lie in a subfield K such that:
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the endomorphism algebra of the Jacobian variety of the hyperelliptic curve \(y^q = f(x)\), where \(q = p^r\) is a prime power and \(f(x)\) is a polynomial with complex coefficients of degree at least 5 and without multiple roots. Specifically, the article focuses on the specific structure of the endomorphism ring of these Jacobian varieties when \(f(x)\) has certain properties in a subfield \(K\subset\mathbb{C}\) (for example, its Galois group \(\text{Gal}(f)\) acts doubly transitively on the set of roots).
### Specific problem description
1. **Conditions of the polynomial**:
- \(f(x)\) is a polynomial with complex coefficients of degree at least 5 and without multiple roots.
- All coefficients are in the subfield \(K\), and \(K\) contains a primitive \(p\)-th root of unity.
- \(f(x)\) is irreducible over \(K\).
- The Galois group \(\text{Gal}(f)\) acts doubly transitively on the set of roots of \(f(x)\).
- The index of each maximal subgroup does not divide \(\deg(f)- 1\).
2. **Main research objects**:
- The hyperelliptic curve \(y^q = f(x)\), where \(q = p^r\) is a prime power.
- The Jacobian varieties \(J(C_{f,q})\) of these curves.
3. **Objectives**:
- Calculate the endomorphism algebra \(\text{End}_0(J(C_{f,q}))\) of the Jacobian variety \(J(C_{f,q})\).
- In particular, when \(q = p\), prove that under certain conditions \(\text{End}_0(J(C_{f,p}))=\mathbb{Q}[\delta_p]\) and \(\text{End}(J(C_{f,p}))=\mathbb{Z}[\delta_p]\sim\mathbb{Z}[\zeta_p]\).
### Main results
- **Theorem 1.2**: When \(n\geq5\) and \(p\) is an odd prime, if the Galois group \(\text{Gal}(f)\) contains a subgroup \(H\) that acts doubly transitively on the set of roots and satisfies some additional conditions, then \(\text{End}_0(J(C_{f,p})) = \mathbb{Q}[\delta_p]\) and \(\text{End}(J(C_{f,p}))=\mathbb{Z}[\delta_p]\).
- **Theorem 1.3**: When \(f(x)\) is irreducible over \(K\) and the Galois group is the symmetric group \(S_n\) or the alternating group \(A_n\), it can also be concluded that \(\text{End}(J(C_{f,p}))=\mathbb{Z}[\delta_p]\sim\mathbb{Z}[\zeta_p]\).
- **Theorem 1.6\) and \(1.8\): Further discuss the results when the Galois group is some special types of simple groups (such as Mathieu groups, Higman - Sims groups, Chevalley groups, etc.).
### Summary
The core problem of the paper is to determine the specific structure of the endomorphism algebra of the Jacobian variety by studying the Galois group of the hyperelliptic curve and its action properties. This not only helps to understand the intrinsic geometric and algebraic properties of these algebraic varieties, but also provides a theoretical basis for further research in related fields.