Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer 1

up vote 8 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|improve this answer
add comment

Your Answer

 
discard

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.