Lehmer problem and Drinfeld modules (Q1748140)

Lehmer conjecture states that \(h(x)\gg \frac{1}{[{\mathbb Q}(x):{\mathbb Q}]}\) for the multiplicative group \({\mathbb G}_m(\bar{\mathbb Q})\), where \(h(x)\) denotes the height of \(x\). The aim of this paper is the study of an analogue of Lehmer problem for Drinfeld modules. The result is for a special class of Drinfeld modules satisfying some congruence properties that, for a suitable positive real number \(r\), are called \(\text{RV}(r)\) or \(\text{RV}(r)^*\) and they involve the density of supersingular primes (Definitions 4 and 5). Let \(A={\mathbb F}_q[T]\) be the polynomial ring in one variable and \(k={\mathbb F}_q(T)\) its quotient field. The main result is that if \({\mathbb D}\) is a Drinfeld module satisfying \(\text {RV}(r)\) or \(\text{RV}(r)^*\), then there exists a positive constant \(C\) such that all \(x\) non torsion points of \({\mathbb D}\) satisfy that \(\hat{h}(x)\geq C\frac{(\log\log D)^{\mu}}{D D_{\text{p.i.}}^{\lambda} (\log D)^{\kappa}}\), where \(\hat{h}\) is the height introduced by \textit{L. Denis} [Math. Ann. 294, No. 2, 213--223 (1992; Zbl 0764.11027)], \(\mu,\lambda, \kappa\) are positive constants explicitly computed depending on \({\mathbb D}\) and \(D\) and \(D_{\text{p.i.}}\) are the algebraic degree and the purely inseparable degree of \(x\). It is also shown that if \({\mathbb D}\) is a Drinfeld module of rank \(d\) such that either \(d=1\) or a prime different from the characteristic, it is of characteristic \(0\), has coefficients on \(k\) and it is \(CM\), then \({\mathbb D}\) is either \(\text{RV}(1,1/2 d)^*\) or \(\text{RV}_d (1, 1/2)^*\).