MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

In the seminal paper $K_2$ and algebraic cycles, Bloch make the following conjecture :

Suppose $A$ is a local Noetherian integral domain with quotient field $F$

  • $K_2(A)$ → $K_2(F)$ is injective

  • Assume in addition $A$ is normal, $K_2(A)$ = $∩_pK_2(A_p)$ where $p$ runs through all height 1 prime ideals in $A$.

What is the current status of this conjecture?

I only know that the first statement is true for discrete valuation ring by a theorem of Dennis and Stein. Can we prove it for a local algebra over a field?

Moreover, the second claim in this conjecture is a Hartogs like statement, so we want it still to hold without the local assumption, could this be true? For example,can we prove it for Dedekind domain or more specifically coordinate ring of a smooth affine curve over a (finite) field?

share|cite|improve this question
up vote 9 down vote accepted

The second statement is false (even if we modify it by replacing $K_2(A)$ by its image in $K_2(F)$). A counterexample is $A=k[x,y,z]_(x,y,z)/(z^2-xy)$. See J. Reine Angew. Math. 381 (1987), 37–50.

share|cite|improve this answer

Your Answer


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

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