Ovoide (geometría proyectiva)

Para la definición de un ovoide: t recta tangente; y s recta secante

En geometría proyectiva, un ovoide es un conjunto de puntos (superficie) similar a una esfera en un espacio proyectivo de dimensión Plantilla:Math. Ejemplos simples en un espacio proyectivo real son las hiperesferas (cuádricas). Las propiedades geométricas esenciales de un ovoide $𝒪$ son:

1. Cualquier línea recta cruza a $𝒪$ como máximo en 2 puntos,
2. Las tangentes en un punto cubren un hiperplano (y nada más), y
3. $𝒪$ no contiene líneas rectas.

La propiedad 2) excluye los casos degenerados (conos,...). La propiedad 3) excluye superficies regladas (hiperboloides de una hoja, ...).

Un ovoide es el análogo espacial de un óvalo en un plano proyectivo.

Un ovoide es un tipo especial de conjunto cuadrático.

Los ovoides juegan un papel esencial en la construcción de ejemplos del plano de Möbius y geometrías de Möbius de dimensiones superiores.

Definición de un ovoide

• En un espacio proyectivo de dimensión Plantilla:Math un conjunto $𝒪$ de puntos se llama ovoide, si

(1) Cualquier recta Plantilla:Mvar se encuentra con $𝒪$ en como máximo 2 puntos.

En el caso de $|g\cap 𝒪|=0$, se llama recta pasante (o exterior), si $|g\cap 𝒪|=1$ entonces es una recta tangente, y si $|g\cap 𝒪|=2$ es una recta secante.

(2) En cualquier punto $P\in 𝒪$, las rectas tangentes que pasan por Plantilla:Mvar cubren un hiperplano, el hiperplano tangente (es decir, un subespacio proyectivo de dimensión Plantilla:Math).

(3) $𝒪$ no contiene líneas rectas.

Desde el punto de vista de las secciones del hiperplano, un ovoide es un objeto bastante homogéneo, porque

• Para un $𝒪$ ovoide y un hiperplano $\epsilon$, que contiene al menos dos puntos de $𝒪$, el subconjunto $\epsilon \cap 𝒪$ es un ovoide (o un óvalo, si es Plantilla:Math) dentro del hiperplano $\epsilon$.

Para espacios proyectivos finitos de dimensión Plantilla:Math (es decir, el conjunto de puntos es finito, el espacio es pappiano), el siguiente resultado es verdadero:

• Si $𝒪$ es un ovoide en un espacio proyectivo finito de dimensión Plantilla:Math, entonces Plantilla:Math.

(En el caso finito, los ovoides existen solo en espacios tridimensionales.)

• En un espacio proyectivo finito de orden Plantilla:Math (es decir, cualquier línea contiene exactamente puntos Plantilla:Math) y dimensión Plantilla:Math, cualquier conjunto de puntos $𝒪$ es un ovoide si y solo si $|𝒪|=n^2+1$ y ningún otro punto son colineales (en una línea recta común).

Reemplazar la palabra proyectivo en la definición de ovoide por afín, da la definición de ovoide afín.

Si para un ovoide (proyectivo) hay un hiperplano adecuado $\epsilon$ que no lo cruza, se puede llamar a este hiperplano el hiperplano ${\epsilon }_{\mathrm{\infty }}$ en el infinito y el ovoide se convierte en un ovoide afín en el espacio afín correspondiente a ${\epsilon }_{\mathrm{\infty }}$. Además, cualquier ovoide afín puede considerarse un ovoide proyectivo en el cierre proyectivo (agregando un hiperplano en el infinito) del espacio afín.

Ejemplos

En el espacio proyectivo real (representación no homogénea)

1. $𝒪=\{(x_1,...,x_d)\in {ℝ}^d|x_1^2+\cdots +x_d^2=1\},$ (hiperesfera)
2. $𝒪=\{(x_1,...,x_d)\in {ℝ}^d|x_d=x_1^2+\cdots +x_{d-1}^2\}\cup \{\text{punto del infinito del eje }{x}_d\}$

Estos dos ejemplos son cuádricas y son proyectivamente equivalentes.

Se pueden obtener ejemplos simples, que no son cuádricas, mediante las siguientes construcciones:

(a) Pegar la mitad de una hiperesfera a un hiperelipsoide adecuado en forma suave.

(b) En los dos primeros ejemplos, reemplazar la expresión Plantilla:Math por Plantilla:Math.

Observación: Los ejemplos reales no se pueden convertir al caso complejo (espacio proyectivo sobre $ℂ$). En un espacio proyectivo complejo de dimensión Plantilla:Math no hay cuádricas ovoides, porque en ese caso cualquier cuádrica no degenerada contiene líneas rectas.

Pero el siguiente método garantiza muchos ovoides no cuádricos:

• Para cualquier espacio proyectivo no finito, la existencia de ovoides se puede probar mediante inducción transfinita.

Ejemplos finitos

• Cualquier ovoide $𝒪$ en un espacio proyectivo finito de dimensión Plantilla:Math sobre un cuerpo Plantilla:Mvar de característica Plantilla:Math es una cuádrica.

El último resultado no se puede extender ni siquiera a una característica par, debido a los siguientes ejemplos que no son cuádricas:

• Para $K=GF(2^m),m$ impar y $\sigma$ el automorfismo $x\mapsto x^{(2^{\frac{m+1}{2}})},$

el conjunto de puntos

$𝒪=\{(x,y,z)\in K^3|z=xy+x^2{x}^{\sigma }+y^{\sigma }\}\cup \{\text{punto del infinito del eje-}z\}$ es un ovoide en el espacio proyectivo tridimensional sobre Plantilla:Mvar (representado en coordenadas no homogéneas).

Solo cuando Plantilla:Math el ovoide $𝒪$ es una cuádrica.

$𝒪$ se llama ovoide de Tits-Suzuki.

Criterios para que un ovoide sea una cuádrica

Una cuádrica ovoidal tiene muchas simetrías. En particular:

• Sea $𝒪$ un ovoide en un espacio proyectivo $𝔓$ de dimensión Plantilla:Math y $\epsilon$ un hiperplano. Si el ovoide es simétrico con respecto a cualquier punto $P\in \epsilon \setminus 𝒪$ (es decir, hay una perspectiva involutiva con centro $P$ que deja a $𝒪$ invariante), entonces $𝔓$ es pappiano y $𝒪$ una cuádrica.
• Un ovoide $𝒪$ en un espacio proyectivo $𝔓$ es una cuádrica, si el grupo de proyectividades que dejan invariante a $𝒪$ opera 3-transitivamente en $𝒪$, es decir, para dos tripletes $A_1,A_2,A_3,B_1,B_2,B_3$ existe una proyectividad $\pi$ con $\pi (A_i)=B_i,i=1,2,3$.

En el caso finito se obtiene del teorema de Segre que:

• Sea $𝒪$ un ovoide en un espacio proyectivo desarguesiano tridimensional finito $𝔓$ de orden impar, entonces $𝔓$ es pappiano y $𝒪$ es una cuádrica.

Generalización: semi ovoide

Eliminar la condición (1) de la definición de ovoide da como resultado la definición de semi-ovoide:

Un conjunto de puntos $𝒪$ de un espacio proyectivo se llama semiovoide si se mantienen las siguientes condiciones:

(SO1) Para cualquier punto $P\in 𝒪$, las tangentes que pasan por el punto $P$ cubren exactamente un hiperplano.

(SO2) $𝒪$ no contiene líneas rectas.

Un semiovoide es un conjunto semicuadrático especial, que es una generalización de un conjunto cuadrático. La diferencia esencial entre un conjunto semicuadrático y un conjunto cuadrático es el hecho de que puede haber rectas que tengan 3 puntos en común con el conjunto y las rectas no estén contenidas en el conjunto.

Ejemplos de semiovoides son los conjuntos de puntos isotrópicos de una forma hermítica. Se llaman cuádricas hermíticas.

En cuanto a los ovoides, en la literatura existen criterios que convierten un semiovoide en una cuádrica hermítica. Véase, por ejemplo.

Los semiovoides se utilizan en la construcción de ejemplos de geometrías de Möbius.

Véase también

• Ovoide (espacio polar)
• Plano de Möbius

Bibliografía

• Plantilla:Citation

Lecturas adicionales

• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation

Enlaces externos

• E. Hartmann: Geometrías de círculos planos, una introducción a los planos de Moebius, Laguerre y Minkowski. Skript, TH Darmstadt (PDF; 891 kB), S. 121-123.