Conjecture on the factorization of constant-term polynomials for the Hecke group

Let hk(x)=νkpk,1(x)pk,2(x)pk,α(x)=νkp~k(x)\overline{h}_k(x)=\nu_k\,p_{k,1}(x)\,p_{k,2}(x)\cdots p_{k,\alpha}(x)=\nu_k\,\widetilde{p}_k(x), where each pk,np_{k,n} is monic and νk\nu_k is rational. Write the OEIS sequence {0,1,47,2488,138799,}\{0,1,47,2488,138799,\ldots\} as {a0,a1,}\{a_0,a_1,\ldots\}, and let d2(k)d_2(k) and d3(k)d_3(k) denote the relevant exponent functions used in the paper. Factorization conjecture. The following identities and divisibility properties hold:

νk=24ak.\nu_k=24a_k. p~k(3) is always odd.\widetilde{p}_k(3)\text{ is always odd}. ord2(ak)=3d2(k)3.\operatorname{ord}_2(a_k)=3d_2(k)-3. ord3(p~k(3))=d3(k)1.\operatorname{ord}_3(\widetilde{p}_k(3))=d_3(k)-1.

These assertions summarize observed divisibility patterns in the constant terms AK,k,m(0)A_{\overline{\mathcal{K}},k,m}(0) and their associated polynomials. The supplied text does not establish them or provide evidence of resolution, so their status remains open.

Sources & referencesView supporting material

Primary source

Barry Brent, “On the constant terms of certain meromorphic modular forms for Hecke groups”, arXiv:2212.12515 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.