Óvalo (plano proyectivo)

Para la definición de un óvalo:
e: recta exterior,
t: recta tangente,
s: recta secante

En geometría proyectiva, un óvalo es un conjunto de puntos en un plano, definido por sus propiedades de incidencia. Los ejemplos estándar son las cónicas no degeneradas. Sin embargo, una cónica solo está definida en un plano pappiano, mientras que un óvalo puede existir en cualquier tipo de plano proyectivo. En la bibliografía existen muchos criterios que implican que un óvalo es una cónica, pero también hay muchos ejemplos, tanto infinitos como finitos, de óvalos en planos pappianos que no son cónicas.

Como ya se ha mencionado, en geometría proyectiva un óvalo se define por sus propiedades de incidencia, pero en otras áreas, los óvalos pueden definirse para satisfacer otros criterios, como por ejemplo, en geometría diferencial mediante condiciones de diferenciabilidad en el plano real.

El análogo de dimensiones superiores de un óvalo es un ovoide en un espacio proyectivo.

Una generalización del concepto de óvalo es un óvalo abstracto, que es una estructura que no está necesariamente incrustada en un plano proyectivo. De hecho, existen óvalos abstractos que no pueden estar en ningún plano proyectivo.

Definición de un óvalo

• En un plano proyectivo, un conjunto Ω de puntos se denomina óvalo, si:

1. Cualquier línea recta l se encuentra con Ω en como máximo dos puntos, y
2. Para cualquier punto P ∈ Ω existe exactamente una recta tangente t a P, es decir, t ∩ Ω= {P}.

Cuando | l ∩ Ω |= 0, la recta l es una recta exterior (o pasante);[1]​ si | l ∩ Ω |= 1, es una recta tangente; y si | l ∩ Ω |= 2, es una recta secante.

Para planos finitos (es decir, si el conjunto de puntos es finito) se tiene una caracterización más conveniente:[2]​

• Para un plano proyectivo finito de orden n (es decir, cualquier línea contiene n + 1) puntos, un conjunto Ω de puntos es un óvalo si y solo si | Ω |= n + 1 y no tres puntos son colineales (es decir, pertenecen a una línea recta común).

Un conjunto de puntos en un plano afín que satisface la definición anterior se denomina óvalo afín.

Un óvalo afín es siempre un óvalo proyectivo en el cierre proyectivo (agregando una línea en el infinito) del plano afín subyacente.

Un óvalo también puede considerarse como un conjunto cuadrático especial.[3]​

Ejemplos

Secciones cónicas

Cónica proyectiva en coordenadas no homogéneas: parábola más punto en el infinito del eje

Cónica proyectiva en coordenadas no homogéneas: hipérbola más puntos en el infinito de las asíntotas

En cualquier plano proyectivo papiano existen secciones cónicas proyectivas no degeneradas, y cualquier sección cónica proyectiva no degenerada es un óvalo. Esta afirmación se puede verificar mediante un cálculo sencillo para cualquiera de las cónicas (como parábolas o hipérbolas).

Las cónicas no degeneradas son óvalos con propiedades especiales:

• El teorema de Pascal y sus diversos casos degenerados son válidos.
• Existen varias proyectividades que dejan una cónica invariante.

Óvalos que no son cónicas

En el espacio coordenado real

1. Si se une la mitad de una circunferencia y la mitad de una elipse suavemente, se obtiene un óvalo que no es una cónica.
2. Si se toma la representación no homogénea de un óvalo que es una cónica como una parábola más un punto en el infinito y se reemplaza la expresión x^2 por x^4, se obtiene un óvalo que tampoco es una cónica.
3. Si se toma la representación no homogénea de un óvalo que es una cónica como una hipérbola más dos puntos en el infinito y se reemplaza la expresión 1/x por 1/x^3, se obtiene así mismo un óvalo que no es una cónica.
4. La curva implícita x^4 + y^4= 1 es un óvalo que no es una cónica.

En un plano finito de orden par

1. En un plano papiano finito de orden par, una cónica no degenerada tiene un núcleo (un único punto por el que pasa cada tangente), que puede intercambiarse con cualquier punto de la cónica para obtener un óvalo que no es una cónica.
2. Para el campo K= GF(2^m) con 2^m elementos, sea

${\displaystyle \Omega =\{(x,y)\in K^{2}\;|y=x^{2^{k}}\;\}\;\cup \;\{(\infty )\}}$

Para k ∈ {2,...,m − 1} y k y m coprimos, el conjunto Ω es un óvalo, que no es una cónica.[4]​[5]​

Se pueden encontrar más ejemplos finitos ideados por E. Hartmann.[6]​

Criterios para que un óvalo sea una cónica

Para que un óvalo sea una cónica, el propio óvalo y/o el plano deben cumplir condiciones adicionales. Aquí hay algunos resultados:

1. Un óvalo en un plano proyectivo arbitrario, que cumple la condición de incidencia del teorema de Pascal o su caso degenerado a 5 puntos, es una cónica no degenerada.[7]​
2. Si Ω es un óvalo en un plano proyectivo pappiano y el grupo de proyectividades que dejan invariante a Ω es 3-transitivo, es decir, para 2 tripletes A₁, A₂, A₃ ; B₁, B₂, B₃ de puntos existe una proyectividad Π con π(A_i)= B_i, i= 1,2,3. En el caso finito, la condición de 2-transitivo es suficiente.[8]​
3. Un óvalo Ω en un plano proyectivo pappiano de característica ≠ 2 es una cónica si y solo si para cualquier punto P de una tangente hay una perspectividad (simetría) involutiva con centro P que deja a Ω invariante.[9]​
4. Si Ω es un óvalo en un plano proyectivo desarguesiano finito[10]​ (pappiano) de orden impar, PG(2, q), entonces Ω es una cónica (teorema de Segre, (Segre, 1955)). Esto implica que, tras un posible cambio de coordenadas, todo óvalo de PG(2, q) con q impar tiene la parametrización:

${\displaystyle \{(t,t^{2},1)\mid t\in GF(q)\}\cup \{(0,1,0)\}.}$

Para óvalos topológicos se cumplen los siguientes criterios simples:

5. Cualquier óvalo cerrado del plano proyectivo complejo es una cónica.[11]​

Otros resultados sobre óvalos en planos finitos

Un óvalo en un plano proyectivo finito de orden q es un (q + 1, 2)-arco, en otras palabras, un conjunto de q + 1 puntos, tal que ningún trío es colineal. Los óvalos en el plano proyectivo desarguesiano (papiano) PG(2, q) para valores de q impares, son solo las cónicas no singulares. Sin embargo, los óvalos en PG(2, q) para valores de q pares aún no han sido clasificados.

En un plano proyectivo finito arbitrario de orden impar q, no existen conjuntos con más de q + 1 puntos, de los cuales no hay tres colineales, como señaló por primera vez Bose en un artículo de 1947 sobre aplicaciones de este tipo de matemáticas al diseño estadístico de experimentos. Además, por el teorema de Qvist, por cualquier punto que no esté en un óvalo pasan cero o dos líneas rectas tangentes a ese óvalo.

Un hiperóvalo (los 4 puntos rojos) en el plano de Fano de 7 puntos

Cuando q es par, la situación es completamente diferente.

En este caso, pueden existir conjuntos de q + 2 puntos, de los cuales no hay tres colineales, en un plano proyectivo finito de orden q y se denominan hiperóvalos; estos son arcos máximos de grado 2.

Dado un óvalo, existe una única tangente que pasa por cada punto, y si q es par, el teorema de Qvist (Qvist (1952)) muestra que todas estas tangentes son concurrentes en un punto P fuera del óvalo. Al agregar al óvalo este punto (llamado núcleo del óvalo o, a veces, nodo), se obtiene un hiperóvalo. Por el contrario, al eliminar cualquier punto de un hiperóvalo se obtiene inmediatamente un óvalo.

Como todos los óvalos en el caso de orden par están contenidos en hiperóvalos, una descripción de los hiperóvalos (conocidos) da implícitamente todos los óvalos (conocidos). Los óvalos obtenidos al eliminar un punto de un hiperóvalo son proyectivamente equivalentes si y solo si los puntos eliminados están en la misma órbita del grupo de automorfismos del hiperóvalo. Solo hay tres pequeños ejemplos (en los planos desarguesianos) donde el grupo de automorfismo del hiperóvalo es transitivo en sus puntos (véase (Korchmáros, 1978)) por lo que, en general, existen diferentes tipos de óvalos contenidos en un solo hiperóvalo.

