MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to emerge from my complete ignorance about intersection theory. I have a bias toward sheaves, so I like the idea of doing intersection theory with the K-group of coherent sheaves. From what I understand the graded (by codimension) K-group GK is isomorphic to the Chow group A after tensoring with the rational numbers (and I probably need to say smooth variety).

I know of two/three places where to learn this stuff: Fulton, Lang RR algebra; the book chapter by Henri Gillet titled k-theory and intersection theroy; the set of lecture notes by Pedro Sancho de Salas (the link is for his webpage, which contains a few goodies).

However, the numerical group (the quotient of A modulo numerical equivalence) doesn't seem to be mentioned. The codimension one group is usually called the Neron-Severi group and is mentioned in some books, the whole group is briefly (if i recall correctly) mentioned in Fulton's book on intersection theory.

Are there any good references for the numerical group treated from the point of view of the K-group?

Is it true that GN (the graded K-group of coherent sheaves modulo numerical equivalence) is isomorphic to N, the Chow group modulo numerical equivalence) without having to tensor by the rationals?

p.s. I say two elements of K are numerically equivalent if they $\chi(-,F)$ gives the same answer for any sheaf F.

share|cite|improve this question
the 'algebraic k-theory' tag might be a bit pretentious. please get rid of it if you feel it is not appropriate. (I do not understand higher k-groups, at all) – Yosemite Sam Mar 19 '12 at 18:44
$K_0$ is also $K$-theory – Fernando Muro Mar 19 '12 at 20:18
albeit a very small bit of it ;) – Yosemite Sam Mar 19 '12 at 21:02
Try the following: $K_{0}(X)$ is filtered by the dimension of support, and the statement that can be found in Fulton is that the associated graded tensor $Q$ is isomorphic to Chow tensor $Q$. Under some hypotheses (smooth and proper are sufficient, but probably something weaker would work if formulated correctly), you can put a `Mukai form' on Chow so that the Mukai vector map $\v:Ch(?)\sqrt{td(X)}$ respects the pairing (basically, this needs Riemann-Roch). – Chris Brav Mar 19 '12 at 21:33
Then I suppose that you get an isometry between the associated graded of $K_{0}(X)$ tensor $Q$ and Chow tensor $Q$, and so numerical groups should match up. I haven't thought this through carefully, though. – Chris Brav Mar 19 '12 at 21:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.