A unital in the projective plane is a set of points of such that every line meets in 1 or q+1 points. These lines are known as tangent and secant lines respectively. If we take the points of the unital together with the secant lines, we obtain a design.
An example of a unital; the Hermitian curve.
Consider the set of points of which satisfy
Then these points form a unital known as a Hermitian curve or classical unital. A classical unital is defined to be a set of points which is the image of this example under the group .
Another example: Buekenhout-Metz unitals.
In 1976, Francis Buekenhout gave a construction of a family of non-classical unitals of (and in fact, translation planes of order with kernel containing ) for even and not a square. This construction was extended by Rudolf Metz (1979) to all . It is a complicated construction for the uninitiated, but we will try to explain it below. Moreover, we will say that the output are Buekenhout-Metz unitals, even though they include the classical unitals.
Consider the affine space one gets by having distinguished a hyperplane in . Inside our 3-dimensional projective space , suppose we have a partition of the points into lines; this is known as a spread. Furthermore, we will actually want to have a nice spread, known as the Desarguesian spread, which is constructed as follows. The points of the projective line are the 1-dimensional subspaces of . By taking a basis for over , we can take the -subspaces arising from our old -subspaces, which blows things up. We see that a 1-dimensional subspace blows up to a 2-dimensional subspace of when we do this. This is the Desarguesian spread.
Now define the following incidence structure:
- POINTS: (i) the points of not contained in (the affine points), together with (ii) the elements of the spread ; so we have points in total.
- LINES: (a) the planes of which intersect in an element of , together with (b) the set (just one more line); so we have of these too.
The incidence relation is either containment of objects or natural incidence in the projective space. Believe it or not, this incidence structure is equivalent to the Desarguesian projective plane . This is the André/Bruck-Bose representation of . Here is an artist’s impression of it here:
Now take a line of the spread , and two points and on . Here comes the tricky part. Suppose we have an ovoid (see this previous post) of points inside some other hyperplane of such that meets in the point , and . We then build a cone out of the ovoid and the point , and the line is one of the lines of this cone. Let be the set of affine points which lie on the lines of this cone. Let’s count these. Each line of the cone has affine points, except for which has none. So there are affine points lying on the cone. If we add the POINT to our set , we end up with a unital of the corresponding incidence structure. These unitals are known as Buekenhout-Metz unitals, and the classical unital is an example of one of these. Here is a picture which illustrates what we have been discussing:
The open problem
Do there exist unitals of which do not arise from the Buekenhout-Metz construction?