Modularity conjecture for d-elliptic Noether–Lefschetz cycles

For integers d,g1d,g\ge 1, let NL~g,d\widetilde{\mathsf{NL}}_{g,d} be the moduli space of morphisms of abelian varieties h:EAh:E\to A, where EE is an elliptic curve, AA is a principally polarized abelian variety of dimension gg with polarization ΘA\Theta_A, and deg(hΘA)=d\deg(h^*\Theta_A)=d. Let [NL~g,d]CHg1(Ag)[\widetilde{\mathsf{NL}}_{g,d}]\in \operatorname{CH}^{g-1}(\mathcal{A}_g) be the associated Noether–Lefschetz cycle class, and set [NL~g,0]=124(1)gλg1[\widetilde{\mathsf{NL}}_{g,0}]=\frac{1}{24}(-1)^g\lambda_{g-1}. Modularity conjecture. The generating series

d0[NL~g,d]qdCHg1(Ag)Q[[q]]\sum_{d\ge 0}[\widetilde{\mathsf{NL}}_{g,d}]q^d \in \operatorname{CH}^{g-1}(\mathcal{A}_g)\otimes \mathbb{Q}[[q]]

is a cycle-valued modular form of weight 2g2g. The conjecture is known after projection to the tautological ring, while the full Chow-valued modularity statement remains open.

Sources & referencesView supporting material

Primary source

François Greer, Carl Lian and Naomi Sweeting, “Modularity of d-elliptic loci with level structure”, arXiv:2411.00957 (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.