Ovoidal fibrations in \(\mathrm{PG}(3,q),q\) even (Q2024720)

Let \(q\) be even. An \textit{ovoidal fibration} \(\mathcal F = \{\mathcal O_i \}^q_{i=0}\) of \(\mathrm{PG}(3, q)\) is a set of \(q + 1\) ovoids of \(\mathrm{PG}(3, q)\) partitioning the point set of \(\mathrm{PG}(3, q)\). In the known examples, the ovoids of \(\mathcal F\) are mutually projectively equivalent. Let \(\{\mathcal O_i \}^q_{i=0}\) be an ovoidal fibration of \(\mathrm{PG}(3, q)\), and \(L_i\) denote the general linear complex consisting of all tangent lines to the ovoid \(\mathcal O_i\), \(0 \leq i \leq q.\) The author proves that: (i) The set \(\mathcal S\) of common tangent lines to the ovoids \(\mathcal O_i\) is a regular spread in \(\mathrm{PG}(3, q)\). (ii) Each line \(D\) of \(\mathrm{PG}(3, q)\) not in \(\mathcal S\) is tangent to a unique ovoid \(\mathcal O_i\), secant to \(q/2\) ovoids \(\mathcal O_j\), \(j\neq i,\) and is disjoint from each of the remaining \(q/2\) ovoids of the fibration. (iii) Let \(\tau\) be the symplectic polarity of \(\mathrm{PG}(3, q)\) defined by \(\mathcal O_0\). Let \(m\) be a line of \(\mathrm{PG}3, q)\) not tangent to \(\mathcal O_0.\) Then, \(m\) and its polar \(m^{\tau}\) are tangent to distinct ovoids \(\mathcal O_i\), each distinct from \(\mathcal O_0\).