Abstract:One of the main themes in this thesis is the description of the signature of both the infinite place and the finite places in cubic function fields of any characteristic and quartic function fields of characteristic at least 5. For these purposes, we provide a new theory which can be applied to cubic and quartic function fields and to even higher dimensional function fields. One of the striking advantages of this theory to other existing methods is that is does not use the concept of p-adic completions and we can dispense of Cardano's formulae. Another key result comprises the construction of cubic function fields of unit rank 1 and 2, with an obvious fundamental system. One of the main ingredients for such constructions is the definition of the maximum value. This definition is new and very prolific in the context of finding fundamental systems. We conclude the thesis with miscellaneous results on the divisor class number h, including a new approach for finding divisors of h.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on arithmetic problems in cubic and quartic function fields. Specifically, the author Tobias Bembom explored the following aspects in his paper:
1. **Signature Computation**:
- The author provided a new theoretical framework to describe the signatures of cubic and quartic function fields at infinite and finite places. For cubic function fields with a characteristic of at least 5, the description of signatures already exists, but this paper also covers the signatures of cubic function fields with characteristics of 2 and 3 and general quartic function fields, which are new contributions.
2. **Integral Basis and Genus Computation**:
- Based on the signature information, the author further calculated the integral bases and genera of cubic and quartic function fields. Signatures play a crucial role in this process, especially when calculating the divisor class numbers of function fields.
3. **Approximation of Divisor Class Numbers**:
- For quartic function fields, the author showed how to use signature information to approximately calculate the divisor class numbers. This part is particularly interesting because it can utilize the previously unknown information about the position signatures in quartic function fields.
4. **Construction of Cubic Function Fields with Unit Ranks 1 and 2**:
- The author proposed methods for constructing cubic function fields with unit ranks of 1 and 2 and gave an obvious fundamental system. The key to this part lies in defining the concept of the maximum value, which is very effective in finding the fundamental system.
5. **Miscellaneous Results of Divisor Class Numbers**:
- Finally, the paper discussed some miscellaneous results regarding the divisor class number \( h \), including a new method for finding the divisors of \( h \).
### Formula Summary
- **Signature Formula**: The calculation of signatures involves the ramification index \( e(P'|P) \) and the relative degree \( f(P'|P) \) of a place \( P \), and the specific formula is as follows:
\[
\delta_{F'/F}(P) = \sum_{P'|P} (e(P'|P) - 1) f(P'|P)
\]
- **Discriminant and Ramification Theorem**: Dedekind's discriminant theorem states that for any finite place \( P \in K(x) \),
\[
v_P(\text{disc}(F)) \geq \delta_{F|K(x)}(P)
\]
The equality holds if and only if \( P \) is tamely ramified in \( F/K(x) \).
- **Hasse - Weil Bound**: For the class number \( h \), the Hasse - Weil bound is:
\[
(\sqrt{q} - 1)^{2g} \leq h \leq (\sqrt{q} + 1)^{2g}
\]
Through the research of these problems, the author aims to provide a completely new method that does not depend on p - adic completions and Cardano's formula, thereby simplifying and expanding the understanding of cubic and quartic function fields.