Abstract:We generalize Schoof's theorem in 1986 and apply this to construct a class of Kummer extensions of the cyclotomic fields with infinite class tower. As an application, we give some number fields with a small root discriminant, which has an infinite $p$-class field tower when $p=3, 5, 7$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct number fields with infinite class field towers, especially those number fields with small root discriminants. Specifically, by generalizing Schoof's theorem in 1986, the author constructs a class of Kummer extensions of cyclotomic fields and proves that these number fields have infinite class field towers.
### Main problems and background
1. **Existence of infinite class field towers**: Historically, Golod and Shafarevich proved in 1964 that certain quadratic number fields have infinite 2 - class field towers. In 1986, Schoof further extended this result, providing a method for constructing number fields with infinite class field towers, and discovered that there are infinitely many quadratic number fields with infinite 2 - class field towers.
2. **Size of root discriminants**: Odlyzko's bound shows that any number field with an infinite class field tower must have a root discriminant of at least 22.3. Assuming the Generalized Riemann Hypothesis (GRH), this bound can be increased to 44.3. Therefore, finding number fields with small root discriminants and infinite p - class field towers is an interesting topic.
### Main contributions of the paper
1. **Generalizing Schoof's theorem**: The author generalizes Schoof's theorem and proposes a new criterion for determining whether a number field has an infinite class field tower.
2. **Constructing new number fields**: Based on the generalized criterion, the author constructs some new number fields that have infinite p - class field towers and relatively small root discriminants. For example:
- \(Q(\zeta_9, \sqrt[3]{7\cdot181})\) has an infinite 3 - class field tower, and the root discriminant is approximately 776.7.
- \(Q(\zeta_{40}, \sqrt[5]{3\cdot41})\) has an infinite 5 - class field tower, and the root discriminant is approximately 1196.2.
- \(Q(\zeta_{35}, \sqrt[7]{5\cdot71})\) has an infinite 7 - class field tower, and the root discriminant is approximately 1608.8.
### Key formulas
- Euler function: \(\phi(n)\)
- Class number: \(h\)
- Root discriminant: \(\Delta^{1/n}\)
### Conclusion
By generalizing Schoof's theorem, this paper successfully constructs some number fields with infinite class field towers and small root discriminants, providing new research directions and examples in the field of number theory.