3478634cb1c15870.tex
1: \begin{abstract}
2:     We show that the hyperplane arrangement of a coconvex set in a finite
3:     root system is free if and only if it is free in corank $4$. As a
4:     consequence, we show that the inversion arrangement of a Weyl group element
5:     $w$ is free if and only if $w$ avoids a finite list of root system
6:     patterns. As a key part of the proof, we use a recent theorem of 
7:     Abe and Yoshinaga to show that if the root system does not contain
8:     any factors of type $C$ or $F$, then Peterson translation of coconvex
9:     sets preserves freeness. This also allows us to give a
10:     Kostant-Shapiro-Steinberg rule for the coexponents of a free inversion
11:     arrangement in any type.
12: \end{abstract}
13: