The reviewed record of science sign in
Pith

arxiv: 2606.22650 · v1 · pith:RAAIYCFI · submitted 2026-06-21 · math.AG · math.CO

Tangent classes for matroid building sets

Ronnie Cheng This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-06-26 09:27 UTCgrok-4.3pith:RAAIYCFIrecord.jsonopen to challenge →

classification math.AG math.CO
keywords matroidbuilding settangent classHirzebruch-Riemann-RochChow polynomialChern inequalitiesK-ringwonderful model
0
0 comments X

The pith

Matroids with building sets admit a tangent class that obeys Riemann-Roch identities and gives Chern inequalities.

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

The paper defines a tangent class T_{M,G} inside the K-ring of a matroid M equipped with a building set G. This class is constructed to extend the geometric tangent bundle that exists when the matroid is realizable over the complex numbers. The definition ensures that the associated Hirzebruch class, formed from the Chern character of the dual and the Todd class, specializes to the Todd class and equals the Chow polynomial of the pair (M,G). When the matroid is realizable, the identities recover the standard calculations performed with the tangent bundle on the wonderful model. The same class also produces Chern-number inequalities that hold in the matroid setting, including a version of the Miyaoka-Yau inequality.

Core claim

The tangent class T_{M,G} in K(M,G) satisfies that its Hirzebruch class ch(λ_y T_{M,G}^∨) td(T_{M,G}) specializes to the Todd class and computes the Chow polynomial of (M,G). In the realizable case these identities agree with the usual tangent-bundle computations on the corresponding wonderful model. As an application, Chern-number inequalities for T_{M,G} are proved, including a Miyaoka-Yau type inequality with respect to the hyperplane class.

What carries the argument

The tangent class T_{M,G} defined in the K-ring K(M,G) for a loopless matroid M and building set G containing the top flat, which carries the Hirzebruch-Riemann-Roch identities.

If this is right

  • The Chow polynomial of any matroid with building set can be computed from this K-theoretic class.
  • Chern number inequalities hold combinatorially for all such matroids.
  • A Miyaoka-Yau type inequality holds with respect to the hyperplane class in this setting.
  • In the realizable case the class recovers the geometric tangent bundle on the wonderful model.

Where Pith is reading between the lines

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

  • This approach may allow positivity statements or intersection theory to be defined purely combinatorially for matroids.
  • Similar tangent classes could be constructed for other combinatorial structures like polymatroids.
  • The method might provide new proofs of known inequalities in algebraic geometry by reducing them to matroid calculations.

Load-bearing premise

A well-defined tangent class T_{M,G} exists in the K-ring for arbitrary loopless matroids such that the HRR identities follow from the definition.

What would settle it

A specific matroid and building set where the Hirzebruch class formed from the tangent class does not equal the Chow polynomial, or fails to match the geometric computation when the matroid is realizable.

read the original abstract

Let \(M\) be a loopless matroid on a finite ground set \(E\), and let \(\G\) be a building set containing the top flat \(E\). We define a tangent class \(T_{M,\G}\) in the \(K\)-ring \(K(M,\G)\), which extends the tangent bundle class of the de Concini--Procesi wonderful model from realizable matroids to arbitrary matroids with building sets. The class \(T_{M,\G}\) satisfies a matroidal Hirzebruch--Riemann--Roch package. More precisely, its Hirzebruch class \[ \operatorname{ch}(\lambda_y T_{M,\G}^{\vee})\operatorname{td}(T_{M,\G}) \] specializes to the Todd class and computes the Chow polynomial of \((M,\G)\). In the realizable case, these identities agree with the usual tangent-bundle computations on the corresponding wonderful model. As an application, we prove Chern-number inequalities for \(T_{M,\G}\), including a Miyaoka--Yau type inequality with respect to the hyperplane class.

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 / 2 minor

Summary. The paper defines a tangent class T_{M,G} in the K-ring K(M,G) associated to a loopless matroid M equipped with a building set G containing the top flat E. This class is constructed combinatorially so that it extends the class of the tangent bundle on the de Concini-Procesi wonderful model when M is realizable. The central claims are that the Hirzebruch class ch(λ_y T_{M,G}^∨) td(T_{M,G}) specializes to the Todd class and equals the Chow polynomial of the pair (M,G), and that this yields Chern-number inequalities (including a Miyaoka-Yau type inequality with respect to the hyperplane class) that hold for arbitrary loopless matroids.

