Skip to content
DraconiticResearch
Search Sources API
201,642 studies31 sourcesUpdated 11 min ago
PreprintarXiv licencearXiv

Grothendieck weights and K-theoretic positivity for matroids

Abstract

We introduce a method for studying K-theoretic positivity on permutohedral toric varieties through the topology of spaces arising in tropical geometry. The key ingredient is the theory of Grothendieck weights developed by the author. We prove two positivity results using this method. The first result is the positivity of the Euler characteristics of tautological bundles associated with an arbitrary matroid and twisted by a nef line bundle. This gives numerical evidence for a conjectural vanishing theorem. The second result generalizes the external activity complex of Berget--Fink, originally defined for a pair of matroids, to the case of any tuple of matroids with no common loop. We deduce a formula for its graded K-polynomial in terms of exterior powers of the dual tautological quotient classes of the matroids. After a change of variables, its coefficients alternate in sign. We also prove the Cohen--Macaulayness of each such complex using the vanishing theorems for combinatorial geometries developed by Eur--Fink--Larson. This proof is new even in the case of a pair of matroids. As an application, we interpret certain Chern numbers of tautological quotient classes as counts of facets, partially answering a question of Berget--Eur--Spink--Tseng.

Related

  1. Grothendieck Weights on Permutohedral Varieties and Matroids
    Yiyu Wang
    arXivPreprintarXiv licenceFull textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  2. A proof of the Grothendieck join-meet positivity
    Peter L. Guo, Mingyang Kang, Jiaji Liu +1
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  3. g-Positivity for Paving Matroids
    Yiyu Wang
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  4. Ehrhart positivity for lattice path matroids
    Luis Ferroni, Alejandro H. Morales, Greta Panova
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  5. Magic positivity of Snapper polynomials for matroids
    Shiyue Li
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
BibTeX
@misc{wang2026grothendieck,
  title = {{Grothendieck weights and K-theoretic positivity for matroids}},
  author = {Yiyu Wang},
  howpublished = {arXiv},
  year = {2026},
  month = aug,
  doi = {10.48550/arxiv.2608.09844},
  eprint = {2608.09844},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.09844},
}
RIS
TY  - UNPB
TI  - Grothendieck weights and K-theoretic positivity for matroids
AU  - Yiyu Wang
PY  - 2026
DA  - 2026/08/30
PB  - arXiv
DO  - 10.48550/arxiv.2608.09844
UR  - https://arxiv.org/abs/2608.09844
AB  - We introduce a method for studying K-theoretic positivity on permutohedral toric varieties through the topology of spaces arising in tropical geometry. The key ingredient is the theory of Grothendieck weights developed by the author. We prove two positivity results using this method. The first result is the positivity of the Euler characteristics of tautological bundles associated with an arbitrary matroid and twisted by a nef line bundle. This gives numerical evidence for a conjectural vanishing theorem. The second result generalizes the external activity complex of Berget--Fink, originally defined for a pair of matroids, to the case of any tuple of matroids with no common loop. We deduce a formula for its graded K-polynomial in terms of exterior powers of the dual tautological quotient classes of the matroids. After a change of variables, its coefficients alternate in sign. We also prove the Cohen--Macaulayness of each such complex using the vanishing theorems for combinatorial geometries developed by Eur--Fink--Larson. This proof is new even in the case of a pair of matroids. As an application, we interpret certain Chern numbers of tautological quotient classes as counts of facets, partially answering a question of Berget--Eur--Spink--Tseng.
ER  -