A lower bound for the canonical height of Drinfeld modules with complex multiplication (Q2517140)

The torsion points of certain algebraic groups \(\mathcal{F}\) encode interesting arithmetic information. The simplest case is the torsion points on the multiplicative group scheme over the rational field, where the field obtained by adjoining such torsion points to the rational gives explicitly the maximal abelian extension of \(\mathbb{Q}\). The Weil height and canonical height at elements of global fields, may allow to distinguish the \(\mathcal{F}\)-torsion points because their may have ``small'' height value. Recall that rank 1 Drinfeld modules are strongly related with the additive group \(\mathbb{G}_a\), with certain analogy as the formal Lubin-Tate groups with the multiplicative group. Therefore is natural to study torsion points on a \(B\)-Drinfeld module over \(\overline{k}\) of arbitrary rank, \(\phi:B\rightarrow \mathrm{End}_{\overline{k}}(\mathbb{G}_a)\), and the interplay of the height function on them; where we denote by \(A=\mathbb{F}_q[T]\) the ring of polynomials in the variable \(T\) with coefficients in the finite field \(\mathbb{F}_q\), \(k\) the field of fractions of \(A\), \(\infty\) the place \((1/T)\) of \(k\), \(\overline{k}\) the separable closure of \(k\), and \(B\) an order of \(F\) where \(F\) is a finite extension of \(k\). \textit{L. Denis} in [Math. Ann. 294, No. 2, 213--223 (1992; Zbl 0764.11027)] introduced a canonical height to Drinfeld modules \(\hat{h}_{\phi}\), which apply directly when \(F/k\) is a CM extension, i.e., \(F\) has only one place over the place \(\infty\). In particular Denis canonical height satisfies Northcott property for finite extensions. An \(A\)-Drinfeld module over \(\overline{k}\) has complex multiplication if and only if a natural isomorphism map of \(A\)-modules \(\phi':R\rightarrow \mathrm{End}(\phi)\) (where \(R\) is an order of a CM-field \(F\) of \(k\)) defines a rank 1 Drinfeld module \(\phi'\). The main result of the paper is the following: Consider \(\phi\) an \(A\)-Drinfeld module over \(\overline{k}\) with complex multiplication, and \(L/K\) a Galois extension (finite or not) where \(K/k\) a finite extension of degree \(m\). Denote by \(E\) the subfield of \(L\) fixed by the center of \(\mathrm{Gal}(L/K)\) and assume that exists a finite place \(v\) (of degree \(\mathrm{deg}(v)\)) of \(K\) such that the local degrees of \(E/K\) above \(v\) are bounded by certain \(d\). Then, there exists a constant \(c_0>0\), such that for all \(\alpha\in L\) which is a non-torsion point of \(\phi\), one obtains that \[ \hat{h}_{\phi}(\alpha)\geq q^{-c_0 \mathrm{deg}(v) d^2 m}. \] The case \(L\) equals to the abelian closure of \(K\), satisfies the above assumption for certain \(v\), therefore the above result for the abelian closure of \(K\) recovers a theorem of \textit{S. David} and \textit{A. Pacheco} in [Int. J. Number Theory 4, No. 6, 1043--1067 (2008; Zbl 1214.11074)]. As observed before, a key point for reducing to Drinfeld modules with complex multiplication is the rank 1 Drinfeld module \(\phi'\) associated to \(\phi\). First, the author proves a similar statement as before but for \(\phi'\) instead of \(\phi\): given \(\phi'\) a rank 1 sign normalize \(\mathcal{O}_F\)-Drinfeld module over \(\overline{k}\), (where \(\mathcal{O}_F\) is the ring of integers of \(F\), a CM-field extension of \(k\)), for certain fields \(L\) (assuming certain assumptions in the flavour as the previous ones on the existence of a finite place \(v\) with bounded local degrees) then exists a lower bound for \(\hat{h}_{\phi'}(\alpha)\) for all non-torsion points \(\alpha\in L\) of \(\phi'\). A main inspiration for this paper is a result of Amoroso, David and Zannier in [\textit{F. Amoroso} et al., Proc. Am. Math. Soc. 142, No. 6, 1893--1910 (2014; Zbl 1294.11112)], in the number field case, in order to translate it to the context of Drinfeld modules.