Pith. sign in

REVIEW 1 major objections 4 minor 2 cited by

An integral K-class for every loopless matroid acts like the tangent bundle of a wonderful compactification.

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-11 02:03 UTC pith:ELQAHNI6

load-bearing objection Solid integral tangent class for matroids that reproduces Cheng's concurrent result, with one local expositional gap that does not break the construction or Hilbert identity. the 1 major comments →

arxiv 2607.05835 v2 pith:ELQAHNI6 submitted 2026-07-07 math.AG cs.AImath.CO

Tangent classes of matroids and wonderful compactifications

Ronnie Cheng , Shurui Liu , Guoxiong Gao This is my paper
classification math.AG cs.AImath.CO MSC 14C3514M2505B3514C17
keywords matroidwonderful compactificationbuilding setcombinatorial K-theorytangent classChow ringChern-alpha inequalitiesHirzebruch-Riemann-Roch
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, for every loopless matroid and every top-containing Feichtner–Yuzvinsky building set, a single integral class in the combinatorial K-ring that behaves like the tangent bundle of a De Concini–Procesi wonderful model. When the matroid is realized by a linear subspace, the class maps under a ring isomorphism to the actual tangent-bundle class of the wonderful compactification. In all cases, including non-realizable matroids, its K-theoretic Todd polynomial recovers the Hilbert series of the matroid Chow ring, and its Chern numbers against powers of the top-flat class satisfy the binomial lower bounds expected from geometry. The construction proceeds by descending a tautological quotient class from the maximal building set, first rationally via Newton power sums and then integrally by proving that one-step refinement maps have free cokernels. The result therefore supplies a uniform combinatorial substitute for a geometric tangent bundle that works whether or not a geometric model exists.

Core claim

For every loopless matroid M of rank d+1 and every top-containing Feichtner–Yuzvinsky building set G there exists an integral class T^Z_{M,G} = sum_{F in G^circ} (1-τ_F)^{-1} - Q^Z_G in the integral combinatorial K-ring K_Z(M,G), with integer coordinates in the standard τ-monomial basis, whose rationalization is a rational tangent class that (i) specializes to the geometric tangent-bundle class of the wonderful model when M is realizable, (ii) satisfies the Hirzebruch–Riemann–Roch identity equating its K-theoretic Todd polynomial with the Hilbert series of the matroid Chow ring, and (iii) obeys the Chern-alpha inequalities deg(c_k α^{d-k}) ≥ binom(d+1,k).

What carries the argument

The integral tangent class T^Z_{M,G} obtained by descending the Berget–Eur–Spink–Tseng tautological quotient from the maximal building set along one-flat refinements whose maps are shown to be saturated over Z; its rationalization carries the Hilbert and Chern-alpha identities, which then lift because rationalization is a ring homomorphism fixing the boundary line classes.

Load-bearing premise

The inductive step that transfers Chern-alpha numbers from a matroid to its rank-(k+1) truncation is asserted without a complete written argument in the paper; if that transfer failed, the lower bounds for ranks five and higher would lose their inductive step.

What would settle it

Compute the integral class for a concrete non-realizable matroid of moderate rank (for example a non-Pappus matroid with a non-maximal building set), extract its Chern numbers against powers of α, and check whether any of them falls below the corresponding binomial coefficient; or verify whether the K-theoretic Todd polynomial fails to match the known Hilbert series of the Chow ring.

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.

Referee Report

1 major / 4 minor

