Abstract:In this short note, we investigate the generalization of Lehmer's problem to finitely generated fields over $\mathbb{Q}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the Lehmer problem to adelic curves, especially the natural adelic curves defined on the rational function field \( \mathbb{Q}(T_1, \ldots, T_d) \).
### Introduction to the Lehmer Problem
The Lehmer problem was initially proposed by D.H. Lehmer and mainly focuses on the Mahler measure of polynomials. Given a non - zero polynomial \( f(x) = a \prod_i (x - \alpha_i) \) with complex coefficients, its Mahler measure \( m(f) \) is defined as:
\[
m(f) = \log |a| + \sum_i \log \max(1, |\alpha_i|)
\]
For a polynomial \( f \in \mathbb{Z}[x] \) with integer coefficients, if \( m(f)>0 \), Lehmer asked whether there exists a constant \( c > 1 \) such that \( m(f)\geq c \). This problem has not been completely solved yet, but the best result was given by E. Dobrowolski, who gave a lower bound depending on the degree of the polynomial.
### Generalization to Adelic Curves
In this paper, the author Mounir Hajli attempts to generalize the Lehmer problem to a broader mathematical structure - adelic curves. Specifically, the author considers the adelic curve \( S \) defined on the rational function field \( \mathbb{Q}(T_1, \ldots, T_d) \) and studies the Lehmer problem in this new framework.
### Main Contributions
1. **Generalization of Kronecker's Theorem**: The author proves a result similar to Kronecker's theorem (Theorem 4.1), that is:
\[
\{\alpha \in (\mathbb{Q}(T_1, \ldots, T_d))^* \mid h_S(\alpha) = 0\} = \{\text{roots of unity in}\ \mathbb{Q}\}
\]
where \( h_S(\alpha) \) represents the height of the point \( [1:\alpha] \) in \( \mathbb{P}^1(\mathbb{Q}(T_1, \ldots, T_d)) \).
2. **Generalization of the Lehmer Problem**: Assuming that the Lehmer conjecture holds, then for any element \( \alpha \) which is a root of unity not in the algebraic closure of \( \mathbb{Q}(T_1, \ldots, T_d) \), we have:
\[
h_S(\alpha) \geq \frac{c}{\deg(\alpha)}
\]
where \( \deg(\alpha)=[\mathbb{Q}(T_1, \ldots, T_d)(\alpha):\mathbb{Q}(T_1, \ldots, T_d)] \), and \( c \) is an absolute constant (Theorem 4.3).
### Conclusion
Through these generalizations, the author shows that the Lehmer problem can be studied on a broader mathematical structure - adelic curves, and some important conclusions and new insights are obtained. This not only enriches the research field of the Lehmer problem, but also provides new tools and methods for further exploring related problems.