Pith. sign in

REVIEW 3 major objections 5 minor 11 references

Generators of top cohomology

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper constructs explicit exact sequences representing the generator of top cohomology for smooth projective families over a DVR with a section and for the Grassmannian G_{2,m} over the integers.

desk verdict Real new results for Lipman's question, but the Grassmannian proof has a missing case and the claimed answer to Question 1.1 needs a trace check. read the letter →

arxiv 2501.04357 v2 pith:BLHI3OPE submitted 2025-01-08 math.AC

Manoj Kummini , Mohit Upmanyu This is my paper · ORCID
classification math.AC MSC 14F1013D0214M15
keywords topcohomologydualizingsheaftracemapKoszulcomplexGrassmannianSchubertvarietiescompleteintersectionExtmodule
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

The paper tries to settle a question about the fundamental class in top cohomology: for a proper smooth map $f\colon X\to \operatorname{Spec} R$ of relative dimension $n$, the trace map identifies $\mathrm{H}^n(X,\omega_{X/R})$ with $R$, and one asks whether $1$ is represented by an exact sequence $0\to\omega_{X/R}\to F_n\to\cdots\to F_1\to\mathcal{O}_X\to 0$. The paper proves this is so when $R$ is a DVR and $f$ is smooth and projective with a section, and when $R=\mathbb{Z}$ and $X=G_{2,m}$ for $m\ge 4$. The proof builds a relative complete intersection of dimension zero whose Koszul-type resolution is modified to terminate in $\mathcal{O}_X$, then verifies by duality that the resulting class generates the Ext module. A final section shows that the naive approach via the pullback of the Euler sequence fails for $G_{2,4}$ over $\mathbb{Z}$, so a different construction is needed.

What carries the argument

The central object is the complete-intersection Koszul construction and the pull-back diagram (2.6). Given a rank-$n$ locally free sheaf $\mathcal{F}$ on $X$ with a section $\sigma$ whose zero scheme $X_n$ is flat of relative dimension zero and contains the section $Z$ as a connected component, the Koszul complex of $\sigma$ resolves $\mathcal{O}_{X_n}$; applying $\mathcal{H}om(-,\omega_X)$ turns it into an exact sequence ending in $\omega_{X_n}$. Pulling back along $\mathcal{O}_Z\to\omega_{X_n}$ and then along $\mathcal{O}_X\to\mathcal{O}_Z$ gives a sequence ending in $\mathcal{O}_X$ (the top row of (2.6)). Proposition 2.7 shows the middle row generates $\mathrm{Ext}^n_X(\mathcal{O}_Z,\omega_X)$, and the proof reduces to the two statements $\mathrm{Ext}^n_X(\mathcal{O}_X,\omega_X)\simeq R$ and $\mathrm{Ext}^n_X(I_Z,\omega_X)=0$, which are proved by a duality spectral sequence (Lemma 2.15) over a PID. For the Grassmannian case, the construction is carried by the Plücker linear forms $l_k$; Proposition 6.2 identifies each intermediate intersection with the union of Schubert varieties of a fixed dimension, and the intersection of the two families of opposite Schubert varieties is a union of zero-dimensional Richardson varieties.

What would settle it

Take a small case such as $G_{2,5}$ over an algebraically closed field, compute the reduced scheme $X_k\cap W_k$ for $k=7,8,9$ and compare its irreducible components with the predicted Schubert varieties of dimensions $3,4,5$; any extra component, missing component, or wrong dimension would refute Proposition 6.2 and therefore the zero-dimensionality of the fibres of $X\cap V$ over $\mathbb{Z}$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is that Question 1.1 has a positive answer for every smooth projective morphism over a DVR that admits a section, and for the Grassmannian $G_{2,m}$ over $\mathbb{Z}$ with $m\ge 4$. In both cases there is an explicit exact sequence $0\to\omega_{X/R}\to F_n\to\cdots\to F_1\to\mathcal{O}_X\to 0$ whose class in $\mathrm{Ext}^n_X(\mathcal{O}_X,\omega_{X/R})=\mathrm{H}^n(X,\omega_{X/R})$ is an $R$-module generator. The sequence is obtained as the top row of a diagram built from a zero-dimensional relative complete intersection $X_n\subseteq X$ that contains the section $Z$ as a connected component; the bottom row is the dualized Koszul resolution ending in $\omega_{X_n}$, and the top row is obtained by pulling back along $\mathcal{O}_X\to\mathcal{O}_Z$ and $\mathcal{O}_Z\to\omega_{X_n}$. For $G_{2,m}$, the complete intersection is cut out by the Plücker linear forms $l_k=\sum_{i+j=k}p_{i,j}$ for $3\le k\le 2m-1$ with $l_{m+1}$ omitted, and the zero-dimensionality is established via Schubert varieties.

