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

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

SymmD=DSymm.\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}.

Sources & referencesView supporting material

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.