Cohomology Vanishing theorems over some rings containing nilpotents

Tony J. Puthenpurakal

REVIEW 2 major objections 6 minor 9 references

Cohomology Vanishing theorems over some rings containing nilpotents

T0 review · 2 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that for associated graded rings of powers of the maximal ideal, local cohomology vanishes in all degrees $d-1$ and above exactly when the quotient has dimension at least two and connected Proj.

desk verdict Forward vanishing theorems are clean and new; the converse has a load-bearing gap in the F-finiteness transfer cited to the author's own eprint. read the letter →

arxiv 2504.13566 v1 pith:IDVZZOTP submitted 2025-04-18 math.AC

Tony J. Puthenpurakal This is my paper · ORCID

classification math.AC MSC 13D4513A3014B15

keywords localcohomologygradedassociatedringsReesalgebrasholonomicmodulesF-finiteF-modulesHartshorne-Lichtenbaumvanishingnilpotents

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves vanishing theorems for local cohomology modules of associated graded rings of powers of an ideal---rings that in general carry nilpotent elements once the power is at least two. The central result is a complete criterion: for a regular local ring $A$ of dimension $d$ with separably closed residue field, for every $r \ge 1$ and every homogeneous ideal $J$ of $G_{\mathfrak{m}^r}(A)$, one has $H^j_J(G_{\mathfrak{m}^r}(A)) = 0$ for all $j \ge d-1$ exactly when $\dim G_{\mathfrak{m}^r}(A)/J \ge 2$ and $\operatorname{Proj} G_{\mathfrak{m}^r}(A)/J$ is connected. This is the same Hartshorne--Lichtenbaum-type criterion known for polynomial rings and regular local rings, and it is meaningful here because $G_{\mathfrak{m}^r}(A)$ is non-reduced for $r \ge 2$. A companion theorem gives the top-degree statement $H^d_J(G_{P^r}(A))=0$ whenever $\dim G_{P^r}(A)/J>0$, assuming $G_P(A)$ is a domain. The upshot is that nilpotents do not disturb the classical vanishing pattern: only the dimension and the connectedness of the projective support matter.

What carries the argument

The load-bearing object is the infinitely generated module $W_I(A)=\bigoplus_{n\ge 1} A/I^n = A[t]/R(I)$ over the Rees algebra $R(I)=A[It]$. It is attached to the associated graded ring by the exact sequence $0 \to G_I(A) \to W_I(A)(1) \xrightarrow{t-1} W_I(A) \to 0$, so the behaviour of $H^i_J(G_I(A))$ is controlled by the maps induced by $t-1$ on $H^i(W_I(A))$. To compare the $r$-th power ring $G_{P^r}(A)$ with $G_P(A)$, the paper uses the equality $R(P)^{\langle r \rangle}=R(P^r)$ of the $r$-th Veronese of the Rees algebra, together with Construction 2.1: a homogeneous ideal $K$ of $A[P^r u]$ is replaced by an ideal $K^\sharp$ of $A[Pt]$ whose radical, dimension, and Proj-connectedness match those of $K$ (Proposition 2.2). For the converse, the decisive machinery is D-module theory in characteristic 0 and F-module theory in characteristic $p$: the local cohomology modules $H^i_{K^\sharp}(W_{\mathfrak{m}}(A))$ are generalized Eulerian holonomic $\mathcal{A}_d$-modules (respectively $F_G$-finite $F_G$-modules), and Theorem 6.3 forces any such graded module with infinitely many zero graded pieces in both directions to be zero, which eliminates the obstruction modules $U_i$ and $V_i$.

What would settle it

