The growth of the discriminant of the endomorphism ring of the reduction of a rank 2 generic Drinfeld module (Q2127193)

The main results of this paper are the Drinfeld module analogues of results of \textit{R. Schoof} [Prog. Math. 89, 325--335 (1991; Zbl 0726.14023)] for elliptic curves over \(\mathbb{Q}\). Let \(A=\mathbb{F}_q[T]\) and \(F=\mathbb{F}_q(T)\). Let \(\psi\) be a Drinfeld \(A\)-module over \(F\) of rank \(2\) and without complex multiplication. Consider \(\mathfrak{p}=pA\) a prime ideal of \(A\) of good reduction for \(\psi\) with residue field \(\mathbb{F}_{\mathfrak{p}}\). Let \(\mathcal{E}_{\psi,\mathfrak{p}} ={\mathrm{End}}_{\mathbb{F}_{\mathfrak{p}}}(\psi\otimes \mathbb{F}_{\mathfrak{p}})\) be the endomorphism ring of \(\psi\otimes \mathbb{F}_{\mathfrak{p}}\). We have that \(\pi_{\mathfrak{p}}:=\tau^{\deg \mathfrak{p}}\) is in the center of \(\mathbb{F}_{\mathfrak{p}}\{\tau\}\) so that \(\pi_{\mathfrak{p}}\in \mathcal{E}_{\psi,\mathfrak{p}}\) and \(A[\pi_{\mathfrak{p}}]\subseteq \mathcal{E}_{\psi,\mathfrak{p}} \subseteq \mathcal{O}_{F(\pi_{\mathfrak{p}})}\), where \(\mathcal{O}_{F(\pi_{\mathfrak{p}})}\) is the integral closure of \(A\) in \(F(\pi_{\mathfrak{p}})\). The authors are interested in the growth of the absolute value of the discriminant of \(\mathcal{E}_{\psi,\mathfrak{p}}\) as \(\mathfrak{p}\) varies. Fixing a basis \(\mathcal{E}_{\psi,\mathfrak{p}}=A\alpha_1+A\alpha_2\) of \(\mathcal{E}_{\psi,\mathfrak{p}}\) as a free \(A\)-module of rank \(2\), the discriminant \(\Delta_{\mathfrak{p}}\) of \(\mathcal{E}_{\psi,\mathfrak{p}}\) is \(\det({\mathrm{Tr}}_{F(\pi_{\mathfrak{p}})/F}(\alpha_i\alpha_j))_{1\leq i,j \leq 2}\). The first main result is that if \({\mathrm{End}}_{F^{\mathrm{alg}}}(\psi)=A\), then \(|\Delta_{\mathfrak{p}}|\gg_{\psi}\frac{\log|p|}{(\log\log|p|)^2}\), where the implied constant \(\gg_{\psi}\) depends on \(q\) and on the coefficients of the polynomial \(\psi_T\) of \(F\{\tau\}\). Next, by regarding \(\tau\) as the Frobenius automorphism of \(\mathbb{F}_{\mathfrak{p}}\) relative to \(\mathbb{F}_q\), it is considered \(\mathbb{F}_{\mathfrak{p}}\) as an \(A\)-module via \(\psi\otimes \mathbb{F}_{\mathfrak{p}}\), this module is denoted by \(^{\psi} \mathbb{F}_{\mathfrak{p}}\). We have \(^{\psi} \mathbb{F}_{\mathfrak{p}}\cong A/d_{1,\mathfrak{p}}A\times A/d_{2,\mathfrak{p}}A\) for uniquely determined nonzero monic polynomials \(d_{1,\mathfrak{p}}\), \(d_{2,\mathfrak{p}}\in A\) such that \(d_{1,\mathfrak{p}}|d_{2,\mathfrak{p}}\). The second main result is that if \({\mathrm{End}}_{F^{\mathrm{alg}}}(\psi)=A\), then \(|d_{2,\mathfrak{p}}| \gg_{\psi}|p|^{\frac 12}\frac{(\log |p|)^{\frac 12}}{\log\log |p|}\) where the implied constant \(\gg_{\psi}\) depends on \(q\) and the coefficients of the polynomial \(\psi_T\in F\{\tau\}\).