arxiv: 2605.02532 · v1 · submitted 2026-05-04 · 🧮 math.AC · math.CO

Recognition: unknown

Toric rings of signed posets and conic divisorial ideals via matroid theory

Koji Matsushita

Pith reviewed 2026-05-08 02:16 UTC · model grok-4.3

classification 🧮 math.AC math.CO

keywords toric ringssigned posetsdivisor class groupGorenstein propertyconic divisorial idealsmatroid theorypolytopesHibi rings

0 comments

The pith

Toric rings of signed posets have divisor class groups and Q-Gorenstein properties determined by the poset through matroid polytopes.

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

The paper develops a matroid-theoretic description of the polytopes whose lattice points correspond to divisor classes of conic divisorial ideals in general toric rings. It then specializes this description to the toric ring R_P associated with any signed poset P. Using the resulting polytope, the divisor class group of R_P is computed explicitly in terms of combinatorial data from P. The same construction yields a combinatorial criterion for when R_P is Q-Gorenstein. The approach recovers the known results for ordinary Hibi rings as the special case of unsigned posets.

Core claim

For a toric ring, the polytope representing divisor classes corresponding to conic divisorial ideals is described in terms of matroids. Applied to the toric ring R_P associated with a signed poset P, this yields an explicit computation of the divisor class group of R_P in terms of P, a characterization of the Q-Gorenstein property of R_P in terms of P, and a concrete polytope whose lattice points classify the conic divisorial ideals of R_P. The construction recovers and extends previous results on Hibi rings.

What carries the argument

The matroid polytope that parametrizes the divisor classes of conic divisorial ideals for the toric ring R_P.

If this is right

The divisor class group of R_P is isomorphic to a group constructed from the matroid of P.
R_P is Q-Gorenstein if and only if the signed poset P satisfies a combinatorial condition readable from its matroid.
The conic divisorial ideals of R_P are in bijection with the lattice points of an explicitly constructed polytope derived from P.
The same polytope construction specializes to the known polytope for conic ideals of Hibi rings when all signs are positive.

Where Pith is reading between the lines

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

The polytope description may supply an algorithm for enumerating conic ideals of R_P once P is given as input.
Similar matroid polytopes could be attached to toric rings of other combinatorial posets that admit a signed structure.
The explicit class group formula might be used to decide whether two distinct signed posets produce isomorphic toric rings.

Load-bearing premise

The general matroid-theoretic framework for polytopes of conic divisorial ideals in arbitrary toric rings transfers directly to the toric rings constructed from signed posets.

What would settle it

For a small signed poset such as a two-element chain with one sign, compute the divisor class group of its toric ring by direct algebraic methods and check whether the result equals the group predicted by the matroid polytope attached to that poset.

Figures

Figures reproduced from arXiv: 2605.02532 by Koji Matsushita.

**Figure 1.** Figure 1: The Hasse diagram HP Let Σ = (Γ, σ) be a signed graph, and let For F ⊂ E(Γ), we write Σ(F) for the signed subgraph whose underlying graph is Γ(F) := (S e∈F e, F) and whose signature is the restriction of σ to F. We recall the following notions from signed graph theory: • A walk is a sequence (e1, v1, e2, . . . , vℓ−1, eℓ) of vertices vi and edges ei , such that each vertex vi is incident with both ei and e… view at source ↗

**Figure 2.** Figure 2: The circuit CT1 u0 u1 u2 u3 uk−1 f2 f1 f3 fk g1 g2 gl g3 h1 hm w0 wl−1 w3 w2 w1 µ1 µm−1 view at source ↗

**Figure 5.** Figure 5: The circuit CT4 For each type of circuit, we associate a canonical walk WC, defined as follows: (CT1 ) For a positive circle, a canonical walk is the shortest closed walk that traverses the circle exactly once. For example, the walk WCT1 := (f1, u1, f2, . . . , uk−1, fk) in the circuit CT1 depicted in view at source ↗

