pith. machine review for the scientific record. sign in

arxiv: 2604.04550 · v2 · submitted 2026-04-06 · 🧮 math.CO · math.AG

Recognition: 2 theorem links

· Lean Theorem

Matroid analogues of Gal's conjecture

Basile Coron , Luis Ferroni , Shiyue Li
Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:58 UTC · model grok-4.3

classification 🧮 math.CO math.AG
keywords matroidsbuilding setsChow ringsgamma-positivitysimplicial complexestoric varietiestropical intersection theorymoduli spaces
0
0 comments X

The pith

Matroids with complete building sets have gamma-positive Chow polynomials realized by an explicit simplicial complex

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

The paper formulates and proves matroid versions of the Charney-Davis, Gal, and Nevo-Petersen conjectures for Chow polynomials of matroids equipped with building sets. It introduces complete building sets, a class that includes maximal building sets and certain minimal ones on braid matroids. For such matroids the authors show that the Hilbert-Poincaré polynomials of the Chow rings of the associated toric varieties are gamma-positive. They supply a combinatorial formula for the gamma coefficients and construct a simplicial complex whose face vector equals the gamma vector. The same gamma-positivity holds when the building sets are merely flag, and the maximal case yields a balanced complex.

Core claim

For matroids with complete building sets, the Hilbert-Poincaré polynomials of the Chow rings of the associated toric varieties are gamma-positive. A combinatorial formula for the coefficients of the gamma-expansion is derived, and an explicit simplicial complex Γ is constructed whose f-vector coincides with the gamma-vector. When the building set is maximal, Γ is balanced. The same gamma-positivity holds for matroids with flag building sets.

What carries the argument

Complete building sets on matroids, which permit the toric variety construction whose Chow ring has a gamma-positive Hilbert-Poincaré polynomial, together with the simplicial complex Γ whose f-vector equals the gamma-vector.

If this is right

  • The construction of Γ establishes the matroid analogue of the Nevo-Petersen conjecture.
  • When the building set is maximal, the complex Γ is balanced, confirming the strongest form of the analogue.
  • A new combinatorial formula is obtained for the gamma-expansion of the Poincaré polynomial of the Deligne-Mumford-Knudsen compactification of the moduli space of n-pointed curves.
  • Several new numerical inequalities follow for the coefficients of that polynomial.
  • Gamma-positivity for flag building sets yields matroid analogues of the Charney-Davis and Gal conjectures.

Where Pith is reading between the lines

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

  • The explicit combinatorial description of Γ may allow direct verification of gamma-positivity for additional families of matroids that admit building sets.
  • The results for the moduli-space compactification suggest that similar combinatorial models could exist for other spaces whose Chow rings arise from matroid-like data.
  • Tropical intersection theory, used here to establish positivity, might be replaced by purely combinatorial arguments in special cases, yielding new proofs of the classical conjectures.
  • The balanced property of Γ in the maximal case could imply further combinatorial consequences such as unimodality or log-concavity of the gamma-vector.

Load-bearing premise

The matroids must admit complete or flag building sets so that the toric varieties and their Chow rings can be defined and the tropical intersection theory argument can be applied.

What would settle it

A single matroid equipped with a complete building set whose Chow ring has a Hilbert-Poincaré polynomial that is not gamma-positive, or whose gamma-vector fails to equal the f-vector of the constructed simplicial complex Γ.

Figures

Figures reproduced from arXiv: 2604.04550 by Basile Coron, Luis Ferroni, Shiyue Li.

