Kiran S. Kedlaya
Abstract:We establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil polynomials for both fields. Given this list, we analyze most cases by computing options for the splittings of low-degree places in the extension, then consider the effect of these options on the Weil polynomials of certain isogeny factors of the Jacobian of the Galois closure. In one case, we use instead an analysis based on principal polarizations, modeled on an argument of Howe.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the problem of relative class number one for function fields. Specifically, the author attempts to identify the cases of finite extensions \(F'/F\), where \(F'\) and \(F\) are function fields of curves defined over finite fields and the class numbers of these two function fields are equal. The main results of the paper are as follows:
#### Main Conclusions
According to Theorem 1.1, if \(F'/F\) is a finite extension with genus greater than 1 and has the same constant field and the same class number, then \(F'/F\) must be Galois and cyclic.
#### Background and Motivation
This problem is based on previous work, such as the research of Leitzel - Madan [12] and Leitzel - Madan - Queen [13]. The author solves this problem by analyzing Weil polynomials, splitting options of low - degree places, and the influence of Weil polynomials of Jacobians of certain isogeny factors. For specific cases, the author also uses an analysis method based on principal polarization.
#### Key Steps of the Solution
1. **Determination of Weil Polynomials**: The author first relies on the results of the previous paper to determine a finite list of possible Weil polynomials.
2. **Analysis of Splitting of Low - Degree Places**: By calculating the splitting of low - degree places in the extension, the author analyzes the influence of these splittings on Weil polynomials.
3. **Analysis of Principal Polarization**: In some cases, the author uses an analysis method based on principal polarization, especially Howe's method.
#### Specific Applications
The paper discusses in detail the cases of different degrees \(d\) (\(d = 2, 3, 4, 5, 6, 7\)) and shows how to eliminate the possibility of non - cyclic extensions through the above methods, thus proving that all eligible extensions are Galois and cyclic.
#### Conclusions
Through these analyses, the author proves that for the function field extension \(F'/F\) under the given conditions, if their class numbers are equal, then the extension must be Galois and cyclic. This result provides an important progress in understanding the relative class number problem of function fields.
#### Formula Display
The formulas involved in the paper include:
- Riemann - Hurwitz formula: \[g' = g + d(g - 1)\]
- Constraints of Weil polynomials: \[a_1(F)> \left\lfloor\frac{d - 1}{2}\right\rfloor\sum_{i = 1}^{a_i(F')}+\begin{cases}\frac{1}{2}a_{d/2}(F')&\text{if }(2.1.1)\text{ holds},\\a_{d/2}(F')&\text{otherwise}.\end{cases}\]
These formulas ensure the rigor and accuracy of the mathematical derivations and conclusions in the paper.