The generating-function conjecture for motivic Omega-classes

About 2 years old · traced to

For each positive integer dd, define

Ωd(t)=∑n≥0Ωdn+2tn∈K0(Var⁡C)⟦t⟧.\Omega_d(t)=\sum_{n\geq 0}\Omega^{n+2}_dt^n\in K_0(\operatorname{Var}_{\mathbb C})\llbracket t\rrbracket.

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

Ωd(t)=ζPd−1(t)⋅Ld−1.\Omega_d(t)=\zeta_{{\mathbb P}^{d-1}}(t)\cdot{\mathbb L}^{d-1}.

If d>3d>3, then

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

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

Qd(t)=∑i=0d−3(∑j=0i(−1)jΩdi−j+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.

References

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.