**Figure 6.** Figure 6: The Hasse diagram HP1 We can see that Cl(RP1 ) ∼= Z 3 . Take the maximal signed pseudo-forest F := {e1, e3, e4, e7} and let ϵ1 := e6, ϵ2 := e2 and ϵ3 := e5. Then WC1 := (e6, v1, e4, v4, e3, v3, e7), WC2 := (e2, v2, e1, v1, e4, v4, e3) and WC3 := (e7, v3, e3, v4, e5, v2, e1, v1, e4, v4, e3, v3, e7). are canonical walks on fundamental circuits C1, C2 and C3, respectively. Then we have βe1 = (0, −1, −1), βe2 … view at source ↗

**Figure 7.** Figure 7: The Hasse diagram HP2 We can see that Cl(RP2 ) ∼= Z 2 ⊕ Z/2Z. Take the connected signed pseudo-forest F := {e1, e2, e3, e5}, which has the negative circle with the edge set NF = F. Let ϵ1 := e4 and ϵ2 := e6. Then WC1 := (e4, v1, e1, v2, e2, v3, e3), WC2 := (e6, v3, e3, v4, e5, v1, e1). (4.7) are canonical walks on fundamental circuits C1 and C2, respectively. Then we have βe1 = (−1, 1) ⊕ ¯1, βe2 = (1, 0) ⊕… view at source ↗

**Figure 9.** Figure 9: The graph ΓPb with orientation OPb The passage from P to P b has a simple ring-theoretic interpretation. Switching corresponds to changing the signs of the corresponding coordinates in R d , while adjoining the 19 view at source ↗

**Figure 10.** Figure 10: ), which one-to-one correspond to the lattice points in W(B) as follows: (A) βe1 + βe2 + βe5 + βe3 + βe4 = (0, 1), (B) βe1 + βe2 + βe5 + βe4 = (1, 1), (C) βe1 + βe2 + βe5 + βe3 = (−1, 0), (D) βe1 + βe2 + βe5 = (0, 0), (E) βe1 + βe2 + βe5 + βe4 + βe6 = (1, 0), (F) βe1 + βe2 + βe5 + βe3 + βe6 = (−1, −1), (G) βe1 + βe2 + βe5 + βe6 = (0, −1). (A) 1 2 3 4 5 (B) 1 2 3 4 5 (C) 1 2 3 4 5 (D) 1 2 3 4 5 (E) 1 2 3 4… view at source ↗

read the original abstract

We study conic divisorial ideals from the viewpoint of matroid theory and apply the resulting framework to toric rings arising from signed posets. For a toric ring, we describe the polytope representing divisor classes corresponding to conic divisorial ideals in terms of matroids. We then turn to the toric ring $R_P$ associated with a signed poset $P$. We compute the divisor class group and characterize the ($\mathbb{Q}$-)Gorenstein property of $R_P$ in terms of $P$. Moreover, we also construct a polytope characterizing the conic divisorial ideals of $R_P$. This recovers and extends previous results on Hibi rings to the setting of signed posets.

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.

Desk Editor's Note private letter to a colleague

The paper cleanly extends matroid descriptions of conic divisorial ideals to signed poset toric rings, with explicit class group and Q-Gorenstein results that recover Hibi rings as a special case.

read the letter

