Pith. sign in

REVIEW 3 major objections 3 minor 33 references

The canonical trace of Stanley-Reisner rings that are Gorenstein on the punctured spectrum

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

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

Pith's one-line read A Cohen-Macaulay Stanley-Reisner ring is Gorenstein on the punctured spectrum exactly when the canonical trace is the ring, its maximal ideal, or the square of that ideal.

desk verdict A solid, publishable classification of canonical traces for CM Stanley-Reisner rings; the main theorem answers a real open question, and the imported injectivity lemma is a standard citation rather than a fatal gap. read the letter →

arxiv 2412.12860 v1 pith:O7IMWHQW submitted 2024-12-17 math.AC

Sora Miyashita , Matteo Varbaro This is my paper · ORCID
classification math.AC MSC 13H1013A0205E40
keywords Stanley-ReisnerringscanonicaltracenearlyGorensteinonthepuncturedspectrumlevelhomologymanifoldssimplicialcomplexesCohen-Macaulay
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 aims to locate exactly where non-Gorenstein behavior can survive in a Stanley-Reisner ring. For a Cohen-Macaulay ring $R=k[\Delta]$, it proves that being Gorenstein on the punctured spectrum is equivalent to the trace of the canonical module $\operatorname{tr}(\omega_R)$ being one of three ideals: $R$, the irrelevant maximal ideal $M_R$, or $M_R^2$. This trichotomy resolves an open question: every nearly Gorenstein Stanley-Reisner ring of dimension at least three is actually Gorenstein. The only non-Gorenstein nearly Gorenstein examples lie in dimension at most one, as a disjoint union of at least three vertices or a path of length at least three, and the $M_R^2$ case occurs exactly for non-$k$-orientable $k$-homology manifolds. Since $\operatorname{tr}(\omega_R)$ measures the non-Gorenstein locus, the result is a complete combinatorial description of that locus for this class.

What carries the argument

The load-bearing object is the canonical trace $\operatorname{tr}(\omega_R)$, the sum of the images of all graded module maps from the canonical module $\omega_R$ into $R$; its radical detects the non-Gorenstein locus. The paper controls it through the structure theorem for canonical modules of Stanley-Reisner rings, which realizes $\omega_R$ as a direct sum, indexed by faces, of relative homology groups $H_d(\Delta,\operatorname{cost}_\Delta(s(a)))$, with multiplication by a variable acting by maps $\iota_*$ between such groups. An imported lemma says those maps are injective for connected quasi-manifolds, and since the relevant homology groups have dimension at most one, the trace is forced to be generated in low degree. The final piece is the dichotomy of Proposition 2.8, which confines a connected complex of dimension at least two to having a cone point or being a $k$-homology manifold, so the trace cannot be anything beyond $R$, $M_R$, or $M_R^2$.

What would settle it

The classification would be falsified by a Cohen-Macaulay Stanley-Reisner ring of dimension at least three that is nearly Gorenstein but not Gorenstein, or by a non-$k$-orientable $k$-homology manifold whose canonical trace is not $M_R^2$.

Watch

Extended reading notes

Core claim

The central claim is Theorem A of the paper: if $R=k[\Delta]$ is Cohen-Macaulay, then $R$ is Gorenstein on the punctured spectrum if and only if $\operatorname{tr}(\omega_R)=M_R^i$ for some $i\in\{0,1,2\}$. The proof is driven by a topological dichotomy: a connected complex of dimension at least two whose Stanley-Reisner ring is Gorenstein on the punctured spectrum either has a cone point or is a $k$-homology manifold. In the homology-manifold case, the structure theorem for canonical modules shows the trace is $R$ when $\Delta$ is $k$-orientable and $M_R^2$ when it is not. In dimension at least three this forces nearly Gorenstein rings to be Gorenstein, and the remaining $M_R$ case is confined to the two low-dimensional families listed in the theorem.

Load-bearing premise