Caso desarguesiano: PG(2,2^h)

Es el caso más estudiado de estos hiperóvalos.

Cada cónica no singular en el plano proyectivo, junto con su núcleo, forma un hiperóvalo. Estos pueden denominarse hipercónicas, pero el término más tradicional es hiperóvalos regulares. Para cada uno de estos conjuntos existe un sistema de coordenadas tal que el conjunto es:

${\displaystyle \{(t,t^{2},1)\mid t\in GF(q)\}\cup \{(0,1,0)\}\cup \{(1,0,0)\}.}$

Sin embargo, se pueden encontrar muchos otros tipos de hiperóvalos de PG(2, q) si q > 8. Los hiperóvalos de PG(2, q) para q par solo se han clasificado para q < 64 hasta la fecha (2023).

In PG(2,2^h), h > 0, un hiperóvalo contiene al menos cuatro puntos, tales que ningún trío de ellos son colineales. Así, por el teorema fundamental de la geometría proyectiva, siempre se puede suponer que los puntos con coordenadas proyectivas (1,0,0), (0,1,0), (0,0,1) y (1, 1,1) están contenidos en cualquier hiperóvalo. Los puntos restantes del hiperóvalo (cuando h > 1) tendrán la forma (t, f(t),1) donde t abarca los valores del campo finito GF(2^h) y f es una función de aquel campo que representa una permutación y puede expresarse de forma única como un polinomio de grado como máximo (2^h-2), es decir, es un polinomio de permutación. Obsérvese que f(0)=0 y f(1)=1 están obligados por el supuesto relativo a la inclusión de los puntos especificados. Otras restricciones sobre f son impuestas por la condición de que no hay tres puntos colineales. Una f que produce un hiperóvalo de esta manera se llama o-polinomio. La siguiente tabla enumera todos los hiperóvalos conocidos (en 2011) de PG(2,2^h), dando su o-polinomio y cualquier restricción sobre el valor de h que sea necesaria para que la función mostrada sea un o-polinomio. Téngase en cuenta que se deben tomar todos los exponentes mod(2^h-1).

Hiperóvalos conocidos en PG(2,2^h)

Nombre	O-Polinomio	Restricción de campo	Referencia
Hipercónica	f(t)= t^2	Ninguna	Clásica
Traslación	${\displaystyle f(t)=t^{2^{i}}}$    (i,h)= 1	Ninguna	(Segre, 1962)
Segre	f(t)= t^6	h impar	(Segre, 1962); (Segre y Bartocci, 1971)
Glynn I	f(t)= t^3σ+4 (véase más abajo)	h impar	(Glynn, 1983)
Glynn II	f(t)= t^σ+γ (véase más abajo)	h impar	(Glynn, 1983)
Payne	f(t)= t^1/6+t^1/2+t^5/6	h impar	(Payne, 1985)
Cherowitzo	f(t)= t^σ + t^σ+2 + t^3σ+4	h impar	(Cherowitzo, 1986); (Cherowitzo, 1998)
Subiaco	véase (a) más abajo	Ninguna	(Cherowitzo et al., 1996)
Adelaide	véase (b) más abajo	h par	(Cherowitzo, O'Keefe y Penttila, 2003)
Penttila-O'Keefe	véase (c) más abajo	h = 5	(O'Keefe y Penttila, 1992)
donde ${\displaystyle \gamma ^{4}\equiv \sigma ^{2}\equiv 2({\bmod {(}}2^{h}-1))}$.

(a): El o-polinomio de Subiaco viene dado por:

${\displaystyle f(t)={{d^{2}t^{4}+d^{2}(1+d+d^{2})t^{3}+d^{2}(1+d+d^{2})t^{2}+d^{2}t} \over {t^{4}+d^{2}t^{2}+1}}+t^{1/2},}$

siempre que ${\displaystyle tr(1/d)=1{\hbox{ y }}d\not \in GF(4){\hbox{ si }}h\equiv 2({\bmod {4}})}$, donde tr es la función de traza absoluta de GF(2^h). Este o-polinomio da lugar a un hiperóvalo único si ${\displaystyle h\not \equiv 2({\bmod {4}})}$ y a dos hiperóvalos desiguales si ${\displaystyle h\equiv 2({\bmod {4}}),h>2}$.

