ovoid

In PG(3,q), with q a prime power greater than 2, an ovoid is a set of points, no three of which collinear (the maximum size of such a set).^[1] When the largest set of non-collinear points has size eight and is the complement of a plane.^[2]

An important example of an ovoid in any finite projective three-dimensional space are the points of an elliptic quadric (all of which are projectively equivalent).

When q is odd or , no ovoids exist other than the elliptic quadrics.^[3]

When another type of ovoid can be constructed : the Tits ovoid, also known as the Suzuki ovoid. It is conjectured that no other ovoids exist in PG(3,q).

Through every point P on the ovoid, there are exactly tangents, and it can be proven that these lines are exactly the lines through P in one specific plane through P. This means that through every point P in the ovoid, there is a unique plane intersecting the ovoid in exactly one point.^[4] Also, if q is odd or every plane which is not a tangent plane meets the ovoid in a conic.^[5]

See also

• Ovoid (polar space)
• Oval (projective plane)
• Inversive plane

Notes

References

• Barlotti, A. (1955), "Un' estensione del teorema di Segre-Kustaanheimo", Boll. Un. Mat. Ital. 10: 96–98 
• Hirschfeld, J.W.P. (1985), Finite Projective Spaces of Three Dimensions, New York: Oxford University Press, ISBN 0-19-853536-8 
• Panella, G. (1955), "Caratterizzazione delle quadriche di uno spazio (tridimensionale) lineare sopra un corpo finito", Boll. Un. Mat. Ital. 10: 507–513