Perverse sheaves over real hyperplane arrangements

Mikhail Kapranov¹ ; Vadim Schechtman²

¹ Kavli Institute for the Physics and Mathematics of the Universe, Kashiwa, Japan
² Institut de Mathématiques de Toulouse, Université Paul Sabatier, Toulouse, France

Annals of mathematics, Tome 183 (2016) no. 2, pp. 619-679.

Résumé

Let $\mathcal{H}$ be an arrangement of real hyperplanes in $\mathbb{R}^n$. The complexification of $\mathcal{H}$ defines a natural stratification of $\mathbb{C}^n$. We denote by $\mathrm{Perv}(\mathbb{C}^n, \mathcal{H})$ the category of perverse sheaves on $\mathbb{C}^n$ smooth with respect to this stratification. We give a description of $\mathrm{Perv}(\mathbb{C}^n, \mathcal{H})$ as the category of representations of an explicit quiver with relations, whose vertices correspond to real faces of $\mathcal{H}$ (of all dimensions). The relations are of monomial nature: they identify some pairs of paths in the quiver. They can be formulated in terms of the oriented matroid associated to $\mathcal{H}$.

Détail

DOI : 10.4007/annals.2016.183.2.4