 Oval (projective plane)

In mathematics, an oval in a projective plane is a set of points, no three collinear, such that there is a unique tangent line at each point (a tangent line is defined as a line meeting the point set at only one point, also known as a 1secant). If the projective plane is finite of order q, then the tangent condition can be replaced by the condition that the set contains q+1 points. In other words, an oval in a finite projective plane of order q is a (q+1,2)arc, or a set of q+1 points, no three collinear. Ovals in the Desarguesian projective plane PG(2,q) for q odd are just the nonsingular conics. Ovals in PG(2,q) for q even have not yet been classified. Ovals may exist in nonDesarguesian planes, and even more abstract ovals are defined which cannot be embedded in any projective plane.
Contents
Odd q
In a finite projective plane of odd order q, no sets with more points than q + 1, no three of which are collinear, exist, as first pointed out by Bose in a 1947 paper on applications of this sort of mathematics to statistical design of experiments.
Due to Segre's theorem (Segre 1955), every oval in PG(2, q) with q odd, is projectively equivalent to a nonsingular conic in the plane.
This implies that, after a possible change of coordinates, every oval of PG(2, q) with q odd has the parametrization :
Even q
When q is even, the situation is completely different.
In this case, sets of q + 2 points, no three of which collinear, may exist in a finite projective plane of order q and they are called hyperovals; these are maximal arcs of degree 2.
Given an oval there is a unique tangent through each point, and if q is even Qvist (1952) showed that all these tangents are concurrent in a point p outside the oval. Adding this point (called the nucleus of the oval or sometimes the knot) to the oval gives a hyperoval. Conversely, removing any one point from a hyperoval immediately gives an oval.
As all ovals in the even order case are contained in hyperovals, a description of the (known) hyperovals implicitly gives all (known) ovals. The ovals obtained by removing a point from a hyperoval are projectively equivalent if and only if the removed points are in the same orbit of the automorphism group of the hyperoval. There are only three small examples (in the Desarguesian planes) where the automorphism group of the hyperoval is transitive on its points (see (Korchmáros 1978)) so in general there are different types of ovals contained in a single hyperoval.
Desarguesian Case: PG(2,2^{h})
This is the most studied case and so the most is known about these hyperovals.
Every nonsingular conic in the projective plane, together with its nucleus, forms a hyperoval. These may be called hyperconics, but the more traditional term is regular hyperovals. For each of these sets, there is a system of coordinates such that the set is:
However, many other types of hyperovals of PG(2, q) can be found if q > 8. Hyperovals of PG(2, q) for q even have only been classified for q < 64 to date.
In PG(2,2^{h}), h > 0, a hyperoval contains at least four points no three of which are collinear. Thus, by the Fundamental Theorem of Projective Geometry we can always assume that the points with projective coordinates (1,0,0), (0,1,0), (0,0,1) and (1,1,1) are contained in any hyperoval. The remaining points of the hyperoval (when h > 1) will have the form (t, f(t),1) where t ranges through the values of the finite field GF(2^{h}) and f is a function on that field which represents a permutation and can be uniquely expressed as a polynomial of degree at most 2^{h}  2. Notice that f(0) = 0 and f(1) = 1 are forced by the assumption concerning the inclusion of the specified points. Other restrictions on f are forced by the no three points collinear condition. An f which produces a hyperoval in this way is called an opolynomial. The following table lists all the known hyperovals (as of 2011) of PG(2,2^{h}) by giving the opolynomial and any restrictions on the value of h that are necessary for the displayed function to be an opolynomial. Note that all exponents are to be taken mod(2^{h}  1).Known Hyperovals in PG(2,2^{h})
Name OPolynomial Field Restriction Reference Hyperconic f(t) = t^{2} None Classical Translation (i,h) = 1 None (Segre 1962) Segre f(t) = t^{6} h odd (Segre 1962); (Segre & Bartocci 1971) Glynn I f(t) = t^{3σ+4} (see below) h odd (Glynn 1983) Glynn II f(t) = t^{σ+γ} (see below) h odd (Glynn 1983) Payne f(t) = t^{1/6}+t^{1/2}+t^{5/6} h odd (Payne 1985) Cherowitzo f(t) = t^{σ} + t^{σ+2} + t^{3σ+4} h odd (Cherowitzo 1986); (Cherowitzo 1998) Subiaco see a) below None (Cherowitzo et al. 1996) Adelaide see b) below h even (Cherowitzo, O'Keefe & Penttila 2003) PenttilaO'Keefe see c) below h = 5 (O'Keefe & Penttila 1992) where .
^{a)} The Subiaco opolynomial is given by: whenever , where tr is the absolute trace function of GF(2^{h}). This opolynomial gives rise to a unique hyperoval if and to two inequivalent hyperovals if .
^{b)} To describe the Adelaide hyperovals, we will start in a slightly more general setting. Let F = GF(q) and K = GF(q^{2}). Let be an element of norm 1, different from 1, i.e. b^{q+1} = 1, . Consider the polynomial, for ,
f(t) = (tr(b))^{1}tr(b^{m})(t + 1) + (tr(b))^{1}tr((bt + b^{q})^{m})(t + tr(b)t^{½}+ 1)^{1m} + t^{½}, where tr(x) = tr_{K/F}(x) = x + x^{q}.
When q = 2^{h}, with h even and m = ±(q  1)/3, the above f(t) is an opolynomial for the Adelaide hyperoval.
^{c)} The PenttilaO'Keefe opolynomial is given by:
f(t) = t^{4} + t^{16} + t^{28} + η^{11}(t^{6} + t^{10} + t^{14} + t^{18} + t^{22} + t^{26}) + η^{20}(t^{8} + t^{20}) + η^{6}(t^{12} + t^{24}), where η is a primitive root of GF(32) satisfying η^{5} = η^{2} + 1.
Hyperovals in PG(2, q), q even, q ≤ 64
As the hyperovals in the Desarguesian planes of orders 2, 4 and 8 are all hyperconics we shall only examine the planes of orders 16, 32 and 64.
PG(2,16):
In (Lunelli & Sce 1958) the details of a computer search for complete arcs in small order planes carried out at the suggestion of B. Segre are given. In PG(2,16) they found a number of hyperovals which were not hyperconics. In 1975, M. Hall Jr. (Hall 1975) showed, also with considerable aid from a computer, that there were only two classes of projectively inequivalent hyperovals in this plane, the hyperconics and the hyperovals found by Lunelli and Sce. Out of the 2040 opolynomials which give the LunelliSce hyperoval, we display only one:
f(x) = x^{12} + x^{10} + η^{11}x^{8} + x^{6} + η^{2}x^{4} + η^{9}x^{2}, where η is a primitive element of GF(16) satisfying η^{4} = η + 1.
In his 1975 paper Hall described a number of collineations of the plane which stabilized the LunelliSce hyperoval, but did not show that they generated the full automorphism group of this hyperoval. {{harv Payne  Conklin1978 using properties of a related generalized quadrangle, showed that the automorphism group could be no larger than the group given by Hall. (Korchmáros 1978) independently gave a constructive proof of this result and also showed that in Desarguesian planes, the LunelliSce hyperoval is the unique irregular hyperoval (nonhyperconic) admitting a transitive automorphism group (and that the only hyperconics admitting such a group are those of orders 2 and 4).
(O'Keefe & Penttila 1991) reproved Hall's classification result without the use of a computer. Their argument consists of finding an upper bound on the number of opolynomials defined over GF(16) and then, by examining the possible automorphism groups of hyperovals in this plane, showing that if a hyperoval other than the known ones existed in this plane then the upper bound would be exceeded. (Brown & Cherowitzo 1991) provides a grouptheoretic construction of the LunelliSce hyperoval as the union of orbits of the group generated by the elations of PGU(3,4) considered as a subgroup of PGL(3,16).Also included in this paper is a discussion of some remarkable properties concerning the intersections of LunelliSce hyperovals and hyperconics. In (Cherowitzo et al. 1996) it is shown that the LunelliSce hyperoval is the first nontrivial member of theSubiaco family (see also (Brown & Cherowitzo 1991).), and in (Cherowitzo, O'Keefe & Penttila 2003) it is shown to be the first nontrivial member of the Adelaide family.
PG(2,32):
Since h = 5 is odd, a number of the known families have a representative here, but due to the small size of the plane there are some spurious equivalences, in fact, each of the Glynn type hyperovals is projectively equivalent to a translation hyperoval, and the Payne hyperoval is projectively equivalent to the Subiaco hyperoval (this does not occur in larger planes). Specifically, there are three classes of (monomial type) hyperovals, the hyperconics (f(t) = t^{2}), proper translation hyperovals (f(t) = t^{4}) and the Segre hyperovals (f(t) = t^{6}). There are also classes corresponding to the Payne hyperovals and the Cherowitzo hyperovals (for more details see (Cherowitzo 1988). In (O'Keefe, Penttila & Praeger 1991) the collineation groups stabilizing each of these hyperovals have been determined. Note that in the original determination of the collineation group for the Payne hyperovals the case of q = 32 had to be treated separately and relied heavily on computer results. In (O'Keefe, Penttila & Praeger 1991) an alternative version of the proof is given which does not depend on computer computations.
In 1991, O'Keefe and Penttila discovered a new hyperoval in this plane by means of a detailed investigation of the divisibility properties of the orders of automorphism groups of hypothetical hyperovals (O'Keefe & Penttila 1992). One of its opolynomials is given by:
f(x) = x^{4} + x^{16} + x^{28} + η^{11}(x^{6} + x^{10} + x^{14} + x^{18} + x^{22} + x^{26}) + η^{20}(x^{8} + x^{20}) + η^{6}(x^{12} + x^{24}), where η is a primitive root of GF(32) satisfying η^{5} = η^{2} + 1. The full automorphism group of this hyperoval has order 3.
(Penttila & Royle 1994) cleverly structured an exhaustive computer search for all hyperovals in this plane. The result was that the above listing is complete, there are just six classes of hyperovals in PG(2,32).
PG(2,64):
By extending the ideas in (O'Keefe & Penttila 1992) to PG(2,64), (Penttila & Pinneri 1994) were able to search for hyperovals whose automorphism group admitted a collineation of order 5. They found two and showed that no other hyperoval exists in this plane that has such an automorphism. This settled affirmatively a long open question of B. Segre who wanted to know if there were any hyperovals in this plane besides the hyperconics. The hyperovals are:
f(x) = x^{8} + x^{12} + x^{20} + x^{22} + x^{42} + x^{52} + η^{21}(x^{4}+x^{10}+x^{14}+x^{16}+x^{30}+x^{38}+x^{44}+x^{48}+x^{54}+x^{56}+x^{58}+x^{60}+x^{62}) + η^{42}(x^{2} + x^{6} + x^{26} + x^{28} + x^{32} + x^{36} + x^{40}), which has an automorphism group of order 15, and
f(x) = x^{24} + x^{30} + x^{62} + η^{21}(x^{4} +x^{8}+x^{10}+x^{14}+x^{16}+x^{34}+x^{38} +x^{40} +x^{44}+x^{46}+x^{52}+x^{54}+x^{58}+x^{60}) + η^{42}(x^{6}+ x^{12}+ x^{18}+ x^{20}+ x^{26}+ x^{32} + x^{36}+ x^{42}+ x^{48}+x^{50}), which has an automorphism group of order 60, where η is a primitive element of GF(64) satisfying η^{6} = η + 1. In (Cherowitzo et al. 1996) it is shown that these are Subiaco hyperovals.
By refining the computer search program, (Penttila & Royle 1994) extended the search to hyperovals admitting an automorphism of order 3, and found the hyperoval:
f(x) = x^{4} + x^{8} + x^{14} + x^{34} + x^{42} + x^{48} + x^{62} + η^{21}(x^{6}+x^{16} +x^{26}+x^{28}+x^{30}+x^{32}+x^{40}+x^{58}) + η^{42}(x^{10} + x^{18} + x^{24} + x^{36} + x^{44} + x^{50} + x^{52}+ x^{60}), which has an automorphism group of order 12 (η is a primitive element of GF(64) as above). This hyperoval is the first distinct Adelaide hyperoval.
Unpublished computer searches by Penttila and Royle show that any other hyperoval in this plane would have to have a trivial automorphism group. This would mean that there would be many projectively equivalent copies of such a hyperoval, but general searches to date have found none, giving credence to the conjecture that there are no others in this plane.
Abstract ovals
Following (Bue1966), an abstract oval, also called a Boval, of order n is a pair where F is a set of n + 1 elements, called points, and is a set of involutions acting on F in a sharply quasi 2transitive way, that is, for any two with for , there exists exactly one with σ(a_{1}) = a_{2} and σ(b_{1}) = b_{2}. Any oval embedded in a projective plane of order q might be endowed with a structure of an abstract oval of the same order. The converse is, in general, not true for ; indeed, for n = 8 there are two abstract ovals which may not be embedded in a projective plane, see (Fa1984).
When n is even, a similar construction yields abstract hyperovals, see (Po1997): an abstract hyperoval of order n is a pair where F is a set of n + 2 elements and is a set of fixedpoint free involutions acting on F such that for any set of four distinct elements there is exactly one with σ(a) = b,σ(c) = d.
See also
References
 Buekenhout, F. (1966), "Études intrinsèque des ovales.", Rend. Mat. E Appl. 25 (5): 333–393, MR0218956
 Brown, Julia M. N.; Cherowitzo, William E. (2000), "The LunelliSce hyperoval in PG(2,16)", J. Geom. 69 (12): 15–36, doi:10.1007/BF01237471, MR1800454
 Cherowitzo, William (1988), "Hyperovals in Desarguesian planes of even order", Ann. Discrete Math. 37: 87–94, MR931308
 Cherowitzo, W. (1996), "Hyperovals in Desarguesian planes: an update", Discrete Math. 155 (13): 31–38, doi:10.1016/0012365X(94)00367R, MR1401356
 Cherowitzo, W. (1998), "αflocks and hyperovals", Geom. Dedicata 72 (3): 221–246, doi:10.1023/A:1005022808718, MR1647703
 Cherowitzo, William E.; O'Keefe, Christine M.; Penttila, Tim (2003), "A unified construction of finite geometries associated with qclans in characteristic 2", Adv. Geom. 3 (1): 1–21, doi:10.1515/advg.2003.002, MR1956585
 Cherowitzo, W.; Penttila, T.; Pinneri, I.; Royle, G. F. (1996), "Flocks and ovals", Geom. Dedicata 60 (1): 17–37, doi:10.1007/BF00150865, MR1376478
 Faina, G. (1984), "Abstract hyperovals and Hadamard designs", J. Combin. Theory Ser. A 3: 307–314, MR0744079
 Glynn, David G. (1983), "Two new sequences of ovals in finite Desarguesian planes of even order", (Combinatorial mathematics, X) Lecture Notes in Math., 1036, Berlin: Springer, pp. 217–229, MR731584
 Hall, Marshall, Jr. (1975), "Ovals in the Desarguesian plane of order 16", Ann. Mat. Pura Appl. (4) 102: 159–176, MR0358552
 Hirschfeld, J. W. P. (1998), Projective geometries over finite fields (2nd ed.), New York: The Clarendon Press Oxford University Press, pp. xiv+555, ISBN 0198502958, MR1612570
 Korchmáros, G. (1978), "Collineation groups transitive on the points of an oval [q+2arc] of S_{2,q} for q even" (in Italian, with English summary), Atti Sem. Mat. Fis. Univ. Modena 27 (1): 89–105 (1979), MR551092
 Korchmáros, G. (1991), "Old and new results on ovals in finite projective planes", (Surveys in combinatorics, 1991) London Math. Soc. Lecture Note Ser., 166, Cambridge: Cambridge Univ. Press, pp. 41–72, MR1161460
 Lunelli, L.; Sce, M. (1958) (in Italian), karchi completi nei piani proiettivi desarguesiani di rango 8 e 16, Milan: Centro di Calcoli Numerici, Politecnico di Milano, pp. 15, MR0157276
 O'Keefe, Christine M.; Penttila, Tim (1992), "A new hyperoval in PG(2,32)", J. Geom. 44 (12): 117–139, doi:10.1007/BF01228288, MR1169414
 O'Keefe, Christine M.; Penttila, Tim (1991), "Hyperovals in PG(2,16)", European J. Combin. 12 (1): 51–59, MR1087648
 O'Keefe, Christine M.; Penttila, Tim; Praeger, Cheryl E. (1991), "Stabilisers of hyperovals in PG(2,32)", Advances in finite geometries and designs, Chelwood Gate, 1990, New York: Oxford Univ. Press, pp. 337–351, MR1138755
 Payne, Stanley E. (1985), "A new infinite family of generalized quadrangles", Congressus Numerantium 49: 115–128, MR830735
 Payne, Stanley E.; Conklin, James E. (1978), "An unusual generalized quadrangle of order sixteen", J. Combinatorial Theory Ser. A 24 (1): 50–74, MR0462984
 Penttila, Tim; Pinneri, Ivano (1994), "Irregular hyperovals in PG(2,64)", J. Geom. 51 (12): 89–100, doi:10.1007/BF01226860, MR1298348
 Penttila, Tim; Royle, Gordon F. (1994), "Classification of hyperovals in PG(2,32)", J. Geom. 50 (12): 151–158, doi:10.1007/BF01222672, MR1280636
 Penttila, Tim; Royle, Gordon F. (1995), "On hyperovals in small projective planes", J. Geom. 54 (12): 91–104, doi:10.1007/BF01222857, MR1358279
 Polster, B. (1997), "The Bovals of order ", Australas. J. Combin. 16: 29–33, MR1477516
 Qvist, B. (1952), "Some remarks concerning curves of the second degree in a finite plane", Ann. Acad. Sci. Fennicae. Ser. A. I. Math.Phys. 1952 (134): 27, MR0054977
 Segre, Beniamino (1955), "Ovals in a finite projective plane", Canadian Journal of Mathematics 7 (0): 414–416, doi:10.4153/CJM1955045x, ISSN 0008414X, MR0071034, http://www.cms.math.ca/cjm/v7/p414
 Segre, Beniamino (1962), "Ovali e curve σ nei piani di Galois di caratteristica due." (in Italian), Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 32: 785–790, MR0149361
 Segre, B.; Bartocci, U. (1971), "Ovali ed altre curve nei piani di Galois di caratteristica due" (in Italian), Acta Arith. 18: 423–449, MR0295201
External Links
Categories: Projective geometry
 Incidence geometry
Wikimedia Foundation. 2010.
Look at other dictionaries:
Oval — For other uses, see Oval (disambiguation). An oval with two axes of symmetry constructed from four arcs (top), and comparison of blue oval and red ellipse with the same dimensions of short and long axes (bottom) … Wikipedia
Oval (disambiguation) — An oval is any curve resembling an egg or an ellipse, such as a Cassini oval. The term does not have a precise mathematical definition except in one area oval (projective plane), but it may also refer to: A sporting arena of oval shape a cricket… … Wikipedia
Ovoid (projective geometry) — In PG(3,q), with q a prime power greater than 2, an ovoid is a set of q2 + 1 points, no three of which collinear (the maximum size of such a set).[1] When q = 2 the largest set of non collinear points has size eight and is the complement of a… … Wikipedia
List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… … Wikipedia
Real algebraic geometry — In mathematics, real algebraic geometry is the study of real number solutions to algebraic equations with real number coefficients.Real plane curvesSince the real number field is not algebraically closed, the geometry of even a plane curve C in… … Wikipedia
Circle — This article is about the shape and mathematical concept. For other uses, see Circle (disambiguation). Circle illustration showing a radius, a diameter, the centre and the circumference … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
Lemniscate of Booth — In algebraic geometry, the lemniscate of Booth, also called the Hippopede of Proclus , is a plane algebraic curve of degree four and genus zero, with equation:(x^2+y^2)^2 + 4y^2 = 4c(x^2+y^2),.It has an ordinary double point at the origin, and… … Wikipedia
Ellipse — Elliptical redirects here. For the exercise machine, see Elliptical trainer. This article is about the geometric figure. For other uses, see Ellipse (disambiguation). Not to be confused with ellipsis. An ellipse obtained as the intersection of a… … Wikipedia
Focus (geometry) — Point F is a focus point for the red ellipse, green parabola and blue hyperbola. In geometry, the foci ( / … Wikipedia