The generating-function conjecture for motivic Omega-classes

For each positive integer dd, define

Ωd(t)=n0Ωdn+2tnK0(VarC)t.\Omega_d(t)=\sum_{n\geq 0}\Omega^{n+2}_dt^n\in K_0(\operatorname{Var}_{\mathbb C})\llbracket t\rrbracket.

Let ζPd1(t)\zeta_{{\mathbb P}^{d-1}}(t) denote the zeta function of projective (d1)(d-1)-space. Omega-class generating-function conjecture. Fix d1d\geq 1. If d=1,2,3d=1,2,3, then

Ωd(t)=ζPd1(t)Ld1.\Omega_d(t)=\zeta_{{\mathbb P}^{d-1}}(t)\cdot{\mathbb L}^{d-1}.

If d>3d>3, then

Ωd(t)=ζPd1(t)Qd(t),\Omega_d(t)=\zeta_{{\mathbb P}^{d-1}}(t)\cdot\mathsf Q_d(t),

where Qd(t)K0(VarC)[t]\mathsf Q_d(t)\in K_0(\operatorname{Var}_{\mathbb C})[t] is

Qd(t)=i=0d3(j=0i(1)jΩdij+2[Gr(j,d)]L(j2))ti.\mathsf Q_d(t)=\sum_{i=0}^{d-3}\left(\sum_{j=0}^{i}(-1)^j\Omega^{i-j+2}_d[\operatorname{Gr}(j,d)]{\mathbb L}^{\binom j2}\right)t^i.

This is proposed as the analogue for the Ω\Omega-classes of the paper’s main motivic formula.

Sources & referencesView supporting material

Primary source

Michele Graffeo, Sergej Monavari, Riccardo Moschetti and Andrea T. Ricolfi, “The motive of the Hilbert scheme of points in all dimensions”, arXiv:2406.14321 (2024).

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.