The freeness of ideal subarrangements of Weyl arrangements
The freeness of ideal subarrangements of Weyl arrangements
A Weyl arrangement is the arrangement defined by the root system of a finite Weyl group. When a set of positive roots is an ideal in the root poset, we call the corresponding arrangement an ideal subarrangement. Our main theorem asserts that any ideal subarrangement is a free arrangement and …