(b): Para describir los hiperóvalos de Adelaide, se comienza en un entorno un poco más general.

Sean F = GF(q) y K = GF(q^2). Sea ${\displaystyle b\in K}$ un elemento de norma 1, diferente de 1, es decir b^q+1 = 1, ${\displaystyle b\neq 1}$. Considérese el polinomio, para ${\displaystyle t\in F}$,

f(t)= (tr(b))^−1tr(b^m)(t + 1) + (tr(b))^−1tr((bt + b^q)^m)(t + tr(b)t^½+ 1)^1−m + t^½,

donde tr(x) = tr_K/F(x) = x + x^q. Cuando q = 2^h, con h par y m = ±(q - 1)/3, el f(t) anterior es un o-polinomio para el hiperóvalo de Adelaide.

(c): El o-polinomio de Penttila-O'Keefe viene dado por:

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),

donde η es una raíz primitiva de GF(32) que satisface η^5 = η^2 + 1.

Hiperóvalos en PG(2, q), q par, q ≤ 64

Como los hiperóvalos en los planos desarguesianos de órdenes 2, 4 y 8 son todos hipercónicos, solo examinan los planos de órdenes 16, 32 y 64.

PG(2,16)

En (Lunelli y Sce, 1958) figuran los detalles de una búsqueda por computadora de arcos completos en planos de órdenes pequeños, realizada por sugerencia de B. Segre. En PG(2,16) encontraron varios hiperóvalos que no eran hipercónicos. En 1975, M. Hall Jr. (Hall, 1975) demostró, también con considerable ayuda de una computadora, que solo había dos clases de hiperóvalos proyectivamente desiguales en este plano, los hipercónicos y los hiperóvalos encontrados por Lunelli y Sce. De los 2040 o-polinomios que dan el hiperóvalo de Lunelli-Sce, solo se muestra uno:

f(x)= x^12 + x^10 + η^11x^8 + x^6 + η^2x^4 + η^9x^2,

donde η es un elemento primitivo de GF(16) que satisface η^4 = η + 1.

En su artículo de 1975, Hall describió una serie de colineaciones del plano que estabilizaron el hiperóvalo de Lunelli-Sce, pero no demostró que generaran el grupo de automorfismo completo de este hiperóvalo. (Payne y Conklin, 1978), utilizando las propiedades de un cuadrángulo generalizado relacionado, demostró que el grupo de automorfismo no podía ser mayor que el grupo dado por Hall. (Korchmáros, 1978) dio de forma independiente una prueba constructiva de este resultado y también demostró que en los planos desarguesianos, el hiperóvalo de Lunelli-Sce es el único hiperóvalo irregular (no hipercónico) que admite un grupo de automorfismo transitivo (y que las únicas hipercónicas que admiten tal grupo son las de órdenes 2 y 4).

