{"id":"openai-math/A-Complete-Local-Domain-Without-a-Small-Cohen-Macaulay-Module","pdf":"https://github.com/openai/math/blob/main/preprints/A-Complete-Local-Domain-Without-a-Small-Cohen-Macaulay-Module-September-23-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/A-Complete-Local-Domain-Without-a-Small-Cohen-Macaulay-Module-September-23-2026","tags":["commutative-algebra","cohen-macaulay","local-rings"],"score":0,"title":"A Complete Local Domain without a Small Cohen–Macaulay Module","domain":"Algebra","family":"195","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.RA","summary":"We construct a three-dimensional complete Noetherian normal local domain containing ℂ, with residue field ℂ, that has no nonzero finitely generated maximal Cohen–Macaulay module. This disproves the domain form of the small Cohen–Macaulay module conjecture.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":1,"published":"2026-09-23","reactions":{},"discussion":[{"url":"https://arxiv.org/abs/2610.30027","date":"2026-10-21","kind":"web","site":"arXiv.org","text":"In September 2026 four preprints and an AI-generated manuscript moved one numerical obstruction from projective geometry to local algebra. For a smooth complex projective surface $Y$ with an ample, globally generated divisor $H$ such that $H^2 2H^2$ (OpenAI, released 6 October). We recall the…","added":"2026-10-24","title":"The recent counterexamples to the Eisenbud-Schreyer-Weyman Ulrich problem (2003) and to Hochster's small Cohen-Macaulay conjecture (1973): a survey, with a generalization to arbitrary dimension","author":"Cristian Anghel","record":"arxiv/2610.30027"}],"formalized":true,"family_title":"A counterexample to the small Cohen–Macaulay module conjecture"}