arXiv++ Combinatorics

In this paper, we prove the Chow ring and augmented Chow ring of a matroid is equivariant $γ$-positivity under the action of any group of automorphisms of the matroid. This verifies a conjecture of Angarone, Nathanson, and Reiner. Our method gives an explicit interpretation to the coefficients of the equivariant $γ$-expansion. Applying our theorem to uniform matroids, we extend and recover known results regarding the positivity of the equivariant Charney-Davis quantity of uniform matroids in the author's previous work and the Schur-$γ$-positivity of Eulerian and binomial Eulerian quasisymmetric functions first proved by Shareshian and Wachs. In the end, we answer a problem proposed by Athanasiadis about extending the $γ$-expansion of the binomial Eulerian polynomial.

We study the Hilbert series and the representations of $\mathfrak{S}_n$ and $GL_n(\mathbb{F}_q)$ on the (augmented) Chow rings of uniform matroids $U_{r,n}$ and $q$-uniform matroids $U_{r,n}(q)$. The Frobenius series for uniform matroids and their $q$-analogs are computed. As a byproduct, we recover Hameister, Rao, and Simpson's formula for the Hilbert series of Chow rings of $q$-uniform matroids in terms of permutations and further obtain their augmented counterpart in terms of decorated permutations. We also show that the equivariant Charney--Davis quantity of the (augmented) Chow ring of a matroid is nonnegative (i.e., a genuine representation of a group of automorphisms of the matroid). When the matroid is a uniform matroid and the group is $\mathfrak{S}_n$, the representation either vanishes or is a Foulkes representation (i.e., a Specht module of a ribbon shape). Specializing to the usual Charney--Davis quantities, we obtain an elegant combinatorial interpretation of Hameister, Rao, and Simpson's formula for Chow rings of $q$-uniform matroids and its augmented counterpart.

It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutahedral variety. Stanley obtained a formula showing that the cohomology carries a permutation representation of $\mathfrak{S}_n$. We answer a question of Stembridge on finding an explicit permutation basis of this cohomology. We observe that the Feichtner-Yuzvinsky basis for the Chow ring of the Boolean matroid is such a permutation basis, and then we construct an $\mathfrak{S}_n$-equivariant bijection between this basis and codes introduced by Stembridge, thereby giving a combinatorial proof of Stanley's formula. We obtain an analogous result for the stellahedral variety. We find a permutation basis of the permutation representation its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we obtain a general result on augmented Chow rings (which was also independently obtained by Eur) asserting that augmented Chow rings of matroids are actually Chow rings in the sense of Feichtner and Yuzvinsky. In the last part of the paper, we study enumerative aspects of the permutahedra and the stellohedra related to these permutation bases.

For $\mathbf{b}=(b_1,\dots,b_n)\in \mathbb{Z}_{>0}^n$, a $\mathbf{b}$-parking function is defined to be a sequence $(β_1,\dots,β_n)$ of positive integers whose nondecreasing rearrangement $β'_1\leq β'_2\leq \cdots \leq β'_n$ satisfies $β'_i\leq b_1+\cdots + b_i$. The $\mathbf{b}$-parking-function polytope $\mathfrak{X}_n(\mathbf{b})$ is the convex hull of all $\mathbf{b}$-parking functions of length $n$ in $\mathbb{R}^n$. Geometric properties of $\mathfrak{X}_n(\mathbf{b})$ were previously explored in the specific case where $\mathbf{b}=(a,b,b,\dots,b)$ and were shown to generalize those of the classical parking-function polytope. In this work, we study $\mathfrak{X}_n(\mathbf{b})$ in full generality. We present a minimal inequality and vertex description for $\mathfrak{X}_n(\mathbf{b})$, prove it is a generalized permutahedron, and study its $h$-polynomial. Furthermore, we investigate $\mathfrak{X}_n(\mathbf{b})$ through the perspectives of building sets and polymatroids, allowing us to identify its combinatorial types and obtain bounds on its combinatorial and circuit diameters.

It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutohedral variety. We answer a question of Stembridge on finding a geometric explanation of the \emph{permutation representation} this cohomology carries. Our explanation involves an $\mathfrak{S}_n$-equivariant bijection between a basis for the Chow ring of the Boolean matroid and codes introduced by Stembridge. There are analogous results for the stellohedral variety. We provide a geometric explanation of the permutation representation that its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we also obtain some new results on augmented Chow rings.

A classical result states that the parity balance of the number of excedances of all permutations (derangements, respectively) of length $n$ is the Euler number. In 2010, Josuat-Vergès gives a $q$-analogue with $q$ representing the number of crossings. We extend this result to the permutations (derangements, respectively) of type B and D. It turns out that the signed countings are related to the derivative polynomials of $\tan$ and $\sec$. Springer numbers defined by Springer can be regarded as an analogue of Euler numbers defined on every Coxeter group. In 1992 Arnol'd showed that the Springer numbers of classical types A, B, D count various combinatorial objects, called snakes. In 1999 Hoffman found that derivative polynomials of $\sec x$ and $\tan x$ and their subtraction evaluated at certain values count exactly the number of snakes of certain types. Then Josuat-Vergès studied the $(t,q)$-analogs of derivative polynomials $Q_n(t,q)$, $R_n(t,q)$ and showed that as setting $q=1$ the polynomials are enumerators of snakes with respect to the number of sign-changing. Our second result is to find combinatorial interpretations of $Q_n(t,q)$ and $R_n(t,q)$ as enumerators of the snakes, although the outcome is somewhat messy.

In this paper we prove a refined major-balance identity on the $321$-avoiding involutions of length $n$, respecting the leading element of permutations. The proof is based on a sign-reversing involution on the lattice paths within a $\lfloor\frac{n}{2}\rfloor\times\lceil\frac{n}{2}\rceil$ rectangle. Moreover, we prove affirmatively a question about refined major-balance identity on the $123$-avoiding involutions, respecting the number of descents.

It is a classical result that the parity-balance of the number of weak excedances of all permutations (derangements, respectively) of length $n$ is the Euler number $E_n$, alternating in sign, if $n$ is odd (even, respectively). Josuat-Vergès obtained a $q$-analog of the results respecting the number of crossings of a permutation. One of the goals in this paper is to extend the results to the permutations (derangements, respectively) of types B and D, on the basis of the joint distribution in statistics excedances, crossings and the number of negative entries obtained by Corteel, Josuat-Vergès and Kim. Springer numbers are analogous Euler numbers that count the alternating permutations of type B, called snakes. Josuat-Vergès derived bivariate polynomials $Q_n(t,q)$ and $R_n(t,q)$ as generalized Euler numbers via successive $q$-derivatives and multiplications by $t$ on polynomials in $t$. The other goal in this paper is to give a combinatorial interpretation of $Q_n(t,q)$ and $R_n(t,q)$ as the enumerators of the snakes with restrictions.