Concretely, in $A=K[[X_1,X_2,X_3,X_4]]$ with $r=2$, take the homogeneous ideal $J$ of $G_{\mathfrak{m}^2}(A)$ corresponding through Construction 2.1 to the ideal $(X_1,X_2)\cap(X_3,X_4)$ (two disjoint lines in $\mathbb{P}^3$). Theorem 1.4 predicts $H^3_J(G_{\mathfrak{m}^2}(A))\neq 0$; a direct computation returning zero would refute the converse, and a nonzero class would confirm the predicted failure of vanishing.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the classical Hartshorne--Lichtenbaum connectedness criterion transfers verbatim from regular local rings and polynomial rings to the associated graded rings $G_{\mathfrak{m}^r}(A)$, despite the nilpotents that appear for $r \ge 2$. For $A = K[[X_1,\ldots,X_d]]$ with $K$ separably closed and $\mathfrak{m}=(X_1,\ldots,X_d)$, Theorems 1.2 and 1.4 together assert that a homogeneous ideal $J$ of $G_{\mathfrak{m}^r}(A)$ satisfies $H^j_J(G_{\mathfrak{m}^r}(A)) = 0$ for all $j \ge d-1$ if and only if $\dim G_{\mathfrak{m}^r}(A)/J \ge 2$ and $\operatorname{Proj} G_{\mathfrak{m}^r}(A)/J$ is connected. Under the weaker hypothesis that $G_P(A)$ is a domain, Theorem 1.1 yields the top-degree vanishing $H^d_J(G_{P^r}(A))=0$ whenever $\dim G_{P^r}(A)/J>0$. The route to these results is not a deformation of the polynomial case: it passes through the non-finitely generated module $W_I(A)=\bigoplus_{n\ge 1} A/I^n$ and through a radical-preserving correspondence between homogeneous ideals of $G_{P^r}(A)$ and ideals of $G_P(A)$ built from the $r$-th Veronese of the Rees algebra.

Load-bearing premise

The converse direction rests on the claim that certain kernels and cokernels built from the auxiliary module $W_{\mathfrak{m}}(A)$ inherit a strong finiteness property (F-finite in characteristic $p$, holonomic in characteristic $0$) from the local cohomology modules they come from; if that inheritance step is false, the only-if direction of the main theorem does not follow.

Editorial extensions

If this is right

For regular local rings, the same vanishing criterion holds for every power $\mathfrak{m}^r$, so moving from $r=1$ to $r\ge 2$ introduces nilpotents without changing the cohomological thresholds.
In the equicharacteristic case the converse is true: if the top $d-1$ local cohomology modules vanish, then the quotient must have dimension at least two and connected $\operatorname{Proj}$.
Under the weaker hypothesis that $G_P(A)$ is a domain, the top-degree module $H^d_J(G_{P^r}(A))$ vanishes as soon as the quotient has positive dimension, giving a Hartshorne--Lichtenbaum statement for these non-reduced associated graded rings.
The transfer via Construction 2.1 preserves dimension, radical, and Proj-connectedness, so it provides a general mechanism for importing vanishing results from $G_P(A)$ to $G_{P^r}(A)$.
The 'if' direction of the criterion does not require the ring to be equicharacteristic, so the result also covers mixed-characteristic regular local rings.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A natural extension is to use the same Veronese-based transfer for any ideal $I$ whose associated graded ring already satisfies a Hartshorne--Lichtenbaum-type criterion; the paper's reduction suggests that the criterion would then pass automatically to every power $I^r$.
Because the conclusions depend only on $\dim G/J$ and on connectedness of $\operatorname{Proj} G/J$, both of which are radical data, the vanishing pattern appears to be governed by the reduced support scheme rather than by the nilpotent thickening; this suggests embedded components do not create new top-degree cohomology in these rings.
One could test whether the same criterion holds for $G_{\mathfrak{m}^r}(A)$ when the residue field is not separably closed; the classical statement requires extra care there, and the paper leaves that boundary untouched.
The auxiliary module $W_I(A)$ is a reusable tool: it may yield analogous comparisons of local cohomology, cohomological dimension, or Lyubeznik numbers between associated graded rings of $I$ and of $I^r$.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: the forward vanishing theorems are clean and new; the converse rests on one step I cannot verify from the text — the claim in §7.2 that U_i and V_i are F_G-finite F_G-modules, via [9, 4.1].

What is good here is real. Section 2's Veronese transfer — passing from G_{I^r}(A) through the Rees algebra, using R(I)^{} = R(I^r) — is a genuinely nice device. It drives Theorem 1.1 (H^d_J(G_{P^r}(A)) = 0 for complete local rings when G_P(A) is a domain), which is a real extension of Hartshorne-Lichtenbaum. Theorem 1.2 gives the forward direction for regular local rings, including mixed characteristic, and its proof is straightforward once you have Section 2. The paper is honest about limitations; Remark 7.3 concedes the short exact sequence is not known to be a sequence of F_G-modules.

