Tangent classes for matroid building sets

Ronnie Cheng

A single tangent class for any matroid building set realizes the formal Hirzebruch–Riemann–Roch package and recovers the Chow polynomial as a Hirzebruch genus.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-12 12:51 UTC pith:RAAIYCFI

load-bearing objection Solid extension of the maximal-building-set tangent class to arbitrary G, with a clean formal realization of the HRR package and usable Chern inequalities.

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

Tangent classes for matroid building sets

Ronnie Cheng This is my paper

classification math.AG math.CO MSC 14C1714M2505B3519E20

keywords matroidbuilding settangent classHirzebruch–Riemann–RochChow polynomialwonderful modelChern numbersMiyaoka–Yau

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper constructs a tangent class in the K-ring of any loopless matroid equipped with a building set. This class extends the ordinary tangent bundle of the de Concini–Procesi wonderful model from the realizable case to arbitrary matroids. Its Hirzebruch class is shown to equal the formally defined Hirzebruch class of the pair, so the Todd class is the Todd of this tangent class and the degree of the specialized Hirzebruch class recovers the Chow polynomial. The construction is combinatorial, using Aluffi’s blow-up correction term interpreted entirely inside Feichtner–Yuzvinsky rings, and therefore does not require a linear realization. As a numerical consequence the same class yields Chern-number inequalities against the hyperplane class, including a Miyaoka–Yau-type inequality. A sympathetic reader cares because algebraic-geometry constraints on Chern numbers and duality become available for every matroid, not merely the representable ones.

Core claim

For every loopless matroid M and every building set G containing the top flat, the intrinsically defined tangent class T_{M,G} satisfies Hy(M,G)=ch(λ_y T^∨_{M,G}) td(T_{M,G}). In particular the formal Todd class equals td(T_{M,G}) and the Chow polynomial of (M,G) is recovered as the Hirzebruch genus of T_{M,G}.

What carries the argument

The tangent class T_{M,G} itself—an explicit K-class built from Euler, boundary-normal and cutting-class correction terms that obeys the relative Aluffi recursion under every one-step building-set enlargement and the star-normal identity on blow-up centers. These two identities make the universal blow-up formula for Hirzebruch classes coincide with the recursive definition of Hy.

Load-bearing premise

The recursive definition of the formal Hirzebruch class along a chain of one-step enlargements from G to the maximal building set is independent of the chosen chain; the paper treats this independence as a consequence of the realization theorem rather than proving it first.

What would settle it

Compute both sides of the claimed equality Hy(M,G)=Φ_y(T_{M,G}) for a small non-realizable matroid (for example the Fano matroid with a non-maximal building set) by expanding the Feichtner–Yuzvinsky presentations and check whether the coefficients of the two polynomials in y agree.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Solid extension of the maximal-building-set tangent class to arbitrary G, with a clean formal realization of the HRR package and usable Chern inequalities.

read the letter

This paper does exactly what the title claims: it builds an intrinsic tangent class T_{M,G} in K(M,G) for every building set, not just the maximal one, and shows it realizes the formal Todd and Hirzebruch classes that recover the Chow polynomial. The construction is the Aluffi complete-intersection correction written combinatorially (Def. 3.3), and the two load-bearing identities—relative Aluffi under one-step enlargement (Prop. 3.9) and star-normal factorization on the center (Prop. 4.10)—are proved by direct expansion in the Feichtner–Yuzvinsky rings using only Stanley–Reisner and the cutting-class definitions. Once those hold, the universal blow-up formula for Φ_y matches the recursive definition of H_y, so Theorem A is formal and does not need realizability.

What is new is the general-G class itself, the two identities, and the resulting Chern-number inequalities against α (Thm 4.20), including the Miyaoka–Yau form for k=2. The maximal case was already in the author’s earlier note; this is the natural and non-trivial extension. The formal package is defined by push-forward from G_max, so there is a mild dependence on prior work, but the new content is self-contained once that is granted. The chain-independence caveat the reader flagged is real but non-load-bearing: H_y is defined along a chosen chain, yet the induction simultaneously shows that Φ_y(T_{M,G}) (which is intrinsic) equals every such recursive class, so independence follows rather than being assumed.

Soft spots are minor. The inequalities are combinatorial lower bounds that recover the projective-space numbers; they are clean but not deep. Citation pattern is appropriate and the math is careful. This is for people already working on matroid Chow rings, wonderful models, or tautological classes; they will use the formulas. It deserves a serious referee and I would cite the inequalities and the general tangent class. Send it out.

