Let $X$ be a smooth complete intersection in $\mathbb{P}^n$. I am searching for literature on the K-theory for $X$? I guess the K-theory is known...
-
$\begingroup$ Do you mean topological $K$-theory, or the algebraic one? The first one is known. The algebraic one is essentially equivalent to the Chow ring, which is far from being understood. $\endgroup$– abxDec 21, 2013 at 9:19
-
$\begingroup$ I mean the algebraic one. So what is known for $K_0(X)$? $\endgroup$– AleksaDec 21, 2013 at 9:20
-
$\begingroup$ Essentially nothing. Please ask a precise question. $\endgroup$– abxDec 21, 2013 at 9:36
-
$\begingroup$ For example under what kind of assumptions on $X$ $K_0(X)$ is finitely generated ? Maybe for complete intersections of genus zero... $\endgroup$– AleksaDec 21, 2013 at 9:38
-
$\begingroup$ What is genus 0?? This happens for degree 1 and 2 and for cubic surfaces. That's all. $\endgroup$– abxDec 21, 2013 at 9:52
1 Answer
As suggested by Daniel Loughran, I will try to answer the question whether $K_0(X)$ is finitely generated. First, the Chern character from $K_0(X)$ to the Chow ring $CH(X)$ is an isomorphism modulo torsion: see for instance Fulton, Intersection Theory, Cor. 18.3.2. Thus we can transfer the question to $CH(X)$, and use this question. So, at least conjecturally, for a complete intersection $X$ the group $K_0(X)$ is finitely generated iff $h^{p,q}(X)=0$ for $p\neq q$. This holds if and only if $X$ is a quadric, a cubic surface, or an even-dimensional intersection of 2 quadrics (see M. Rapoport, Complément à l'article de P. Deligne "La conjecture de Weil pour les surfaces K3", Inv. math. 15 (1972), 227-236).