Regarding atkin-lehner operator (Imp.)

"LNU, Swati" <[email protected]> Tue, 19 Aug 2025 21:53:24 +0000
Newsgroups gmane.comp.mathematics.pari.user
Message-ID <SJ0PR19MB47625864CCA0B97BE4FFBF648030A@SJ0PR19MB4762.namprd19.prod.outlook.com>
Hello,

  1.
I am trying to compute the q-series expansion of eta(l^2)^{l^2} / eta(z) | U_{l} |  W_p for l and p primes, l \neq p . However, I seem to be getting incorrect results when using mfslashexpansion.


  1.
While computing expansion of F | (1,0; d, 1) for any d | N, F \in M_k(N, chi) using
mfslashexpansion(mfinit(F), F, [1, 0; d, 1], 100, 0, &P),
should one always divide the output returned by mfslashexpansion by the cusp width $P[2]$ (i.e., the minimal exponent) to determine the order of vanishing at that cusp? Or is this adjustment only required in certain cases?

  2.
In particular, whenever I attempt to compute the expansion of a modular form $F$ acted upon by $W_p$ using mfslashexpansion, the results appear to be incorrect.

I know we can use mfatkin for F | W_p but what about the case when there is slash expansion by multiple operators followed by W_p at the end.
Any suggestions would be appreciated.
Regards,
Swati
"An equation for me has no meaning unless it expresses a thought of God"— Srinivasa Ramanujan.