On the expansion of a product formula related with the Drinfeld discriminant function (Q1283818): Difference between revisions

Let \(\Delta(t)\) be the Drinfeld discriminant function, which is a modular form of weight \(q^2-1\) for the group \(GL(2,A)\), where \(A=\mathbb{F}_q[T]\) is the polynomial ring over the finite field \(\mathbb{F}_q\). Similar to the classical \(\Delta=q\Pi(1-q^n)^{24}\), it has a product expansion \[ \Delta(z)=t^{q-1} \Pi f_a(t)^{(q^2-1) (q-1)} \] with certain ``inverse cyclotomic polynomials'' \(f_a(X)\) \((a\in A\) monic) and \(t=t(z)\) a uniformiser at the cusp \(\infty\) of Drinfeld's upper half-plane \(\Omega\), the habitat of \(\Delta\). Therefore, the function \(u=\Pi f_a(t)\) corresponds to \(\Pi(1-q^n)\) (the inverse generating function for the partition function \(p(n))\), and encodes some of the arithmetic of \(A\). Grouping \(u_i=\Pi f_a\) (a monic of degree \(i)\), the authors obtain a closed formula for \(\Pi u_i\) \((i\leq d)\), which enables them to calculate coefficients of \(\Delta\) as a power series \(\sum c_is^i\) in \(s=t^{q-1}\) independently of \(q\). These expansions show a high amount of regularity. The authors also prove estimates for the number \(\#C_m\) of subscripts \(c_i\) \((i\leq m)\) such that \(c_i\neq 0\). In particular, \(\lim_{m\to \infty} {\#C_m\over m} =0\) if \(q>2\).