arxiv: 2605.08579 · v1 · submitted 2026-05-09 · 🧮 math.AC

Recognition: 1 theorem link

· Lean Theorem

Cohen-Macaulayness of formal fibers and dimension of local cohomology modules

Tran Do Minh Chau

Pith reviewed 2026-05-12 00:49 UTC · model grok-4.3

classification 🧮 math.AC

keywords Cohen-Macaulay ringsformal fiberslocal cohomologyunmixed ringsannihilator idealsdimension theoryNoetherian local ringssupport of modules

0 comments

The pith

The dimension of the annihilator ideal a(M) is strictly less than the dimension d of M exactly when all maximal-dimensional primes in the support of M yield unmixed rings whose generic formal fibers are Cohen-Macaulay.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper connects the dimension of a product ideal a(M) built from annihilators of local cohomology modules H^i_m(M) to the Cohen-Macaulay property of formal fibers in Noetherian local rings. It proves an equivalence: dim(R/a(M)) falls below d if and only if R/p is unmixed and its generic formal fiber is Cohen-Macaulay for every prime p supporting M at dimension d. The result matters because local cohomology annihilators often encode depth and singularity data, so this supplies a computable algebraic test for when formal fibers behave regularly. It further shows the unmixedness and Cohen-Macaulay fiber conditions hold more generally for all primes whose dimension exceeds dim(R/a(M)). Applications include criteria for the dimension and closedness of the non-Cohen-Macaulay locus of modules.

Core claim

Let (R, m) be a Noetherian local ring and M a finitely generated R-module of dimension d. Let a(M) be the product of the annihilators Ann_R(H^i_m(M)) for i = 0 to d-1. Then dim(R/a(M)) < d if and only if R/p is unmixed and the generic formal fiber of R/p is Cohen-Macaulay for every p in Supp_R(M) with dim(R/p) = d. In general, R/p is unmixed and the generic formal fiber of R/p is Cohen-Macaulay for every p in Supp_R(M) with dim(R/p) > dim(R/a(M)).

What carries the argument

The ideal a(M), the product of annihilators of the local cohomology modules H^i_m(M) for i from 0 to d-1, whose dimension is compared to d to detect unmixedness and Cohen-Macaulayness of generic formal fibers over primes in the support of M.

If this is right

The dimension and closedness of the non-Cohen-Macaulay locus of finitely generated modules can be read off from dim(R/a(M)).
The structure of the local ring R itself is constrained by whether dim(R/a(M)) reaches d or stays below it.
Criteria appear for when all maximal-dimensional associated primes produce rings with regular formal fibers.
Local cohomology data directly controls geometric properties of the formal completion along the support of M.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This supplies an algebraic proxy for testing Cohen-Macaulayness after completion, which could be applied to classify rings whose formal fibers remain regular.
The link between annihilator dimension and locus closedness suggests similar tests might exist for other loci such as the singular locus.
Explicit computations in concrete rings like power series or polynomial quotients could verify the dimension drop for known Cohen-Macaulay examples.

Load-bearing premise

R is a Noetherian local ring, M is a finitely generated module of dimension d, and the proofs use standard properties of formal fibers together with unmixedness without further checks on special cases.

What would settle it

A Noetherian local ring R and finitely generated module M of dimension d such that dim(R/a(M)) < d, yet some prime p in Supp(M) with dim(R/p) = d has R/p either mixed or with non-Cohen-Macaulay generic formal fiber.

read the original abstract

Let $(R, \mathfrak{m} )$ be a Noetherian local ring, $M$ a finitely generated $R$-module of dimension $d$. Set $\mathfrak{a}(M):=\mathfrak{a}_0(M)\cdots \mathfrak{a}_{d-1}(M)$, where $\mathfrak{a}_i(M):={\rm Ann}_RH^i_{\mathfrak{m}}(M)$ for $i\geq 0$. In this paper, we study the Cohen-Macaulayness of formal fibers of $R$ in the relation with the dimension ${\rm dim} (R/\mathfrak{a}(M)).$ We prove that ${\rm dim} (R/\mathfrak{a}(M))<d$ if and only if $R/\mathfrak{p}$ is unmixed and the generic formal fiber of $R/\mathfrak{p}$ is Cohen-Macaulay for all $\mathfrak{p}\in{\rm Supp}_R(M)$ with ${\rm dim} (R/\mathfrak{p})=d.$ In general, $R/\mathfrak{p}$ is unmixed and the generic formal fiber of $R/\mathfrak{p}$ is Cohen-Macaulay for all $\mathfrak{p}\in{\rm Supp}_R(M)$ with ${\rm dim} (R/\mathfrak{p})>{\rm dim} (R/\mathfrak{a}(M)).$ As applications, we explore the structure of local rings and the dimension, the closedness of non Cohen-Macaulay locus of finitely generated modules.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a precise if-and-only-if link between dim(R/a(M)) dropping below d and unmixedness plus Cohen-Macaulay generic formal fibers at top-dimensional primes in Supp(M).

read the letter

