arXiv++ Combinatorics

We compute the combinatorial Aomoto-Betti numbers $β_p(\mathcal{A})$ of a complex reflection arrangement. When $\mathcal{A}$ has rank at least $3$, we find that $β_p(\mathcal{A})\le 2$, for all primes $p$. Moreover, $β_p(\mathcal{A})=0$ if $p>3$, and $β_2(\mathcal{A})\ne 0$ if and only if $\mathcal{A}$ is the Hesse arrangement. We deduce that the multiplicity $e_d(\mathcal{A})$ of an order $d$ eigenvalue of the monodromy action on the first rational homology of the Milnor fiber is equal to the corresponding Aomoto-Betti number, when $d$ is prime. We give a uniform combinatorial characterization of the property $e_d(\mathcal{A})\ne 0$, for $2\le d\le 4$. We completely describe the monodromy action for full monomial arrangements of rank $3$ and $4$. We relate $e_d(\mathcal{A})$ and $β_p(\mathcal{A})$ to multinets, on an arbitrary arrangement.

We examine the first non-vanishing higher homotopy group, $π_p$, of the complement of a hypersolvable, non--supersolvable, complex hyperplane arrangement, as a module over the group ring of the fundamental group, $\Zπ_1$. We give a presentation for the $I$--adic completion of $π_p$. We deduce that the second nilpotent $I$--adic quotient of $π_p$ is determined by the combinatorics of the arrangement, and we give a combinatorial formula for the second associated graded piece, $\gr^1_I π_p$. We relate the torsion of this graded piece to the dimensions of the minimal generating systems of the Orlik--Solomon ideal of the arrangement $\A$ in degree $p+2$, for various field coefficients. When $\A$ is associated to a finite simple graph, we show that $\gr^1_I π_p$ is torsion--free, with rank explicitly computable from the graph.