The proof rests on an imported structural fact: for a normal pseudomanifold, the multiplication maps between relative homology groups are injective, and if that failed the trace computations would not force the three-value classification.

Editorial extensions

If this is right

  • A Cohen-Macaulay Stanley-Reisner ring is Gorenstein on the punctured spectrum exactly when $\operatorname{tr}(\omega_R)$ is $R$, $M_R$, or $M_R^2$.
  • Every nearly Gorenstein Stanley-Reisner ring of dimension at least three is Gorenstein, so the question of whether nearly Gorenstein equals Gorenstein is answered affirmatively above dimension two.
  • The non-Gorenstein nearly Gorenstein Stanley-Reisner rings are completely classified: disjoint unions of at least three vertices and paths of length at least three.
  • The case $\operatorname{tr}(\omega_R)=M_R^2$ occurs exactly for non-$k$-orientable $k$-homology manifolds; in characteristic 2 this case disappears, so Gorenstein on the punctured spectrum forces nearly Gorensteinness.
  • Every Stanley-Reisner ring that is Gorenstein on the punctured spectrum is level, and in the non-Gorenstein case, nearly Gorenstein plus almost Gorenstein is equivalent to nearly Gorenstein alone.

Reading between the lines

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

  • Inference: the same three-value trace dichotomy may hold for other standard graded Cohen-Macaulay rings whose canonical modules come with a combinatorial or homological description; the missing ingredient would be an analogue of the injectivity lemma.
  • Inference: Proposition 2.8 offers a purely combinatorial test for whether a connected complex whose Stanley-Reisner ring is Gorenstein on the punctured spectrum is a homology manifold: look for a cone point. The test does not require the Cohen-Macaulay assumption in that statement.
  • Inference: the levelness result for this class could be tested against other families of combinatorial rings, such as normal affine semigroup rings or Ehrhart rings, where the canonical trace is studied by similar methods.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper studies the canonical trace of the canonical module of Stanley–Reisner rings that are Gorenstein on the punctured spectrum. The main theorem (Theorem A) states that for a Cohen–Macaulay Stanley–Reisner ring R over a field k, R is Gorenstein on the punctured spectrum if and only if tr(ω_R) equals M_R^i for i∈{0,1,2}; moreover, the intermediate case tr(ω_R)=M_R occurs exactly for two low-dimensional families (disjoint unions of at least three vertices or paths of length at least three), and the case tr(ω_R)=M_R^2 occurs exactly for non-k-orientable k-homology manifolds. A corollary resolves a question from [28]: every nearly Gorenstein Stanley–Reisner ring of dimension at least three is Gorenstein. Theorem B shows that every Stanley–Reisner ring Gorenstein on the punctured spectrum is level, and it characterizes when such a ring is simultaneously almost Gorenstein. The proofs use Gräbe's description of canonical modules of Stanley–Reisner rings, a lemma on relative homology maps, and an analysis of the local structure of pseudomanifolds.