Figure 1
Figure 1. Figure 1: Hierarchy of positivity properties for positive, palindromic polynomials. Except for unimodality, the positivity properties appearing in [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Strengths of conjectures on γ(∆) for a flag simplicial sphere ∆. 1.3. Main results. We formulate and prove analogues of Conjecture 1.4 and Conjecture 1.5 in the setting of Chow rings of matroids along with building sets. A pair (M, G) consisting of a matroid and a building set on its lattice of flats will be referred to as a built matroid. Our first main result concerns the class of complete built matroids… view at source ↗
Figure 3
Figure 3. Figure 3: Relationships between relevant built matroids. Our proof of Theorem 1.8 proceeds by induction on the Chow ring of the toric variety XM,G associated to a built matroid, via a composition of three geometric operations which change the topology of XM,G in a controlled way that preserves γ-positivity: iterated P 1 -bundles, iterated blowups, and tropical modification. The order of these operations is dictated … view at source ↗
Figure 4
Figure 4. Figure 4: The fan of (U2,3, Gmax) is a tropical Weil divisor of the fan of (U3,3, Gmax) in R [3]/R⟨e123⟩ defined by the piecewise linear function f = − mini∈[3](xi). 4.7. Pullback maps. We now describe several basic pullback homomorphisms of Chow rings given by the operations studied above. (1) (Pullback under stellar subdivision within linearity space) Let X(Σ) be a smooth toric variety associated with the unimodul… view at source ↗
Figure 5
Figure 5. Figure 5: Maximal nested sets of B4 with G= {1, 2, 3, 4, 12, 34, 1234} with labels in blueish green, and descent labels in pink. In the rest of this paper we will abbreviate x α1 F1 · · · x αk Fk by x α S . Remark 5.10 It follows from the definition that the support of a Feichtner–Yuzvinsky monomial does not have any local interval of rank 1. In [FY04], the authors proved that CH(M, G) admits a Gröbner basis whose a… view at source ↗
read the original abstract

Well-known conjectures of Charney--Davis, Gal, and Nevo--Petersen predict increasingly strong positivity phenomena for the h-vectors of flag simplicial spheres. In this paper, we formulate and prove matroid analogues of these conjectures in the setting of Chow polynomials of matroids with building sets. Our proofs rely on toric geometry and make crucial use of tropical intersection theory. We begin by introducing complete building sets, a class encompassing all maximal building sets and other important families such as minimal building sets of braid matroids. For matroids with complete building sets, we analyze the Chow rings of the associated toric varieties, and prove that their Hilbert--Poincar\'e polynomials are gamma-positive. From this analysis, we derive a combinatorial formula for the coefficients of the gamma-expansion, and use it to explicitly construct a simplicial complex $\Gamma$, whose f-vector coincides with the gamma-vector. This establishes a matroid analogue of the Nevo--Petersen conjecture. When the building set is maximal, we further prove that $\Gamma$ is balanced, confirming the strongest such analogue in this case. As an application, we obtain a new combinatorial formula for the gamma-expansion of the Poincar\'e polynomial of the Deligne--Mumford--Knudsen compactification $\overline{\mathcal{M}}_{0,n}$, and derive several novel numerical inequalities for its coefficients. We also study the toric varieties of matroids with flag building sets, another class containing maximal building sets as well as several other prominent families. We prove that the Hilbert--Poincar\'e polynomials of these toric varieties are gamma-positive. This result establishes matroid analogues of the Charney--Davis and Gal conjectures, and simultaneously extends several recent gamma-positivity results for Chow polynomials.

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

2 major / 3 minor

Summary. The paper introduces complete building sets for matroids (encompassing maximal building sets and minimal building sets of braid matroids) and flag building sets. For matroids with complete building sets, it analyzes the Chow rings of the associated toric varieties via toric geometry and tropical intersection theory, proving that their Hilbert-Poincaré polynomials are gamma-positive. It derives an explicit combinatorial formula for the coefficients of the gamma-expansion and constructs a simplicial complex Γ whose f-vector coincides with the gamma-vector, establishing a matroid analogue of the Nevo-Petersen conjecture; when the building set is maximal, Γ is shown to be balanced. Analogous gamma-positivity is proved for flag building sets, yielding matroid analogues of the Charney-Davis and Gal conjectures. As an application, a new combinatorial formula for the gamma-expansion of the Poincaré polynomial of the Deligne-Mumford-Knudsen compactification M̄_{0,n} is obtained, together with new numerical inequalities.

Significance. If the results hold, this work supplies matroid analogues of three major conjectures on gamma-positivity for flag simplicial spheres, with proofs that leverage toric geometry and tropical intersection theory to obtain both positivity and an explicit simplicial complex Γ realizing the gamma-vector. The combinatorial formula for the gamma coefficients and the balancedness result for maximal building sets are notable strengths, as is the application to M̄_{0,n} that produces new formulas and inequalities. The explicit construction of Γ and the extension of recent gamma-positivity results for Chow polynomials constitute concrete advances in the field.

major comments (2)
  1. [§4, Theorem 4.3] §4, Theorem 4.3: the proof that the Hilbert-Poincaré polynomial is gamma-positive for complete building sets invokes tropical intersection theory on the toric variety; the reduction from the geometric intersection numbers to the claimed combinatorial formula for the gamma coefficients requires verification that the relevant intersection products remain non-negative and independent of the choice of complete building set, which is only sketched for maximal cases.
  2. [§5, Construction of Γ] §5, Construction of Γ: the simplicial complex Γ is defined combinatorially from the gamma coefficients, but the argument that its f-vector exactly matches the gamma-vector for all complete building sets (not just maximal) relies on an inductive count that appears to assume the building set is flag-closed; a counter-example or additional check for a minimal building set of a non-braid matroid would strengthen the claim.
minor comments (3)
  1. [§2] The definition of complete building sets in §2 is stated to include maximal and certain minimal families, but the precise closure properties under deletion or contraction are not listed; adding a short lemma would clarify the scope.
  2. [§1 and §6] Notation for the gamma-vector and the complex Γ is introduced in the abstract and §1 but reused with slight variations in §6 for the M̄_{0,n} application; a uniform definition table would improve readability.
  3. [§4] Several citations to prior work on matroid Chow rings (e.g., Feichtner-Yuzvinsky) appear in the introduction but are not cross-referenced in the proofs of gamma-positivity; adding explicit pointers in §4 would help readers trace the novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment, and constructive comments on our manuscript. The suggestions have prompted us to clarify and strengthen the arguments in Sections 4 and 5. We address each major comment point by point below.

read point-by-point responses

  1. Referee: [§4, Theorem 4.3] §4, Theorem 4.3: the proof that the Hilbert-Poincaré polynomial is gamma-positive for complete building sets invokes tropical intersection theory on the toric variety; the reduction from the geometric intersection numbers to the claimed combinatorial formula for the gamma coefficients requires verification that the relevant intersection products remain non-negative and independent of the choice of complete building set, which is only sketched for maximal cases.

    Authors: We appreciate the referee highlighting the need for fuller verification in the proof of Theorem 4.3. The non-negativity of the relevant intersection products follows directly from the fact that, for any complete building set, the tropical cycles arising in the toric variety are effective (as ensured by the nefness of the divisors corresponding to the building set elements). Independence of the specific complete building set is guaranteed because the intersection numbers are combinatorially determined by the underlying matroid and coincide with the same explicit formula derived from the gamma-expansion; this holds uniformly by the definition of completeness, which preserves the necessary relations in the Chow ring. We have revised the proof to include a detailed, self-contained verification of these two properties for general complete building sets (extending the maximal-case sketch), rather than relying on the reader to infer them from the toric geometry setup. revision: yes

  2. Referee: [§5, Construction of Γ] §5, Construction of Γ: the simplicial complex Γ is defined combinatorially from the gamma coefficients, but the argument that its f-vector exactly matches the gamma-vector for all complete building sets (not just maximal) relies on an inductive count that appears to assume the building set is flag-closed; a counter-example or additional check for a minimal building set of a non-braid matroid would strengthen the claim.

    Authors: We thank the referee for this observation on the proof of the f-vector equality in Section 5. The inductive count is valid for all complete building sets because completeness already implies the necessary closure properties under the relevant joins and meets used in the induction (without requiring the stronger flag-closed condition). Nevertheless, to directly address the concern and strengthen the exposition, we have added an explicit computational check for a minimal building set of a non-braid matroid (the minimal building set on the uniform matroid U_{3,6}, which is non-braid). This verification confirms that the f-vector of Γ coincides with the gamma-vector in this case, and we have inserted the example as a remark following the inductive argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from new definitions and external geometric theorems

full rationale

The paper defines complete (and flag) building sets, then invokes standard toric geometry and tropical intersection theory to establish gamma-positivity of the Hilbert-Poincaré polynomials. A combinatorial formula for the gamma coefficients is extracted directly from that geometric analysis and used to construct the simplicial complex Γ whose f-vector matches the gamma-vector. No equation or claim reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation; the central results rest on independent external tools rather than internal re-labeling of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on the newly introduced definitions of complete and flag building sets, the association of toric varieties to matroids with these sets, and the applicability of tropical intersection theory to their Chow rings.

axioms (1)
  • domain assumption Chow rings of toric varieties associated to matroids with complete or flag building sets admit gamma-positive Hilbert-Poincaré polynomials
    This is the key property established in the proofs using toric geometry.
invented entities (2)
  • complete building sets no independent evidence
    purpose: A class of building sets encompassing maximal building sets and other families such as minimal building sets of braid matroids
    Newly defined to enable the gamma-positivity analysis.
  • simplicial complex Γ no independent evidence
    purpose: A complex whose f-vector coincides with the gamma-vector of the Chow polynomial
    Explicitly constructed from the combinatorial formula for the gamma coefficients.

pith-pipeline@v0.9.0 · 5627 in / 1553 out tokens · 80790 ms · 2026-05-10T19:58:09.217264+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.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · 1 internal anchor

  1. [1]

    Anisotropy, biased pairings, and the

    [AAP21] Karim Adiprasito, Stavros Argyrios Papadakis, and Vasiliki Petrotou,Anisotropy, biased pairings, and the Lefschetz property for pseudomanifolds and cycles, arXiv e-prints (2021), arXiv:2101.07245. 40 [ACM25] Paolo Aluffi, Stephanie Chen, and Matilde Marcolli,Log concavity of the Grothendieck class of M0,n, J. Algebraic Combin.61(2025), no. 4, Pape...

    work page arXiv 2021

  2. [2]

    MR 4921579 3, 5, 38, 42 [ADH23] Federico Ardila, Graham Denham, and June Huh,Lagrangian geometry of matroids, J. Amer. Math. Soc.36(2023), no. 3, 727–794. MR 4583774 2 [Adi18] Karim Adiprasito,Combinatorial Lefschetz theorems beyond positivity, arXiv e-prints (2018), arXiv:1812.10454. 40 [AF25] Christos A. Athanasiadis and Luis Ferroni,A convex ear decomp...

    work page arXiv 2023

  3. [3]

    MR 4565299 43 [AP26] Omid Amini and Matthieu Piquerez,Hodge theory for tropical fans, Bull. Soc. Math. France (2026), to appear. 2, 25, 28, 29 [AR10] Lars Allermann and Johannes Rau,First steps in tropical intersection theory, Math. Z.264 (2010), no. 3, 633–670. MR 2591823 23 [BBC97] Eric K. Babson, Louis J. Billera, and Clara S. Chan,Neighborly cubical s...

    work page arXiv 2026

  4. [4]

    Billera and Carl W

    MR 4477425 16, 31 [BL81] Louis J. Billera and Carl W. Lee,A proof of the sufficiency of McMullen’s conditions forf- vectors of simplicial convex polytopes, J. Combin. Theory Ser. A31(1981), no. 3, 237–255. MR 635368 40 [Boa71] J. M. Boardman,Homotopy structures and the language of trees, Algebraic topology (Proc. Sympos. Pure Math., Vol. XXII, Univ. Wisco...

    work page arXiv 1981

  5. [5]

    Math.155(2004), no

    27 [FY04] Eva Maria Feichtner and Sergey Yuzvinsky,Chow rings of toric varieties defined by atomic lattices, Invent. Math.155(2004), no. 3, 515–536. MR 2038195 1, 32 [Gal05] Światosław R. Gal,Real root conjecture fails for five- and higher-dimensional spheres, Discrete Comput. Geom.34(2005), no. 2, 269–284. MR 2155722 3 [GKM09] Andreas Gathmann, Michael K...

    work page arXiv 2004

  6. [6]

    MR 2275625 22 [MM23] Matthew Mastroeni and Jason McCullough,Chow rings of matroids are Koszul, Math. Ann. 387(2023), no. 3-4, 1819–1851. MR 4657438 16, 41, 42 [MW25] Lili Mu and Volkmar Welker,On a question about real rooted polynomials and f-polynomials of simplicial complexes, arXiv e-prints (2025), arXiv:2503.24076. 43 [NP11] Eran Nevo and T. Kyle Pete...

    work page internal anchor Pith review arXiv 2023

  7. [7]

    MR 2849819 6, 10, 11, 14, 15 [Pos09] Alexander Postnikov,Permutohedra, associahedra, and beyond, Int. Math. Res. Not. IMRN (2009), no. 6, 1026–1106. MR 2487491 17 [PP05] Alexander Polishchuk and Leonid Positselski,Quadratic algebras, University Lecture Series, vol. 37, American Mathematical Society, Providence, RI,

    work page 2009

  8. [8]

    40 [PP23] Roberto Pagaria and Gian Marco Pezzoli,Hodge theory for polymatroids, Int

    MR 2177131 41 [PP20] Stavros Papadakis and Vasiliki Petrotou,The characteristic 2 anisotropicity of simplicial spheres, arXiv e-prints (2020), arXiv:2012.09815. 40 [PP23] Roberto Pagaria and Gian Marco Pezzoli,Hodge theory for polymatroids, Int. Math. Res. Not. IMRN (2023), no. 23, 20118–20168. MR 4675068 2, 29, 30 [PRW08] Alex Postnikov, Victor Reiner, a...

    work page arXiv 2020

  9. [9]

    MR 1453579 7, 40 [Ste21] Matthew Stevens,Real-rootedness conjectures in matroid theory, 2021, Thesis (Bachelor)– Stanford University,https://mcs0042.github.io/bachelor.pdf, p

    work page 2021

  10. [10]

    Math.482(2025), Paper No

    2 [Stu25] Christian Stump,Chow and augmented Chow polynomials as evaluations of Poincaré-extended ab-indices, Adv. Math.482(2025), Paper No. 110618. MR 4975905 2, 4, 29 [SV26] Adam Schweitzer and Lorenzo Vecchi,Existence of Kähler algebras with Chow polynomials as Hilbert series, arXiv e-prints (2026), arXiv:2601.00782. 6, 41, 42 [Swa06] Ed Swartz,g-eleme...

    work page arXiv 2025