Significance. If the claims hold, the work supplies a parameter-free combinatorial extension of the Hirzebruch-Riemann-Roch package from wonderful models to general matroids with building sets. This would allow direct computation of Chow polynomials via K-theoretic data without geometric realization and would furnish new inequalities in the matroid setting. The explicit, relation-respecting definition (with no free parameters or ad-hoc axioms) is a notable strength if the invariance under the quotient relations of K(M,G) is established combinatorially.

major comments (2)
  1. [§3] §3 (definition of T_{M,G} and the ring K(M,G)): the manuscript must supply an explicit verification that the proposed formula for T_{M,G} is invariant under the full set of matroid and building-set relations that define the quotient K(M,G). Without this step, the claim that T_{M,G} lies in K(M,G) for non-realizable M (and that the subsequent HRR identities follow from the definition alone) remains unestablished; this is the load-bearing point identified in the stress-test note.
  2. [§4] §4 (proof of the matroidal HRR package): the specialization ch(λ_y T^∨) td(T) = Chow polynomial must be shown to hold inside the quotient ring rather than only after base change to a geometric realization. If any step appeals to the realizable case or to geometric properties not encoded in the relations, the extension to arbitrary matroids is not yet justified.
minor comments (2)
  1. [§2] Notation for the building set G and the top flat E should be introduced once in §2 and used consistently; occasional shifts between (M,G) and M,G are distracting but not substantive.
  2. [application section] The statement of the Miyaoka-Yau inequality in the application section would benefit from an explicit comparison with the classical geometric version (including the precise role of the hyperplane class).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and for pinpointing the two central points that require strengthening. Both concerns are valid and will be addressed by adding explicit combinatorial verifications in the revised manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (definition of T_{M,G} and the ring K(M,G)): the manuscript must supply an explicit verification that the proposed formula for T_{M,G} is invariant under the full set of matroid and building-set relations that define the quotient K(M,G). Without this step, the claim that T_{M,G} lies in K(M,G) for non-realizable M (and that the subsequent HRR identities follow from the definition alone) remains unestablished; this is the load-bearing point identified in the stress-test note.

    Authors: We agree that an explicit, relation-by-relation verification is necessary to confirm that the given formula for T_{M,G} descends to the quotient K(M,G). In the revision we will insert a new subsection (or expanded paragraph) in §3 that checks invariance under each generator of the ideal of relations, using only the combinatorial definition of the building set and the standard presentation of the K-ring. This verification will be purely algebraic and will not rely on realizability. revision: yes

  2. Referee: [§4] §4 (proof of the matroidal HRR package): the specialization ch(λ_y T^∨) td(T) = Chow polynomial must be shown to hold inside the quotient ring rather than only after base change to a geometric realization. If any step appeals to the realizable case or to geometric properties not encoded in the relations, the extension to arbitrary matroids is not yet justified.

    Authors: We accept that the proof of the Hirzebruch–Riemann–Roch identity must be established intrinsically inside K(M,G). The manuscript already frames the argument combinatorially, but we will revise §4 to isolate each step that uses only the ring relations and the definition of T_{M,G}, making clear that no appeal to a geometric model or base change is required. Any intermediate identity that previously invoked realizability will be replaced by a direct combinatorial argument or flagged as such. revision: yes

Circularity Check

0 steps flagged

No circularity; tangent class defined independently and identities stated to follow from definition

full rationale

The paper explicitly defines the tangent class T_{M,G} in K(M,G) as a combinatorial extension of the geometric case, then asserts that the Hirzebruch-Riemann-Roch identities and Chern inequalities follow from this definition. No equations, self-citations, or fitted parameters are exhibited that reduce the claimed package to the input data or prior results by construction. The construction is presented as self-contained for arbitrary loopless matroids, with agreement in the realizable case serving only as consistency check rather than load-bearing justification.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities beyond the standard matroid and building-set axioms can be extracted. The tangent class itself is a new defined object rather than an invented physical entity.

pith-pipeline@v0.9.1-grok · 5716 in / 1132 out tokens · 15492 ms · 2026-06-26T09:27:40.040911+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    cs.AI 2026-07 conditional novelty 7.0

    Danus orchestrates parallel LLM-based proof search around a shared, verifier-checked fact graph, producing six research-level mathematical proofs.

Reference graph

Works this paper leans on

