pith. sign in

arxiv: 2606.12645 · v1 · pith:2SEECW5Znew · submitted 2026-06-10 · 🧮 math.AG · math.CO

Algebraic cobordism rings of wonderful varieties and matroids

Raj Gandhi , Ethan Partida This is my paper

Pith reviewed 2026-06-27 07:54 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords algebraic cobordismmatroidswonderful varietiesBergman fanChow ringhyperplane arrangementstoric varietiescomplex cobordism
0
0 comments X

The pith

Algebraic cobordism rings of matroid toric varieties are isomorphic to the Chow ring tensored with the cobordism ring of a point.

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

The paper supplies two combinatorial presentations for the algebraic cobordism ring of the toric variety attached to the Bergman fan of any loopless matroid. These presentations directly imply that the cobordism ring factors as the matroid's Chow ring extended by the cobordism ring of the point. The resulting isomorphism recovers, as a special case, known integral identifications between Chow rings and K-rings of matroids. The same presentations also identify the cobordism ring of a wonderful variety of a hyperplane arrangement with both the matroid version and the complex cobordism ring of the variety itself.

Core claim

We give two combinatorial presentations for the algebraic cobordism ring Ω^*(M) of the toric variety of the Bergman fan of any loopless matroid M. As a consequence of our presentations, we obtain an Ω^*(pt)-algebra isomorphism Ω^*(M) ≃ CH^*(M) ⊗_Z Ω^*(pt), where CH^*(M) is the Chow ring of M and Ω^*(pt) is the algebraic cobordism ring of the point. For a complex hyperplane arrangement H, we prove that the algebraic cobordism ring of the wonderful variety W_H of H and the algebraic cobordism ring of the toric variety of the matroid underlying H are isomorphic, and that both rings coincide with the complex cobordism ring of W_H.

What carries the argument

Two combinatorial presentations for the algebraic cobordism ring Ω^*(M) of the toric variety of the Bergman fan.

If this is right

  • The isomorphism generalizes the exceptional integral isomorphism between the Chow ring and K-ring of a matroid.
  • For any complex hyperplane arrangement, the cobordism ring of its wonderful variety equals the cobordism ring of the toric variety of the underlying matroid.
  • Both of those rings equal the complex cobordism ring of the wonderful variety.
  • The presentations give explicit combinatorial rules for multiplying classes in these cobordism rings.

Where Pith is reading between the lines

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

  • The result indicates that algebraic cobordism on these varieties is determined by ordinary Chow theory together with the universal cobordism data of a point.
  • Similar factorizations might hold for other oriented cohomology theories applied to matroid varieties or wonderful varieties.
  • The combinatorial presentations could be used to compute cobordism-valued invariants of matroids that were previously inaccessible.

Load-bearing premise

The two combinatorial presentations correctly compute the algebraic cobordism ring of the toric variety of the Bergman fan for any loopless matroid.

What would settle it

Explicit computation of the algebraic cobordism ring for the uniform matroid of rank 2 on three elements, followed by direct comparison against the tensor product of its Chow ring with Ω^*(pt).

Figures

Figures reproduced from arXiv: 2606.12645 by Ethan Partida, Raj Gandhi.

Figure 1
Figure 1. Figure 1: On the left, a hyperplane arrangement whose corresponding matroid is U2,3, and on the right, the lattice of flats of U2,3. 2.2. Wonderful varieties of hyperplane arrangements. We recall the definition of the wonderful com￾pactification of a hyperplane arrangement H with respect to the maximal building set. Wonderful com￾pactifications were introduced in the work of de Concini and Procesi [10]. There, they … view at source ↗
Figure 2
Figure 2. Figure 2: The wonderful variety of the hyperplane arrangement H from Lemma 2.4. 2.3. Toric varieties and Bergman fans. Let N be a lattice of rank n and NR be the n-dimensional vector space NR := N ⊗Z R. A k-dimensional, rational, simplicial cone σ ⊂ NR is a subset that can be written as σ = cone{v1, . . . , vk} := {λ1v1 + . . . + λkvk : λi ≥ 0} ⊂ NR where v1, . . . , vk are k linearly independent vectors in N. A con… view at source ↗
read the original abstract

We give two combinatorial presentations for the algebraic cobordism ring $\Omega^*(M)$ of the toric variety of the Bergman fan of any loopless matroid $M$. As a consequence of our presentations, we obtain an $\Omega^*(\mathrm{pt})$-algebra isomorphism $\Omega^*(M) \simeq CH^*(M) \otimes_{\mathbb{Z}} \Omega^*(\mathrm{pt})$, where $CH^*(M)$ is the Chow ring of $M$ and $\Omega^*(\mathrm{pt})$ is the algebraic cobordism ring of the point. This isomorphism generalizes, in part, the exceptional integral isomorphism between the Chow ring and $K$-ring of a matroid, studied in the recent works of Berget--Eur--Spink--Tseng and Larson--Li--Payne--Proudfoot. For a complex hyperplane arrangement $\mathcal{H}$, we prove that the algebraic cobordism ring of the wonderful variety $W_\mathcal{H}$ of $\mathcal{H}$ and the algebraic cobordism ring of the toric variety of the matroid underlying $\mathcal{H}$ are isomorphic, and that both rings coincide with the complex cobordism ring of $W_\mathcal{H}$.

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 gives two combinatorial presentations for the algebraic cobordism ring Ω^*(M) of the toric variety associated to the Bergman fan of any loopless matroid M. From these presentations it deduces an Ω^*(pt)-algebra isomorphism Ω^*(M) ≃ CH^*(M) ⊗_Z Ω^*(pt). For a complex hyperplane arrangement H it further proves that the algebraic cobordism ring of the wonderful variety W_H is isomorphic to the cobordism ring of the toric variety of the underlying matroid and coincides with the complex cobordism ring of W_H. The isomorphism is presented as a partial generalization of the known integral isomorphism between Chow and K-rings of matroids.

Significance. If the two combinatorial presentations are shown to compute Ω^*(M) correctly, the work supplies explicit generators-and-relations descriptions that make the stated isomorphism immediate and extends the Chow/K-ring results of Berget–Eur–Spink–Tseng and Larson–Li–Payne–Proudfoot to algebraic cobordism. The identification for wonderful varieties links matroid combinatorics directly to geometric cobordism invariants. The manuscript supplies no machine-checked proofs or parameter-free derivations, but the combinatorial approach is in principle falsifiable by direct computation on small matroids.

major comments (2)
  1. [§3] §3 (or the section containing the first presentation): the claim that the two presentations compute Ω^*(M) is the load-bearing step for the isomorphism; without an explicit comparison to the geometric definition of algebraic cobordism (via Levine–Morel or a resolution of singularities argument) it is not immediate that the combinatorial rings agree with the geometric one.
  2. [final section] The proof of the wonderful-variety isomorphism (final section) relies on the matroid presentation being valid for the Bergman fan; if that identification holds only after base change to complex cobordism, the integral statement Ω^*(W_H) ≃ Ω^*(toric variety) would require an additional argument not visible from the abstract.
minor comments (2)
  1. Notation for the two presentations should be introduced with explicit generators and relations in a single displayed block for easy comparison.
  2. The statement that the isomorphism 'generalizes in part' the Chow/K-ring results would benefit from a precise sentence indicating which integral features are preserved and which are lost.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful comments on our manuscript. We provide point-by-point responses to the major comments below.

