Quadratic set

<h2 id="definition-of-a-quadratic-set">Definition of a quadratic set</h2>
Let 
 
 
 
 
 
 P
 
 
 =
 (
 
 
 P
 
 
 ,
 
 
 G
 
 
 ,
 ∈
 )
 
 
 {\displaystyle {\mathfrak {P}}=({\mathcal {P}},{\mathcal {G}},\in )}
 
 be a projective space. A quadratic set is a non-empty subset 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 of 
 
 
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathcal {P}}}
 
 for which the following two conditions hold: 

(QS1) Every line 
 
 
 
 g
 
 
 {\displaystyle g}
 
 of 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
 intersects 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 in at most two points or is contained in 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
.
(
 
 
 
 g
 
 
 {\displaystyle g}
 
 is called exterior to 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 if 
 
 
 
 
 |
 
 g
 ∩
 
 
 Q
 
 
 
 |
 
 =
 0
 
 
 {\displaystyle |g\cap {\mathcal {Q}}|=0}
 
, tangent to 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 if either 
 
 
 
 
 |
 
 g
 ∩
 
 
 Q
 
 
 
 |
 
 =
 1
 
 
 {\displaystyle |g\cap {\mathcal {Q}}|=1}
 
 or 
 
 
 
 g
 ∩
 
 
 Q
 
 
 =
 g
 
 
 {\displaystyle g\cap {\mathcal {Q}}=g}
 
, and secant to 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 if 
 
 
 
 
 |
 
 g
 ∩
 
 
 Q
 
 
 
 |
 
 =
 2
 
 
 {\displaystyle |g\cap {\mathcal {Q}}|=2}
 
.)
(QS2) For any point 
 
 
 
 P
 ∈
 
 
 Q
 
 
 
 
 {\displaystyle P\in {\mathcal {Q}}}
 
 the union 
 
 
 
 
 
 
 Q
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathcal {Q}}_{P}}
 
 of all tangent lines through 
 
 
 
 P
 
 
 {\displaystyle P}
 
 is a <a href="/facts/Hyperplane/2s2ycYYd">hyperplane</a> or the entire space 
 
 
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathcal {P}}}
 
.
A quadratic set 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 is called non-degenerate if for every point 
 
 
 
 P
 ∈
 
 
 Q
 
 
 
 
 {\displaystyle P\in {\mathcal {Q}}}
 
, the set 
 
 
 
 
 
 
 Q
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathcal {Q}}_{P}}
 
 is a hyperplane.
A Pappian projective space is a projective space in which <a href="/facts/Pappus%27s_hexagon_theorem/t0Hb33dG">Pappus's hexagon theorem</a> holds.
The following result, due to <a href="/facts/Francis_Buekenhout/c57evK38">Francis Buekenhout</a>, is an astonishing statement for finite projective spaces.

Theorem: Let be 
 
 
 
 
 
 
 P
 
 
 
 n
 
 
 
 
 {\displaystyle {\mathfrak {P}}_{n}}
 
 a finite projective space of dimension 
 
 
 
 n
 ≥
 3
 
 
 {\displaystyle n\geq 3}
 
 and 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 a non-degenerate quadratic set that contains lines. Then: 
 
 
 
 
 
 
 P
 
 
 
 n
 
 
 
 
 {\displaystyle {\mathfrak {P}}_{n}}
 
 is Pappian and 
 
 
 
 
 
 Q
 
 
 
 
 {\displaystyle {\mathcal {Q}}}
 
 is a <a href="/facts/Quadric/L3cTApd4">quadric</a> with index 
 
 
 
 ≥
 2
 
 
 {\displaystyle \geq 2}
 
.
<h2 id="definition-of-an-oval-and-an-ovoid">Definition of an oval and an ovoid</h2>
Ovals and ovoids are special quadratic sets:
Let 
 
 
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathfrak {P}}}
 
 be a projective space of dimension 
 
 
 
 ≥
 2
 
 
 {\displaystyle \geq 2}
 
