REVIEW 3 major objections 4 minor 7 references
Graded components of local cohomology modules over polynomial rings
T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For a polynomial ring in $m$ variables, any nonzero local cohomology module of a homogeneous ideal of intermediate height has nonzero graded pieces in every degree $n \le -m$, and outside the maximal-ideal case it has nonzero pieces in…
desk verdict The main theorem is false as stated: the key lemma has a counterexample inside its own module class, and H^0_I(R) directly violates Theorem 1.2. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is a set of structural dichotomy theorems (2.6–2.8) for graded $F$-finite modules in characteristic $p$ and graded generalized Eulerian holonomic modules in characteristic $0$: vanishing in one component in a low, high, or middle range forces vanishing or nonvanishing in every component of a whole half-line. Lemma 3.1 sharpens this: a nonzero module of this class with no components in negative degrees must be a free $R$-module, which contradicts torsion. The top-degree statement in Theorem 1.1(3) additionally uses an exact sequence from multiplication by a linear non-zerodivisor on $H^g_I(R)$, a direct-limit argument over $\operatorname{Ext}^g_R(R/I^n,R)$, and the associated-prime characterization supplied by reference [7].
What would settle it
Compute the graded components of $H^{m-1}_I(R)$ for $I=(X_1,\dots,X_{m-1})$ in $R=K[X_1,\dots,X_m]$ with $m \ge 3$. The theorem predicts every component is nonzero and, in degree $n \le -m$, infinite-dimensional; a single zero or finite-dimensional component would refute Theorem 1.1.
Extended reading notes
Core claim
Theorem 1.1 states that for $R=K[X_1,\ldots,X_m]$ with $m \ge 2$, a homogeneous ideal $I$ of height $g$ with $1 \le g \le m-1$, and a degree $i$ for which $H^i_I(R) \neq 0$, the following hold: $H^i_I(R)_n \neq 0$ for all $n \le -m$; if $\operatorname{Supp} H^i_I(R) \neq \{(X_1,\ldots,X_m)\}$, then $H^i_I(R)_n \neq 0$ for all $n \in \mathbb{Z}$; and $\dim_K H^g_I(R)_n$ is infinite for all $n \in \mathbb{Z}$. The same nonvanishing statements are proved for graded Lyubeznik functors $\mathcal{T}$ for which $\mathcal{T}(R)$ is $J$-torsion for a nonzero graded ideal $J$, and in characteristic zero the non-maximal-support case has infinite-dimensional components in every degree. A single zero component in a low or middle degree therefore forces the module to be the special maximal-ideal module, which is the only place where graded components can be finite-dimensional or sparse.
Load-bearing premise
The whole argument rests on structural theorems, quoted from the author's earlier work, claiming that for the special kinds of graded modules that occur here, a zero in a single low or middle degree forces zeros or nonzeros throughout a whole range; if those theorems fail, the paper's conclusions do not follow.
Editorial extensions
If this is right
- For any homogeneous ideal of height $g$ with $1 \le g \le m-1$, a nonzero module $H^i_I(R)$ cannot have a gap below degree $-m$; finitely many exceptions at the bottom cannot occur.
- If $\operatorname{Supp} H^i_I(R) \neq \{\mathfrak{m}\}$, then $H^i_I(R)_n \neq 0$ for every $n \in \mathbb{Z}$; a single zero component forces the maximal-ideal support.
- In characteristic zero, finiteness of one component $\mathcal{T}(R)_{n_0}$ for a graded Lyubeznik functor is equivalent to $\operatorname{Supp} \mathcal{T}(R) = \{\mathfrak{m}\}$.
- The same nonvanishing statements hold for any graded Lyubeznik functor with $\mathcal{T}(R)$ torsion over a nonzero graded ideal, covering iterated local cohomology and local cohomology with a variable inverted.
Reading between the lines
- The dichotomy suggests a testable rigidity principle: for graded modules of this class, the Hilbert function is either identically zero outside a finite range or nonzero on a whole half-line; checking this principle for rings beyond polynomial algebras, such as toric rings, is a natural next step.
- The proof of Theorem 1.3 uses Bernstein dimension to rule out finite-dimensional components; the same argument should apply to any graded holonomic module in characteristic zero, yielding a general criterion that a holonomic module with a finite-dimensional component must be supported at the maximal ideal.
- The bound $-m$ is plausibly optimal: the theorem predicts no gaps at or below $-m$, but does not forbid a zero component at $-m+1$ when the support is non-maximal; constructing such an example would show the cutoff is sharp while remaining consistent with the paper.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies graded components of local cohomology modules H^i_I(R) for R = K[X_1,...,X_m] and homogeneous ideals I of height g with 1 ≤ g ≤ m−1. It claims that if H^i_I(R) is nonzero, then H^i_I(R)_n is nonzero for all n ≤ −m; if the support is not the maximal ideal, all graded components are nonzero (and in characteristic zero have infinite K-dimension); and that dim_K H^g_I(R)_n is infinite for all n. The proofs are framed through a general class of graded Lyubeznik functors T and rest on structural theorems quoted from the author's earlier work [5] and the unpublished preprint [6].
Significance. If correct, the results would be a substantial advance in understanding the sparsity of graded local cohomology modules, replacing scattered examples with a clean dichotomy: away from the maximal-ideal case, local cohomology modules over polynomial rings are either zero in a bounded range or nonzero in every sufficiently low degree, with infinite-dimensional components in characteristic zero. The paper is clearly written and the intended strategy—reduce to a general lemma about graded F-finite and generalized Eulerian holonomic modules—is natural. However, the central lemma on which all main theorems rest is false as stated, so the claimed results are not established by the arguments presented.
major comments (3)
- [Lemma 3.1] Lemma 3.1 is false as stated. Let R = K[X_1,...,X_m] with m ≥ 2 and char K = 0, and let M = (X_1,...,X_m). Then M is a nonzero graded generalized Eulerian holonomic A_m(K)-module (it is a D-submodule of R, hence holonomic, and E acts on degree d by multiplication by d). Since M has no components in degrees ≤ 0, the hypothesis M_n = 0 for n ≤ −1 holds. But M is not isomorphic to R^s for any s: it is not free, and in particular its degree-0 component is zero, while R^s has degree-0 component K^s. Thus the conclusion 'It follows that M = R^s' is impossible. The proof's final inference from finite generation, M/X_m M ≅ S^s, and X_m-regularity to freeness of M is invalid even without the D-module structure: with R = K[X_1,X_2], M = (X_1,X_2), and x = X_1, the module M is finitely generated and x-regular, N = M/xM ≅ K[X_2] is free over S, but M is not free. The proof uses no argument specific to F_R-finite or generalized Eulerian holonomic modules that would exclude such behaviour. Since Lemma 3.1 is applied in the proofs of Theorem 1.2(1), Theorem 1.2(2), and Theorem 1.1(3), the main conclusions of the paper are not supported.
- [Section 2.9(2), proof of Lemma 3.1 (m = 1 case)] The statement in 2.9(2) that for m = 1 the modules H_l(X_1; M) are concentrated in degree 0 is not correct for the modules to which Lemma 3.1 is applied. For example, over R = K[X_1] take M = (X_1). Then M is a nonzero graded generalized Eulerian holonomic A_1(K)-module with M_n = 0 for n ≤ −1, and H^0(X_1; M) = M/X_1 M ≅ K is concentrated in degree 1, not degree 0. Consequently the base case of the induction in Lemma 3.1 is not justified by the cited fact as stated.
- [Theorems 2.6–2.8 and reliance on [6]] The proofs of Theorems 1.1–1.3 depend essentially on Theorems 2.6–2.8, quoted from the author's earlier paper [5] and the unreviewed arXiv preprint [6] (arXiv:2307.04473). The manuscript does not reproduce or prove these structural results, and [6] has not undergone peer review. This reliance would be a concern even if Lemma 3.1 were correct, because the central dichotomy of the paper is imported from an unverified source. As submitted, the verification chain is incomplete at two independent levels.
minor comments (4)
- [Title and abstract] The title contains a spacing error: 'POL YNOMIAL' should be 'POLYNOMIAL'.
- [Lemma 2.11] The heading reads 'with hyotheses as above' and should read 'with hypotheses as above'.
- [Proof of Theorem 1.2(2)] The sentence 'Then N is FR-finite if char K = p > 0 and M is generalized Eulerian and holonomic if char K = 0' should read 'N is generalized Eulerian and holonomic' in the characteristic-zero case.
- [Section 5] There are several typographical errors: 'isomorphism's' should be 'isomorphisms', and 'ℓ(Nn) = s for all n ∈ N n' contains a stray 'N' at the end.
Circularity Check
No circular reduction; the proof depends on the author's prior structural theorems, but those are broader than the target result and do not assume it.
full rationale
The main claim (Theorem 1.1) is not obtained by defining its terms in terms of the conclusion or by fitting a parameter and re-reading it as a prediction. Theorem 1.2 is the vehicle: for a graded Lyubeznik functor T with T(R) J-torsion, vanishing in low degrees is shown to force T(R) to be free (Lemma 3.1), contradicting torsion. The quoted results 2.6-2.8 are general structural theorems about graded F-finite modules (char p) and generalized Eulerian holonomic modules (char 0); their assumptions do not include the nonvanishing statements being proved, so they are independent support rather than the conclusion smuggled in. Lemma 3.1 is the paper's own key step, and although its inference from N = S^s to M = R^s is not justified for arbitrary graded modules (e.g., (X1,X2) over K[X1,X2] with x = X1) and needs repair, that is a correctness gap, not a circular reduction. Similarly, the heavy reliance on the author's unreviewed preprint [6] for the characteristic-p structural theorems is a soundness/verification risk, not a circularity. No equation in the paper is equivalent to its inputs by construction, and no fitted value is relabeled as a prediction. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Theorems 2.6, 2.7, 2.8: for graded F-finite (char p) and generalized Eulerian holonomic (char 0) modules, vanishing in a single low, high, or middle degree implies vanishing or nonvanishing in all degrees outside a bounded interval.
- domain assumption Local cohomology modules H^i_I(R) are graded F-finite (char p) or generalized Eulerian holonomic (char 0).
- standard math Ass H^g_I(R) = {P : P contains I and ht P = g}.
- standard math m-torsion graded modules are direct sums of injective hulls E(m).
- domain assumption K may be assumed infinite by a field extension argument.
Cite this review
Pith. "Pith review of Graded components of local cohomology modules over polynomial rings." pith.science (2026). https://pith.science/paper/L7HHRIMW
@misc{pith2026241113090,
author = {Pith},
title = {Pith review of: Graded components of local cohomology modules over polynomial rings},
year = {2026},
howpublished = {\url{https://pith.science/paper/L7HHRIMW}},
note = {Machine review of arXiv:2411.13090}
}
abstract
Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1) $H^i_I(R)_n \neq 0$ for all $n \leq -m$. (2) if Supp $H^i_I(R) \neq \{ (X_1, \ldots, X_m)\}$ then $H^i_I(R)_n \neq 0$ for all $n \in \mathbb{Z}$. Furthermore if char $K = 0$ then $\dim_K H^i_I(R)_n$ is infinite for all $n \in \mathbb{Z}$. (3) $\dim_K H^g_I(R)_n$ is infinite for all $n \in \mathbb{Z}$. In fact we prove our results for $\mathcal{T}(R)$ where $\mathcal{T}(-)$ is a large sub class of graded Lyubeznik functors
Reference graph
Works this paper leans on
-
[5]
T. J. Puthenpurakal, Graded components of local cohomology modules, Collect. Math. 73, (2022), no. 1, 135--171
work page 2022
-
[6]
, Koszul homology of F -finite module and applications, eprint, arXiv:2307.04473
-
[1]
Bruns and J
W. Bruns and J. Herzog, Cohen-Macaulay Rings, revised edition, Cambridge Studies in Advanced Mathematics, 39. Cambridge University Press, 1998
1998
-
[2]
G. Lyubeznik, Finiteness Properties of Local Cohomology Modules (an Application of D-modules to Commutative Algebra), Inv. Math. 113, (1993), 41–-55
work page 1993
-
[3]
, F-modules: applications to local cohomology and D-modules in characteristic p>0 , J. Reine Angew. Math. 491, (1997), 65–-130
work page 1997
-
[4]
T. J. Puthenpurakal and J. Singh, On derived functors of Graded local cohomology modules, Math. Proc. Cambridge Philos. Soc. 167 (2019), no. 3, 549–-565
work page 2019
-
[7]
P. Schenzel, On the use of local cohomology in algebra and geometry , in, Six lectures on commutative algebra ( B ellaterra, 1996) , Progr. Math., 166, 241--292, Birkh\"auser, Basel, 1998
work page 1996
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.