Abstract:The compactly supported $\mathbb{A}^1$-Euler characteristic, introduced by Hoyois and later refined by Levine and others, is an anologue in motivic homotopy theory of the classical Euler characteristic of complex topological manifolds. It is an invariant on the Grothendieck ring of varieties $\mathrm{K}_0(\mathrm{Var}_k)$ taking values in the Grothendieck-Witt ring $\mathrm{GW}(k)$ of the base field $k$. The former ring has a natural power structure induced by symmetric powers of varieties. In a recent preprint, Pajwani and Pál construct a power structure on $\mathrm{GW}(k)$ and show that the compactly supported $\mathbb{A}^1$-Euler characteristic respects these two power structures for $0$-dimensional varieties, or equivalently étale $k$-algebras. In this paper, we define the class $\mathrm{Sym}_k$ of symmetrisable varieties to be those varieties for which the compactly supported $\mathbb{A}^1$-Euler characteristic respects the power structures and study the algebraic properties of $\mathrm{K}_0(\mathrm{Sym}_k)$. We show that it includes all cellular varieties, and even linear varieties as introduced by Totaro. Moreover, we show that it includes non-linear varieties such as elliptic curves. As an application of our main result, we compute the compactly supported $\mathbb{A}^1$-Euler characteristics of symmetric powers of Grassmannians and certain del Pezzo surfaces.

Cycle caractéristique sur une puissance symétrique d'une courbe et déterminant de la cohomologie étale

The characteristic cycle and the singular support of a constructible sheaf

Characteristic Cycle and Wild Ramification for Nearby Cycles of Étale Sheaves

Characteristic cycle of a rank one sheaf and ramification theory

Étale tame vanishing cycles over $[\mathbb{A}^1_{S}/\mathbb{G}_{m,S}]$

F-characteristic cycle of a rank one sheaf on an arithmetic surface

The Fourier Transform and Characteristic Cycles of Monodromic $\ell$-adic Sheaves

Motivic cohomology of equicharacteristic schemes

Wild ramification, the nearby cycle complexes, and the characteristic cycles of $\ell$-adic sheaves

Computing the cohomology of constructible étale sheaves on curves

Non-torsion algebraic cycles on the Jacobians of Fermat quotients

Motivic Euler Characteristic of Nearby Cycles and a Generalized Quadratic Conductor Formula

Relative Singular Support and the Semi-Continuity of Characteristic Cycles for Étale Sheaves

Comparison of the two notions of characteristic cycles

Quadratic Euler Characteristic of Symmetric Powers of Curves

Replica Selection in the Globus Data Grid

Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Semi-continuity of Conductors, and Ramification Bound of Nearby Cycles

Compactly supported $\mathbb{A}^1$-Euler characteristics of symmetric powers of cellular varieties

$p$-adic families of diagonal cycles

The Characteristic Cycles and Semi-Canonical Bases on Type A Quiver Variety