The symmetric-power compatibility conjecture for the graded Grothendieck-ring involution

About 1 year old · traced to

Let K0(Var⁡kdim⁡)K_0(\operatorname{Var}_k^{\dim}) be the graded Grothendieck ring of varieties, equipped with the symmetric-power operations Sym⁡m\operatorname{Sym}^m and the involution D\mathbb{D} that interchanges τ=[Spec⁡k]1\tau=[\operatorname{Spec}k]_1 and L=[A1]1\mathbb{L}=[\mathbb{A}^1]_1. Symmetric-power compatibility conjecture. For each m≥0m\geq 0, symmetric powers commute with the involution:

Sym⁡m∘D=D∘Sym⁡m.\operatorname{Sym}^m\circ\mathbb{D}=\mathbb{D}\circ\operatorname{Sym}^m.

The conjecture expresses the expected compatibility between the involution and the symmetric-power operations, motivated by the fact that the involution exchanges the basic degree-one classes τ\tau and L\mathbb{L}.

References

Primary source

Andrew Burke, “Involution on the Graded Grothendieck Ring of Varieties and D-Singularities”, arXiv:2508.17587 (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.