Referee Report

0 major / 4 minor

Summary. The paper constructs, for every loopless matroid M and every building set G containing the top flat E, a tangent class T_{M,G} in the Feichtner–Yuzvinsky K-ring K(M,G). The definition (3.5) is combinatorial and is motivated by Aluffi’s complete-intersection blow-up formula; when M is realizable it recovers the tangent bundle of the de Concini–Procesi wonderful model. The main result (Theorem 4.4) asserts that this class realizes the formal Hirzebruch–Riemann–Roch package previously defined by push-forward from the maximal building set: the Hirzebruch class of T_{M,G} equals the recursively defined H_y(M,G), its Todd class equals Td_{M,G}, and the degree of the Hirzebruch class at y=−t recovers the Chow polynomial of (M,G). The proof proceeds by verifying a relative Aluffi identity for one-step enlargements (Proposition 3.9) and a star-normal factorization on the blow-up center (Proposition 4.10), then matching both to a universal one-step formula for Hirzebruch classes (Lemma 4.5). Numerical consequences include Chern-number inequalities against the hyperplane class α and a Miyaoka–Yau-type inequality.

Significance. The work cleanly extends the author’s earlier tangent-class construction from the maximal building set to arbitrary building sets, thereby supplying a single geometric object that simultaneously produces the Todd class, the Hirzebruch class, and the Chow polynomial for every (M,G). The argument is entirely formal in the Feichtner–Yuzvinsky rings and therefore applies to non-representable matroids; the two combinatorial identities (relative Aluffi and star-normal) are proved by direct expansion using only Stanley–Reisner relations and the definitions of cutting classes. The resulting Chern inequalities and the Miyaoka–Yau comparison with projective space give concrete numerical content. The construction is intrinsic, parameter-free, and recovers the classical geometry whenever a realization exists.

minor comments (4)

Section 4.3, after (4.4): the text notes that the recursive definition of H_y may a priori depend on the chosen chain from G to G_max, and that independence follows from Theorem 4.4. A short forward pointer or a one-sentence remark that the induction simultaneously proves independence would make the logical order clearer for the reader.
Definition 3.3 and equation (3.6): the total Chern class is written as a product involving rational functions of divisor classes. It would help to record explicitly that these expressions are well-defined in the Chow ring (i.e., that the denominators invert after the Stanley–Reisner relations are imposed).
Lemma 4.16: the self-intersection formula ∫ x_F^s α^{d−s} = (−1)^{s−1} is used repeatedly; a brief cross-reference to the corresponding geometric statement for realizable matroids (or a pointer to the toric orbit-closure computation) would improve readability.
References: the arXiv identifiers of the author’s related preprints [Che26] and [CL26] appear with future dates; once those papers are published or stabilized, the citations should be updated.

Circularity Check

1 steps flagged

No significant circularity: intrinsic T_{M,G} is defined independently and shown by combinatorial identities to realize a formal package whose base case cites the author's prior maximal-building-set construction.

specific steps

self citation load bearing [Section 1 (Introduction) and Section 4.3 (eq. 4.3)]
"For the maximal building set G_max, a tangent class T_M ∈ K(M,G_max) was constructed in [Che26]. ... For the maximal building set, set H_y(M,G_max) := Phi_y(T_{M,G_max})."

The formal HRR package (Todd class by push-forward, Hirzebruch class by recursion) takes its base case from the author's own prior construction of T_M for G_max. This is ordinary self-citation of a previous result rather than a definitional loop inside the present paper; the new content (intrinsic formula for general G and verification of Aluffi/star identities) does not reduce to that citation.

full rationale

The paper defines T_{M,G} by an explicit K-class formula (Def. 3.3) that makes sense for any building set. It separately defines a formal Todd class by push-forward of td(T_{M,G_max}) and a formal Hirzebruch class H_y by recursion along one-step enlargements starting from Phi_y(T_{M,G_max}). Theorem 4.4 then proves equality by descending induction: the relative Aluffi identity (Prop. 3.9) and star-normal identity (Prop. 4.10) are verified by direct expansion in the Feichtner–Yuzvinsky rings using only Stanley–Reisner relations and the definitions of cutting classes; these match the universal one-step Hirzebruch formula (Lemma 4.5). Because the right-hand side Phi_y(T_{M,G}) is intrinsic, the induction simultaneously shows chain-independence of the recursive H_y. The only self-citation is the base case T_{M,G_max} from the author's prior paper [Che26] (and Prop. 3.5 re-derives agreement with the new formula). That citation is ordinary scaffolding for the induction base, not a load-bearing uniqueness claim or a definitional reduction of the main equality. Chern-number inequalities follow from truncation and induction on the realized class without further circular steps. The derivation is therefore self-contained once the two combinatorial identities are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 1 invented entities

