arXiv++ Combinatorics

We prove two conjectures of Shareshian and Wachs about Eulerian quasisymmetric functions and polynomials. The first states that the cycle type Eulerian quasisymmetric function $Q_{λ,j}$ is Schur-positive, and moreover that the sequence $Q_{λ,j}$ as $j$ varies is Schur-unimodal. The second conjecture, which we prove using the first, states that the cycle type $(q,p)$-Eulerian polynomial \newline $A_λ^{\maj,\des,\exc}(q,p,q^{-1}t)$ is $t$-unimodal.

We compare orbits in the nilpotent cone of type $B_n$, that of type $C_n$, and Kato's exotic nilpotent cone. We prove that the number of $\F_q$-points in each nilpotent orbit of type $B_n$ or $C_n$ equals that in a corresponding union of orbits, called a type-$B$ or type-$C$ piece, in the exotic nilpotent cone. This is a finer version of Lusztig's result that corresponding special pieces in types $B_n$ and $C_n$ have the same number of $\F_q$-points. The proof requires studying the case of characteristic 2, where more direct connections between the three nilpotent cones can be established. We also prove that the type-$B$ and type-$C$ pieces of the exotic nilpotent cone are smooth in any characteristic.

We study the orbits of $G=\mathrm{GL}(V)$ in the enhanced nilpotent cone $V\times\mathcal{N}$, where $\mathcal{N}$ is the variety of nilpotent endomorphisms of $V$. These orbits are parametrized by bipartitions of $n=\dim V$, and we prove that the closure ordering corresponds to a natural partial order on bipartitions. Moreover, we prove that the local intersection cohomology of the orbit closures is given by certain bipartition analogues of Kostka polynomials, defined by Shoji. Finally, we make a connection with Kato's exotic nilpotent cone in type C, proving that the closure ordering is the same, and conjecturing that the intersection cohomology is the same but with degrees doubled.

We study the rational cohomology groups of the real De Concini-Procesi model corresponding to a finite Coxeter group, generalizing the type-A case of the moduli space of stable genus 0 curves with marked points. We compute the Betti numbers in the exceptional types, and give formulae for them in types B and D. We give a generating-function formula for the characters of the representations of a Coxeter group of type B on the rational cohomology groups of the corresponding real De Concini-Procesi model, and deduce the multiplicities of one-dimensional characters in the representations, and a formula for the Euler character. We also give a moduli space interpretation of this type-B variety, and hence show that the action of the Coxeter group extends to a slightly larger group.

We prove analogues for sub-posets of the Dowling lattices of the results of Calderbank, Hanlon, and Robinson on homology of sub-posets of the partition lattices. The technical tool used is the wreath product analogue of the tensor species of Joyal.

We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around the coordinate hyperplanes and trivial monodromy around all other hyperplanes. In the case where the local system is equivariant for the symmetric group, we write the cohomology groups as direct sums of inductions of one-dimensional characters of subgroups. This relies on an equivariant description of the Orlik-Solomon algebras of full monomial reflection groups (wreath products of the symmetric group with a cyclic group). The combinatorial models involved are certain representations of these wreath products which possess bases indexed by labelled trees.

The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.

We give a formula for the character of the representation of the symmetric group $S_n$ on each isotypic component of the cohomology of the set of regular elements of a maximal torus of $SL_n$, with respect to the action of the centre.

The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of Joyal's theory of tensor species, which includes a link between polynomial functors and plethysm for general r. We also give a new proof of Lehrer's formula for the representations of W(r,n) on the cohomology groups of the hyperplane complement.

Using a general result of Lusztig, we give explicit formulas for the dimensions of K^F-invariants in irreducible representations of G^F, when G=GL_n, F:G->G is a Frobenius map, and K is an F-stable subgroup of finite index in G^theta for some involution theta:G->G commuting with F. The proofs use some combinatorial facts about characters of symmetric groups.