Summary. The paper constructs, for every loopless matroid M and every top-containing Feichtner–Yuzvinsky building set G, an integral class T^Z_{M,G} = sum_{F in G^circ} (1-τ_F)^{-1} - Q^Z_G in the combinatorial K-ring K_Z(M,G). The integral quotient Q^Z_G is obtained by saturated one-step descent of a rank-corrected BEST tautological quotient from the maximal model (Props. 4.1–4.2, 5.5). After rationalization the class recovers the rational tangent class of §3, and the three claimed properties are established: (i) under a realization L there is an integral unital isomorphism θ^Z_G : K_Z(M,G) → K_0(W_{L,G}) sending T^Z to [T_{W_{L,G}}] (Prop. 6.5 and §6); (ii) the K-theoretic Todd polynomial of the rationalization equals the Chow Hilbert series (Thm. 7.8 via Prop. 9.1); (iii) the Chern-alpha numbers satisfy the binomial lower bounds (Thm. 8.15 via Prop. 9.3). The construction and proofs occupy §§2–11; the bulk of the text is presented as the autonomous output of the agent Danus, with human editorial remarks and an experimental log in Appendix B.

Significance. If correct, the result supplies a uniform integral K-class for arbitrary (not necessarily realizable) matroids and building sets that specializes to the geometric tangent bundle on wonderful models, recovers the Hilbert series by HRR, and obeys the expected Chern-alpha inequalities. The integral lift rests on an explicit free-cokernel/saturation argument for one-step maps (Prop. 5.5) and an integral θ-descent (Prop. 6.5), both of independent interest for combinatorial K-theory. The concurrent reproduction of the first author’s arXiv:2606.22650, obtained without access to that preprint, is a noteworthy demonstration of agentic mathematical search; the fact-graph statistics and verification pipeline documented in Appendix B give a concrete, inspectable record of the experiment.

major comments (1)
  1. §8, Lemma 8.7 (rank-(k+1) truncation transfer) is used as the inductive step for the nested-Segre-tail formula (Prop. 8.9) when 4 ≤ k ≤ r−2, and therefore for the Chern-alpha lower bound (Thm. 8.15 / clause (iii) of Thm. 1.1). The authors themselves flag that the binomial-transfer paragraph is incomplete as written and that a short external proof appears in Che26, Prop. 4.19. The construction of T^Z, the realizable comparison, and the Hilbert identity never invoke this lemma, so the gap is local to clause (iii). A self-contained write-up of the truncation identity (or an explicit citation of the short argument) is required before the Chern-alpha claim can be regarded as fully internal to the manuscript.
minor comments (4)
  1. Several editorial remarks (e.g., after Prop. 3.3 Step 2, after Lemma 8.7, after Prop. 8.6) correctly flag compressed passages; expanding those few lines would improve readability without changing the logic.
  2. Notation for the rational versus integral classes (T vs T^Z, Q vs Q^Z) is introduced late relative to the prompt’s abuse of notation; a short notational table at the start of §2 would help.
  3. Appendix B’s fact-graph statistics are valuable but dense; a one-paragraph summary of how many facts support each of the three clauses of Thm. 1.1 would orient the reader.
  4. The fan-support guard (Thm. 10.1) and the uniform atom-plus-top example (Cor. 10.2) are useful; a single sentence in the introduction pointing to them would clarify that the theorem is intrinsic and does not require completeness of the nested fan.

Circularity Check

1 steps flagged

No significant circularity: T^Z is constructed from BEST descent and saturated integral pullbacks, then shown to satisfy (i)–(iii); concurrent Che26 is comparison, not a forcing premise.

specific steps
  1. self citation load bearing [§8 Lemma 8.7 + authors’ remark; used in Prop. 8.9 / Thm. 8.15]
    "The binomial-transfer paragraph is overcompressed. A complete proof of the required truncation identity is given in [Che26, Proposition 4.19]."

    The inductive step of the nested-Segre-tail formula for degrees k≥4 (and thus the Chern-alpha lower bound for higher ranks) relies on a truncation-transfer identity whose in-paper justification is incomplete; the paper imports the missing argument from the first author’s concurrent preprint Che26. This is a genuine self-citation dependency, but it is local to clause (iii) only and does not force the construction of T^Z or the Hilbert identity.

full rationale

