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

About 4 years old · traced to

Let h‾k(x)=νk pk,1(x) pk,2(x)⋯pk,α(x)=νk p~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}. ord⁡2(ak)=3d2(k)−3.\operatorname{ord}_2(a_k)=3d_2(k)-3. ord⁡3(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.

References

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.