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.

The characteristic cycle and the singular support of a constructible sheaf

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

Comparison of the two notions of characteristic cycles

Characteristic cycle of a rank one sheaf and ramification theory

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

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

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

On the stability of vanishing cycles of étale sheaves in positive characteristic

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

The characteristic cycle of a non-confluent $\ell$-adic GKZ hypergeometric sheaf

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

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

Character sheaves in characteristic $p$ have nilpotent singular support

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

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

Motivic cohomology of equicharacteristic schemes

Characteristic cycles and decomposition numbers

Wild ramification determines the characteristic cycle

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

Cech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction

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