Hecke realization conjecture for motives of cusp forms

Let Mcuspn=M(M1,n)ε[n]M^n_{\mathrm{cusp}}=M(\overline{\mathcal{M}}_{1,n})_{\varepsilon}[n] be the motive associated to the space of cusp forms for Γ=SL2(Z)\Gamma=\operatorname{SL}_2(\mathbb{Z}) of weight n+1n+1, with realization Hcusp1(YΓ;Vn1)H^1_{\mathrm{cusp}}(\mathcal{Y}_{\Gamma};\mathcal{V}_{n-1}). Let TT be a Hecke correspondence. Hecke realization conjecture. If TT vanishes on the space of weight n+1n+1 cusp forms, then it vanishes on McuspnM^n_{\mathrm{cusp}}. This is identified in the source as the remaining conjectural input needed to promote the motivic construction to a complete geometric proof of the Gross–Zagier conjecture; the source does not give a resolution.

Sources & referencesView supporting material

Primary source

Francis Brown and Tiago J. Fonseca, “Single-valued periods of meromorphic modular forms and a motivic interpretation of the Gross-Zagier conjecture”, arXiv:2508.04844 (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.