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 that its exponents are given by the dual partition of the height distribution, which was conjectured by Sommers–Tymoczko. In particular, when an ideal subarrangement is equal to the entireWeyl arrangement, our...