Motivic Stabilization of Symmetric Powers

Definitions and mathematical statement

The supplied record calls this the motivic stabilization conjecture and assumes that $X$ is geometrically irreducible. It does not specify the base field, the category of varieties, or the topological ring in which convergence is asserted. These omissions prevent a fully specified convergence statement.

In the customary motivic notation, for a field $k$, geometric irreducibility means that $X\times_k\overline{k}$ is irreducible. The symmetric power is $\operatorname{Sym}^nX=X^n/\mathfrak S_n$, when this quotient exists in the chosen category, where $\mathfrak S_n$ permutes the factors. The Grothendieck ring $K_0(\mathrm{Var}_k)$ is generated by classes $[Y]$ of $k$-varieties, with relations $[Y]=[Z]+[Y\setminus Z]$ for closed subvarieties $Z\subseteq Y$, and multiplication induced by products over $k$. Write $\mathbb L=[\mathbb A^1_k]$. For $d=\dim X$, the normalized classes are \[ a_n(X)=[\operatorname{Sym}^nX]\mathbb L^{-nd} \in K_0(\mathrm{Var}_k)[\mathbb L^{-1}]. \] These definitions explain the customary notation; the record does not explicitly supply this ambient setup.

The source assertion is that, for every geometrically irreducible $X$ in the intended domain, \[ \lim_{n\to\infty}\frac{[\operatorname{Sym}^nX]}{\mathbb L^{n\dim X}} \quad\text{exists}. \] More precisely, once a topological ring $R$ and the intended homomorphism $\iota:K_0(\mathrm{Var}_k)[\mathbb L^{-1}]\to R$ are specified, this means that for every such $X$ there exists $\ell_X\in R$ such that, for every neighborhood $U$ of $0$ in $R$, there is an integer $N\geq1$ for which \[ n\geq N\ \Longrightarrow\ \iota(a_n(X))-\ell_X\in U. \] The intended ring, topology, any completion or quotient, and the allowed fields and varieties remain unresolved; this parametrized explanation does not choose them on behalf of the source.

Short English statement

The proposed assertion is that the motivic classes of the symmetric powers of every geometrically irreducible $X$, normalized by $\mathbb L^{n\dim X}$, converge as $n\to\infty$. The supplied formulation leaves the base field and the ambient topology unspecified, so the exact convergence claim requires clarification. Its open status is supplied dated curation, not an independently verified conclusion.

Sources

• Local UnsolvedMath registry, permanent ID $30002281$, title Motivic Stabilization of Symmetric Powers, source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The record gives the proposed year as 2013 and supplies no named proposer.
• Supplied report citation: Moduli Spaces in Algebraic Geometry (2013), Oberwolfach Reports, pp. 343--392, DOI 10.4171/owr/2013/06. https://doi.org/10.4171/owr/2013/06. The supplied background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions.
• Supplied literature reference: Vakil--Wood, discriminants in the Grothendieck ring. https://arxiv.org/abs/1208.3166.
• Supplied literature reference: Litt, symmetric powers do not stabilize. https://arxiv.org/abs/1209.4708.
• Literature assessment dated exactly 2026-08-21: the supplied curation labels the problem open and states that the Vakil--Wood motivic stabilization conjecture remains unresolved in general, with related nonstabilization results not settling this exact normalized limit. This is supplied dated literature triage derived from the OWR curation, not independently verified here; its time-sensitive status and cited claims require independent verification.
• The registry labels the statement corrected_verified and reports that its mathematical content was checked against the official Oberwolfach report, with notation, context, and question form normalized without changing the source-level claim. This verification claim is supplied metadata, not an independent verification performed for this draft.