The topology of arrangements of ideal type

TL;DR

This paper investigates the asphericity (K(π,1) property) of arrangements of ideal type derived from Weyl groups, extending known results for classical groups and most exceptional types, with a conjecture for all cases.

Contribution

It proves the K(π,1) property for arrangements of ideal type in classical Weyl groups and most exceptional types, advancing understanding of their topological structure.

Findings

K(π,1) property holds for all arrangements of ideal type in classical Weyl groups.

Most arrangements of ideal type in exceptional Weyl groups also satisfy the K(π,1) property.

Conjecture that all arrangements of ideal type have the K(π,1) property.

Abstract

In 1962, Fadell and Neuwirth showed that the configuration space of the braid arrangement is aspherical. Having generalized this to many real reflection groups, Brieskorn conjectured this for all finite Coxeter groups. This in turn follows from Deligne's seminal work from 1972, where he showed that the complexification of every real simplicial arrangement is a $K(\pi,1)$-arrangement. In this paper we study the $K(\pi,1)$-property for a certain class of subarrangements of Weyl arrangements, the so called arrangements of ideal type ${\mathscr A}_I$. These stem from ideals $I$ in the set of positive roots of a reduced root system. We show that the $K(\pi,1)$-property holds for all arrangements ${\mathscr A}_I$ if the underlying Weyl group is classical and that it extends to most of the ${\mathscr A}_I$ if the underlying Weyl group is of exceptional type. Conjecturally this holds for all ${\mathscr A}_I$. In general, the ${\mathscr A}_I$ are neither simplicial, nor is their complexification fiber type.