I’m writing this post so that I can direct my students to it as I often have to go over the evolution of the concepts of ovoids of projective spaces and polar spaces, and to explain that they are (i) different, and (ii) connected. It’s a bit dry, but it will serve as a reference for future posts.
Ovoids of projective spaces
I will start with a result of Jacques Tits in 1962, though ovoids arose earlier in the work of Bose and Qvist. An ovoid of a projective space is a set of points such that for any point of , the union of the lines incident with that are tangent to forms a hyperplane of . Tits showed that an ovoid of exists if and only if . For , we should be careful to stipulate that , since the size of an ovoid of is just 5 and things are a bit messy to state. By a simple counting argument, the number of points of an ovoid of is , and for a projective plane of order , an ovoid has size . For example, the elliptic quadric of is an example of an ovoid, and a non-singular conic is an example of an ovoid of . For more on the elliptic quadric example, see this post.
In the planar case, we now call these objects ovals, and reserve the name ‘ovoid’ just for the 3-dimensional case. Now an ovoid and oval have the property that no 3 points are collinear. We have the following way to think of an ovoid in three different ways:
Let be a set of points of . The following are equivalent:
- No 3 points of are collinear and ;
- For any point of , the union of the lines incident with that are tangent to span a plane of ;
- At every point of , there is a unique plane that meets only in (i.e., a tangent plane).
Ovoids of polar spaces
Jef Thas defined ovoids of polar spaces in his seminal paper “Ovoidal translation planes” in 1972. It is a set of points such that every maximal totally isotropic subspace meets it in precisely one point. Alternatively, we could define it as a set of points no two collinear, with size the number of points divided by the number of points in a maximal. We have:
Let be a set of points of a finite polar space , and let be the number of points of divided by the number of points lying in a maximal totally istropic subspace. The following three are equivalent:
- No 2 points of are collinear and ;
- Every maximal totally isotropic subspace has exactly one point of incident with it.
- At every point of , there exists a maximal totally isotropic subspace through tangent to .
So where did Thas’ definition come from? The most impressive result of his 1972 paper is the connection between ovoids of the rank 2 symplectic space and ovoids of the 3-dimensional projective spaces.
Theorem (Thas 1972): Let be an even prime power. Then an ovoid of is also an ovoid of . Conversely, if is an ovoid of , then we can define a null polarity defining a such that are absolute points for .
This result is quite remarkable. It certainly is easier to study and enumerate ovoids of , than in . The null polarity hinted at by the theorem is truly beautiful and was first known to Segre (1959): given a point of , we define to be the unique tangent plane at ; for each secant plane of we define to be the nucleus of the oval carved out (i.e., the nucleus of ).
The situation for odd was already classified independently by Barlotti and Panella (1965): the only ovoids in this case are quadrics. So the open problem on classifying ovoids of boils down to the even case.
Another reason for defining ovoids this way is that it encapsulates natural examples. A non-degenerate hyperplane section of the Hermitian polar space is an ovoid, and a non-degenerate hyperplane section of minus type of the parabolic quadric is an ovoid. Plus, we can think of the non-singular conic as a rank 1 polar space , and hence an ‘ovoid’ of coincides trivially with an oval of .
In a future post, I’ll talk about the open problems on ovoids of polar spaces.