The main point is that Matsushita takes the existing matroid framework for conic divisorial ideals in toric rings and works it out for the signed poset case. This produces an explicit polytope for those ideals, a description of the divisor class group in terms of the signed poset, and a criterion for when the ring is Q-Gorenstein. The construction recovers the ordinary Hibi ring results when signs are dropped, which is a useful consistency check. The approach stays within standard matroid and toric ring tools, so the foundations look straightforward rather than forced. The abstract presents the results as direct computations from the signed poset data, with no visible circularity or extra fitting parameters. The scope is narrow, focused on this combinatorial extension without broader applications or attacks on larger open questions in the field. Because the full proofs and examples are not in the abstract, it is hard to check whether the matroid construction requires any hidden adjustments for signed posets, but the recovery of the Hibi case suggests the reduction works as stated. This is specialized reading for people already working on poset algebras, toric rings from combinatorial objects, or matroid methods in commutative algebra. A reader interested in signed or oriented variants of Hibi rings would get concrete new formulas and polytopes to use. The results are explicit enough and build on prior work solidly enough that the paper deserves a serious referee rather than a desk rejection. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The paper develops a matroid-theoretic framework for describing conic divisorial ideals of toric rings and applies it to the toric ring R_P associated to a signed poset P. It computes the divisor class group of R_P, gives a characterization of the (Q-)Gorenstein property of R_P directly in terms of the signed poset P, and constructs an explicit polytope whose lattice points correspond to the conic divisorial ideals of R_P. The construction recovers the classical Hibi-ring case as a special instance.

Significance. If the derivations hold, the work supplies a uniform matroid description of divisor classes and conic ideals that extends the Hibi-ring literature to signed posets. The explicit class-group formula and polytope construction are concrete enough to support further classification and computational work in toric algebra.

minor comments (3)

The abstract states that the polytope is constructed 'in terms of matroids,' but the precise correspondence between the matroid bases and the vertices of the polytope is not stated in the introduction; a one-sentence summary of this dictionary would improve readability.
Notation for the signed-poset matroid (e.g., the ground set and the independence axioms) is introduced without an explicit reference to the earlier general toric-ring matroid construction; a forward pointer to the relevant definition would clarify the specialization.
The recovery of the Hibi-ring results is asserted but not accompanied by a short table or example that lists the signed-poset data reducing to the usual poset case; adding such a comparison would make the extension claim more immediate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of its contributions, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation applies general matroid framework independently

full rationale

The paper first establishes a general matroid-theoretic description of the polytope for conic divisorial ideals of any toric ring, then specializes the construction to the toric ring R_P of a signed poset P by defining the relevant matroid directly from P. The divisor class group and Q-Gorenstein criterion are obtained by direct computation from this matroid, and the polytope is exhibited explicitly. Recovery of the Hibi-ring case appears as a consistency check rather than a definitional input. No equation reduces to a fitted parameter renamed as prediction, no self-citation is load-bearing for the central claims, and the signed-poset matroid is not presupposed to satisfy the target properties. The derivation therefore remains self-contained against external matroid theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established matroid theory and toric ring constructions; no free parameters, new invented entities, or ad-hoc axioms are indicated in the abstract. The framework treats matroids as a standard tool for modeling divisor classes.

axioms (2)

domain assumption Matroids can be used to model the polytope of divisor classes corresponding to conic divisorial ideals in toric rings
This is the foundational viewpoint introduced for general toric rings before specializing to signed posets.
domain assumption Signed posets define toric rings R_P to which the matroid framework applies
Invoked when turning to the specific case of R_P and computing its divisor class group.

pith-pipeline@v0.9.0 · 5415 in / 1509 out tokens · 87433 ms · 2026-05-08T02:16:35.012051+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 3 canonical work pages

[1]

Acyclotopes and tocyclotopes.arXiv preprint arXiv:2409.15227, 2024

Eleonore Bach, Matthias Beck, and Sophie Rehberg. Acyclotopes and tocyclotopes.arXiv preprint arXiv:2409.15227, 2024

work page arXiv 2024
[2]

Springer, 2007

Matthias Beck and Sinai Robins.Computing the continuous discretely: Integer-point enumeration in polyhedra, volume 2. Springer, 2007

2007
[3]

Ziegler.Oriented Matroids

Anders Bj¨ orner, Michel Las Vergnas, Bernd Sturmfels, Neil White, and G¨ unter M. Ziegler.Oriented Matroids. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2 edition, 1999

1999
[4]

The magma algebra system I: The user language

