Let $K_0(Var_k)$ be the grothendieck group of the category of $k$varieties, and call its elements virtual motives. $\mathbb{L}:=[\mathbb{A}^1_k]$ is called the Lefschetz motive. I think that if a virtual motive is divisible by arbitrarily high powers of $\mathbb{L}$, then it must be $0$. Is this true? If so, is there a proof of this?
6
$\begingroup$
$\endgroup$
This is an open problem. It's probably quite hard.


7$\begingroup$ One reference is Daniel Litt, "Symmetric powers do not stabilize", Remark 3. I do not know who first asked this question. $\endgroup$ – Dan Petersen Jul 1 '17 at 15:00

2$\begingroup$ This is an important question for the motivic integration theory; so you may look at surveys on this subject. $\endgroup$ – Mikhail Bondarko Jul 1 '17 at 15:44