. A non-degenerate quadratic set 
 
 
 
 
 
 O
 
 
 
 
 {\displaystyle {\mathcal {O}}}
 
 that does not contain lines is called ovoid (or oval in plane case).
The following equivalent definition of an oval/ovoid are more common:
Definition: (oval)
A non-empty point set 
 
 
 
 
 
 o
 
 
 
 
 {\displaystyle {\mathfrak {o}}}
 
 of a projective plane is called 
oval if the following properties are fulfilled:

(o1) Any line meets 
 
 
 
 
 
 o
 
 
 
 
 {\displaystyle {\mathfrak {o}}}
 
 in at most two points.
(o2) For any point 
 
 
 
 P
 
 
 {\displaystyle P}
 
 in 
 
 
 
 
 
 o
 
 
 
 
 {\displaystyle {\mathfrak {o}}}
 
 there is one and only one line 
 
 
 
 g
 
 
 {\displaystyle g}
 
 such that 
 
 
 
 g
 ∩
 
 
 o
 
 
 =
 {
 P
 }
 
 
 {\displaystyle g\cap {\mathfrak {o}}=\{P\}}
 
.
A line 
 
 
 
 g
 
 
 {\displaystyle g}
 
 is a exterior or tangent or secant line of the 
oval if 
 
 
 
 
 |
 
 g
 ∩
 
 
 o
 
 
 
 |
 
 =
 0
 
 
 {\displaystyle |g\cap {\mathfrak {o}}|=0}
 
 or 
 
 
 
 
 |
 
 g
 ∩
 
 
 o
 
 
 
 |
 
 =
 1
 
 
 {\displaystyle |g\cap {\mathfrak {o}}|=1}
 
 or 
 
 
 
 
 |
 
 g
 ∩
 
 
 o
 
 
 
 |
 
 =
 2
 
 
 {\displaystyle |g\cap {\mathfrak {o}}|=2}
 
 respectively.
For finite planes the following theorem provides a more simple definition.
Theorem: (oval in finite plane) Let be 
 
 
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathfrak {P}}}
 
 a projective plane of order 
 
 
 
 n
 
 
 {\displaystyle n}
 
.
A set 
 
 
 
 
 
 o
 
 
 
 
 {\displaystyle {\mathfrak {o}}}
 
 of points is an oval if 
 
 
 
 
 |
 
 
 
 o
 
 
 
 |
 
 =
 n
 +
 1
 
 
 {\displaystyle |{\mathfrak {o}}|=n+1}
 
 and if no three points
of 
 
 
 
 
 
 o
 
 
 
 
 {\displaystyle {\mathfrak {o}}}
 
 are collinear.
According to this theorem of <a href="/facts/Beniamino_Segre/1PPbmKda">Beniamino Segre</a>, for Pappian projective planes of odd order the ovals are just conics:
Theorem:
Let be 
 
 
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathfrak {P}}}
 
 a Pappian projective plane of odd order.
Any oval in 
 
 
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathfrak {P}}}
 
 is an oval conic (non-degenerate <a href="/facts/Quadric/L3cTApd4">quadric</a>).
Definition: (ovoid)
A non-empty point set 
 
 
 
 
 
 O
 
 
 
 
 {\displaystyle {\mathcal {O}}}
 
 of a projective space is called ovoid if the following properties are fulfilled:

(O1) Any line meets 
 
 
 
 
 
 O
 
 
 
 
 {\displaystyle {\mathcal {O}}}
 
 in at most two points.