Load-bearing premise

The whole Grassmannian argument rests on the inductive claim that each intersection with the Plücker hyperplanes leaves precisely the union of Schubert varieties of one fixed dimension; if that dimension count is off, the complete intersection used to build the generator ceases to be zero-dimensional.

Editorial extensions

If this is right

  • For every smooth projective family over a DVR with a section, the class of the relative dualizing sheaf in $\mathrm{H}^n$ has an explicit Koszul-style representative, not just an abstract existence statement.
  • For $G_{2,m}$ over $\mathbb{Z}$, the resulting exact sequence base-changes to a generator of $\mathrm{H}^n(X_S,\omega_{X_S/S})$ for every ring map $\mathbb{Z}\to S$; in particular it gives generators over all fields and over the integers.
  • The $G_{2,4}$ example shows that generators cannot generally be obtained by pulling back the Euler sequence from projective space: that construction yields an even multiple of a generator.
  • The DVR theorem supplies a local and arithmetic analogue: over any DVR with a section, the trace class is represented by a sequence built from a relative complete intersection, and the same sequence specializes to the field-theoretic generator on the closed fibre.

Reading between the lines

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

  • If the same strategy is attempted for other Grassmannians $G_{d,m}$, the analogous Plücker linear forms are regular, so the visible obstruction is producing a zero-dimensional complete intersection with a reduced rational point component; the paper records that for $G_{3,6}$ this fails for all choices of nine linear forms.
  • The reduction to the vanishing statements suggests a general criterion: a generator of this form should exist whenever one can find a zero-dimensional relative complete intersection containing the section as a connected component and the relevant Ext module vanishes; the two theorems are instances of that criterion.
  • One could test the sharper version of the question by tracking the local-residue constants of these sequences; the $G_{2,4}$ parity obstruction indicates that the value under the trace may carry integer divisibility data.
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.

Referee Report

3 major / 5 minor

Summary. The paper addresses Lipman's question whether the element Tr^{-1}(1_R) in H^n(X, omega_{X/R}) can be represented by a canonical exact sequence 0 -> omega_{X/R} -> F_n -> ... -> F_1 -> O_X -> 0. The authors develop a strategy based on a relative complete intersection X_n of relative dimension 0 that contains a section Z as a connected component; the Koszul resolution of X_n is then modified through a pull-back diagram to produce the desired exact sequence. They prove the strategy over a field (Theorem 4.1), over a DVR with a section (Theorem 5.1), and for the Grassmannian G_{2,m} over Z (Theorem 6.1 and Theorem 1.3). They also show that the naive pull-back of the Euler sequence on projective space fails to give a generator for G_{2,4}.

Significance. If the proofs are completed, the paper gives a positive answer to Lipman's question in two nontrivial settings and provides explicit generators. The method is conceptual, reducing the problem to the construction of relative complete intersections with a section as a connected component, and it gives a concrete counterexample to the naive Euler-sequence approach. The field and DVR parts are largely self-contained and use standard duality theory appropriately. The Grassmannian section, however, has several gaps that currently prevent Theorem 1.3 from being fully established; these gaps are localized and appear repairable.

