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?


1 Answer 1


This is an open problem. It's probably quite hard.

  • $\begingroup$ May I please have a reference for this? $\endgroup$
    – user110215
    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$ 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$ Jul 1, 2017 at 15:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.