The main point is that dim(R/a(M)) < d holds exactly when R/p is unmixed and the generic formal fiber of R/p is Cohen-Macaulay for every p in Supp(M) with dim(R/p) = d. A weaker version covers primes of strictly larger dimension. This equivalence is the central new statement, built from the annihilator ideal a(M) formed by the product of Ann(H^i_m(M)) for i from 0 to d-1. The paper then applies the criterion to questions about local ring structure and the closedness of the non-Cohen-Macaulay locus of M. Those applications follow directly once the equivalence is in hand and look like standard consequences rather than separate innovations. The setup stays within Noetherian local rings and finitely generated modules, which keeps the claims grounded in familiar territory. The arguments rely on existing facts about formal fibers and unmixed rings, so the contribution is mainly in the precise tying together of these invariants rather than new machinery. No circularity appears in the statements themselves, and the if-and-only-if direction is stated sharply enough to be testable. The only real limitation is that the full proofs are technical and would need referee scrutiny for any gaps in the derivations, but nothing in the abstract or claim suggests a load-bearing flaw. This is a paper for commutative algebraists who work with local cohomology, formal fibers, and dimension theory. A reader already comfortable with unmixed rings and Cohen-Macaulay properties will see the value in the equivalences for their own calculations. It deserves peer review because the result is specific, the topic is active, and the central claim is sharp enough to justify referee time even if revisions are needed for exposition.

Referee Report

0 major / 3 minor

Summary. The paper considers a Noetherian local ring (R, m) and a finitely generated R-module M of dimension d. It defines a(M) as the product of the annihilators a_i(M) = Ann_R(H^i_m(M)) for i = 0 to d-1. The central result is the equivalence: dim(R/a(M)) < d if and only if, for every prime p in Supp_R(M) with dim(R/p) = d, the quotient R/p is unmixed and the generic formal fiber of R/p is Cohen-Macaulay. A weaker statement holds for all p with dim(R/p) > dim(R/a(M)). Applications are given to the structure of local rings, dimensions, and the closedness of the non-Cohen-Macaulay locus of finitely generated modules.

Significance. If the proofs are correct, the characterization links the dimension of an ideal built from local-cohomology annihilators directly to unmixedness and Cohen-Macaulayness of generic formal fibers. This supplies a concrete criterion that may be useful for detecting Cohen-Macaulay properties and for studying the non-CM locus. The applications to closedness of loci are potentially of interest in commutative algebra, though their novelty depends on how they improve on existing results in the literature on formal fibers and local cohomology.

minor comments (3)

The abstract and introduction should explicitly recall the definition of the generic formal fiber and the notion of unmixed ring, as these are central to the statements but may not be uniformly standard across all readers.
Notation for a(M) and the local cohomology modules H^i_m(M) is introduced in the abstract; repeating the precise definition at the beginning of §1 or §2 would improve readability.
The applications section would benefit from a brief comparison with prior results on the closedness of the non-CM locus (e.g., those using the non-CM locus defined via Ext or local cohomology directly).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation of minor revision. The report accurately captures the main result relating dim(R/a(M)) to unmixedness and Cohen-Macaulayness of generic formal fibers over maximal-dimensional primes in Supp(M). Since the report contains no specific major comments or requests for clarification, we have no individual points to address.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a(M) explicitly as the product of annihilators of the local cohomology modules H^i_m(M) for i < d, then proves an if-and-only-if equivalence linking dim(R/a(M)) < d to unmixedness of R/p and Cohen-Macaulayness of its generic formal fiber, for top-dimensional primes p in Supp(M). This equivalence and the auxiliary statement for higher-dimensional primes rest on standard properties of formal fibers, unmixed rings, and local cohomology, without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the claim to its own inputs. The derivation chain is self-contained against external benchmarks in commutative algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The results rest on foundational concepts from commutative algebra such as Noetherian rings, local cohomology, and formal fibers, without new free parameters or invented entities.

axioms (3)

domain assumption R is a Noetherian local ring
Basic setup stated in the abstract for the ring.
domain assumption M is a finitely generated R-module of dimension d
Required for defining dimension and local cohomology modules.
standard math Local cohomology modules H^i_m(M) and their annihilators a_i(M) are well-defined
Standard in the theory of local cohomology over Noetherian rings.

pith-pipeline@v0.9.0 · 5566 in / 1520 out tokens · 63072 ms · 2026-05-12T00:49:25.651425+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Theorem 1.1: dim(R/a(M))<d iff R/p unmixed and generic formal fiber CM for all p in Supp(M) with dim(R/p)=d

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

[1]

L. L. Avramov and H.-B. Foxby, Cohen-Macaulay properties of local homomorphisms, Adv. Math.,133(1998), 54-95

work page 1998
[2]

Local cohomology: an algebraic introduction with geometric applications

M. Brodmann and R. Y. Sharp, “Local cohomology: an algebraic introduction with geometric applications”, Cambridge University Press, 1998

work page 1998
[3]

Brodmann and R

M. Brodmann and R. Y. Sharp, On the dimension and multiplicity of local cohomology modules,Nagoya Math. J.,167(2002), 217-233

work page 2002
[4]

Cohen-Macaulay rings

W. Bruns and J. Herzog, “Cohen-Macaulay rings”, Cambridge University Press, 1993