major comments (3)
  1. [Section 6, Proposition 6.2] The Schubert-decomposition claim is not correctly stated for even m. For m=4, X_k ∩ W_6 = V(p_{14}p_{23}) has two irreducible components, Y_{1,4} and Y_{2,3}; the latter has index k=2=m/2, which the stated range 1 ≤ k < m/2 excludes. The same omission occurs for the opposite Schubert intersections used in the proof. Since the zero-dimensionality of X ∩ V, and hence Theorem 6.1(1) and Theorem 1.3, depends on this decomposition, the proof must be corrected, either by changing the range to 1 ≤ k ≤ floor(m/2) or by giving a separate argument for the even case. The induction itself is sketched in a single paragraph and relies on asserted facts about the ideal of a Schubert variety and the hyperplane section l_k = 0 that are not verified in detail; a complete proof or a precise reference to standard monomial theory is needed.
  2. [Section 6, proof of Theorem 6.1] The claim that 'for each (i',j') there exists a unique generator in the above list in which q_{i',j'} appears with coefficient 1' is false for m ≥ 5. For m=5, q_{2,3} appears with coefficient 1 in the Plücker relation q_{2,3} ± q_{1,2}q_{3,5} ± q_{1,3}q_{2,5} and also in the linear form l_5 = q_{1,4}+q_{2,3}. The Jacobian matrix may still have full rank by a triangular argument: the type (1) rows provide unit vectors for columns (i',j') with 1 < i' < j' < n, and the linear-form rows, after elimination, appear to give a permutation matrix on the remaining variables. However, this is not shown in the paper. This step is load-bearing for the conclusion that 𝔞 R_𝔪 = 𝔪 R_𝔪, hence for the existence of the section as a connected component.
  3. [Section 6, notation] The symbol n is used inconsistently in Section 6. At the beginning it is defined as the relative dimension 2(m-2), but in the proof of Theorem 6.1 it is used for the number of columns in the Plücker coordinates, i.e., n = m. For example, 'q_{i,j} = p_{i,j}/p_{1,n}' and '1 < i' < j' < n' only make sense with n = m. This overloading makes the proof of Theorem 6.1 hard to follow and should be fixed by renaming one of the parameters.
minor comments (5)
  1. [Section 3, diagram (3.1)] The maps in the top row of diagram (3.1) are suppressed, which makes the commutativity of the diagram hard to verify; displaying the actual differentials or at least specifying the basis elements would improve readability.
  2. [Section 4, proof of Theorem 4.1(1)] The induction step asserts the existence of f_k in 𝔭 \ 𝔭^2 that is a non-zero-divisor modulo (I_X+(f_1,...,f_{k-1}))^{sat}. The justification is terse; a few words on why such an element exists (e.g., prime avoidance and Cohen-Macaulayness) would be helpful.
  3. [Section 5, proof of Proposition 5.5] The step 'Since Z_s is an isolated point of (X_n)_s' is used to deduce A/𝔪A = k. This does not follow immediately from the construction of X_n; it should be stated explicitly that the closed fibre is zero-dimensional by Proposition 5.4(2) and that Z_s gives a point of that fibre.
  4. [Section 7, Proposition 7.8] The notation F_i|D_1∩...cD_i...∩D_4, where c marks an omitted factor, is nonstandard and should be defined explicitly to avoid confusion.
  5. [Introduction, display after Question 1.1] The identification Ext^n_X(O_X, omega_{X/R}) = H^n(X, omega_{X/R}) is used without comment; a short note that this holds because O_X is locally free would be helpful for the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the generator is constructed from a complete intersection and external duality/standard-monomial results; no step reduces by definition or self-citation.

full rationale

The paper does not exhibit circularity. Its central construction starts from the Koszul complex on a regular sequence defining a relative dimension-zero complete intersection, then uses pull-back diagrams and duality to prove that the resulting top row generates Ext^n_X(O_X, omega_X/R). This does not assume the desired generator: it builds an explicit extension and then verifies generation using external results (Hartshorne's duality and trace isomorphism, Matsumura's flatness/regular-sequence criteria, Seshadri's standard monomial theory, Brion's Richardson varieties, Eisenbud-Harris's Plücker coordinates, and Mac Lane's pull-back properties). There are no fitted parameters and no self-citations; the only citations to prior work are to standard, independent references. The under-verification of the inductive Schubert decomposition in Proposition 6.2 is a potential correctness gap, but it is not a circularity: that claim is argued from Schubert-variety theory rather than from the theorem being proved. Additionally, the negative example in Section 7 is an independent check that the naive Euler-sequence Koszul approach fails for G_{2,4}, which further supports that the positive result is not obtained by renaming a known construction. The derivation chain is therefore self-contained against external benchmarks, with no step reducing by construction to its own inputs.

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

The paper introduces no new free parameters and no invented entities. The central claims rest entirely on standard theorems in duality theory, commutative algebra, and Schubert calculus, plus the explicit linear forms and Pluecker relations for G_{2,m}. The main input that is not fully derived in the text is the Schubert decomposition in Proposition 6.2, which is asserted rather than proved in detail.