(
 
 
 
 g
 
 
 {\displaystyle g}
 
 is called exterior, tangent and secant line if 
 
 
 
 
 |
 
 g
 ∩
 
 
 O
 
 
 
 |
 
 =
 0
 ,
  
 
 |
 
 g
 ∩
 
 
 O
 
 
 
 |
 
 =
 1
 
 
 {\displaystyle |g\cap {\mathcal {O}}|=0,\ |g\cap {\mathcal {O}}|=1}
 
 and 
 
 
 
 
 |
 
 g
 ∩
 
 
 O
 
 
 
 |
 
 =
 2
 
 
 {\displaystyle |g\cap {\mathcal {O}}|=2}
 
 respectively.)
(O2) For any point 
 
 
 
 P
 ∈
 
 
 O
 
 
 
 
 {\displaystyle P\in {\mathcal {O}}}
 
 the union 
 
 
 
 
 
 
 O
 
 
 
 P
 
 
 
 
 {\displaystyle {\mathcal {O}}_{P}}
 
 of all tangent lines through 
 
 
 
 P
 
 
 {\displaystyle P}
 
 is a <a href="/facts/Hyperplane/2s2ycYYd">hyperplane</a> (tangent plane at 
 
 
 
 P
 
 
 {\displaystyle P}
 
).
Example:

a) Any sphere (quadric of index 1) is an ovoid.
b) In case of real projective spaces one can construct ovoids by combining halves of suitable ellipsoids such that they are no quadrics.
For finite projective spaces of dimension 
 
 
 
 n
 
 
 {\displaystyle n}
 
 over a <a href="/facts/Field_(algebra)/xAjAS4ko">field</a> 
 
 
 
 K
 
 
 {\displaystyle K}
 
 we have:
Theorem:

a) In case of 
 
 
 
 
 |
 
 K
 
 |
 
 <
 ∞
 
 
 {\displaystyle |K|<\infty }
 
 an ovoid in 
 
 
 
 
 
 
 P
 
 
 
 n
 
 
 (
 K
 )
 
 
 {\displaystyle {\mathfrak {P}}_{n}(K)}
 
 exists only if 
 
 
 
 n
 =
 2
 
 
 {\displaystyle n=2}
 
 or 
 
 
 
 n
 =
 3
 
 
 {\displaystyle n=3}
 
.
b) In case of 
 
 
 
 
 |
 
 K
 
 |
 
 <
 ∞
 ,
  
 char
 ⁡
 K
 ≠
 2
 
 
 {\displaystyle |K|<\infty ,\ \operatorname {char} K\neq 2}
 
 an ovoid in 
 
 
 
 
 
 
 P
 
 
 
 n
 
 
 (
 K
 )
 
 
 {\displaystyle {\mathfrak {P}}_{n}(K)}
 
 is a quadric.
Counterexamples (Tits–Suzuki ovoid) show that i.g. statement b) of the theorem above is not true for 
 
 
 
 char
 ⁡
 K
 =
 2
 
 
 {\displaystyle \operatorname {char} K=2}
 
:

<ul><li><a href="/facts/Albrecht_Beutelspacher/I0l9b5so">Albrecht Beutelspacher</a> & Ute Rosenbaum (1998) Projective Geometry : from foundations to applications, Chapter 4: Quadratic Sets, pages 137 to 179, <a href="/facts/Cambridge_University_Press/fgEBSSRq">Cambridge University Press</a> <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0521482776</li>
<li><a href="/facts/Francis_Buekenhout/c57evK38">F. Buekenhout</a> (ed.) (1995) Handbook of <a href="/facts/Incidence_(geometry)/dlzk9bUl">Incidence Geometry</a>, <a href="/facts/Elsevier/jkPSAEmR">Elsevier</a> <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-444-88355-X</li>
<li>P. Dembowski (1968) Finite Geometries, Springer-Verlag <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 3-540-61786-8, p. 48</li></ul>
<h2 id="external-links">External links</h2>
<ul><li>Eric Hartmann <a href="http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf">Lecture Note Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes</a>, from <a href="/facts/Technische_Universit%C3%A4t_Darmstadt/mdYEJa8y">Technische Universität Darmstadt</a></li></ul>

Quadratic set open-in-new

Quadratic set