Conjecture on vanishing and nonvanishing traces on Hecke newspaces

At least 1 year old · documented by

Let m≥2m\geq 2 be a fixed non-square integer, and let Tmnew⁡(N,k)T_m^{\operatorname{new}}(N,k) denote the restriction of the mm-th Hecke operator to the new subspace Sknew⁡(Γ0(N))S_k^{\operatorname{new}}(\Gamma_0(N)), where NN is coprime to mm. Newspace trace dichotomy conjecture. There exist integers N1N_1 and N2N_2, both coprime to mm, such that

Tr⁡Tmnew⁡(N1,k)=0\operatorname{Tr} T_m^{\operatorname{new}}(N_1,k)=0

for all even k≥2k\geq 2, while

Tr⁡Tmnew⁡(N2,k)≠0\operatorname{Tr} T_m^{\operatorname{new}}(N_2,k)\neq 0

for all even k≥2k\geq 2. The conjecture is based on numerical computations after the authors report that the analogous blanket nonvanishing statement for newspaces is false, with several vanishing families already found. The proposed dichotomy remains open in the supplied source.

References

Primary source

William Cason, Akash Jim, Charlie Medlock, Erick Ross, Trevor Vilardi and Hui Xue, “Nonvanishing of Second Coefficients of Hecke Polynomials on the Newspace”, arXiv:2407.11694 (2025).

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.