Significance. If correct, the paper gives a complete and clean trichotomy for the canonical trace of Cohen–Macaulay Stanley–Reisner rings that are Gorenstein on the punctured spectrum, and it settles the nearly-Gorenstein-vs-Gorenstein question for this class. The criterion is concrete and falsifiable, and the connection to non-orientable homology manifolds is a pleasing combinatorial characterization. The paper also strengthens the link between levelness, nearly Gorensteinness, and almost Gorensteinness for monomial rings. The authors use established structural results (Gräbe's theorem) as a black box, which is appropriate, though it places a burden on the reader to verify the exact hypotheses of the imported lemma.

major comments (3)
  1. [Section 2, Proposition 2.8] The proof begins with the assertion that a connected simplicial complex whose Stanley–Reisner ring is Gorenstein on the punctured spectrum is necessarily normal. This assertion is load-bearing because normality is used immediately to conclude that the complex is strongly connected, which is then used in the distance argument. No proof or reference is provided for this implication. Since normality of ∆ is equivalent to k[∆] satisfying Serre's condition (S2), the authors should either prove that Gorensteinness at every non-maximal graded prime forces (S2) in this setting or give a precise reference for this fact.
  2. [Section 3, Lemma 3.2] Part (2) of Lemma 3.2 is the pivotal injectivity statement for the relative homology maps ι_*. The proof delegates the injectivity to Gräbe's Hauptlemma 3.2 in [14] without stating the exact hypotheses of that lemma or verifying that a normal pseudomanifold satisfies them. Since Propositions 3.4, 3.9, Corollary 3.10, and ultimately Theorem A all rely on this injectivity, the authors should state the precise result used, confirm that every normal pseudomanifold is a connected quasi-manifold in the sense of [14], and explain why injectivity plus the one-dimensionality from part (1) yields the asserted isomorphism.
  3. [Section 3, Proposition 3.4] In the proof, the sentence 'Since the annihilator of xi must be contained in that of 1_a' is not justified. From φ(1_a)=x_i one obtains immediately the reverse inclusion, Ann(1_a) ⊆ Ann(x_i). The subsequent conclusion s(a)={i} is crucial for the argument that tr(ω_R) ⊆ M_R^2. Please give a detailed derivation of s(a)={i} from the graded homomorphism φ and the Gräbe structure theorem. In particular, the proof should address the possibility that variables are zero divisors in a Stanley–Reisner ring; the later cancellation step 'φ(1_b)=1' also needs a justification that does not silently assume x_i is regular.
minor comments (3)
  1. [Throughout] There are several typos: 'Propoition 3.9' in the Section 3 heading, 'non-oriantable' in Corollary 3.10, and 'n /greaterorequalslant3' in the abstract due to a LaTeX rendering issue.
  2. [Proposition 2.8] In the definition of δ, the notation 'σ_i ∈ Fd(∆)' should be 'σ_i ∈ F(∆)'.
  3. [Theorem B, proof of (Y)] The step in (1)⇒(4) invoking [27, Theorem 5.1] to conclude that the socle degree s(R) equals 1, and the subsequent equality between codimension and Cohen–Macaulay type, is quite compressed. Please expand this argument so that a reader can follow the logic.

Circularity Check

0 steps flagged · score 2.0 of 10

No input-equivalent reduction: the trace classification derives from Gräbe's canonical-module structure theorem, and the only self-referential input is the first author's published low-dimensional classification, which is not load-bearing for the main high-dimensional claim.

full rationale

Walking the derivation chain, the main theorem is not circular. Theorem A(X) is proved by separating the case dim(Δ) ≤ 1 (where [28, Theorem 4.3] supplies the classification) from dim(Δ) ≥ 2, where Corollary 2.9 forces either Gorensteinness or a k-homology manifold, and Proposition 3.3 together with Corollary 3.10 computes the trace as R or M_R^2. The central computations in Propositions 3.4 and 3.9 derive the trace from Gräbe's canonical-module structure theorem (Theorem 3.1) and from the relative-homology map ι_* in Lemma 3.2(2); the latter is imported from Gräbe [14], an external 1984 source, not from the authors' own prior work. No fitted parameter is renamed as a prediction, no uniqueness theorem from the authors is invoked, and no ansatz is smuggled in through a citation. The only author-overlapping citations are the first author's [26]–[29], especially [28, Theorem 4.3] for low-dimensional Stanley–Reisner rings; that theorem is published prior work with its own independent proof and is used only for the boundary cases dim(Δ) ≤ 1 and for the equivalent characterization (Y), not for the high-dimensional core. A skeptical concern that Lemma 3.2(2) is not reproved here is a correctness risk about an external lemma, not circularity: the paper does not define its conclusion into its hypotheses. Hence no circular step is exhibited; the score of 2 reflects only the presence of minor, non-load-bearing self-citations in the low-dimensional boundary arguments, not a reduction of the central claim to its own inputs.

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

The paper introduces no free parameters and no new postulated entities. It is a theorem-proof contribution whose conclusions rest on standard structural theorems in commutative algebra, including Graebe's canonical module description and several prior results by the authors and others. All axioms are external published mathematics rather than assumptions tailored to force the target result.

assumptions (6)
  • standard math Graebe's structure theorem for canonical modules of Stanley-Reisner rings (Theorem 3.1, citing [13]).
    This theorem expresses the canonical module as a direct sum of relative homology groups and is a foundational external result used in Propositions 3.3, 3.4, and 3.9.
  • standard math Hochster's criterion relating Gorenstein Stanley-Reisner rings to homology spheres of links (cited from [3]).
    Used in Section 2 to characterize Gorenstein links and cone points.
  • standard math The injectivity of relative homology multiplication maps for connected quasi-manifolds, imported from Graebe's Hauptlemma 3.2 in [14].
    This is the key external input behind Lemma 3.2(2), which Propositions 3.3 and 3.9 depend on.
  • standard math [11, Theorem 2.1]: a generically Gorenstein ring is not of Teter type.
    Invoked in Proposition 3.4 to reach a contradiction from a trace equal to the maximal ideal.
  • standard math [17, Lemma 2.1]: the radical of the canonical trace describes the punctured Gorenstein locus.
    Used to connect the trace ideal with the Gorenstein punctured spectrum in the proof of Theorem A(X).
  • standard math The first author's earlier classification of low-dimensional nearly Gorenstein Stanley-Reisner rings, [28, Theorem 4.3].
    This published prior result supplies the dimension at most 1 cases in the proofs of Theorem A and Theorem B.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The canonical trace of Stanley-Reisner rings that are Gorenstein on the punctured spectrum." pith.science (2026). https://pith.science/paper/O7IMWHQW

@misc{pith2026241212860,
  author       = {Pith},
  title        = {Pith review of: The canonical trace of Stanley-Reisner rings that are Gorenstein on the punctured spectrum},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O7IMWHQW}},
  note         = {Machine review of arXiv:2412.12860}
}
read the original abstract