The integral tangent class is defined by an explicit construction (descended BEST quotient plus rank correction, minus the sum of inverse boundary line classes) in K_Z(M,G), not as “whatever satisfies the three properties.” Realizable comparison, Hilbert identity, and Chern-alpha bounds are proved after the fact via one-flat recursions, saturated descent (Prop. 5.5), and nested-support positivity. The only self-citation of Che26 that is load-bearing for a claimed property is the external short proof of the incomplete Lemma 8.7 (truncation transfer), which is used solely for the Chern-alpha induction at k≥4; construction of T^Z, realizable θ^Z, and P^K=Hilb never invoke it. Authors disclose the gap and that it does not affect those clauses. Concurrent arXiv:2606.22650 is presented as independent parallel work that the AI did not see; it is not used as a hidden uniqueness or ansatz premise that forces the result. Score 1 reflects only that minor, non-central self-citation dependency.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 2 invented entities

Pure combinatorial/algebraic construction: no fitted numerical parameters. Load-bearing background is standard matroid/building-set theory plus cited tautological and K-theoretic results (BEST, LLPP, FY, DCP, Thomason blowups, EFM Hilbert recursion, FMSV chain formula). The only ad-hoc-to-paper soft spot is treating the incompletely justified truncation lemma as available. Invented entities are the integral quotient/tangent classes themselves (defined objects, not free postulates) and the experimental agent stack.

axioms (6)
  • standard math Feichtner–Yuzvinsky presentation of Chow rings of nested fans and stellar-subdivision pullbacks (FY04).
    Used for one-step Chow injectivity, image criterion, and integral associated-graded comparison throughout §§3–5.
  • domain assumption Berget–Eur–Spink–Tseng tautological quotient classes Q_N and their restriction/direct-sum formulas on permutohedral orbit closures (BES+23).
    Anchor of the descended quotient Chern polynomial and maximal integral representative; without BEST there is no starting class to descend.
  • domain assumption Integral matroid K-ring freeness and standard τ-monomial basis (LLPP24) for maximal and general top-containing building sets.
    Prop. 2.4 and saturation arguments need freeness and the graded isomorphism gr_τ K_Z ≅ A_Z.
  • standard math K-theoretic blowup formula for smooth centers (Tho93) and De Concini–Procesi wonderful blowup geometry (DCP95).
    Integral realizable θ-descent and free K_0 of centers in §6.
  • domain assumption One-flat Hilbert-series recursion of Eur–Ferroni–Matherne–Pagaria–Vecchi (EFM+25) and maximal Hilbert chain formula (FMSV24).
    Propagates P^K = Hilb from the maximal endpoint (Prop. 7.7) to arbitrary building sets (Thm. 7.8).
  • ad hoc to paper Rank-(k+1) truncation transfer identity for pulled Gamma/Chern-alpha numbers (Lemma 8.7), used despite incomplete in-paper proof.
    Authors flag the write-up as incomplete; the identity is load-bearing for the nested-Segre induction when k≥4. External short proof cited from Che26.
invented entities (2)
  • Integral quotient representative Q^Z_G and tangent class T^Z_{M,G} in K_Z(M,G) independent evidence
    purpose: Provide a single integral K-class that rationalizes to the rational tangent class and matches [T_W] when realizable.
    Defined by descent plus rank correction; not an extra physical postulate, but the paper's central constructed object.
  • Danus agentic proof system (orchestrator + Rethlas workers/verifier + fact graph) independent evidence
    purpose: Autonomously search, verify, and write the mathematical body without human mathematical guidance.
    Meta-entity of the experiment; independent evidence is the open-sourced report claimed in Appendix B, not a mathematical prediction.

pith-pipeline@v1.1.0-grok45 · 41411 in / 3881 out tokens · 52728 ms · 2026-07-11T02:03:09.783312+00:00 · methodology

0 comments
read the original abstract