work page 1993
[5]

Charters and S

P. Charters and S. Loepp, Semilocal generic formal fibers,J. Algebra,278(2004), 370- 382

work page 2004
[6]

T. D. M. Chau, N. T. K. Nga, L. T. Nhan, On shifted principles for attached primes of the top local cohomology modules,Acta Math. Vietnam.,47(2021), 109-121

work page 2021
[7]

D. T. Cuong, Local rings with zero-dimensional formal fibers,J. Algebra,403(2014), 77-92

work page 2014
[8]

N. T. Cuong, On the dimension of the non-Cohen-Macaulay locus of local rings admit- ting dualizing complexes,Math. Proc. Cambr. Phil. Soc.,109(1991), 479-488

work page 1991
[9]

N. T. Cuong, L. T. Nhan, Pseudo Cohen-Macaulay and pseudo generalized Cohen- Macaulay modules,J. Algebra,267(2003), 156-177

work page 2003
[10]

N. T. Cuong, L. T. Nhan and N. K. Nga, On pseudo supports and the non Cohen- Macaulay locus of finitely generated modules,J. Algebra,323(2010), 3029-3038

work page 2010
[11]

M. T. Dibaei and R. Jafari, Cohen-Macaulay loci of modules,Comm. Algebra,39(2011), 3681-3697

work page 2011
[12]

Ferrand and M

D. Ferrand and M. Raynaud, Fibres formelles d’un anneau local Noetherian,Ann. Sci. E’cole Norm. Sup.,(4)3(1970), 295-311. 12

work page 1970
[13]

El´ ements de g´ eom´ etrie alg´ ebrique IV

A. Grothendieck, “El´ ements de g´ eom´ etrie alg´ ebrique IV”, Inst. Hautes Etudes Sci. Publ. Math.,24, 1965

work page 1965
[14]

Heinzer, C

W. Heinzer, C. Rotthaus, J. D. Sally, Formal fibers and birational extensions,Nagoya Math. J.,131(1993), 1-38

work page 1993
[15]

Kawasaki, On arithmetic Macaulayfication of local rings,Trans

T. Kawasaki, On arithmetic Macaulayfication of local rings,Trans. Amer. Math. Soc., 354(2002), 123-149

work page 2002
[16]

Loepp, Excellent rings with local generic formal fibers,J

S. Loepp, Excellent rings with local generic formal fibers,J. Algebra,201(1998), 573- 583

work page 1998
[17]

I. G. Macdonald, Secondary representation of modules over a commutative ring,Sym- posia Mathematica,11(1973), 23-43

work page 1973
[18]

Commutative ring theory

H. Matsumura, “Commutative ring theory”, Cambridge University Press, 1986

work page 1986
[19]

Matsumura, On the dimension of formal fibres of a local ring, In: Algebraic Geometry and Commutative Algebra in Honor of Masayoshi Nagata, 1987, pp

H. Matsumura, On the dimension of formal fibres of a local ring, In: Algebraic Geometry and Commutative Algebra in Honor of Masayoshi Nagata, 1987, pp. 261-266

work page 1987
[20]

Local rings

M. Nagata, “Local rings”, Tracts in Pure and Applied Mathematics13, Interscience, 1962

work page 1962
[21]

L. T. Nhan, N. T. K. Nga and P. H. Khanh, Non-Cohen-Macaulay locus and non generalized Cohen-Macaulay locus,Comm. Algebra,42(2014), 4412-4425

work page 2014
[22]

L. T. Nhan, P. H. Quy, Attached primes of local cohomology modules under localization and completion,J. Algebra,420(2014), 475-485

work page 2014
[23]

Rotthaus, On rings with low dimensional formal fibres,J

C. Rotthaus, On rings with low dimensional formal fibres,J. Pure Appl. Algebra,71 (1991), 287-296

work page 1991
[24]

Schenzel, On the dimension filtration and Cohen-Macaulay filtered modules,Com- mutative algebra and algebraic geometry(Ferrara), 245-264, Lecture Notes in Pure and Appl

P. Schenzel, On the dimension filtration and Cohen-Macaulay filtered modules,Com- mutative algebra and algebraic geometry(Ferrara), 245-264, Lecture Notes in Pure and Appl. Math., 206, Dekker, New York, 1999

work page 1999
[25]

Schenzel, Einige Anwendungen der lokalen Dualitat und verallgemeinerte Cohen- Macaulay Moduln,Math

P. Schenzel, Einige Anwendungen der lokalen Dualitat und verallgemeinerte Cohen- Macaulay Moduln,Math. Nachr.,69(1975), 227-242

work page 1975
[26]

R. Y. Sharp, A commutative Noetherian ring which possesses a dualizing complex is acceptable,Math. Proc. Cambridge Philos. Soc.,82(1977), 197-213

work page 1977
[27]

Z¨ oschinger, ¨Uber die Bedingung Going up f¨ urR⊂ bR,Arch

H. Z¨ oschinger, ¨Uber die Bedingung Going up f¨ urR⊂ bR,Arch. Math.,95(2010), 225-231. 13

work page 2010