Abstract:Recently, Widmer introduced a new sufficient criterion for the Northcott property on the finiteness of elements of bounded height in infinite algebraic extensions of number fields. We provide a simplification of Widmer's criterion when the extension is abelian, and use this to exhibit fields with the Northcott property that do not satisfy Widmer's new criterion. We also show how the construction of pseudo algebraically closed fields with the Northcott property, carried out in previous work using the first version of Widmer's criterion, can be simplified.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the infinite algebraic extensions of number fields have the Northcott property (i.e., there are only finitely many elements under bounded height). Specifically, Widmer has recently proposed a new sufficient condition for judging the Northcott property, but whether this new condition can cover all infinite algebraic extensions with the Northcott property remains a problem.
### Main contributions of the paper
1. **Simplify Widmer's new criterion**:
- The authors provide a method to simplify Widmer's new criterion in the case of abelian extensions. They prove that if \( M/K \) is a Galois extension, then to calculate \( \gamma(M/K) \), only the finite extensions \( F \) contained in \( M \) need to be considered, rather than all finite extensions \( F \). This can simplify the verification of assumption (1.1) in some cases.
2. **Construct infinite Galois extensions that do not satisfy Widmer's new criterion**:
- The authors show how to use the construction method in [CF21] to generate infinite Galois extensions \( L/\mathbb{Q} \) that do not satisfy Widmer's new criterion, and these extensions still have the Northcott property. This indicates that Widmer's new criterion is not the only method, and there are other methods to establish the Northcott property.
3. **Re - examine the relationship between PAC (pseudo - algebraically closed) fields and the Northcott property**:
- The authors re - examine the connection between PAC fields and the Northcott property, and show how to simplify the process of constructing PAC fields with the Northcott property without the need for Widmer's criterion.
### Explanation of formulas and symbols
- **Absolute logarithmic Weil height**: Denoted as \( h(\alpha) \), which is used to measure the complexity of the algebraic number \( \alpha \).
- **Relative discriminant**: For the number field extension \( M/K \), denoted as \( D_{M/K} \).
- **Relative norm**: For the number field extension \( M/K \), denoted as \( N_{M/K} \).
- **Key quantity \( \gamma(M/K) \)**:
\[
\gamma(M/K)=\sup_{F/K \text{ finite}} \left( \frac{N_{F/\mathbb{Q}}(D_{MF/F})}{[MF:\mathbb{Q}]^{[MF:F]}} \right)
\]
where \( MF \) is the compositum of \( M \) and \( F \) in \( \overline{\mathbb{Q}} \).
### Conclusion
This paper further promotes the understanding of the Northcott property by simplifying Widmer's new criterion and showing its limitations. At the same time, it also provides a new method for constructing PAC fields with the Northcott property, providing new ideas and tools for future research.