On complex supersolvable line arrangements (Q2304573)

Let \(\mathcal{A}\) be a line arrangement in the complex projective plane. An intersection point \(p\) of \(\mathcal{A}\) is modular if for another intersection point \(q\) of \(\mathcal{L}\) the line determined by \(p\) and \(q\) belongs to the arrangement \(\mathcal{A}\). Now we say that a line arrangement \(\mathcal{L}\) is supersolvable if it has a modular point. A supersolvable line arrangement \(\mathcal{A}\) is \(m\)-homogeneous if all the modular points have the same multiplicity \(m\). The authors prove the following results on supersolvable line arrangements. Theorem A. Let \(\mathcal{A}\) be a supersolvable arrangement of \(d\) lines in the complex projective plane \(\mathbb{P}^{2}_{\mathbb{C}}\). Let \(p\) be a modular point of \(\mathcal{A}\) having maximal multiplicity \(m \geq 2\). Then \(d \leq 3m - 3\). Theorem B. Let \(\mathcal{A}\) be an \(m\)-homogeneous supersolvable line arrangement in the complex projective plane \(\mathbb{P}^{2}_{\mathbb{C}}\) with \(m\geq 3\). Then the number of modular points \(M\) of \(\mathcal{A}\) satisfies \(M\leq 4\). Moreover, any \(m\)-homogeneous supersolvable line arrangement \(\mathcal{A}\) with \(m\geq 3\) and \(M \geq 3\) is projectively equivalent to the arrangement \(\mathcal{A}(m-2,1,3)\) given by the following defining equation: \[ xyz(x^{m-2} - y^{m-2})(y^{m-2} - z^{m-2})(x^{m-2} - z^{m-2}) = 0. \] In the second part of the paper, the authors study the properties of the Milnor fibers and the complements of supersolvable line arrangements. Proposition. Let \(A\) be a supersolvable \(m\)-homogeneous line arrangement with \(m\geq 3\) having at least two modular points. Denote by \(f\) the defining equation of \(\mathcal{A}\). Then the combinatorics of \(\mathcal{A}\) determines the diffeomorphism type of the complement \(\mathcal{M}(\mathcal{A}) = \mathbb{P}^{2}_{\mathbb{C}} \setminus \bigcup_{H \in \mathcal{A}} H\) of \(\mathcal{A}\), the Milnor fiber \(F(\mathcal{A})\) given by \(f(x,y,z) = 1\) in \(\mathbb{C}^{3}\), as well as the monodromy operators \(h^{*} : H^{*}(F(\mathcal{A}) , \mathbb{C}) \rightarrow H^{*}(F(\mathcal{A}), \mathbb{C})\). Finally, the authors show that cones over generic line arrangements and arbitrary line arrangements (i.e., a special class of supersolvable line arrangements with exactly one modular point) do not admit the so-called unexpected curves.