assumptions (5)
  • standard math Hartshorne's duality theorem for proper morphisms and the trace isomorphism Tr_f: H^n(X, omega_{X/R}) -> R for geometrically connected fibres.
    Invoked in the Introduction and used throughout; this is the external benchmark that defines the trace element in Question 1.1.
  • standard math For a PID, the normalized dualizing complex D^•_R is isomorphic to R[1], and Lemma 2.15's spectral sequence gives the stated exact sequence for Ext^n(F, omega_X).
    Used in Corollary 2.16 to prove Ext^n(O_X, omega_X) ≈ R and Ext^n(I_Z, omega_X) = 0, the key vanishing input for the DVR proof.
  • standard math Matsumura's criteria: a regular sequence on the closed fibre lifts to a regular sequence on X, and flatness of X_k over R follows from the Cohen-Macaulay property.
    Used in Proposition 5.4 to construct a flat complete intersection subscheme X_n inside X over a DVR.
  • domain assumption Standard monomial theory for Schubert varieties over algebraically closed fields, including the description of X_k ∩ W_k as unions of Schubert varieties of specified dimensions.
    The proof of Proposition 6.2 depends on this theory and the stated Schubert decomposition; this is the load-bearing geometric input for the Grassmannian case.
  • domain assumption The Pluecker embedding and equations for G_{2,m}, together with the Jacobian criterion showing that the ideal of X∩V equals the maximal ideal at the point 𝔪.
    Used in the proof of Theorem 6.1 to construct a section Spec Z -> X∩V with the desired component property.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generators of top cohomology." pith.science (2026). https://pith.science/paper/BLHI3OPE

@misc{pith2026250104357,
  author       = {Pith},
  title        = {Pith review of: Generators of top cohomology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BLHI3OPE}},
  note         = {Machine review of arXiv:2501.04357}
}
abstract

Let $R$ be a commutative noetherian ring and $f: X \to \mathrm{Spec} R$ a proper smooth morphism, of relative dimension $n$. From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map $\mathrm{Tr}_f : \mathrm{H}^n(X, \omega_{X/R}) \to R$ is an isomorphism when $f$ has geometrically connected fibres. We construct an exact sequence that generates $\mathrm{Ext}_X^n(\mathcal{O}_X, \omega_{X/R}) = \mathrm{H}^n(X, \omega_{X/R})$ as an $R$-module in the following cases: (1) when $R$ is a DVR and $f$ has a section; (2) when $R=\mathbb{Z}$ and $X$ is the Grassmannian $G_{2,m}$ for some $m \geq 4$. This partially answers a question raised by Lipman.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 7 canonical work pages

  1. [1]

    M. Brion. Lectures on the geometry of flag varieties. In Topics in cohomological studies of algebraic varieties , Trends Math., pages 33--85. Birkh\"auser, Basel, 2005. arXiv:math/0410240 [math.AG]

    arXiv 2005

  2. [2]

    Cartan and S

    H. Cartan and S. Eilenberg. Homological algebra . Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1999. With an appendix by David A. Buchsbaum, Reprint of the 1956 original

    1999

  3. [3]

    Eisenbud and J

    D. Eisenbud and J. Harris. The geometry of schemes , volume 197 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2000

    work page 2000

  4. [4]

    Eisenbud

    D. Eisenbud. Commutative algebra, with a View Toward Algebraic Geometry , volume 150 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995

    work page 1995

  5. [5]

    Hartshorne

    R. Hartshorne. Residues and duality . Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20. Springer-Verlag, Berlin, 1966

    work page 1963

  6. [6]

    Hartshorne

    R. Hartshorne. Algebraic geometry . Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52

    1977

  7. [7]

    J. Lipman. Dualizing sheaves, differentials and residues on algebraic varieties. Ast\' e risque , (117):ii+138, 1984

    work page 1984

  8. [8]

    D. R. Grayson and M. E. Stillman. Macaulay 2, a software system for research in algebraic geometry, 2006. Available at http://www.math.uiuc.edu/Macaulay2/

    2006

Show all 11 references
  1. [9]

    Matsumura

    H. Matsumura. Commutative ring theory , volume 8 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, second edition, 1989. Translated from the Japanese by M. Reid

    1989

  2. [10]

    Mac Lane

    S. Mac Lane. Homology . Die Grundlehren der mathematischen Wissenschaften, Band 114. Springer-Verlag, Berlin-G\" o ttingen-Heidelberg; Academic Press, Inc., Publishers, New York, 1963

    1963

  3. [11]

    C. S. Seshadri. Introduction to the theory of standard monomials , volume 46 of Texts and Readings in Mathematics . Hindustan Book Agency, New Delhi, 2007. With notes by Peter Littelmann and Pradeep Shukla, Appendix A by V. Lakshmibai, Revised reprint of lectures published in ...

    2007

Pith tools

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