In this post I want to continue discussing some of the constructions for nonclassical generalised quadrangles. First I need to introduce some new geometrical notions.
Ovals, hyperovals and ovoids
An oval in the projective plane is a set of points such that no three are collinear. The typical example is a conic, that is, the set of zeros of some nondegenerate quadratic form. Up to equivalence we can take this quadratic form to be , and so any conic can be mapped to the conic defined by by a collineation of . Lines of the projective plane are either
- nondegenerate with respect to the quadratic form, and so contain two totally singular points, or
- degenerate, and contain precisely one totally singular point and this point is perpendicular to all the remaining points on the line, that is, for all remaining points on the line, where is the bilinear form associated with .
In fact, it is a theorem of Segre that for odd the only ovals are these conics.
For even, any oval can be extended to a set of points such that no three are collinear. Such a set is called a hyperoval. This can be seen in the case of a conic where there is a unique point of which is perpendicular to all points of the conic. This point is referred to as the nucleus. For the quadratic form given above this is the point . This provides a construction for further ovals in the even case, for any points of a hyperoval is an oval. For the setwise stabiliser of this hyperoval fixes the nucleus and so these extra ovals are not conics. In general, given an oval , for each point on the oval there is a unique line of meeting at and this line is called a tangent line. The tangent lines meet in a common point outside the conic, and this is the nucleus.
In fact, there are many hyperovals which do not come from adding the nucleus to a conic, and hence lots of ovals. Of note are the Subiaco ovals (named as they were discovered here in Perth and Subiaco is a local suburb, and a pun on the fact that the main football ground in Perth is Subiaco Oval) and the Adelaide ovals (cricket fans will know of the Adelaide oval, the main cricket ground in South Australia). There is also the Lunelli-Sce hyperoval in , which along with the hyperovals formed by adding the nucleus to a conic when or , are the only hyperovals for which the setwise stabiliser of the hyperoval is transitive on the set of points of the hyperoval. This was proved by Korchmáros in 1978.