Ovoid
Contents
Ovoids in
-dimensional projective space.
Let denote the
-dimensional projective space over the Galois field of order
. An ovoid in
is a set of
points, no three of which are collinear. (Note that in [a2] and some other older publications, an ovoid is called an ovaloid.) If
, then an ovoid is a maximum-sized set of points, no three collinear, but in the case
the complement of a plane is a set of
points, no three collinear. More information about ovoids can be found in [a2] and [a5]. The survey paper [a4] gives further details, especially regarding more recent work, with the exception of the recent (1998) result in [a1].
The only known ovoids in (as of 1998) are the elliptic quadrics (cf. also Quadric), which exist for all
, and the Tits ovoids, which exist for
where
is odd. There is a single orbit of elliptic quadrics under the homography group
, and one can take as a representative the set of points
![]() |
where is irreducible over
. The stabilizer in
of an elliptic quadric is
, acting
-transitively on its points. There is a single orbit of Tits ovoids under
, a representative of which is given by
![]() |
where is such that
. The stabilizer in
of a Tits ovoid is the Suzuki group
acting
-transitively on its points. A plane in
meets an ovoid in either a single point or in the
points of an oval. It is worth noting that in the case of an elliptic quadric, this oval is a conic while in the case of a Tits ovoid it is a translation oval with associated automorphism
.
The classification of ovoids in is of great interest, particularly in view of the number of related structures, such as Möbius planes, symplectic polarities, linear complexes, generalized quadrangles, unitals, maximal arcs, translation planes, and ovals.
If is odd, then every ovoid is an elliptic quadric, but the classification problem for
even has been resolved only (as of 1998) for
, with the case
involving some computer work. These classifications rely on the classification of ovals in the projective planes over fields of order up to
. On the other hand, there are several characterization theorems known, normally in terms of an assumption on the nature of the plane sections. One of the strongest results in this direction states that an ovoid with at least one conic among its plane sections must be an elliptic quadric. Similarly, it is known that an ovoid which admits a pencil of
translation ovals is either an elliptic quadric or a Tits ovoid.
Ovoids in generalized polygons.
An ovoid in a generalized
-gon
(cf. also Polygon) is a set of mutually opposite points (hence
is even) such that every element
of
is at distance at most
from at least one element of
. One connection between ovoids in
and ovoids in generalized
-gons is that just as polarities of projective spaces sometimes give rise to ovoids, polarities of generalized
-gons produce ovoids. Further, every ovoid of the classical symplectic generalized quadrangle (
-gon; cf. also Quadrangle) usually denoted by
,
even, is an ovoid of
and conversely. It is worth noting in this context that a Tits ovoid in
is the set of all absolute points of a polarity of
,
and
odd. There are many ovoids known (1998) for most classes of generalized quadrangles, with useful characterization theorems. For the details and a survey of existence and characterization results for ovoids in generalized
-gons, see [a6] and especially [a7].
Ovoids in finite classical polar spaces.
An ovoid in a finite classical polar space
of rank
is a set of points of
which has exactly one point in common with every generator of
. Again, there are connections between ovoids in polar spaces and ovoids in generalized
-gons. For example, if
denotes the classical generalized hexagon (
-gon) of order
embedded on the non-singular quadric
, then a set of points
is an ovoid of
if and only if it is an ovoid of the classical polar space
. The existence problem for ovoids has been settled for most finite classical polar spaces, see [a3] or [a5] for a survey which includes a list of the open cases (as of 1998).
References
[a1] | M.R. Brown, "Ovoids of ![]() ![]() |
[a2] | J.W.P. Hirschfeld, "Finite projective spaces of three dimensions" , Oxford Univ. Press (1985) |
[a3] | J.W.P. Hirschfeld, J.A. Thas, "General Galois geometries" , Oxford Univ. Press (1991) |
[a4] | C.M. O'Keefe, "Ovoids in ![]() |
[a5] | J.A. Thas, "Projective geometry over a finite field" F. Buekenhout (ed.) , Handbook of Incidence Geometry, Buildings and Foundations , Elsevier (1995) pp. Chap. 7; 295–348 |
[a6] | J.A. Thas, "Generalized Polygons" F. Buekenhout (ed.) , Handbook of Incidence Geometry, Buildings and Foundations , Elsevier (1995) pp. Chap. 9; 295–348 |
[a7] | H. Van Maldeghem, "Generalized polygons" , Birkhäuser (1998) |
Ovoid. C.M. O'Keefe (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ovoid&oldid=15585