arXiv++ Combinatorics

We describe how Mirkovic-Vilonen polytopes arise naturally from the categorification of Lie algebras using Khovanov-Lauda-Rouquier algebras. This gives an explicit description of the unique crystal isomorphism between simple representations of the KLR algebra and MV polytopes. MV polytopes, as defined from the geometry of the affine Grassmannian, only make sense for finite dimensional semi-simple Lie algebras, but our construction actually gives a map from the infinity crystal to polytopes in all symmetrizable Kac-Moody algebras. However, to make the map injective and have well-defined crystal operators on the image, we must in general decorate our polytopes with some extra information. We suggest that the resulting KLR polytopes are the general-type analogues of MV polytopes. We give a combinatorial description of the resulting decorated polytopes in all affine cases, and show that this recovers the affine MV polytopes recently defined by Kamnitzer and Baumann and the first author in symmetric affine types. We also briefly discuss the situation beyond affine type.

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.

A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.