Free hyperplane arrangements over arbitrary fields (Q2196490)

In the paper under review the authors study free hyperplane arrangements defined over the rational numbers and their freeness under reductions to positive characteristic. Consider a hyperplane arrangement \(\mathcal{A} = \{H_{1}, \dots , H_{n}\} \subset \mathbb{Q}^{l}\). The first problem that the authors consider is the situation when we make a positive characteristic reduction of a free hyperplane arrangement. Suppose that in this scenario we can find \(\alpha_{i} \in \mathbb{Z}[x_{1}, \dots , x_{\ell}]\) such that \(H_{i} =\mathrm{ker}(\alpha_{i})\) for every \(i = 1, \dots , n\), and denote by \(Q(\mathcal{A}) = \prod_{i=1}^{n} \alpha_{i}\) the defining polynomial. We can assume additionally that there exists no prime number \(p\) such that it divides any \(\alpha_{i}\). Consider the image \(Q(\mathcal{A})\) under the canonical homomorhpism \[\pi_{p} : \mathbb{Z}[x_{1}, \dots , x_{l}] \rightarrow \mathbb{F}_{p}[x_{1}, \dots , x_{l}].\] In this setting, we say that a prime number \(p\) is good for \(\mathcal{A}\) if \(\pi_{p}(Q(\mathcal{A}))\) is reduced. Theorem A. If \(\mathcal{A}\) is free in \(\mathbb{Q}^{l}\) with exponents \((e_{1}, \dots , e_{l})\), then \(\mathcal{A}_{p}\) is free in \(\mathbb{F}_{p}^{l}\) defined by \(\pi_{p}(Q(\mathcal{A}))\) with the exponent \((e_{1}, \dots , e_{l})\), for all good prime numbers except possibly a finite number of them. For a hyperplane arrangement \(\mathcal{A}\) with the defining polynomial \(Q(\mathcal{A})\) in \(\mathbb{Z}[x_{1}, \dots , x_{l}]\) we denote by \(J(\mathcal{A})_{\mathbb{Z}}\) the ideal in \(\mathbb{Z}[x_{1}, \dots , x_{l}]\) generated by \(Q(\mathcal{A})\) and its all partial derivatives. Theorem B. Let \(\mathcal{A} = \{H_{1}, \dots , H_{n}\}\) be a central arrangement in \(\mathbb{Q}^{l}\). Let \(p\) be a good prime number for \(\mathcal{A}\) that is a non-zero divisor in \(\mathbb{Z}[x_{1}, \dots , x_{l}] / J(\mathcal{A})_{\mathbb{Z}}\). If \(\mathcal{A}_{p}\) is free in \(\mathbb{F}^{l}_{p}\) with the exponents \((e_{1}, \dots , e_{l})\), then \(\mathcal{A}\) is free in \(\mathbb{Q}^{l}\) with exponents \((e_{1}, \dots , e_{l})\).