The work is pure combinatorial algebraic geometry. No numerical parameters are fitted. The load-bearing background consists of standard facts about building sets, nested-set fans, Feichtner–Yuzvinsky presentations, and the author’s prior construction for the maximal building set. The sole invented entity is the tangent class itself, whose independent geometric meaning is verified only in the realizable case.

axioms (5)

domain assumption Feichtner–Yuzvinsky presentation of A(M,G) and K(M,G) for any building set G containing E (eqs. (2.1)–(2.2) and [LLPP24]).
Used throughout to identify Chow and K-rings with combinatorial rings; taken as standard.
domain assumption Existence of a chain of one-step enlargements from any building set G to G_max ([FM05, Thm 4.2], [EFMPV26, Prop 5.2]).
Invoked to define the formal Hirzebruch class recursively (Section 4.3).
domain assumption The tangent class T_M for the maximal building set satisfies the matroidal HRR package ([Che26, Thm 3.4]).
Base case of the induction that proves Theorem 4.4; taken from the author’s prior work.
standard math K-theoretic Stanley–Reisner relations for non-nested collections (Lemma 2.3).
Used repeatedly to cancel terms in cutting-class identities (Lemmas 3.8, 4.8).
domain assumption Star-fan product identification Star(σ_F^B) ≃ Σ_{M|F,B|F} × Σ_{M/F,B/F} ([EFMPV26, Lem 5.4]).
Needed for the restriction map ι_F^* and the star-normal identity (Prop 4.10).

invented entities (1)

Tangent class T_{M,G} ∈ K(M,G) independent evidence
purpose: Provides a single K-class whose Chern character and Todd class realize the formal HRR package for arbitrary building sets.
Defined intrinsically by formula (3.5) copying Aluffi’s blow-up correction; geometric meaning is verified only when M is realizable.

pith-pipeline@v1.1.0-grok45 · 26255 in / 2952 out tokens · 30056 ms · 2026-07-12T12:51:47.985562+00:00 · methodology

0 comments

read the original abstract

Significant combinatorial constraints and structure on matroids can come from notions in algebraic geometry, even without the matroids themselves being representable. 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 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.

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 5 Pith papers

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

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.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
cs.AI 2026-07 conditional novelty 6.5

Danus uses a main planner, parallel workers, and a shared verified fact graph to construct long research-level mathematical proofs across six case studies.
A Riemann-Roch theorem for Frobenius quotients
math.AG 2026-07 conditional novelty 6.0

A Chern-character isomorphism between discrete and continuous Frobenius quotients exists exactly when the defining polynomials are related by an invertible Todd class (f = td·g), and then K_f inherits λ-ring, Chern-cl...
Tangent classes of matroids and wonderful compactifications
math.AG 2026-07 conditional novelty 4.0

Danus constructs an integral matroid tangent class in K_Z(M,G) that matches wonderful-model tangents, recovers Chow Hilbert series via HRR, and obeys Chern-alpha bounds, reproducing Cheng's concurrent work.
Tangent classes of matroids and wonderful compactifications
math.AG 2026-07 conditional novelty 2.0

An integral tangent class is constructed in the combinatorial K-ring of every loopless matroid with a Feichtner–Yuzvinsky building set, reproducing the tangent class and its key properties from [Che26].

Reference graph

Works this paper leans on

5 extracted references · 1 linked inside Pith · cited by 3 Pith papers

[1]

Lagrangian geometry of matroids

[ADH23] F. Ardila, G. Denham, and J. Huh. “Lagrangian geometry of matroids”. In:J. Amer. Math. Soc.36.3 (2023), pp. 727–794.issn: 0894-0347,1088-6834. [AHK18] K. Adiprasito, J. Huh, and E. Katz. “Hodge theory for combinatorial geometries”. In:Annals of Mathematics. 2nd ser. 188.2 (2018), pp. 381–452. [Alu08] P. Aluffi. “Chern classes of blow-ups”. In:Math...

2023
[2]

The Bergman fan of a polymatroid