The weak point is Theorem 1.4, the if-and-only-if converse. Its proof needs Corollary 6.4 to kill modules that vanish on two arithmetic progressions. Corollary 6.4 needs those modules to be F_G-finite in char p. Section 7.2 asserts this via a citation to the author's own arXiv preprint [9,4.1], without stating the hypotheses or sketching the argument. The concern is real, not stylistic: the assertion seems to require F-finiteness of S, equivalently of k, but the theorem only assumes k separably closed, which in char p does not imply F-finite. If [9,4.1] does not apply under those hypotheses, the converse is unsupported in char p. That is load-bearing; the author needs to reproduce the statement, prove the transfer, or weaken Theorem 1.4 to F-finite residue fields.

Secondary: Section 8 has index typos — the final paragraph lists U_{d-2} where U_d is meant, and one coker line repeats V_{d-2} where V_{d-1} belongs. That looks like haste, and it is minor next to the F-finiteness question. The citation pattern is not abusive — the self-citations point to actual prior work on F-modules — but Theorem 6.3 bundles a lot of weight from [8] and [9]. A referee should demand precise statements and, for the eprint, a page reference or a proof sketch.

Who gets value: people working on local cohomology of Rees and associated graded rings. Theorems 1.1–1.2 stand on their own; the converse is worth settling but is conditional as written.

Recommendation: send it to a serious referee. The forward results and the technique justify referee time. Ask the referee to check the [9,4.1] transfer and the residue-field hypothesis, and require the typos fixed.

Referee Report

2 major / 6 minor

Summary. This paper proves local cohomology vanishing theorems for associated graded rings of powers of ideals, which may contain nilpotents. Theorem 1.1 shows that for a complete Noetherian local ring (A,m) of dimension d and a prime ideal P with G_P(A) a domain, H^d_J(G_{P^r}(A))=0 whenever J is a homogeneous ideal with dim G_{P^r}(A)/J > 0. Theorems 1.2 and 1.4 establish, for a regular local ring with separably closed residue field, that H^j_J(G_{m^r}(A))=0 for all j >= d-1 if and only if dim G_{m^r}(A)/J >= 2 and Proj G_{m^r}(A)/J is connected. The forward direction is proved by reducing to the classical graded Hartshorne-Lichtenbaum theorem via Rees algebras, Veronese functors, and an auxiliary module W_I(A). The converse is proved by transferring vanishing from the m^r-version to the m-version and then using F-module or D-module structural results for local cohomology of W_m(A).

Significance. If correct, the main results provide a complete and unexpected Hartshorne-Lichtenbaum-type criterion for graded rings with nilpotents, which is a genuine advance in local cohomology theory. The Section 2 construction connecting ideals in G_{I^r}(A) with ideals in G_I(A) is elegant, and the proofs of Theorems 1.1 and 1.2 are largely self-contained and rely on classical results. The converse, Theorem 1.4, is the most ambitious claim and is precisely the part that depends on heavy external machinery; in characteristic zero the argument is convincing, while in characteristic p it depends on an unpublished eprint by the author.

major comments (2)

[7.2, 8] The characteristic-p proof of Theorem 1.4 rests on the assertion in Section 7.2 that the modules U_i and V_i are graded F_G-finite F_G-modules, quoted from [9,4.1] without stating the lemma or verifying its hypotheses. The preceding claim that H^i_{IS}(W_m(A)) are F_S-finite F_S-modules for all i is also made without proof. Because Corollary 6.4 is the tool that converts the arithmetic-progression vanishing established in Section 8 into global vanishing, this unproved transfer is load-bearing. The author should either include the precise statement of [9,4.1], prove that it applies to S = A[mt,t^{-1}] with k separably closed, and explain how the F_S-finite structure descends to G, or supply a self-contained proof of the F_G-finiteness of U_i and V_i.
[6, 8] Theorem 6.3 and Corollary 6.4, which are used to conclude that the modules V_{d-2}, V_{d-1}, U_{d-1}, U_d vanish, are cited in characteristic p to the unpublished eprint [9,7.1,7.2]. Since [9] is not available in a peer-reviewed form, the converse in characteristic p cannot be fully verified from the manuscript alone. The author should reproduce the needed statements or replace these citations with a published source, or the proof must otherwise be made self-contained.

minor comments (6)

