Namespaces
Variants
Actions

Difference between revisions of "Ovoid"

From Encyclopedia of Mathematics
Jump to: navigation, search
Line 1: Line 1:
 +
{{TEX|want}}
 +
 
==Ovoids in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201001.png" />-dimensional projective space.==
 
==Ovoids in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201001.png" />-dimensional projective space.==
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201002.png" /> denote the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201003.png" />-dimensional [[Projective space|projective space]] over the [[Galois field|Galois field]] of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201004.png" />. An ovoid in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201006.png" /> is a set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201007.png" /> points, no three of which are collinear. (Note that in [[#References|[a2]]] and some other older publications, an ovoid is called an ovaloid.) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201008.png" />, then an ovoid is a maximum-sized set of points, no three collinear, but in the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201009.png" /> the complement of a plane is a set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o12010010.png" /> points, no three collinear. More information about ovoids can be found in [[#References|[a2]]] and [[#References|[a5]]]. The survey paper [[#References|[a4]]] gives further details, especially regarding more recent work, with the exception of the recent (1998) result in [[#References|[a1]]].
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201002.png" /> denote the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201003.png" />-dimensional [[Projective space|projective space]] over the [[Galois field|Galois field]] of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201004.png" />. An ovoid in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201006.png" /> is a set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201007.png" /> points, no three of which are collinear. (Note that in [[#References|[a2]]] and some other older publications, an ovoid is called an ovaloid.) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201008.png" />, then an ovoid is a maximum-sized set of points, no three collinear, but in the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o1201009.png" /> the complement of a plane is a set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120100/o12010010.png" /> points, no three collinear. More information about ovoids can be found in [[#References|[a2]]] and [[#References|[a5]]]. The survey paper [[#References|[a4]]] gives further details, especially regarding more recent work, with the exception of the recent (1998) result in [[#References|[a1]]].

Revision as of 19:05, 16 March 2023


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 $\mathcal{O}$ in a finite classical polar space $\mathcal{S}$ of rank $r\geq 2$ is a set of points of $\mathcal{S}$ which has exactly one point in common with every generator of $\mathcal{S}$. Again, there are connections between ovoids in polar spaces and ovoids in generalized $n$-gons. For example, if $H(q)$ denotes the classical generalized hexagon ($6$-gon) of order $q$ embedded on the non-singular quadric $Q(6,q)$, then a set of points $\mathcal{O}$ is an ovoid of $H(q)$ if and only if it is an ovoid of the classical polar space $Q(6,Q)$. 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 , even, with a conic section" J. London Math. Soc. (to appear)
[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 : a survey" Discrete Math. , 151 (1996) pp. 175–188
[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)
How to Cite This Entry:
Ovoid. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ovoid&oldid=52710
This article was adapted from an original article by C.M. O'Keefe (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article