34 extracted references · 7 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adiprasito, Karim and Huh, June and Katz, Eric , title =

  2. [2]

    Aluffi, Paolo , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1017/S0305004109990247 ,

    work page doi:10.1017/s0305004109990247 2010

  3. [3]

    Berget, Andrew and Eur, Christopher and Spink, Hunter and Tseng, Dennis , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-023-01194-5 ,

    work page doi:10.1007/s00222-023-01194-5 2023

  4. [4]

    2024 , eprint =

    Aluffi, Paolo and Marcolli, Matilde and Nascimento, Leandro , title =. 2024 , eprint =

    2024

  5. [5]

    and Proudfoot, Nicholas and Wang, Botong , title =

    Braden, Tom and Huh, June and Matherne, Jacob P. and Proudfoot, Nicholas and Wang, Botong , title =

  6. [6]

    Hirzebruch classes and motivic

    Brasselet, Jean-Paul and Sch. Hirzebruch classes and motivic

  7. [7]

    Crowley, Colin and Huh, June and Larson, Matt and Simpson, Connor and Wang, Botong , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2026 , NUMBER =. doi:10.1090/tran/9492 ,

    work page doi:10.1090/tran/9492 2026

  8. [8]

    2026 , eprint =

    Cheng, Ronnie , title =. 2026 , eprint =

    2026

  9. [9]

    2026 , eprint =

    Cheng, Ronnie and Lin, Wangyang , title =. 2026 , eprint =

    2026

  10. [10]

    2025 , doi =

    Dorpalen-Barry, Galen and Maglione, Joshua and Stump, Christian , title =. 2025 , doi =. 2301.05904 , archivePrefix =

    work page arXiv 2025

  11. [11]

    Vezzosi, Gabriele and Vistoli, Angelo , title =

  12. [12]

    Backman, Spencer and Eur, Christopher and Simpson, Connor , title =. J. Eur. Math. Soc. (JEMS) , issn =. 2024 ,

    2024

  13. [13]

    Narasimhan, M. S. and Ramanan, S. , TITLE =. J. Indian Math. Soc. (N.S.) , FJOURNAL =. 1975 , PAGES =

    1975

  14. [14]

    Ardila, Federico and Denham, Graham and Huh, June , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/jams/1009 ,

    work page doi:10.1090/jams/1009 2023

  15. [15]

    Forum Math

    Totaro, Burt , TITLE =. Forum Math. Sigma , FJOURNAL =. 2014 , PAGES =. doi:10.1017/fms.2014.15 ,

    work page doi:10.1017/fms.2014.15 2014

  16. [16]

    de Concini, Corrado and Procesi, Claudio , title =

  17. [17]

    Denham, Graham , title =

  18. [18]

    and Pagaria, Roberto and Vecchi, Lorenzo , title =

    Eur, Christopher and Ferroni, Luis and Matherne, Jacob P. and Pagaria, Roberto and Vecchi, Lorenzo , title =. 2026 , eprint =

    2026

  19. [19]

    and Stevens, Matthew and Vecchi, Lorenzo , title =

    Ferroni, Luis and Matherne, Jacob P. and Stevens, Matthew and Vecchi, Lorenzo , title =

  20. [20]

    On the topology of nested set complexes , journaltitle =

    Feichtner, Eva Maria and M. On the topology of nested set complexes , journaltitle =

  21. [21]

    Feichtner, Eva Maria and Sturmfels, Bernd , title =

  22. [22]

    and Kebekus, S

    Greb, Daniel and Kebekus, Stefan and Taji, Behrouz , TITLE =. Algebraic geometry:. 2018 ,. doi:10.1090/pspum/097.1/01676 ,

    work page doi:10.1090/pspum/097.1/01676 2018

  23. [23]

    Feichtner, Eva Maria and Yuzvinsky, Sergey , title =

  24. [24]

    Fulton, William , title =

  25. [25]

    Fulton, William and MacPherson, Robert , title =

  26. [26]

    The moduli space of curves , booksubtitle =

    Getzler, Ezra , title =. The moduli space of curves , booksubtitle =

  27. [27]

    , title =

    Kapranov, Mikhail M. , title =. I. M. Gel'fand Seminar , series =

  28. [28]

    Keel, Sean , title =

  29. [29]

    , title =

    Manin, Yuri I. , title =. The moduli space of curves , booksubtitle =

  30. [30]

    MacPherson, Robert and Procesi, Claudio , title =

  31. [31]

    Larson, Matt and Li, Shiyue and Payne, Sam and Proudfoot, Nicholas , title =. 2024 ,

    2024

  32. [32]

    Pagaria, Roberto and Pezzoli, Giovanni , title =. 2023 ,

    2023

  33. [33]

    Stump, Christian , title =

  34. [34]

    Tevelev, Jenia , title =