On \(\bmod\mathfrak{p}\) congruences for Drinfeld modular forms of level \(\mathfrak{pm}\) (Q2043485): Difference between revisions

Using the work of \textit{C. Vincent} [Proc. Am. Math. Soc. 138, No. 12, 4217--4229 (2010; Zbl 1228.11065); J. Number Theory 142, 18--43 (2014; Zbl 1295.11049)] and recent results of \textit{S. Hattori} [J. Lond. Math. Soc., II. Ser. 103, No. 1, 35--70 (2021; Zbl 1498.11136); ``On the compactification of the Drinfeld modular curve of level \(\Gamma_1^\Delta(\mathfrak{n})\)'', J. Number Theory, in press (2020; \url{doi:10.1016/j.jnt.2020.07.015})], the authors show a Drinfeld modular forms analogue of a conjecture of \textit{F. Calegari} and \textit{W. A. Stein} ([Lect. Notes Comput. Sci. 3076, 140--152 (2004; Zbl 1125.11320)], verified by \textit{S. Ahlgren} and \textit{M. Barcau} [J. Number Theory 126, No. 2, 193--199 (2007; Zbl 1144.11036)]) about signs of eigenvalues under Fricke involutions. More precisely: Theorem 1.3: Suppose that \(f\in M_{k,l}^1(\Gamma_0(\mathfrak{p}))\) and \(g\in M_{k+2,l+1}^1(\Gamma_0(\mathfrak{p}))\) are Drinfeld cusp forms of (weight, type) = \((k,l)\) and \((k+2, l+1)\), respectively. (Here \(\Gamma_0(\mathfrak{p})\) is the Hecke congruence subgroup of \(\mathrm{GL}(2, A)\) with respect to a prime ideal \(\mathfrak{p}\) of \(A=\mathbb{F}_q[T]\), \(q\) odd, and \(k\) is coprime with \(q\).) Suppose that both \(f\) and \(g\) have \(\mathfrak{p}\)-integral \(u\)-expansion coefficients and satisfy \(\Theta f\equiv g\pmod {\mathfrak{p}}\), where \(\Theta\) is (the analogue of) Ramanujan's theta operator. Suppose further that a certain weight condition is fulfilled. Then, if \(f\) and \(g\) are eigenforms for the Fricke involution \(W_\mathfrak{p}\), they have opposite eigenvalues under \(W_\mathfrak{p}\). The authors also give an extension to the situation where the group \(\Gamma_0(\mathfrak{p})\) is replaced with \(\Gamma_0(\mathfrak{pm})\) with an ideal \(\mathfrak{m}\), \(\mathfrak{p}\nmid \mathfrak{m}\), and show by counterexample that the mentioned weight condition is necessary for the conclusion.