Explicit lower bounds for the height in Galois extensions of number fields

Jonathan Jenvrin

2024-02-23

Abstract:Amoroso and Masser proved that for every real $\epsilon > 0$, there exists a constant $c(\epsilon)>0$, such that for every algebraic number $\alpha$ with $\mathbb{Q}(\alpha)/\mathbb{Q}$ being a Galois extension, the height of $\alpha$ is either 0 or at least $c(\epsilon) [\mathbb{Q}(\alpha):\mathbb{Q}]^{-\epsilon}$. In this article we establish an explicit version of this theorem.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the lower bound of the height of algebraic numbers, especially the explicit lower bound in Galois extensions. Specifically, Amoroso and Masser previously proved that for any real number \(\epsilon > 0\), there exists a constant \(c(\epsilon)>0\) such that for every algebraic number \(\alpha\), if \(\mathbb{Q}(\alpha)/\mathbb{Q}\) is a Galois extension, then the height of \(\alpha\) is either 0 or at least \(c(\epsilon)[\mathbb{Q}(\alpha):\mathbb{Q}]^{-\epsilon}\).

The goal of this paper is to give an explicit version of this result. The author Jonathan Jenvrin established the following theorem in the article:

**Theorem 1.2**: Suppose \(\alpha\in\overline{\mathbb{Q}}^*\) is an algebraic number of degree \(d\). If \(\alpha\) is not a root of unity and \(\mathbb{Q}(\alpha)/\mathbb{Q}\) is a Galois extension, then:
\[h(\alpha)\geq\exp\left(- 500\log(3d)^{3/4}\log(\log(3d))\right).\]

To prove this theorem, the author used the strategy of Amoroso and Masser and combined more precise results and explicit estimates. Specifically, the proof is divided into two main parts:

1. **When the multiplicative rank \(\rho\) is large**: Use the result of Amoroso and Viada (Theorem 2.1), which gives an explicit lower bound for the product of the heights of multiple algebraic numbers.
2. **When the multiplicative rank \(\rho\) is small**: Use the result of Amoroso and Delsinne (Theorem 2.2), which provides an explicit estimate relative to the Dobrowolski lower bound.

In addition, the author also introduced some auxiliary lemmas, such as an explicit estimate about the Euler function (Lemma 2.2) and other technical lemmas (Lemma 2.1 and Lemma 2.3), to ensure the accuracy of the final result.

In conclusion, the main contribution of this paper is to provide an explicit formula for the lower bound of the height, which is of great significance in the field of number theory, especially in the study of the height of algebraic numbers.