An arithmetic Zariski pair of line arrangements with non-isomorphic fundamental group (Q523114): Difference between revisions

In [Geom. Topol. 20, No. 1, 537--553 (2016; Zbl 1337.32042)], the third author found a collection \(C_i\subset\mathbb P^2\) of line arrangements that are Galois conjugate (in particular, have the same combinatorics) but the pairs \((\mathbb P^2,C_i)\) are not homeomorphic, distinguishable by a newly discovered invariant resembling self-linking of the arrangements. The question whether the complements \(\mathbb P^2\setminus C_i\) were homeomorphic was left open. In the present paper, for a pair of the above arrangements the authors compute the fundamental groups \(\pi_1(\mathbb P^2\setminus C_i)\) and show that they are not isomorphic, thus answering the question in the negative. The groups are computed by means of the previously known wiring diagrams and distinguished by an appropriate truncated version of the Alexander module.