OpenAI reports an integral counterexample to Gersten’s conjecture

There is a two-dimensional ramified regular local ring A of mixed characteristic (0,5) for which K₅(A)→K₅(Frac A) has a nonzero kernel.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

There is a two-dimensional ramified regular local ring A of mixed characteristic (0,5) for which K₅(A)→K₅(Frac A) has a nonzero kernel.

Why it matters

If correct, disproves the unrestricted integral Gersten conjecture with a ramified regular local ring.

What counts as progress

Must K-theory of every regular local ring inject into that of its fraction field?

Website timeline

Publication dates and editorial changes.