Skip to main content
5 of 10
added 119 characters in body
user avatar
user avatar

$K_0$-equivalence of varieties

Let $X$ be a smooth projective variety over an algebraically closed field of characteristic zero $k$.

We call $\mathcal{P}_0$ the class of $k$-varieties whose objects are:

  • abelian varieties
  • semi-abelian varieties (extension of abelian varieties by a torus)
  • smooth hypersurfaces in large projective spaces over $k$
  • smooth projective varieties of dimension $\le 3$
  • smooth projective toric varieties
  • products of the above

Let $\mathcal{P}$ be the class of $k$-varieties whose objects are obtained by blowing up an element of $\mathcal{P}_0$ along a closed $k$-subvariety that is again an element of $\mathcal{P}_0$.

(1) Is the class of $X$ in the Grothendieck ring of $k$-varieties, the same as that of an element of $\mathcal{P}$?

(2) Does there exist a surjection $Y\to X$ over $k$, with $Y$ in $\mathcal{P}$?

(3) Is any of the two questions above known to have an answer?

Examples. $\mathcal{P}$ contains all the classes mentioned above, and in addition, for instance, all rational $k$-varieties. Obviously abelian varieties are far from being enough, for (1) and (2) to have a positive answer.

It might be useful to first try to answer (2) with $Y$ a smooth projective toric variety alone. It is not clear to me this shouldn't be possible, since $Y\to X$ is required to only be surjective.

user95222