An ovoid of a finite 3-dimensional projective space is a set of points such that no three are on a common line. Besides the case , the bound is the maximum size of a set of points with no three collinear. Ovoids are central to finite geometry, and two examples of their significance are the constructions of inversive planes and generalised quadrangles from ovoids. Peter Dembowski (1963) proved that every inversive plane of even order arises from an ovoid of , even, and Jacques Tits (see Dembowksi’s book) gave a construction of a generalised quadrangle of order from an ovoid. Here is a simple example of an ovoid:
Example (Elliptic Quadric):
Consider an element of such that is irreducible over . If we take the points of of the form
together with the point , we obtain an ovoid known as an elliptic quadric. All non-singular quadrics (zeros of quadratics) of elliptic type are equivalent to the one we have just described in the sense that acts transitively on elliptic quadrics.
Barlotti and Panella independently proved in 1955, that every ovoid of , with odd, is an elliptic quadric. Segre (1959) had discovered an ovoid of which was not an elliptic quadric, and Tits showed that there exists such a non-classical ovoid of for an odd power of 2 (Fellagara later showed in 1962 that Tits’ family of examples included the Segre example). The stabilisers of these ovoids are the famous Suzuki groups, and so they are sometimes called Suzuki-Tits ovoids.
Example (Suzuki-Tits ovoids):
Let be the automorphism of defined by . If we take the points of of the form
together with the point , we obtain an ovoid known as a Suzuki-Tits ovoid.
O’Keefe, Penttila and Royle (1994) classified the ovoids for , and until the time of writing, all the known examples are the two we have just described; which brings us to the conjecture…
Every ovoid of PG(3,q) is an elliptic quadric or a Suzuki-Tits ovoid.
The best result so far in this area is a theorem of Matthew Brown (2000):
Brown (2000): If any hyperplane section of an ovoid is a conic, then the ovoid is an elliptic quadric.
There is of course a lot lot more on this topic, and a good survey (up to the year 2000) can be found here.