Intersections of hyperconics in projective planes of even order (Q5941624): Difference between revisions

Let \(\pi = PG(2, F)\), where \(F\) is any field, finite or infinite, of characteristic two that contains a subfield of order 4, but which does not contain a subfield of order 8. Let hexad in \(\pi\) be a set of six points that forms a hyperoval in some projective subplane \(\pi_0 = PG(2,4)\) of order 4 of \(\pi\). Two hexads are coplanar if they are contained in the same \(PG(2,4)\) subplane of \(\pi\). Let \(H_1\) and \(H_2\) be hyperconics in \(\pi\) and let \(G_1\) and \(G_2\) be coplanar hexads contained in \(H_1\) and \(H_2\), respectively. The authors prove that \(|G_1\cap G_2|\) is even if and only if \(|H_1 \cap H_2|\) is even. They give the following corollary of this result: Even intersection equivalence relation amongst the 168 hexads of \(\pi_0\) can be lifted to an even intersection equivalence relation amongst a set of 1008 hyperconics in \(\pi\).