Sea$K_0(Var_k)$ el grupo abeliano generado por las clases de isomorfismos de variedades sobre el campo$k$ con las relaciones PS para cada variedad$$[X]=[U]+[X\setminus U]$ y subvariedad abierta$X$.
¿Este grupo abeliano está libre de torsión? (Cualquier resultado positivo o negativo para cualquier campo en particular$U$ es bienvenido).
