For every polymatroid, the cave polynomial is valuative, its support is a generalized polymatroid, and its coefficients are the Möbius values, settling the Bandari-Bayati-Herzog and Castillo-Cid-Ruiz-Mohammadi-Montano conjectures.
Frobenius splitting and M\"obius inversion
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We show that the fundamental class in K-homology of a Frobenius split scheme can be computed as a certain alternating sum over irreducible varieties, with the coefficients computed using M\"obius inversion on a certain poset. If G/P is a generalized flag manifold and X is an irreducible subvariety homologous to a multiplicity-free union of Schubert varieties, then using a result of Brion we show how to compute the K_0-class [X] in K_0(G/P) from the Chow class in A_*(G/P).
fields
math.AC 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Syzygies of polymatroidal ideals
For every polymatroid, the cave polynomial is valuative, its support is a generalized polymatroid, and its coefficients are the Möbius values, settling the Bandari-Bayati-Herzog and Castillo-Cid-Ruiz-Mohammadi-Montano conjectures.