Wieb Bosma, John Cannon, and Catherine Playoust. The magma algebra system I: The user language. Journal of Symbolic Computation, 24(3-4):235–265, 1997

1997
[5]

Linear extension sums as valuations on cones.J

Adrien Boussicault, Valentin F´ eray, Alain Lascoux, and Victor Reiner. Linear extension sums as valuations on cones.J. Algebraic Combin., 35(4):573–610, 2012

2012
[6]

American Mathematical Society, 2012

Nathan Broomhead.Dimer models and Calabi–Yau algebras, volume 215. American Mathematical Society, 2012

2012
[7]

Conic divisor classes over a normal monoid algebra.Commutative Algebra and Alge- braic Geometry, pages 63–71, 2005

Winfried Bruns. Conic divisor classes over a normal monoid algebra.Commutative Algebra and Alge- braic Geometry, pages 63–71, 2005

2005
[8]

Divisorial linear algebra of normal semigroup rings.Algebras and Representation Theory, 6(2):139–168, 2003

Winfried Bruns and Joseph Gubeladze. Divisorial linear algebra of normal semigroup rings.Algebras and Representation Theory, 6(2):139–168, 2003

2003
[9]

Springer Science & Business Media, 2009

Winfried Bruns and Joseph Gubeladze.Polytopes, Rings, and K-theory. Springer Science & Business Media, 2009

2009
[10]

Cox, John B

David A. Cox, John B. Little, and Henry K. Schenck.Toric varieties, volume 124 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2011

2011
[11]

ProQuest LLC, Ann Arbor, MI, 2014

Sebastian Alexander Csar.Root and weight semigroup rings for signed posets. ProQuest LLC, Ann Arbor, MI, 2014. Thesis (Ph.D.)–University of Minnesota

2014
[12]

Arithmetic matroids, the Tutte polynomial and toric arrangements

Michele D’Adderio and Luca Moci. Arithmetic matroids, the Tutte polynomial and toric arrangements. Adv. Math., 232:335–367, 2013

2013
[13]

Non-commutative resolutions of toric varieties

Eleonore Faber, Greg Muller, and Karen E Smith. Non-commutative resolutions of toric varieties. Advances in Mathematics, 351:236–274, 2019

2019
[14]

Valentin F´ eray and Victor Reiner.P-partitions revisited.J. Commut. Algebra, 4(1):101–152, 2012

2012
[15]

Springer-Verlag, New York, 2001

Chris Godsil and Gordon Royle.Algebraic graph theory, volume 207 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 2001

2001
[16]

On the interpretation of Whitney numbers through arrange- ments of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs.Trans

Curtis Greene and Thomas Zaslavsky. On the interpretation of Whitney numbers through arrange- ments of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs.Trans. Amer. Math. Soc., 280(1):97–126, 1983

1983
[17]

Divisor class groups of affine semigroup rings associated with distributive lattices.Journal of Algebra, 149(2):352–357, 1992

Mitsuyasu Hashimoto, Takayuki Hibi, and Atsushi Noma. Divisor class groups of affine semigroup rings associated with distributive lattices.Journal of Algebra, 149(2):352–357, 1992

1992
[18]

Springer, 2018

J¨ urgen Herzog, Takayuki Hibi, and Hidefumi Ohsugi.Binomial Ideals, volume 279. Springer, 2018

2018
[19]

Distributive lattices, affine semigroup rings and algebras with straightening laws

Takayuki Hibi. Distributive lattices, affine semigroup rings and algebras with straightening laws. Commutative algebra and combinatorics, 11:93–109, 1987

1987
[20]

Conic divisorial ideals and non-commutative crepant reso- lutions of edge rings of complete multipartite graphs.Journal of Algebra, 594:685–711, 2022

Akihiro Higashitani and Koji Matsushita. Conic divisorial ideals and non-commutative crepant reso- lutions of edge rings of complete multipartite graphs.Journal of Algebra, 594:685–711, 2022

2022
[21]

Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions.Selecta Mathematica, 25(5):78, 2019

