One of the most confounding and fundamental open problems in finite geometry is the question of classifying the hyperovals of the Desarguesian projective planes. Beyond this problem, there are many other related interesting avenues of research: what about hyperovals of non-Desarguesian planes, maximal arcs or linear codes with minimum distance 3?
An arc of a projective plane is a set of points with no three lying on a common line. For odd, the largest an arc can be in the Desarguesian projective plane is , an oval, and it is exhibited by a conic: for example, the solutions to the quadratic equation (where our points are represented in homoegenous coordinates ). To see that there can be no larger arc, choose a point not in the arc; if there were exactly points in the arc, then there would be exactly lines on meeting the arc, and this number is not an integer for odd. A bigger arc would have a sub-arc of size , so this argument rules out all larger sizes. For even, we can have points in an arc, a so-called hyperoval. But then, a similar counting argument shows that there is no larger arc. Segre showed that an oval of for odd, must be projectively equivalent to a conic. So the ovals here are completely classified. Does a similar result hold for hyperovals when is even?
For even, the tangents of a conic meet in a unique point, the so-called nucleus of the conic. This extra point then completes the conic to a hyperoval. But there’s more!
Bill Cherowitzo’s hyperovals page gives a run-down of the state of the art, what is known about the various constructions of hyperovals (due to Cherowitzo, Lunelli, Sce, Segre, Glynn, O’Keefe, Payne, Penttila). The wikipedia page on ovals is also quite good. By the transitivity on frames of the collineation group of the plane, we can assume that the points , , and are contained in any hyperoval. This then implies that there is a function on such that the hyperoval can be represented as . Moreover, is a permutation and can be written as a polynomial of degree . There are some other conditions which must satisfy, making it a so-called o-polynomial. So we can study o-polynomials to construct and classify hyperovals. For example, Segre showed that for , with odd, the polynomial is an o-polynomial, and it gives us a hyperoval which does not come from completing a conic.
The hyperovals of for are known to all arise from a conic (i.e., a hyperconic). For we get a different hyperoval, the Lunelli-Sce example, and according to Marshall Hall Jnr (1975), this together with the hyperconic are the only ones up to equivalence. For and we begin to see the number of inequivalent examples expand, but not by much. For , we have a complete classification due to Tim Penttila and Gordon Royle (1994). For , we know all of the hyperovals which have nontrivial symmetry (also due to Penttila and Royle, 1995).
For a while now, since Cherowitzo, O’Keefe and Penttila in 2003, we have not seen a new construction of a family of hyperovals in Desarguesian planes. Have we found them all? It is perhaps still too premature to think that we know all of the examples, yet the search for new examples is very difficult in planes of order or more. I hope to see this field of research come alive again with some beautiful new constructions. Some of the many consequences would be new generalised quadrangles, new partial geometries and new strongly regular graphs.
(Thanks to Tim Penttila for spotting mistakes of mine in a previous draft of this post!)