[8] In the proof of Theorem 1.4, the module list in the final paragraph reads 'V_{d-2}, V_{d-1}, U_{d-1}, U_{d-2}' but U_{d-2} is never defined; from the preceding construction it should be U_d.
[8] The sentence 'Then by a similar argument we have (V_{d-2})_{nr}=0 for all n in Z' should refer to V_{d-1}, not V_{d-2}.
[8] The injectivity statement in the paragraph introducing U_{d-1} is written with H^{d-2} in the source degree; the intended module is H^{d-1}, since it is used to show (U_{d-1})_{nr+r-1}=0.
[1] Theorems 1.2 and 1.4 use the symbol d in the conclusion without explicitly stating that dim A = d; please add 'of dimension d' to the hypotheses.
[1] There is a typo 'if and only id' in the second paragraph of the introduction; it should be 'if and only if'.
[Abstract] The abstract contains 'un-expected', which should be 'unexpected'.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular step established; the closest concern is the char-p converse's reliance on the author's eprint [9,4.1], which is a verification gap, not an input-output equivalence.

full rationale

Walking the derivation chain: Theorem 1.1 is a reduction proof, not a circular one. The ideal J in G_{P^r} is pulled back to K in A[P^r u], then lifted to K^# in A[Pt] by Construction 2.1. Proposition 2.2 proves radical equality, dimension preservation, and Proj-connectedness preservation. The vanishing H^d_I(G_P(A))=0 is imported from the classical Hartshorne-Lichtenbaum theorem for graded domains; the exact sequence (†) and Veronese behavior of W_P(A) then force H^d_J(G_{P^r})=0. Nothing in this chain defines the target module in terms of itself. Theorem 1.2 similarly transfers H^j_J(G_{m^r}) vanishing to H^j_I(G_m(A)) vanishing, which is the external Peskine-Szpiro/Hartshorne criterion for polynomial rings ([3,14.7], [2,7.5]). For Theorem 1.4, the hypothesis gives control of multiplication by u−1 on H^i_K(W_{m^r}); the equality (W_m(A))_{<r>}=W_{m^r}(A) (3.4) moves this control to components of U_i and V_i; then the support theorem 6.3/Corollary 6.4 upgrades component vanishing to module vanishing. The only step that is both load-bearing and not proved in-line is the assertion in §7.2: 'By [9, 4.1] it follows that Ui and Vi are FG-finite FG-modules.' This is a citation to the author's own eprint, and Remark 7.3 explicitly notes the exact sequences are not known to be F_G-module sequences; the paper also has index slips in §8 (e.g., U_{d−2}). This is a genuine verification gap, and a referee should ask for the statement and hypotheses of [9,4.1] and its applicability when K is separably closed but not F-finite in char p. It is not, however, a circularity: [9,4.1] is invoked as a general Koszul-homology/finiteness result, not as a restatement of the target vanishing, and no equation of the paper is equivalent to its inputs by construction. Hence no circular step is established.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters or invented entities. Its central claims rest on standard vanishing theorems in local cohomology and on the author's prior structural results for F-finite F-modules and holonomic D-modules, which are load-bearing for the converse direction.

assumptions (5)

standard math Hartshorne-Lichtenbaum theorem: for a complete graded domain, H^d_I(G) = 0 if and only if dim G/I > 0.
Invoked in the proof of Theorem 1.1 (and Theorem 1.2) to obtain H^d_I(G_P(A)) = 0, cited from [3, 14.1] and [1, 14.1.16].
standard math Vanishing theorem for regular local rings and polynomial rings: H^j_I(A) = 0 for j ≥ d-1 if and only if dim A/I ≥ 2 and Spec(A) minus the closed point is connected.
Used in Theorem 1.2 to get H^j_I(G_m(A)) = 0 for j ≥ d-1; cited from [3, 14.7] and [2, 7.5].
standard math Theorem 6.3: graded F-finite F-modules and generalized Eulerian holonomic D-modules over polynomial rings have graded components that vanish in all positive or all negative degrees under certain conditions.
Load-bearing for Theorem 1.4; cited from the author's own prior works [8] and [9], one of which is an arXiv preprint. Not proved in this paper.
standard math Local cohomology behaves well with respect to the Veronese functor in the sense used in Sections 4, 5, and 8.
Stated without proof in the proof of Theorem 1.1; needed to transfer vanishing between G_(P^r)(A) and G_P(A).
standard math The modules U_i and V_i are graded F_G-finite F_G-modules (char p) or generalized Eulerian holonomic A_d-modules (char 0).
Established in Section 7 using [9, 4.1] and standard D-module theory; this is the structural assumption that makes Corollary 6.4 applicable in the proof of Theorem 1.4.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cohomology Vanishing theorems over some rings containing nilpotents." pith.science (2026). https://pith.science/paper/IDVZZOTP

