pith. machine review for the scientific record. sign in

arxiv: 2603.29714 · v3 · submitted 2026-03-31 · 🧮 math.AC

Recognition: 2 theorem links

· Lean Theorem

Toward the theory on local cohomologies at the ideals given by simplicial posets

Kohji Yanagawa, Kosuke Shibata

Pith reviewed 2026-05-13 23:23 UTC · model grok-4.3

classification 🧮 math.AC
keywords simplicial posetface ringlocal cohomologyinjective envelopedualizing complexgraded moduleprime idealStanley-Reisner ring
0
0 comments X

The pith

Graded injective envelopes for primes in simplicial posets enable local cohomology theory.

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

The paper seeks to establish a foundation for the local cohomology modules H_{I_P}^i(S) and their injective resolutions when the face ring A_P comes from a simplicial poset. Unlike classical Stanley-Reisner rings, here the polynomial ring S has a non-standard grading and the ideal I_P is not monomial, which complicates the usual tools. By describing the graded injective envelopes *E_S(S/p_x) explicitly and examining their role in the graded dualizing complex, the authors create building blocks for the desired theory. A reader would care because this broadens combinatorial commutative algebra to handle more general poset structures, opening the way to compute cohomological invariants in new examples.

Core claim

The central claim is that for a simplicial poset P, with S the polynomial ring on variables t_x for x in P minus hat0, and I_P the defining ideal, one can give an explicit description of the graded injective envelope *E_S(S/p_x) for each prime p_x associated to x in P. These envelopes behave in a controlled way inside the graded dualizing complex of S, which sets up the injective resolution needed for studying the local cohomology H_{I_P}^i(S).

What carries the argument

The graded injective envelope *E_S(S/p_x) for the prime ideal p_x corresponding to each element x in the simplicial poset P; it provides the explicit modules that compose the injective resolution and dualizing complex in this non-standard graded setting.

If this is right

  • The local cohomology modules H_{I_P}^i(S) admit an injective resolution constructed directly from these described envelopes.
  • The graded dualizing complex of S can be analyzed using the placement and maps involving *E_S(S/p_x).
  • This framework extends the classical theory of local cohomology for Stanley-Reisner rings to the case of simplicial posets with non-monomial ideals.
  • Properties of these envelopes transfer to computations involving the face ring A_P = S/I_P.

Where Pith is reading between the lines

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

  • This explicit description could lead to concrete algorithms for calculating local cohomology in specific simplicial posets.
  • It may connect the algebraic invariants to combinatorial properties of the poset P such as its order complex.
  • Similar techniques might apply to other non-standard graded algebras arising in algebraic combinatorics.

Load-bearing premise

The non-standard grading on S and the non-monomial ideal I_P still allow a well-behaved graded injective envelope *E_S(S/p_x) whose properties transfer directly to the dualizing complex without additional hidden relations.

What would settle it

A concrete counterexample in a small simplicial poset where the proposed description of *E_S(S/p_x) fails to be injective or does not fit correctly into the dualizing complex would falsify the central claim.

read the original abstract

For a simplicial poset $P$, Stanley assigned the face ring $A_P$, which is the quotient of the polynomial ring $S:=K[t_x \mid x \in P \setminus \{\widehat{0} \}]$ by the ideal $I_P$. This is a generalization of Stanley-Reisner rings, but $S$ and $A_P$ are not standard graded in this case, and $I_P$ is not a monomial ideal. To establish the foundation of the theory on local cohomology $H_{I_p}^i(S)$ and its injective resolution, we give an explicit description of the graded injective envelope ${}^*\! E_S(S/\mathfrak{p}_x)$, where $\mathfrak{p}_x$is the prime ideal associated with $x \in P$, and analyze their behavior in the graded dualizing complex.

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.

Referee Report

1 major / 2 minor

Summary. The manuscript develops foundational tools for local cohomology modules H_{I_P}^i(S) associated to the face ring A_P = S/I_P of a simplicial poset P. It supplies an explicit description of the graded injective envelope *E_S(S/p_x) for each prime p_x corresponding to an element x in P and examines how these envelopes behave inside the graded dualizing complex, noting that S carries a non-standard grading by poset elements and that I_P is generated by non-monomial relations.

Significance. If the explicit description is correct and the envelopes embed into the dualizing complex without additional grading-induced relations, the work would extend the homological toolkit available for Stanley-Reisner rings to the broader class of simplicial-poset face rings, enabling systematic study of their local cohomology.

major comments (1)
  1. [Abstract] Abstract and the statement of the main result: the claim that *E_S(S/p_x) admits an explicit description whose properties transfer directly to the graded dualizing complex rests on the assumption that the non-standard grading on S and the non-monomial generators of I_P introduce no hidden annihilator relations; no concrete verification or counter-example ruling out such relations is supplied, leaving the load-bearing step unsupported.
