OpenAI reports a domain without a small Cohen–Macaulay module

A three-dimensional complete Noetherian normal local domain containing ℂ, with residue field ℂ, has no nonzero finitely generated module of depth three.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

A three-dimensional complete Noetherian normal local domain containing ℂ, with residue field ℂ, has no nonzero finitely generated module of depth three.

Why it matters

If correct, disproves the domain form of the small Cohen–Macaulay module conjecture in dimension three.

What counts as progress

Does every complete local domain have a nonzero finite maximal Cohen–Macaulay module?

Website timeline

Publication dates and editorial changes.