Stable hyperplane arrangements
Toshio Oshima
TL;DR
The work addresses the classification of complex hyperplane arrangements with a stability condition under coordinate forgetting, formalized as $L(\\mathcal{A})=\\pi_i^{-1}(\\pi_i(L(\\mathcal{A})))$ for all $i$. It develops a decomposition strategy and reduces the problem to a base case in two variables, yielding an explicit parametric form in terms of roots of unity and auxiliary scalars, thereby characterizing stable arrangements as pullbacks of mirror hyperplanes of complex reflection groups of type $A$ or $B$. Additional results determine the $v$-closed vectors for these stable configurations, linking the combinatorics of intersection posets to linear constraints. The findings connect hyperplane arrangement theory with middle convolution and Pfaffian systems, offering insights relevant to KZ-type systems and rigidity phenomena in associated differential equations.
Abstract
We classify complex hyperplane arrangements $\mathcal A$ whose intersection posets $L(\mathcal A)$ satisfy $L(\mathcal A)=π_i^{-1}\circπ_i\bigl(L(\mathcal A)\bigr)$ for $i=1,\dots,n$. Here $π_i$ denotes the projection from $\mathbb C^n$ onto $\mathbb C^{n-1}$ defined by that forgets the coordinate $x_i$ of $(x_1,\dots,x_n)\in\mathbb C^n$, and $π_i\bigl(L(\mathcal A)\bigr)=\{π_i(S)\mid S\in L(\mathcal A)\}$. We show that such arrangements $\mathcal A$ arise as pullbacks of the mirror hyperplanes of complex reflection groups of type $A$ or $B$.
