On the dynamics of the line operator \(\Lambda_{\{2\},\{3\}}\) on some arrangements of six lines (Q6085502)

In the paper under review the author studies geometric properties of certain arrangements of six lines and their dynamics via the action of the line operator \(\Lambda_{\{2\},\{3\}}\) that has been very recently introduced by the author. Recall that for \(k\geq 2\) one defines \(\mathcal{P}_{\{k\}}\) to be the point operator which to a given line arrangement \(\mathcal{A}\) associates the set \(\mathcal{P}_{\{k\}}(\mathcal{A})\) consisting of \(k\)-fold intersection points of \(\mathcal{A}\). Notice that \(|\mathcal{P}_{\{k\}}(\mathcal{A})| = \text{ the number of } k\text{-fold points of }\mathcal{A}.\) Then, for \(k \geq 2\), we denote by \(\mathcal{L}_{\{k\}}\) the line operator which to a given finite set of points \(P\) associates the set \(\mathcal{L}_{\{k\}}(P)\) consisting of lines incident with exactly \(k\) points in \(P\). Then the operator \(\Lambda_{\{n\},\{m\}}\) is defined as the composition \(\mathcal{L}_{\{n\}}\circ \mathcal{P}_{\{m\}}\). Denote by \(\mathcal{D}\) the dual operator such that to a set of points (or lines, respectively) associates the corresponding set of lines (or points, respectively) in the dual projective plane. In principle, the line operator \(\Lambda_{\{2\},\{3\}}\) is the map which to a line arrangement \(\mathcal{A}\) assigns the union of all the lines containing exactly \(3\) double points of \(\mathcal{A}\). Here the author focuses on a very particular class of line arrangements which are called unassuming. Definition. We say that an arrangement \(\mathcal{C}_0\) consisting of \(6\) lines in the projective plane is unassuming if the singularities of \(\mathcal{C}_0\) are only double points and the line arrangement \(\check{\mathcal{C}}_{0} = \mathcal{L}_{2}(\mathcal{D}(\mathcal{C}_{0}))\) has the following singularities: \[t_{2}(\check{\mathcal{C}}_{0}) = 27, \quad t_{3}(\check{\mathcal{C}}_{0}) = 6, \quad t_{5}(\check{\mathcal{C}}_{0}) =6.\] Furthermore, we require that the \(5\)-fold points are not contained in a conic. The first result of the paper (from that moment we work over the complex numbers) describes the moduli space. Theorem A. If \(\mathcal{C}_0\) is a generic unassuming arrangement, then \(\Lambda_{\{2\},\{3\}}(\mathcal{C}_{0})\) is also an unassuming arrangement. The closure of the moduli space of unassuming arrangements has two irreducible components, one is isomorphic to \(\mathbb{P}^{1}_{\mathbb{C}}\) and the other one is just a point. From the above result, starting from an unassuming arrangement \(\mathcal{C}_{0} = \mathcal{C}_{0}(z_{0})\), where \(z_{0}\) is a parameter of the moduli, one can define by induction a sequence \((\mathcal{C}_{k})_{k \in \mathbb{N}}\) of unassuming arrangements by setting \(\mathcal{C}_{k+1} = \Lambda_{\{2\},\{3\}}(\mathcal{C}_{k})\). Theorem B. For a fixed \(z_{0}\) in the complement of the unit circle and any integer \(k\neq k'\), the unassuming arrangements \(\mathcal{C}_{k}, \mathcal{C}_{k'}\) are not projectively equivalent. For \(z_{0}\) being a primitive \(n\)-root of unity with \(n>1\) odd, the associated sequence \((\mathcal{C}_{k})_{k \in \mathbb{N}}\) with \(\mathcal{C}_{0} = \mathcal{C}_{0}(z_{0})\) is periodic. For \(n \in \{3,5, ...,21,23\}\) the union of the periodic line arrangements \((\mathcal{C}_{k})_{k \in \mathbb{N}}\) is a CEVA line arrangement, or is contained in a CEVA line arrangement. Furthermore, the line operator \(\Lambda_{\{2\},\{3\}}\) acts on the moduli space of unassuming line arrangements (the component isomorphic to \(\mathbb{P}^{1}_{\mathbb{C}}(z)\)) through the second Tchebychev polynomial mapping \(z \mapsto 2z^{2}-1\).