(O'Keefe y Penttila, 1991) volvió a probar el resultado de la clasificación de Hall sin el uso de una computadora. Su argumento consiste en encontrar un límite superior para el número de o-polinomios definidos sobre GF(16) y luego, examinando los posibles grupos de automorfismos de hiperóvalos en este plano, demostrar que si un hiperóvalo distinto de los conocidos existiera en este plano entonces se excedería el límite superior.

(Brown y Cherowitzo, 1991) proporcionó una construcción teórica del grupo del hiperóvalo de Lunelli-Sce como la unión de órbitas del grupo generado por las elaciones de PGU(3,4) considerado como un subgrupo de PGL(3,16). También se incluye en este artículo una discusión sobre algunos aspectos notables de las propiedades relativas a las intersecciones de hiperóvalos e hipercónicos de Lunelli-Sce. En (Cherowitzo et al., 1996) se muestra que el hiperóvalo de Lunelli-Sce es el primer miembro no trivial de la familia de Subiaco (véase también (Brown y Cherowitzo, 1991)). En (Cherowitzo, O'Keefe y Penttila, 2003) se demostró que es el primer miembro no trivial de la familia de Adelaide.

PG(2,32)

Dado que h = 5 es impar, algunas de las familias conocidas tienen aquí un representante, pero debido al pequeño tamaño del plano existen algunas equivalencias espurias, de hecho, cada uno de los hiperóvalos tipo Glynn es proyectivamente equivalente a un hiperóvalo de traslación, y el hiperóvalo de Payne es proyectivamente equivalente al hiperóvalo de Subiaco (esto no ocurre en planos más grandes). Específicamente, hay tres clases de hiperóvalos (tipo monomio), los hiperóvalos (f(t) = t^2), los hiperóvalos de traslación propia (f(t) = t^4) y los hiperóvalos de Segre (f(t) = t^6).[12]​ También existen clases correspondientes a los hiperóvalos de Payne y a los hiperóvalos de Cherowitzo (para más detalles, véase (Cherowitzo, 1988). En (O'Keefe, Penttila y Praeger, 1991) se han determinado los grupos de colineación que estabilizan cada uno de estos hiperóvalos. Téngase en cuenta que en la determinación original del grupo de colineación para los hiperóvalos de Payne, el caso de q = 32 tuvo que tratarse por separado y dependió en gran medida de los resultados de la computadora. En (O'Keefe, Penttila y Praeger, 1991) se proporciona una versión alternativa de la demostración que no depende de cálculos informáticos.

En 1991, O'Keefe y Penttila descubrieron un nuevo hiperóvalo en este plano mediante un estudio detallado de las propiedades de divisibilidad de los órdenes de grupos de automorfismos de hipotéticos hiperóvalos (O'Keefe y Penttila, 1992). Uno de sus o-polinomios viene dado por:

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),

donde η es una raíz primitiva de GF(32) que satisface η^5 = η^2 + 1. El grupo de automorfismo completo de este hiperóvalo tiene orden 3.

(Penttila y Royle, 1994) estructuró inteligentemente una búsqueda informática exhaustiva de todos los hiperóvalos en este plano. El resultado fue que el listado anterior está completo, solo hay seis clases de hiperóvalos en PG(2,32).

PG(2,64)

Al extender las ideas contenidas en (O'Keefe y Penttila, 1992) a PG(2,64), (Penttila y Pinneri, 1994) pudo buscar hiperóvalos cuyo grupo de automorfismo admitiera una colineación de orden 5. Encontraron dos ejemplos, y demostraron que no existe ningún otro hiperóvalo en este plano que tenga tal automorfismo. Esto resolvió afirmativamente una pregunta largamente abierta de B. Segre, que quería saber si en este plano había hiperóvalos además de las hipercónicas. Los hiperóvalos son:

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),

que tiene un grupo de automorfismo de orden 15, y

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),

que tiene un grupo de automorfismos de orden 60, donde η es un elemento primitivo de GF(64) que satisface η^6 = η + 1. En (Cherowitzo et al., 1996) se muestra que estos son hiperóvalos de Subiaco. Al perfeccionar el programa de búsqueda por computadora, (Penttila y Royle, 1994) extendió la búsqueda a hiperóvalos admitiendo un automorfismo de orden 3 y encontró el hiperóvalo:

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),

que tiene un grupo de automorfismo de orden 12 (η es un elemento primitivo de GF(64), como arriba). Este hiperóvalo es el primer hiperóvalo de Adelaide distinto.

Penttila y Royle (Penttila y Royle, 1995) han demostrado que cualquier otro hiperóvalo en este plano tendría que tener un grupo de automorfismo trivial. Esto significaría que habría muchas copias proyectivamente equivalentes de tal hiperóvalo, pero las búsquedas generales hasta la fecha no han encontrado ninguna, lo que da crédito a la conjetura de que no hay otros en este plano.

Óvalos abstractos

De acuerdo con Bue1966, un óvalo abstracto, también llamado B-óvalo de orden ${\displaystyle n}$, es una pareja ${\displaystyle (F,{\mathfrak {G}})}$, donde ${\displaystyle F}$ es un conjunto de ${\displaystyle n+1}$ elementos, llamados puntos, y ${\displaystyle {\mathfrak {G}}}$ es un conjunto de involuciones actuando sobre ${\displaystyle F}$ de una manera marcadamente cuasi 2-transitiva, es decir, para dos ${\displaystyle (a_{1},a_{2}),(b_{1},b_{2})\in F}$ cualesquiera con ${\displaystyle a_{i}\neq b_{j}}$ para ${\displaystyle i,j\in \{1,2\}}$, existe exactamente un ${\displaystyle \sigma \in {\mathfrak {G}}}$ con ${\displaystyle \sigma (a_{1})=a_{2}}$ y ${\displaystyle \sigma (b_{1})=b_{2}}$.

