Bejleri–McKean conjecture on symmetric powers of null motivic Euler characteristic

About 2 years old · traced to

Let kk be a field of characteristic not 22. Let K0(Var⁡k)K_0(\operatorname{Var}_k) be the Grothendieck ring of kk-varieties, let GW⁡(k)\operatorname{GW}(k) be the Grothendieck–Witt ring, and let

χc:K0(Var⁡k)→GW⁡(k)\chi^c:K_0(\operatorname{Var}_k)\to\operatorname{GW}(k)

be the motivic, or compactly supported, Euler characteristic. For a quasi-projective kk-variety XX, write [X][X] for its class and let Sym⁡nX\operatorname{Sym}^n X denote its nnth symmetric power. Bejleri–McKean's conjecture. If XX is a quasi-projective kk-variety with [X]∈ker⁡χc[X]\in\ker\chi^c, then

[Sym⁡nX]∈ker⁡χc[\operatorname{Sym}^n X]\in\ker\chi^c

for all n≥1n\geq 1; equivalently, the symmetric-power maps preserve ker⁡χc\ker\chi^c. This conjecture would yield a power structure on GW⁡(k)\operatorname{GW}(k) compatible with the motivic Euler characteristic and the power structure on the Grothendieck ring of varieties, and would support an enrichment of Göttsche's formula for Euler characteristics of Hilbert schemes.

References

Primary source

Dori Bejleri and Stephen McKean, “Symmetric powers of null motivic Euler characteristic”, arXiv:2406.19506 (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.