In this paper we prove that nearly Gorenstein Stanley-Reisner rings of dimension at least 3 are indeed Gorenstein. By previous work of the first author this yields a complete characterization of nearly Gorenstein Stanley-Reisner rings. We also show that a Cohen-Macaulay Stanley-Reisner ring is Gorenstein on the punctured spectrum if and only if either it is nearly Gorenstein or its canonical trace is the square of its irrelevant maximal ideal, and that the latter case happens exactly for non-orientable homology manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 26 canonical work pages

  1. [14]

    Gr¨ abe, ¨Uber den Stanley–Reisner-Ring von Quasimannigfaltigkeit en, Math

    H.-G. Gr¨ abe, ¨Uber den Stanley–Reisner-Ring von Quasimannigfaltigkeit en, Math. Nachr. 117 (1984), 161–174. ↑7

    work page 1984

  2. [1]

    Aoyama and S

    Y . Aoyama and S. Goto, On the endomorphism ring of the canonical module , J. Math. Kyoto Univ 25 (1985), no. 1, 21–30. ↑3

    work page 1985

  3. [2]

    Bagherpoor and A

    M. Bagherpoor and A. Taherizadeh, Trace ideals of semidualizing modules and two generalizati ons of nearly Gorenstein rings, Communications in Algebra 51 (2023), no. 2, 446–463. ↑1

    work page 2023

  4. [3]

    Bruns and J

    W. Bruns and J. Herzog, Cohen–Macaulay rings , Cambridge university press, 1998. ↑4

    work page 1998

  5. [4]

    Bj¨ orner,Topological methods, In: Handbook of combinatorics , 1995

    A. Bj¨ orner,Topological methods, In: Handbook of combinatorics , 1995. ↑4

    work page 1995

  6. [5]

    Caminata and F

    A. Caminata and F. Strazzanti, Nearly Gorenstein cyclic quotient singularities , Beitr¨ age zur Algebra und Geome- trie/Contributions to Algebra and Geometry 62 (2021), no. 4, 857–870. ↑1

    work page 2021

  7. [6]

    Celikbas, J

    E. Celikbas, J. Herzog, and S. Kumashiro, Traces of semi-invariants, arXiv preprint, arXiv:2312.00983 (2023). ↑1

    arXiv 2023

  8. [7]

    H. Dao, T. Kobayashi, and R. Takahashi, Trace ideals of canonical modules, annihilators of Ext modu les, and classes of rings close to being Gorenstein , Journal of Pure and Applied Algebra 225 (2021), no. 9, 106655. ↑1

    work page 2021

