Problems / algebra
algebra / Commutative algebra; homological conjectures
Hochster's small Cohen-Macaulay module conjecture for complete local domains
Theorem 1.1: there is a three-dimensional complete Noetherian normal local domain R⊃C with residue field C having no small Cohen-Macaulay module; the uncompleted vertex localization of the same section ring, essentially of finite type over C, also has none. The mechanism is Theorem 1.2: if the completed cone R(X,H) over a smooth projective surface has a small Cohen-Macaulay module, then KX2−2c2(X)≤6H2, applied to a Hirzebruch-Kummer surface with KX≡5H. It does not treat positive or mixed characteristic, the non-domain forms, or dimension three with other residue fields. Priority: Liang Chen posted a claimed counterexample of the same kind on 21 September 2026, two days before this manuscript (arXiv:2609.24142): the completed section ring of a degree-six Hirzebruch-Kummer surface with KY∼4H, resting on his stated Main claim.