arXiv:2510.06609 [math.AG]. [CHLSW24] C. Crowley, J. Huh, M. Larson, C. Simpson, and B. Wang. “The Bergman fan of a polymatroid”. In:Trans. Amer. Math. Soc.379.5 (2026), pp. 3239–3256. [CL26] R. Cheng and W. Lin.Moment inequalities for Chow polynomials of matroids and bounds on Chern numbers

arXiv 2026
[3]

Wonderful models of subspace arrangements

arXiv:2603.21680 [math.AG]. [DCP95] C. de Concini and C. Procesi. “Wonderful models of subspace arrangements”. In: Selecta Mathematica. New Series1.3 (1995), pp. 459–494. [Den14] G. Denham. “Toric and tropical compactifications of hyperplane complements”. In:Annales de la Facult´ e des Sciences de Toulouse. Math´ ematiques. 6th ser. 23.2 (2014), pp. 297–3...

Pith/arXiv arXiv 1995
[4]

On the topology of nested set complexes

arXiv:2504.16776 [math.CO]. [FM05] E. M. Feichtner and I. M¨ uller. “On the topology of nested set complexes”. In: Proceedings of the American Mathematical Society133.4 (2005), pp. 999–1006. 28 REFERENCES [FS05] E. M. Feichtner and B. Sturmfels. “Matroid polytopes, nested sets and Bergman fans”. In:Portugaliae Mathematica. New Series62.4 (2005), pp. 437–4...

arXiv 2005
[5]

K-rings of wonderful varieties and matroids

Vol. 97.1. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 2018, pp. 277–308. [LLPP24] M. Larson, S. Li, S. Payne, and N. Proudfoot. “K-rings of wonderful varieties and matroids”. In:Advances in Mathematics441 (2024), Paper No. 109554. [NR75] M. S. Narasimhan and S. Ramanan. “Generalised Prym varieties as fixed points”. In:J. Indian Math. Soc. ...

2018

[1] [1]

Lagrangian geometry of matroids

[ADH23] F. Ardila, G. Denham, and J. Huh. “Lagrangian geometry of matroids”. In:J. Amer. Math. Soc.36.3 (2023), pp. 727–794.issn: 0894-0347,1088-6834. [AHK18] K. Adiprasito, J. Huh, and E. Katz. “Hodge theory for combinatorial geometries”. In:Annals of Mathematics. 2nd ser. 188.2 (2018), pp. 381–452. [Alu08] P. Aluffi. “Chern classes of blow-ups”. In:Math...

2023

[2] [2]

The Bergman fan of a polymatroid

arXiv:2510.06609 [math.AG]. [CHLSW24] C. Crowley, J. Huh, M. Larson, C. Simpson, and B. Wang. “The Bergman fan of a polymatroid”. In:Trans. Amer. Math. Soc.379.5 (2026), pp. 3239–3256. [CL26] R. Cheng and W. Lin.Moment inequalities for Chow polynomials of matroids and bounds on Chern numbers

arXiv 2026

[3] [3]

Wonderful models of subspace arrangements

arXiv:2603.21680 [math.AG]. [DCP95] C. de Concini and C. Procesi. “Wonderful models of subspace arrangements”. In: Selecta Mathematica. New Series1.3 (1995), pp. 459–494. [Den14] G. Denham. “Toric and tropical compactifications of hyperplane complements”. In:Annales de la Facult´ e des Sciences de Toulouse. Math´ ematiques. 6th ser. 23.2 (2014), pp. 297–3...

Pith/arXiv arXiv 1995

[4] [4]

On the topology of nested set complexes

arXiv:2504.16776 [math.CO]. [FM05] E. M. Feichtner and I. M¨ uller. “On the topology of nested set complexes”. In: Proceedings of the American Mathematical Society133.4 (2005), pp. 999–1006. 28 REFERENCES [FS05] E. M. Feichtner and B. Sturmfels. “Matroid polytopes, nested sets and Bergman fans”. In:Portugaliae Mathematica. New Series62.4 (2005), pp. 437–4...

arXiv 2005

[5] [5]

K-rings of wonderful varieties and matroids

Vol. 97.1. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 2018, pp. 277–308. [LLPP24] M. Larson, S. Li, S. Payne, and N. Proudfoot. “K-rings of wonderful varieties and matroids”. In:Advances in Mathematics441 (2024), Paper No. 109554. [NR75] M. S. Narasimhan and S. Ramanan. “Generalised Prym varieties as fixed points”. In:J. Indian Math. Soc. ...

2018