For every loopless matroid $M$ and every Feichtner--Yuzvinsky building set $\mathcal{G}$ containing the top flat, we construct an integral tangent class $T_{M,\mathcal{G}}^{\mathbb{Z}}\in K_{\mathbb{Z}}(M,\mathcal{G})$; in the realizable case it specializes to the class of the tangent bundle of the corresponding wonderful compactification, it recovers the Hilbert series of the Chow ring through Hirzebruch--Riemann--Roch, and it satisfies the expected Chern-alpha lower bounds. This reproduces the tangent class and its key properties studied by the first author in arXiv:2606.22650. The main body of this paper was produced autonomously, without human mathematical guidance, by Danus, an AI mathematical reasoning agent. Danus solved the problem before arXiv:2606.22650 was publicly available, demonstrating the potential of AI agents in mathematical research. We reproduce its output faithfully, adding only editorial comments; the experiment is documented in Appendix B.

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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.

  2. 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.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    Adiprasito, J

    K. Adiprasito, J. Huh, and E. Katz, Hodge theory for combinatorial geometries, Ann. of Math. (2) 188 (2018), no. 2, 381--452

    work page 2018

  2. [2]

    Berget, C

    A. Berget, C. Eur, H. Spink, and D. Tseng, Tautological classes of matroids, Invent. Math. 233 (2023), 951--1039

    work page 2023

  3. [3]

    Cheng, On the tangent bundle and the divisor theory of a general matroid, preprint, arXiv:2510.06609

    R. Cheng, On the tangent bundle and the divisor theory of a general matroid, preprint, arXiv:2510.06609

    work page arXiv

  4. [4]

    D. A. Cox, J. B. Little, and H. K. Schenck, Toric varieties, Graduate Studies in Mathematics 124, American Mathematical Society, Providence, RI, 2011

    work page 2011

  5. [5]

    De Concini and C

    C. De Concini and C. Procesi, Wonderful models of subspace arrangements, Selecta Math. (N.S.) 1 (1995), no. 3, 459--494

    work page 1995

  6. [6]

    C. Eur, L. Ferroni, J. P. Matherne, R. Pagaria, and L. Vecchi, Building sets, Chow rings, and their Hilbert series, arXiv:2504.16776

    work page arXiv

  7. [7]

    E. M. Feichtner and S. Yuzvinsky, Chow rings of toric varieties defined by atomic lattices, Invent. Math. 155 (2004), no. 3, 515--536

    work page 2004

  8. [8]

    Ferroni, J

    L. Ferroni, J. P. Matherne, M. Stevens, and L. Vecchi, Hilbert--Poincare series of matroid Chow rings and intersection cohomology, Adv. Math. 449 (2024), 109733

    work page 2024

  9. [9]

    H. Ju, G. Gao, J. Jiang, B. Wu, Z. Sun, L. Chen, Y. Wang, Y. Wang, Z. Wang, W. He, P. Wu, L. Xiao, R. Liu, B. Dai, and B. Dong, Automated Conjecture Resolution with Formal Verification, arXiv:2604.03789

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    J. Liu, G. Gao, Z. Sun, B. Wu, S. Liu, J. Jiang, H. Ju, L. Chen, R. Cheng, X. Zhang, and B. Dong, Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory, preprint, arXiv:2607.06447

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    $K$-rings of wonderful varieties and matroids

    M. Larson, S. Li, S. Payne, and N. Proudfoot, K-rings of wonderful varieties and matroids, Adv. Math. (2024), arXiv:2210.03169

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  12. [12]

    R. W. Thomason, Les K-groupes d'un sch\'ema \'eclat\'e et une formule d'intersection exc\'edentaire, Invent. Math. 112 (1993), no. 1, 195--215

    work page 1993

  13. [13]

    Tangent classes for matroid building sets

    R. Cheng, Tangent classes for matroid building sets, preprint, arXiv:2606.22650

    work page internal anchor Pith review Pith/arXiv arXiv