On the coefficients of the Drinfeld modular equation
type: Item
instance of: scholarly article
title: On the coefficients of the Drinfeld modular equation
zbMATH Open document ID: 0886.11032
author: Sunghan Bae
author: Seungjae Lee
published in: Journal of Number Theory
publication date: 1997-09-22T00:00:00Z
review text: The Drinfeld modular equation is the subject of this paper: an algorithm for computing its coefficients and estimates for its maximum coefficient are presented. Let \({\mathbb{F}}_q\) be the finite field of \(q\) elements, \(K={\mathbb{F}}_q(T)\) the function field over \({\mathbb{F}}_q\) in the variable \(T\), and \(A={\mathbb{F}}_q[T]\). Denote by \(K_{\infty}\) the completion of \(K\) at \(\infty=(1/T)\), and by \(C\) the completion of the algebraic closure of \(K_{\infty}\). Let \(\text{{deg}}:K\to {\mathbb{Z}}\cup\{-\infty\}, x\mapsto\text{deg } x\) be the valuation of \(K\) associated with the infinite place \(\infty\), and let \(|\;|\) be the corresponding absolute value (normalized by \(|T|=q\)). Fix an extension of \(|\;|\) to \(C\), and let \(\nu\) be a valuation of \(C\) defined by \(\nu(x)=\text{{log}}|x|\). For \(z\in\Omega:=C\setminus K_{\infty}\), let \([z,1]=Az+A\) be the rank \(2\) \(A\)--lattice in \(C\). A Drinfeld module \(\phi^z\) of rank \(2\) is defined by \(\phi^z_T:=TX+g(z)X^q+\Delta(z)X^{q^2}\). The \(j\)--invariant of \(\phi^z\) is \(j(z):=g(z)^{q+1}/\Delta(z)\). For a Drinfeld module \(\phi^z\) with \(j\)--invariant \(j(z)\), there is a Drinfeld modular equation \(\Phi_n(X,Y) \in{\mathbb{Z}}[X,Y]\) such that \(\Phi_n(X,Y)=\Phi_n(Y,X)\) and \[ \Phi_n(X,j(z))=\prod_{\gamma\in S_n} (X-j(\gamma z)), \] where \[ S_n=\left\{\left( \begin{matrix} a & b\\ 0 & d \end{matrix} \right)\in\text{{GL}}_2(A)\mid a,d\text{ are monic},\;(a,b,d)=1,\;ad=n, \text{deg }b< \text{deg }d \right\}, \] and \(\#S_n=\psi(n)=|n|\prod_{p|n,\;p\text{ prime}}(1+{1\over |p|})\). Let \(A_n\) denote the maximum of the absolute value of the coefficients of \(\Phi_n(X,Y)\), and put \(B_n=\text{{log}}_q A_n\). Theorem 1. \(A_n\) (and hence \(B_n\)) is not bounded as \(|n|\to\infty\). Theorem 2. For a fixed \(n\), an upper bound for \(B_n\) is given by \[ B_n\leq q\psi(n)+ \Biggl( {|n|\over q}-\text{deg} n \Biggr){(q-1)\psi(n)((q-1)\psi(n)+1) \over 2}+(q+1)|n|\psi(n). \] Furthe…
Mathematics Subject Classification ID: 11G09
Mathematics Subject Classification ID: 11F03
zbMATH DE Number: 1061242
zbMATH Keywords: Drinfeld modules
zbMATH Keywords: modular equations
zbMATH Keywords: algorithm
zbMATH Keywords: coefficients
reviewed by: Noriko Yui
MaRDI profile type: Publication
full work available at URL: jnth.1997.2163
OpenAlex ID: W2033145445
cites work: On the modular equation for Drinfeld modules of rank 2
cites work: On the coefficients of the transformation polynomials for the elliptic modular function
cites work: On the coefficients of Drinfeld modular forms
cites work: Über die Berechnung der Fourierkoeffizienten der Funktion j().
cites work: Computation of the modular equation
cites work: Q4723876
cites work: On the coefficients of the $2^n$-th transformation polynomial for j(ω)
cites work: On the coefficients of transformation polynomials for the modular function
cites work: Explicit form of the modular equation.
DOI: 10.1006/JNTH.1997.2163
description: scientific article; zbMATH DE number 1061242