arXiv++ Combinatorics

We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.

We prove that special ample line bundles on toric varieties arising from root systems are projectively normal. Here the maximal cones of the fans correspond to the Weyl chambers, and special means that the bundle is torus-equivariant such that the character of the line bundle that corresponds to a maximal Weyl chamber is dominant with respect to that chamber. Moreover, we prove that the associated semigroup rings are quadratic.

We study in detail the so-called looping case of Mozes's game of numbers, which concerns the (finite) orbits in the reflection representation of affine Weyl groups situated on the boundary of the Tits cone. We give a simple proof that all configurations in the orbit are obtainable from each other by playing the numbers game, and give a strategy for going from one configuration to another. The strategy gives rise to a partition of the finite Weyl group into finitely many graded posets, one for each extending vertex of the associated extended Dynkin diagram. These are selfdual and mutually isomorphic, and dual to the triangulation of the unit hypercube by reflecting hyperplanes, studied by many authors. Unlike the weak and Bruhat orders, the top degree is cubic in the number of vertices of the graph. We explicitly compute the Hilbert polynomial of the poset.

Fix a Dynkin diagram and let p be a coweight. When does there exist an element w of the corresponding Weyl group such that w is p-minuscule and w(p) is dominant? We answer this question for general Coxeter groups. We express and prove these results using a variant of Mozes's game of numbers.

We answer a question of Laszlo Babai concerning the abelian sandpile model. Given a graph, the model yields a finite abelian group of recurrent configurations which is closely related to the combinatorial Laplacian of the graph. We explicitly describe the group elements and operations in the case of thick trees with loops--that is, graphs which are obtained from trees by setting arbitrary edge multiplicities and adding loops at vertices. We do this both concretely (by describing the so-called recurrent and identity configurations) and abstractly (by computing the group's abstract structure), and define maps identifying the two.