Cualquier óvalo incrustado en un plano proyectivo de orden ${\displaystyle q}$ puede estar dotado de una estructura de óvalo abstracto del mismo orden. Lo contrario, en general, no es cierto para ${\displaystyle n\geq 8}$. De hecho, para ${\displaystyle n=8}$ hay dos óvalos abstractos que no pueden estar incrustados en un plano proyectivo (véase Fa1984).

Cuando ${\displaystyle n}$ es par, una construcción similar produce hiperóvalos abstractos (véase Po1997): un hiperóvalo abstracto de orden ${\displaystyle n}$ es un par ${\displaystyle (F,{\mathfrak {G}})}$ donde ${\displaystyle F}$ es un conjunto de ${\displaystyle n+2}$ elementos y ${\displaystyle {\mathfrak {G}}}$ es un conjunto de involuciones libres de punto fijo actuando sobre ${\displaystyle F}$ de manera que para cualquier conjunto de cuatro elementos distintos ${\displaystyle a,b,c,d\in F}$, hay exactamente un ${\displaystyle \sigma \in {\mathfrak {G}}}$ tal que ${\displaystyle \sigma (a)=b,\sigma (c)=d}$.

Véase también

• Ovoide (geometría proyectiva)

Referencias

1. En la literatura inglesa, este término suele tomarse del francés en lugar de traducirlo como una línea pasante.
2. Dembowski, 1968
3. Beutelspacher y Rosenbaum, 1998
4. B. Segre: Sui k-Archi nei Piani Finiti di Caracteristica Due, Re. Math. Pures Appl. 2 (1957) pp. 289–300.
5. Dembowski, 1968
6. E. Hartmann: Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes. Skript, TH Darmstadt (PDF; 891 kB), p. 45.
7. F. Buekenhout: Plans Projectifs à Ovoides Pascaliens, Arch. d. Math. Vol. XVII, 1966, pp. 89-93.
8. J. Tits: Ovoides à Translations, Rend. Mat. 21 (1962), pp. 37–59.
9. H. Mäurer: Ovoide mit Symmetrien an den Punkten einer Hyperebene, Abh. Math. Sem. Hamburg 45 (1976), pp. 237–244.
10. Todo plano papiano es desarguesiano, y en el caso finito lo contrario también es cierto. Entonces, para los planos finitos, cualquiera de los descriptores es válido, pero en la bibliografía para planos finitos predomina el término "desarguesiano".
11. Th. Buchanan: Ovale und Kegelschnitte in der komplexen projektiven Ebene, Math.-phys. Smesterberichte 26 (1979, pp. 244-260.
12. En planos de orden más pequeño, estos hiperóvalos no se diferencian de las hipercónicas. La prueba de su existencia dada en Segre y Bartocci (1971) utiliza polinomios linealizados.

Bibliografía

• Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Projective Geometry / from foundations to applications, Cambridge University Press, ISBN 978-0-521-48364-3 .
• Buekenhout, F. (1966), «Études intrinsèque des ovales.», Rend. Mat. E Appl. 25 (5): 333-393, MR 0218956 .
• Brown, Julia M. N.; Cherowitzo, William E. (2000), «The Lunelli-Sce hyperoval in PG(2,16)», J. Geom. 69 (1–2): 15-36, MR 1800454, doi:10.1007/BF01237471 .
• Cherowitzo, William (1988), «Hyperovals in Desarguesian planes of even order», Ann. Discrete Math., Annals of Discrete Mathematics 37: 87-94, ISBN 9780444703699, MR 931308, doi:10.1016/s0167-5060(08)70228-0 .
• Cherowitzo, W. (1996), «Hyperovals in Desarguesian planes: an update», Discrete Math. 155 (1–3): 31-38, MR 1401356, doi:10.1016/0012-365X(94)00367-R .
• Cherowitzo, W. (1998), «α-flocks and hyperovals», Geom. Dedicata 72 (3): 221-246, MR 1647703, doi:10.1023/A:1005022808718 .
• Cherowitzo, William E.; O'Keefe, Christine M.; Penttila, Tim (2003), «A unified construction of finite geometries associated with q-clans in characteristic 2», Adv. Geom. 3 (1): 1-21, MR 1956585, doi:10.1515/advg.2003.002 .
• Cherowitzo, W.; Penttila, T.; Pinneri, I.; Royle, G. F. (1996), «Flocks and ovals», Geom. Dedicata 60 (1): 17-37, MR 1376478, doi:10.1007/BF00150865 .
• Dembowski, Peter (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin, New York: Springer Science+Business Media, ISBN 3-540-61786-8, MR 0233275 .
• Faina, G. (1984), «The B-ovals of order q≤8», J. Combin. Theory Ser. A 36 (3): 307-314, MR 0744079, doi:10.1016/0097-3165(84)90038-4 .
• 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, MR 731584, doi:10.1007/BFb0071521 .
• Hall, Marshall, Jr. (1975), «Ovals in the Desarguesian plane of order 16», Ann. Mat. Pura Appl. (4) 102: 159-176, MR 0358552, doi:10.1007/bf02410604 .
• Hirschfeld, J. W. P. (1998), Projective geometries over finite fields (2nd edición), New York: The Clarendon Press Oxford University Press, pp. xiv+555, ISBN 0-19-850295-8, MR 1612570 .
• Korchmáros, G. (1978), «Collineation groups transitive on the points of an oval [q+2-arc] of S_2,q for q even», Atti Sem. Mat. Fis. Univ. Modena (en italian, English) 27 (1): 89-105 (1979), MR 551092 .
• 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, MR 1161460 .
• Lunelli, L.; Sce, M. (1958), k-archi completi nei piani proiettivi desarguesiani di rango 8 e 16 (en italiano), Milan: Centro di Calcoli Numerici, Politecnico di Milano, p. 15, MR 0157276 .
• O'Keefe, Christine M.; Penttila, Tim (1992), «A new hyperoval in PG(2,32)», J. Geom. 44 (1–2): 117-139, MR 1169414, doi:10.1007/BF01228288 .
• O'Keefe, Christine M.; Penttila, Tim (1991), «Hyperovals in PG(2,16)», European Journal of Combinatorics 12 (1): 51-59, MR 1087648, doi:10.1016/s0195-6698(13)80007-8 .
• 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, MR 1138755 .
• Payne, Stanley E. (1985), «A new infinite family of generalized quadrangles», Congressus Numerantium 49: 115-128, MR 830735 .
• Payne, Stanley E.; Conklin, James E. (1978), «An unusual generalized quadrangle of order sixteen», Journal of Combinatorial Theory, Series A 24 (1): 50-74, MR 0462984, doi:10.1016/0097-3165(78)90044-4 .
• Penttila, Tim; Pinneri, Ivano (1994), «Irregular hyperovals in PG(2,64)», J. Geom. 51 (1–2): 89-100, MR 1298348, doi:10.1007/BF01226860 .
• Penttila, Tim; Royle, Gordon F. (1994), «Classification of hyperovals in PG(2,32)», J. Geom. 50 (1–2): 151-158, MR 1280636, doi:10.1007/BF01222672 .
• Penttila, Tim; Royle, Gordon F. (1995), «On hyperovals in small projective planes», J. Geom. 54 (1–2): 91-104, MR 1358279, doi:10.1007/BF01222857 .
• Polster, B. (1997), «Abstract hyperovals and Hadamard designs», Australas. J. Combin. 16: 29-33, MR 1477516 .
• 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, MR 0054977 .
• Segre, Beniamino (1955), «Ovals in a finite projective plane», Canadian Journal of Mathematics 7: 414-416, ISSN 0008-414X, MR 0071034, doi:10.4153/CJM-1955-045-x .
• Segre, Beniamino (1962), «Ovali e curve σ nei piani di Galois di caratteristica due.», Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) (en italiano) 32: 785-790, MR 0149361 .
• Segre, B.; Bartocci, U. (1971), «Ovali ed altre curve nei piani di Galois di caratteristica due», Acta Arithmetica (en italiano) 18: 423-449, MR 0295201, doi:10.4064/aa-18-1-423-449 .

Enlaces externos

• Página Hyperoval de Bill Cherowitzo

• Datos: Q7113209