Virtual modularity conjecture for higher-codimension elliptic-factor cycles

Let 1<gn1<g\leq n, let Z(M)\mathcal Z(M) be the higher-codimension special cycles on An\mathcal A_n associated with positive definite matrices MSymg×g(Z)M\in\operatorname{Sym}_{g\times g}(\mathbb Z), and define the virtual generating series

ΘAng,vir(τ)=M0pr[λ1(g2)cl(Z~(M))]qM.\Theta^{g,\mathrm{vir}}_{\mathcal A_n}(\tau)=\sum_{M\geq0}\operatorname{pr}_*\left[\lambda_1^{\binom g2}\cdot\operatorname{cl}\left(\widetilde{\mathcal Z}(M)\right)\right]q^M.

Virtual modularity conjecture. The series ΘAn2,vir\Theta^{2,\mathrm{vir}}_{\mathcal A_n} is a holomorphic Siegel modular form of weight 2n2n for Sp4(Z)\operatorname{Sp}_4(\mathbb Z), valued in CH2n1(An)\operatorname{CH}^{2n-1}(\mathcal A_n), and vanishes at all cusps. The virtual correction is motivated by excess intersections; the source notes that the corresponding coefficients are nonzero only for g2g\leq2.

Sources & referencesView supporting material

Primary source

François Greer and Salim Tayou, “Modularity of special cycles on Shimura varieties: a survey”, arXiv:2603.01251 (2026).

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.