The symmetric powers conjecture for D\mathbb{D}-singularities

Let XX be a smooth variety over kk, and let m1m\geq 1. The symmetric power SymmX=Xm/Sm\operatorname{Sym}^m X=X^m/S_m is the quotient by the symmetric group. A variety has D\mathbb{D}-singularities when its class satisfies the corresponding condition defined using the involution D\mathbb{D} in the graded Grothendieck ring. Symmetric powers conjecture. The symmetric power SymmX\operatorname{Sym}^m X has D\mathbb{D}-singularities.

This is motivated by the theorem that the class of SymmX\operatorname{Sym}^m X lies in the relevant special submodule up to torsion, and the conjecture asks whether the geometric D\mathbb{D}-singularity property always follows. It remains open.

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.