Using the algebraic and geometric combinatorics of the permutahedron, we give proofs of combinatorial identities which arise in the technical heart of Morel's computation of the intersection cohomology of Shimura varieties.  No prior background will be assumed.

This is joint work with Richard Ehrenborg and Sophie Morel.