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?
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
3
This is an open problem. It's probably quite hard.
answered Jul 1, 2017 at 14:34
-
$\begingroup$ May I please have a reference for this? $\endgroup$ Commented Jul 1, 2017 at 14:37
-
7$\begingroup$ One reference is Daniel Litt, "Symmetric powers do not stabilize", Remark 3. I do not know who first asked this question. $\endgroup$ Commented Jul 1, 2017 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$ Commented Jul 1, 2017 at 15:44