Akihiro Higashitani and Yusuke Nakajima. Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions.Selecta Mathematica, 25(5):78, 2019

2019
[22]

GeneralizedF-signatures of Hibi rings.Illinois Journal of Mathematics, 65(1):97–120, 2021

Akihiro Higashitani and Yusuke Nakajima. GeneralizedF-signatures of Hibi rings.Illinois Journal of Mathematics, 65(1):97–120, 2021

2021
[23]

Hochster

M. Hochster. Rings of invariants of tori, Cohen–Macaulay rings generated by monomials, and poly- topes.Ann. of Math. (2), 96:318–337, 1972

1972
[24]

Dimer models and the special McKay correspondence.Geometry & Topology, 19(6):3405–3466, 2016

Akira Ishii and Kazushi Ueda. Dimer models and the special McKay correspondence.Geometry & Topology, 19(6):3405–3466, 2016

2016
[25]

Conic divisorial ideals of toric rings and applications to Hibi rings and stable set rings.arXiv preprint arXiv:2210.02031, 2022

Koji Matsushita. Conic divisorial ideals of toric rings and applications to Hibi rings and stable set rings.arXiv preprint arXiv:2210.02031, 2022

work page arXiv 2022
[26]

DualF-signatures of Veronese subrings and Segre products of polynomial rings

Koji Matsushita. DualF-signatures of Veronese subrings and Segre products of polynomial rings. arXiv preprint arXiv:2405.00994, 2024

work page arXiv 2024
[27]

A Tutte polynomial for toric arrangements.Trans

Luca Moci. A Tutte polynomial for toric arrangements.Trans. Amer. Math. Soc., 364(2):1067–1088, 2012. 24

2012
[28]

Non-commutative crepant resolutions of Hibi rings with small class group.Journal of Pure and Applied Algebra, 223(8):3461–3484, 2019

Yusuke Nakajima. Non-commutative crepant resolutions of Hibi rings with small class group.Journal of Pure and Applied Algebra, 223(8):3461–3484, 2019

2019
[29]

Academic Press, 1972

Morris Newman.Integral matrices, volume 45. Academic Press, 1972

1972
[30]

Oxford university press, 2006

James G Oxley.Matroid theory, volume 3. Oxford university press, 2006

2006
[31]

PhD thesis, The University of Utah, 2020

Marcus Robinson.Big Cohen-Macaulay Toric Test Ideals and Conic Modules of Hibi Rings. PhD thesis, The University of Utah, 2020

2020
[32]

Simplicity of rings of differential operators in prime characteristic.Proceedings of the London Mathematical Society, 75(1):32–62, 1997

Karen E Smith and Michel Van den Bergh. Simplicity of rings of differential operators in prime characteristic.Proceedings of the London Mathematical Society, 75(1):32–62, 1997

1997
[33]

Non-commutative resolutions of quotient singularities for reductive groups.Inventiones mathematicae, 210(1):3–67, 2017

ˇSpela ˇSpenko and Michel Van den Bergh. Non-commutative resolutions of quotient singularities for reductive groups.Inventiones mathematicae, 210(1):3–67, 2017

2017
[34]

Richard P. Stanley. Hilbert functions of graded algebras.Advances in Math., 28(1):57–83, 1978

1978
[35]

Signed graphs.Discrete Applied Mathematics, 4(1):47–74, 1982

Thomas Zaslavsky. Signed graphs.Discrete Applied Mathematics, 4(1):47–74, 1982

1982
[36]

Orientation of signed graphs.European Journal of Combinatorics, 12(4):361–375, 1991

Thomas Zaslavsky. Orientation of signed graphs.European Journal of Combinatorics, 12(4):361–375, 1991. Graduate School of Mathematical Sciences, The University of Tokyo, Komaba, Meguro- ku, Tokyo 153-8914, Japan Email address:koji-matsushita@g.ecc.u-tokyo.ac.jp 25

1991