An official website of the United States government
Abstract Polymatroids are combinatorial abstractions of subspace arrangements in the same way that matroids are combinatorial abstractions of hyperplane arrangements. By introducing augmented Chow rings of polymatroids, modeled after augmented wonderful varieties of subspace arrangements, we generalize several algebro-geometric techniques developed in recent years to study matroids. We show that intersection numbers in the augmented Chow ring of a polymatroid are determined by a matching property known as the Hall–Rado condition, which is new even in the case of matroids.
more »
« less
CATEGORICAL VALUATIVE INVARIANTS OF POLYHEDRA AND MATROIDS
We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number of valuative invariants of matroids, including the Poincar ́e polynomial, the Chow and augmented Chow polynomials, and certain two-variable extensions of the Kazhdan–Lusztig polynomial and Z-polynomial. These lifts allow us to perform calculations equivariantly with respect to automorphism groups of matroids.
more »
« less
- PAR ID:
- 10661349
- Publisher / Repository:
- Duke University Press
- Date Published:
- Journal Name:
- Duke Mathematical Journal
- Volume:
- 174
- Issue:
- 10
- ISSN:
- 0012-7094
- Page Range / eLocation ID:
- 2067-2131
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Chow rings of toric varieties, which originate in intersection theory, feature a rich combinatorial structure of independent interest. We survey four different ways of computing in these rings, due to Billera, Brion, Fulton–Sturmfels, and Allermann–Rau. We illustrate the beauty and power of these methods by giving four proofs of Huh and Huh–Katz’s formula μ_k(M) = deg_M(α^{r−k}β^k) for the coefficients of the reduced characteristic polynomial of a matroid M as the mixed intersection numbers of the hyperplane and reciprocal hyperplane classes α and β in the Chow ring of M. Each of these proofs sheds light on a different aspect of matroid combinatorics, and provides a framework for further developments in the intersection theory of matroids. Our presentation is combinatorial, and does not assume previous knowledge of toric varieties, Chow rings, or intersection theory. This survey was prepared for the Clay Lecture to be delivered at the 2024 British Combinatorics Conference.more » « less
-
Abstract The goal of this paper is to show that valuation theory and Hopf theory are compatible on the class of generalized permutahedra. We prove that the Hopf structure $$\textbf {GP}^+$$ on these polyhedra descends, modulo the inclusion-exclusion relations, to an indicator Hopf monoid $$\mathbb {I}(\textbf {GP}^+)$$ of generalized permutahedra that is isomorphic to the Hopf monoid of weighted ordered set partitions. This quotient Hopf monoid $$\mathbb {I}(\textbf {GP}^+)$$ is cofree. It is the terminal object in the category of Hopf monoids with polynomial characters; this partially explains the ubiquity of generalized permutahedra in the theory of Hopf monoids. This Hopf theoretic framework offers a simple, unified explanation for many new and old valuations on generalized permutahedra and their subfamilies. Examples include, for matroids: the Chern–Schwartz–MacPherson cycles, Eur’s volume polynomial, the Kazhdan–Lusztig polynomial, the motivic zeta function, and the Derksen–Fink invariant; for posets: the order polynomial, Poincaré polynomial, and poset Tutte polynomial; for generalized permutahedra: the universal Tutte character and the corresponding class in the Chow ring of the permutahedral variety. We obtain several algebraic and combinatorial corollaries; for example, the existence of the valuative character group of $$\textbf {GP}^+$$ and the indecomposability of a nestohedron into smaller nestohedra.more » « less
-
Generalized permutahedra are polytopes that arise in combinatorics, algebraic geometry, representation theory, topology, and optimization. They possess a rich combinatorial structure. Out of this structure we build a Hopf monoid in the category of species. Species provide a unifying framework for organizing families of combinatorial objects. Many species carry a Hopf monoid structure and are related to generalized permutahedra by means of morphisms of Hopf monoids. This includes the species of graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, and building sets, among others. We employ this algebraic structure to define and study polynomial invariants of the various combinatorial structures. We pay special attention to the antipode of each Hopf monoid. This map is central to the structure of a Hopf monoid, and it interacts well with its characters and polynomial invariants. It also carries information on the values of the invariants on negative integers. For our Hopf monoid of generalized permutahedra, we show that the antipode maps each polytope to the alternating sum of its faces. This fact has numerous combinatorial consequences. We highlight some main applications: We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give optimal formulas for the antipode of graphs, posets, matroids, hypergraphs, and building sets. They are optimal in the sense that they provide explicit descriptions for the integers entering in the expansion of the antipode, after all coefficients have been collected and all cancellations have been taken into account. We show that reciprocity theorems of Stanley and Billera–Jia–Reiner (BJR) on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of one such result for generalized permutahedra. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, providing an answer to a question of Loday. We answer a question of Humpert and Martin on certain invariants of graphs and another of Rota on a certain class of submodular functions. We hope our work serves as a quick introduction to the theory of Hopf monoids in species, particularly to the reader interested in combinatorial applications. It may be supplemented with Marcelo Aguiar and Swapneel Mahajan’s 2010 and 2013 works, which provide longer accounts with a more algebraic focus.more » « less
-
Abstract We introduce a categorical analogue of Saito’s notion of primitive forms. For the category $$\textsf{MF}(\frac{1}{n+1}x^{n+1})$$ of matrix factorizations of $$\frac{1}{n+1}x^{n+1}$$, we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov–Witten invariants of $$\textsf{MF}(\frac{1}{n+1}x^{n+1})$$ are shown to match with the invariants defined through unfolding of singularities of $$\frac{1}{n+1}x^{n+1}$$.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript
- Journal Article:
- https://doi.org/10.1215/00127094-2024-0065