Show all 33 references
  1. [8]

    Ding, A note on the index of Cohen–Macaulay local rings , Communications in Algebra 21 (1993), no

    S. Ding, A note on the index of Cohen–Macaulay local rings , Communications in Algebra 21 (1993), no. 1, 53–71. ↑1

    1993

  2. [9]

    Ficarra, The canonical trace of Cohen–Macaulay algebras of codimens ion 2, arXiv preprint, arXiv:2406.07517 (2024)

    A. Ficarra, The canonical trace of Cohen–Macaulay algebras of codimens ion 2, arXiv preprint, arXiv:2406.07517 (2024). ↑1

    2024 arXiv

  3. [10]

    Ficarra, J

    A. Ficarra, J. Herzog, D. I Stamate, and V . Trivedi, The canonical trace of determinantal rings , Archiv der Mathematik 123 (2024), no. 5, 487–497. ↑1

    2024

  4. [11]

    Gasanova, J

    O. Gasanova, J. Herzog, T. Hibi, and S. Moradi, Rings of Teter type, Nagoya Mathematical Journal 248 (2022), 1005–1033. ↑3, 8, 9

    2022

  5. [12]

    S. Goto, R. Takahashi, and N. Taniguchi, Almost Gorenstein rings–towards a theory of higher dimensi on, Journal of Pure and Applied Algebra 219 (2015), no. 7, 2666–2712. ↑2, 3

    2015

  6. [13]

    Gr¨ abe,The canonical module of a Stanley–Reisner ring , Journal of Algebra 86 (1984), no

    H.-G. Gr¨ abe,The canonical module of a Stanley–Reisner ring , Journal of Algebra 86 (1984), no. 1, 272–281. ↑6, 7, 9

    1984

  7. [15]

    T. Hall, M. K¨ olbl, K. Matsushita, and S. Miyashita, Nearly Gorenstein polytopes, The Electronic Journal of Combinatorics 30 (4) (2023). ↑1

    2023

  8. [16]

    Herzog and E

    J. Herzog and E. Kunz, Der kanonische Modul eines Cohen–Macaulay Rings , V ol. 238, Lect. Notes in Math. Springer- V erlag, Berlin, 1971.↑1, 3

    1971

  9. [17]

    Herzog, T

    J. Herzog, T. Hibi, and D. I. Stamate, The trace of the canonical module , Israel Journal of Mathematics 233 (2019), 133–165. ↑1, 3, 9, 10

    2019

  10. [18]

    Herzog, F

    J. Herzog, F. Mohammadi, and J. Page, Measuring the non-Gorenstein locus of Hibi rings and normal affine semigroup rings, Journal of Algebra 540 (2019), 78–99. ↑1

    2019

  11. [19]

    Hibi and D

    T. Hibi and D. I Stamate, Nearly Gorenstein rings arising from finite graphs , The Electronic Journal of Combinatorics (2021), P3–28. ↑1

    2021

  12. [20]

    Huneke and A

    C. Huneke and A. Vraciu, Rings that are almost Gorenstein , Pacific Journal of Mathematics 225 (2006), no. 1, 85–102. ↑1

    2006

  13. [21]

    Jafari, F

    R. Jafari, F. Strazzanti, and S. Z. Armengou, On nearly Gorenstein affine semigroups , arXiv preprint, arXiv:2411.12081 (2024). ↑1

    2024 arXiv

  14. [22]

    Kumashiro, N

    S. Kumashiro, N. Matsuoka, and T. Nakashima, Nearly Gorenstein local rings defined by maximal minors of a 2 × n matrix, arXiv preprint, arXiv:2308.04234 (2023). ↑1

    2023 arXiv

  15. [23]

    Lu, The chain algebra of a pure poset , arXiv preprint, arXiv:2410.05024 (2024)

    D. Lu, The chain algebra of a pure poset , arXiv preprint, arXiv:2410.05024 (2024). ↑1

    2024 arXiv

  16. [24]

    Lyle and S

    J. Lyle and S. Maitra, Annihilators of (co) homology and their influence on the trac e ideal, arXiv preprint, arXiv:2409.04686 (2024). ↑1

    2024 arXiv

  17. [25]

    Matsuoka and S

    N. Matsuoka and S. Murai, Uniformly Cohen–Macaulay simplicial complexes and almost Gorenstein* simplicial com- plexes, Journal of Algebra 455 (2016), 14–31. ↑10

    2016

  18. [26]

    Miyashita, Nearly Gorenstein projective monomial curves of small codi mension, arXiv preprint, arXiv:2302.04027 (2023)

    S. Miyashita, Nearly Gorenstein projective monomial curves of small codi mension, arXiv preprint, arXiv:2302.04027 (2023). ↑8

    2023 arXiv

  19. [27]

    ↑2, 10 12 S

    , Comparing generalized Gorenstein properties in semi-stan dard graded rings , Journal of Algebra 647 (2024), 823–843. ↑2, 10 12 S. MIY ASHITA AND M. V ARBARO [28] , Levelness versus nearly Gorensteinness of homogeneous rin gs, Journal of Pure and Applied Algebra 228 (2024), n...

    2024

  20. [29]

    , A linear variant of the nearly Gorenstein property , arXiv preprint, arXiv:2407.05629 (2024). ↑1, 9

    2024

  21. [30]

    Miyazaki, On the Gorenstein property of the Ehrhart ring of the stable s et polytope of an h-perfect graph , International Electronic Journal of Algebra 30 (2021), no

    M. Miyazaki, On the Gorenstein property of the Ehrhart ring of the stable s et polytope of an h-perfect graph , International Electronic Journal of Algebra 30 (2021), no. 30, 269–284. ↑1

    2021

  22. [31]

    Miyazaki and J

    M. Miyazaki and J. Page, Non-Gorenstein loci of Ehrhart rings of chain and order poly topes, Journal of Algebra 643 (2024), 241–283. ↑1

    2024

  23. [32]

    Moscariello and F

    A. Moscariello and F. Strazzanti, Nearly Gorenstein vs almost Gorenstein affine monomial curv es, Mediterranean Journal of Mathematics 18 (2021), no. 4, 127. ↑2

    2021

  24. [33]

    Srivastava, On nearly Gorenstein simplicial semigroup algebras , arXiv preprint, arXiv:2310.00619 (2023)

    P . Srivastava, On nearly Gorenstein simplicial semigroup algebras , arXiv preprint, arXiv:2310.00619 (2023). ↑1

    2023 arXiv

  25. [34]

    P Stanley, Combinatorics and Commutative Algebra , V ol

    R. P Stanley, Combinatorics and Commutative Algebra , V ol. 41, Springer Science & Business Media, 2007. ↑2, 3, 7 (S. Miyashita) D EPARTMENT OF PURE AND APPLIED MATHEMATICS , G RADUATE SCHOOL OF INFORMATION SCIENCE AND TECHNOLOGY , O SAKA UNIVERSITY , S UITA , O SAKA 565-0871,...

    2007

Pith tools

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