@misc{pith2026250413566,
  author       = {Pith},
  title        = {Pith review of: Cohomology Vanishing theorems over some rings containing nilpotents},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IDVZZOTP}},
  note         = {Machine review of arXiv:2504.13566}
}

abstract

(1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with $\text{dim} \ G_{P^r}(A)/J > 0$ then the local cohomology module $H^d_J(G_{P^r}(A)) = 0$. (2) Let $A = K[[X_1, \ldots,X_d]]$ and let $\mathfrak{m} = (X_1, \ldots, X_d)$. Assume $K$ is separably closed. Fix $r \geq 1$. Let $J$ be a homogeneous ideal of $G_{\mathfrak{m}^r}(A)$. We show that local cohomology modules $H^{j}_J(G_{\mathfrak{m}^r}(A)) = 0$ for $j \geq d -1$ if and only if $\text{dim} \ G_{\mathfrak{m}^r}(A)/J \geq 2$ and $\text{Proj}\ G_{\mathfrak{m}^r}(A)/J $ is connected.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 6 canonical work pages

[8]

, Graded components of local cohomology modules, Collect. Math. 73, (2022), no. 1, 135--171

work page 2022
[9]

, Koszul homology of F -finite module and applications, eprint, arXiv:2307.04473

arXiv
[1]

M. P. Brodmann and R. Y. Sharp, Local cohomology, An algebraic introduction with geometric applications. Second edition, Cambridge Stud. Adv. Math., 136 Cambridge University Press, Cambridge, 2013

work page 2013
[2]

Hartshorne, Cohomological dimension of algebraic varieties, Ann

R. Hartshorne, Cohomological dimension of algebraic varieties, Ann. of Math. (2) 88 (1968), 403–450

work page 1968
[3]

S. B. Iyengar, G. J. Leuschke, A. Leykin, C. Miller, E. Miller, A. K. Singh and U. Walther, Twenty-four hours of local cohomology, Grad. Stud. Math., 87 American Mathematical Society, Providence, RI, 2007

work page 2007
[4]

Lyubeznik, Finiteness Properties of Local Cohomology Modules (an Application of D-modules to Commutative Algebra), Inv

G. Lyubeznik, Finiteness Properties of Local Cohomology Modules (an Application of D-modules to Commutative Algebra), Inv. Math. 113, (1993), 41–-55

1993
[5]

Reine Angew

, F-modules: applications to local cohomology and D-modules in characteristic p>0 , J. Reine Angew. Math. 491, (1997), 65–-130

1997
[6]

Ma and W

L. Ma and W. Zhang, Eulerian graded D-modules, Math. Res. Lett. 21, (2014), 149–-167

work page 2014

Show all 9 references

[7]

T. J. Puthenpurakal, Ratliff- R ush filtration, regularity and depth of higher associated graded modules. I , J. Pure Appl. Algebra 208 (2007), no. 1, 159--176

2007

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [8]

, Graded components of local cohomology modules, Collect. Math. 73, (2022), no. 1, 135--171

work page 2022

[2] [9]

, Koszul homology of F -finite module and applications, eprint, arXiv:2307.04473

arXiv

[3] [1]

M. P. Brodmann and R. Y. Sharp, Local cohomology, An algebraic introduction with geometric applications. Second edition, Cambridge Stud. Adv. Math., 136 Cambridge University Press, Cambridge, 2013

work page 2013

[4] [2]

Hartshorne, Cohomological dimension of algebraic varieties, Ann

R. Hartshorne, Cohomological dimension of algebraic varieties, Ann. of Math. (2) 88 (1968), 403–450

work page 1968

[5] [3]

S. B. Iyengar, G. J. Leuschke, A. Leykin, C. Miller, E. Miller, A. K. Singh and U. Walther, Twenty-four hours of local cohomology, Grad. Stud. Math., 87 American Mathematical Society, Providence, RI, 2007

work page 2007

[6] [4]

Lyubeznik, Finiteness Properties of Local Cohomology Modules (an Application of D-modules to Commutative Algebra), Inv

G. Lyubeznik, Finiteness Properties of Local Cohomology Modules (an Application of D-modules to Commutative Algebra), Inv. Math. 113, (1993), 41–-55

1993

[7] [5]

Reine Angew

, F-modules: applications to local cohomology and D-modules in characteristic p>0 , J. Reine Angew. Math. 491, (1997), 65–-130

1997

[8] [6]

Ma and W

L. Ma and W. Zhang, Eulerian graded D-modules, Math. Res. Lett. 21, (2014), 149–-167

work page 2014