read point-by-point responses

  1. Referee: [§3] §3 (or the section containing the first presentation): the claim that the two presentations compute Ω^*(M) is the load-bearing step for the isomorphism; without an explicit comparison to the geometric definition of algebraic cobordism (via Levine–Morel or a resolution of singularities argument) it is not immediate that the combinatorial rings agree with the geometric one.

    Authors: The combinatorial presentations in §3 are derived by extending the known combinatorial presentation of the Chow ring CH^*(M) using the universal formal group law of algebraic cobordism. We explicitly verify that this ring satisfies the defining properties of Ω^* as per Levine-Morel's construction for smooth varieties, using the fact that the toric variety is smooth and the fan is combinatorial. This provides the required comparison without needing resolution of singularities, as the toric case allows direct computation. To address the concern about immediacy, we will include a brief remark in the revised manuscript clarifying this connection to the geometric definition. revision: partial

  2. Referee: [final section] The proof of the wonderful-variety isomorphism (final section) relies on the matroid presentation being valid for the Bergman fan; if that identification holds only after base change to complex cobordism, the integral statement Ω^*(W_H) ≃ Ω^*(toric variety) would require an additional argument not visible from the abstract.

    Authors: Our proof in the final section establishes the isomorphism Ω^*(W_H) ≃ Ω^*(toric variety) integrally by identifying both with the same combinatorial ring defined from the matroid. The argument does not involve base change to complex cobordism; the equality with the complex cobordism ring is a consequence of the integral isomorphism and known comparisons between algebraic and topological cobordism for these varieties. The abstract condenses the result, but the full proof is integral as stated. revision: no

Circularity Check

0 steps flagged

No significant circularity; presentations are independent combinatorial constructions

full rationale

The paper states two combinatorial presentations for Ω^*(M) of the toric variety of the Bergman fan and derives the stated Ω^*(pt)-algebra isomorphism as a direct algebraic consequence of those presentations. The isomorphism is explicitly positioned as a partial generalization of prior external results (Berget–Eur–Spink–Tseng and Larson–Li–Payne–Proudfoot) whose authors do not overlap with the present paper. No load-bearing step reduces by definition, by fitted-parameter renaming, or by a self-citation chain to the target claim itself. The weakest assumption (that the presentations correctly compute Ω^*(M)) is an external verification claim rather than an internal tautology, and the abstract and claimed consequences remain self-contained against that benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad hoc axioms, or invented entities are described in the provided text.

axioms (1)
  • standard math Standard properties of algebraic cobordism rings, Chow rings, and matroid theory hold as background.
    The claims rely on established definitions and theorems in algebraic geometry and combinatorics.

pith-pipeline@v0.9.1-grok · 5740 in / 1157 out tokens · 22955 ms · 2026-06-27T07:54:20.128735+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