minor comments (2)
  1. Notation for the graded dualizing complex and the functor *E_S should be introduced with a short preliminary paragraph before the main construction is invoked.
  2. A small table or list comparing the standard monomial case with the simplicial-poset case would clarify where the usual arguments fail and where new arguments are needed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and for highlighting the need for explicit verification regarding potential hidden annihilator relations arising from the non-standard grading and non-monomial generators of I_P. We address this concern directly below and will strengthen the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract and the statement of the main result: the claim that *E_S(S/p_x) admits an explicit description whose properties transfer directly to the graded dualizing complex rests on the assumption that the non-standard grading on S and the non-monomial generators of I_P introduce no hidden annihilator relations; no concrete verification or counter-example ruling out such relations is supplied, leaving the load-bearing step unsupported.

    Authors: We agree that the abstract and main result statement would be strengthened by an explicit verification step. In Section 3 of the manuscript, the graded injective envelope *E_S(S/p_x) is constructed explicitly by specifying its generators as monomials in the variables t_y for y ≥ x, with relations induced precisely by the simplicial poset structure of P and the poset grading deg(t_y) = y. Because the relations in I_P are defined via the order ideals and the simplicial condition (no two incomparable elements share a common upper bound outside the poset), the annihilator ideals are exactly the expected ones generated by variables t_z with z not ≥ x; no additional relations are forced by the grading. To make this transparent, we will add a new subsection (3.4) containing a concrete computation for a small simplicial poset (the poset consisting of a minimal element, three atoms forming a triangle, and a maximal element). In this example we compute the module structure of *E_S(S/p_x) directly, list all annihilators, and confirm that the embedding into the graded dualizing complex preserves the expected Ext-vanishing properties without extra relations. This addition will be included in the revised version. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit description of *E_S(S/p_x) is self-contained

full rationale

The paper derives an explicit description of the graded injective envelope *E_S(S/p_x) from the definition of the face ring A_P = S/I_P for a simplicial poset P, using standard properties of graded modules and prime ideals p_x associated to elements x in P. This construction extends existing graded-module theory to the non-standard grading and non-monomial ideal without reducing any central claim to a fitted parameter, self-definition, or self-citation chain by the paper's own equations. The behavior in the graded dualizing complex follows directly from the ring-theoretic setup and prior independent definitions of Stanley's face rings, with no load-bearing step that collapses to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definition of simplicial posets and the construction of the face ring A_P = S / I_P together with the usual properties of graded injective modules over polynomial rings.

axioms (2)
  • domain assumption The face ring A_P is defined as the quotient S / I_P where S is the polynomial ring on generators t_x for x in P excluding the minimal element and I_P is the ideal encoding the poset relations.
    This is the starting object whose local cohomology is studied; invoked in the abstract as the generalization of Stanley-Reisner rings.
  • standard math Graded injective envelopes exist and behave functorially for the non-standard grading on S.
    Required for the explicit description *E_S(S/p_x) to be well-defined.

pith-pipeline@v0.9.0 · 5444 in / 1428 out tokens · 34737 ms · 2026-05-13T23:23:53.396733+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    `Alvarez Montaner and A

    J. `Alvarez Montaner and A. Vahidi, Lyubeznik numbers of monomial ideals, Trans. Amer. Math. Soc.366(2014), 1829-1855

    work page 2014

  2. [2]

    Brodmann and R.Y

    M.P. Brodmann and R.Y. Sharp, Local Cohomology. An Algebraic Intro- duction with Geometric Applications, second edition, Cambridge Stud. Adv. Math.,136, Cambridge Univ. Press, Cambridge, 2013

    work page 2013

  3. [3]

    De Stefani, E

    A. De Stefani, E. Grifo, and L. N´ u˜ nez-Betancourt, Local cohomology and Lyubeznik numbers ofF-pure rings, J.Algebra571(2021) 316–338

    work page 2021

  4. [4]

    S. Goto, K. Watanabe, On graded rings, II (Z n-graded rings), Tokyo J. Math. 1(1978) 237–261

    work page 1978

  5. [5]

    Lyubeznik, Finiteness properties of local cohomology modules (an applica- tion ofD-modules to commutative algebra), Invent

    G. Lyubeznik, Finiteness properties of local cohomology modules (an applica- tion ofD-modules to commutative algebra), Invent. Math.113(1993), 41–55. 20 KOSUKE SHIBATA AND KOHJI YANAGA W A

    work page 1993

  6. [6]

    Lyubeznik,F-modules: applications to local cohomology andD-modules in characteristicp >0, J

    G. Lyubeznik,F-modules: applications to local cohomology andD-modules in characteristicp >0, J. Reine Angew. Math.491(1997), 65–130

    work page 1997

  7. [7]

    Sabzrou, M

    H. Sabzrou, M. Tousi and S. Yassemi, Simplicial join via tensor products, Manuscripta math.126, 255–272 (2008)

    work page 2008

  8. [8]

    R. Y. Sharp, Dualizing complexes for commutative Noetherian rings, Math. Proc. Cambridge Philos. Soc.78(1975), 369–386

    work page 1975

  9. [9]

    Shibata, K

    K. Shibata, K. Yanagawa, in preparation

    work page

  10. [10]

    Stanley,f-vectors andh-vectors of simplicial posets, J

    R. Stanley,f-vectors andh-vectors of simplicial posets, J. Pure Appl. Algebra 71(1991), 319–331

    work page 1991

  11. [11]

    Yanagawa, Bass numbers of local cohomology modules with supports in monomial ideals, Math

    K. Yanagawa, Bass numbers of local cohomology modules with supports in monomial ideals, Math. Proc. Cambridge Philos. Soc.131(2001), 45–60

    work page 2001

  12. [12]

    Yanagawa, Dualizing complex of the face ring of a simplicial poset, J.Pure Appl

    K. Yanagawa, Dualizing complex of the face ring of a simplicial poset, J.Pure Appl. Algebra215(2011), 2231–2241

    work page 2011

  13. [13]

    Yekutieli, Derived Categories, Cambridge Studies in Advanced Mathemat- ics, vol

    A. Yekutieli, Derived Categories, Cambridge Studies in Advanced Mathemat- ics, vol. 183, Cambridge University Press, Cambridge, 2020. National Institute of Technology, Yonago College, Yonago,Tottori, 683-8502, JAPAN Email address:shibata@yonago.kosen-ac.jp Department of Mathematics, Kansai University, Osaka, 564-8680, Japan. Email address:yanagawa@kansai-u.ac.jp

    work page 2020