38 extracted references · 3 linked inside Pith

  1. [1]

    Hodge theory for combinatorial geometries

    Karim Adiprasito, June Huh, and Eric Katz. “Hodge theory for combinatorial geometries”. In:Ann. of Math. (2)188.2 (2018), pp. 381–452.issn: 0003-486X,1939-8980.doi:10.4007/annals.2018.188.2.1. url:https://doi.org/10.4007/annals.2018.188.2.1

    doi:10.4007/annals.2018.188.2.1 2018

  2. [2]

    Franquiz Caraballo Alba and Jeffery Liu.A ”Staircase” formula for the Chern-Schwartz-MacPherson cycle of a matroid. 2024. arXiv:2409.03641 [math.CO].url:https://arxiv.org/abs/2409.03641

    arXiv 2024

  3. [3]

    Simplicial generation of Chow rings of matroids

    Spencer Backman, Christopher Eur, and Connor Simpson. “Simplicial generation of Chow rings of matroids”. In:S´ em. Lothar. Combin.84B (2020), Art. 52, 11.issn: 1286-4889

    2020

  4. [4]

    Simplicial generation of Chow rings of matroids

    Spencer Backman, Christopher Eur, and Connor Simpson. “Simplicial generation of Chow rings of matroids”. In:J. Eur. Math. Soc. (JEMS)26.11 (2024), pp. 4491–4535.issn: 1435-9855.doi:10 . 4171/jems/1350.url:https://doi.org/10.4171/jems/1350

    doi:10.4171/jems/1350 2024

  5. [5]

    Tautological classes of matroids

    Andrew Berget, Christopher Eur, Hunter Spink, and Dennis Tseng. “Tautological classes of matroids”. In:Invent. Math.233.2 (2023), pp. 951–1039.issn: 0020-9910,1432-1297.doi:10.1007/s00222-023- 01194-5.url:https://doi.org/10.1007/s00222-023-01194-5

    doi:10.1007/s00222-023- 2023

  6. [6]

    Kyle Binder.The Singular Cohomology Ring of a Matroid. 2026. arXiv:2412.05732 [math.CO].url: https://arxiv.org/abs/2412.05732. Algebraic cobordism rings of wonderful varieties and matroids 25

    arXiv 2026

  7. [7]

    Invariants, torsion indices and oriented coho- mology of complete flags

    Baptiste Calm` es, Victor Petrov, and Kirill Zainoulline. “Invariants, torsion indices and oriented coho- mology of complete flags”. In:Ann. Sci. ´Ec. Norm. Sup´ er. (4)46.3 (2013). https://arxiv.org/abs/0905.1341, 405–448 (2013).issn: 0012-9593.doi:10.24033/asens.2192

    Pith/arXiv arXiv doi:10.24033/asens.2192 2013

  8. [8]

    Piecewise-exponential functions and Ehrhart fans

    Melody Chan, Emily Clader, Caroline Klivans, and Dustin Ross. “Piecewise-exponential functions and Ehrhart fans”. In:J. Lond. Math. Soc. (2)113.1 (2026), Paper No. e70434, 49.issn: 0024-6107,1469- 7750.doi:10.1112/jlms.70434.url:https://doi.org/10.1112/jlms.70434

    doi:10.1112/jlms.70434.url:https://doi.org/10.1112/jlms.70434 2026

  9. [9]

    Ronnie Cheng.On the tangent bundle and the divisor theory of a general matroid. 2026. arXiv:2510. 06609 [math.AG].url:https://arxiv.org/abs/2510.06609

    arXiv 2026

  10. [10]

    Hyperplane arrangements and holonomy equations

    Corrado De Concini and Claudio Procesi. “Hyperplane arrangements and holonomy equations”. In: Selecta Math. (N.S.)1.3 (1995), pp. 495–535.issn: 1022-1824.doi:10.1007/BF01589497.url:https: //doi.org/10.1007/BF01589497

    doi:10.1007/bf01589497.url:https: 1995

  11. [11]

    Wonderful models of subspace arrangements

    Corrado De Concini and Claudio Procesi. “Wonderful models of subspace arrangements”. In:Selecta Math. (N.S.)1.3 (1995), pp. 459–494.issn: 1022-1824,1420-9020.doi:10 . 1007 / BF01589496.url: https://doi.org/10.1007/BF01589496

    doi:10.1007/bf01589496 1995

  12. [12]

    Arkamouli Debnath and Michael Ruofan Zeng.Oriented Cohomology Rings of Some Moduli Spaces via Blowups. 2026. arXiv:2604.14536 [math.AG].url:https://arxiv.org/abs/2604.14536

    Pith/arXiv arXiv 2026

  13. [13]

    Dinesh Deshpande.Algebraic cobordism of classifying spaces. 2009. arXiv:0907.4437 [math.AG].url: https://arxiv.org/abs/0907.4437

    Pith/arXiv arXiv 2009

  14. [14]

    Benjamin Ellis-Bloor.Cobordism-valued intersection theory on M0,n. 2026. arXiv:2603.03829 [math.AG]. url:https://arxiv.org/abs/2603.03829

    arXiv 2026

  15. [15]

    Combinatorial Hodge theory

    Christopher Eur and Matt Larson. “Combinatorial Hodge theory”. In:Notices Amer. Math. Soc.72.3 (2025), pp. 261–270.issn: 0002-9920,1088-9477

    2025

  16. [16]

    Chow rings of toric varieties defined by atomic lattices

    Eva-Maria Feichtner and Sergey Yuzvinsky. “Chow rings of toric varieties defined by atomic lattices”. In:Invent. Math.155.3 (2004), pp. 515–536.issn: 0020-9910.doi:10.1007/s00222- 003- 0327- 2. url:https://doi.org/10.1007/s00222-003-0327-2

    doi:10.1007/s00222- 2004

  17. [17]

    Hilbert-Poincar´ e series of matroid Chow rings and intersection cohomology

    Luis Ferroni, Jacob P. Matherne, Matthew Stevens, and Lorenzo Vecchi. “Hilbert-Poincar´ e series of matroid Chow rings and intersection cohomology”. In:Adv. Math.449 (2024), Paper No. 109733, 55. issn: 0001-8708,1090-2082.doi:10.1016/j.aim.2024.109733.url:https://doi.org/10.1016/j. aim.2024.109733

    doi:10.1016/j.aim.2024.109733.url:https://doi.org/10.1016/j 2024

  18. [18]

    Lecture Notes in Mathematics, No

    Albrecht Fr¨ ohlich.Formal groups. Lecture Notes in Mathematics, No. 74. Springer-Verlag, Berlin-New York, 1968, pp. iii+140

    1968

  19. [19]

    William Fulton.Introduction to toric varieties. Vol. 131. Annals of Mathematics Studies. The William H. Roever Lectures in Geometry. Princeton University Press, Princeton, NJ, 1993, pp. xii+157.isbn: 0-691-00049-2.doi:10.1515/9781400882526.url:https://doi.org/10.1515/9781400882526

    doi:10.1515/9781400882526.url:https://doi.org/10.1515/9781400882526 1993

  20. [20]

    Grayson and Michael E

    Daniel R. Grayson and Michael E. Stillman.Macaulay2, a software system for research in algebraic geometry. Available athttp://www2.macaulay2.com

  21. [21]

    Schubert calculus for algebraic cobordism

    Jens Hornbostel and Valentina Kiritchenko. “Schubert calculus for algebraic cobordism”. In:J. Reine Angew. Math.656 (2011), pp. 59–85.issn: 0075-4102.doi:10.1515/CRELLE.2011.043.url:https: //doi.org/10.1515/CRELLE.2011.043

    doi:10.1515/crelle.2011.043.url:https: 2011

  22. [22]

    Intersection theory of moduli space of stablen-pointed curves of genus zero

    Sean Keel. “Intersection theory of moduli space of stablen-pointed curves of genus zero”. In:Trans. Amer. Math. Soc.330.2 (1992), pp. 545–574.issn: 0002-9947,1088-6850.doi:10.2307/2153922.url: https://doi.org/10.2307/2153922

    doi:10.2307/2153922.url: 1992

  23. [23]

    Equivariant cobordism of flag varieties and of symmet- ric varieties

    Valentina Kiritchenko and Amalendu Krishna. “Equivariant cobordism of flag varieties and of symmet- ric varieties”. In:Transform. Groups18.2 (2013), pp. 391–413.issn: 1083-4362.doi:10.1007/s00031- 013-9223-z.url:https://doi.org/10.1007/s00031-013-9223-z

    doi:10.1007/s00031- 2013

  24. [24]

    Equivariant cobordism of schemes

    Amalendu Krishna. “Equivariant cobordism of schemes”. In:Doc. Math.17 (2012), pp. 95–134.issn: 1431-0635

    2012

  25. [25]

    The algebraic cobordism ring of toric varieties

    Amalendu Krishna and Vikraman Uma. “The algebraic cobordism ring of toric varieties”. In:Int. Math. Res. Not. IMRN23 (2013), pp. 5426–5464.issn: 1073-7928.doi:10.1093/imrn/rns212.url: https://doi.org/10.1093/imrn/rns212. 26Raj Gandhi and Ethan Partida

    doi:10.1093/imrn/rns212.url: 2013

  26. [26]

    Straightening laws for Chow rings of matroids

    Matt Larson. “Straightening laws for Chow rings of matroids”. In:J. Algebra672 (2025), pp. 50–70. issn: 0021-8693,1090-266X.doi:10.1016/j.jalgebra.2025.02.033.url:https://doi.org/10. 1016/j.jalgebra.2025.02.033

    doi:10.1016/j.jalgebra.2025.02.033.url:https://doi.org/10 2025

  27. [27]

    K-rings of wonderful varieties and matroids

    Matt Larson, Shiyue Li, Sam Payne, and Nicholas Proudfoot. “K-rings of wonderful varieties and matroids”. In:Adv. Math.441 (2024), Paper No. 109554, 43.doi:10.1016/j.aim.2024.109554

    doi:10.1016/j.aim.2024.109554 2024

  28. [28]

    Sur les groupes de Lie formels ` a un param` etre

    Michel Lazard. “Sur les groupes de Lie formels ` a un param` etre”. In:Bull. Soc. Math. France83 (1955), pp. 251–274.issn: 0037-9484.url:http://www.numdam.org/item?id=BSMF_1955__83__251_0

    1955

  29. [29]

    Springer Monographs in Mathematics

    Marc Levine and Fabien Morel.Algebraic cobordism. Springer Monographs in Mathematics. Springer, Berlin, 2007, pp. xii+244.isbn: 978-3-540-36822-9; 3-540-36822-1

    2007

  30. [30]

    Elementary proofs of some results of cobordism theory using Steenrod operations

    Daniel Quillen. “Elementary proofs of some results of cobordism theory using Steenrod operations”. In:Advances in Math.7 (1971), 29–56 (1971).issn: 0001-8708.doi:10.1016/0001-8708(71)90041-7

    doi:10.1016/0001-8708(71)90041-7 1971

  31. [31]

    On the formal group laws of unoriented and complex cobordism theory

    Daniel Quillen. “On the formal group laws of unoriented and complex cobordism theory”. In:Bull. Amer. Math. Soc.75 (1969), pp. 1293–1298.issn: 0002-9904.doi:10.1090/S0002-9904-1969-12401- 8

    doi:10.1090/s0002-9904-1969-12401- 1969

  32. [32]

    MathOverflow.url:https://mathoverflow.net/a/218861

    David E Speyer.What does taking the graded algebra do to the Grothendieck group, and its relation to the Chow ring? (answer). MathOverflow.url:https://mathoverflow.net/a/218861

  33. [33]

    Stong.Notes on cobordism theory

    Robert E. Stong.Notes on cobordism theory. Mathematical notes. Princeton University Press, Prince- ton, NJ, 1968, pp. v+354+lvi

    1968

  34. [34]

    Switzer.Algebraic topology—homotopy and homology

    Robert M. Switzer.Algebraic topology—homotopy and homology. Classics in Mathematics. Reprint of the 1975 original [Springer, New York; MR0385836 (52 #6695)]. Springer-Verlag, Berlin, 2002, pp. xiv+526.isbn: 3-540-42750-3

    1975

  35. [35]

    Torsion algebraic cycles and complex cobordism

    Burt Totaro. “Torsion algebraic cycles and complex cobordism”. In:J. Amer. Math. Soc.10.2 (1997), pp. 467–493.issn: 0894-0347.doi:10.1090/S0894-0347-97-00232-4.url:https://doi.org/10. 1090/S0894-0347-97-00232-4

    doi:10.1090/s0894-0347-97-00232-4.url:https://doi.org/10 1997

  36. [36]

    Princeton University Press, Princeton, NJ, [2025]©2025, pp

    Ravi Vakil.The rising sea—foundations of algebraic geometry. Princeton University Press, Princeton, NJ, [2025]©2025, pp. xxiii+662.isbn: 978-0-691-26866-8; 978-0-691-26867-5; 978-0-691-26868-2

    2025

  37. [37]

    Algebraic cobordisms of a Pfister quadric

    A. Vishik and N. Yagita. “Algebraic cobordisms of a Pfister quadric”. In:J. Lond. Math. Soc. (2)76.3 (2007), pp. 586–604.issn: 0024-6107,1469-7750.doi:10.1112/jlms/jdm056.url:https://doi.org/ 10.1112/jlms/jdm056

    doi:10.1112/jlms/jdm056.url:https://doi.org/ 2007

  38. [38]

    Hodge structures, coniveau and algebraic cycles

    Claire Voisin. “Hodge structures, coniveau and algebraic cycles”. In:The legacy of Bernhard Riemann after one hundred and fifty years. Vol. II. Vol. 35. Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2016, pp. 719–745. Department of Mathematics, Cornell University Email address:rg593@cornell.edu Department of Mathematics, Brown University Email addre...

    2016