Cúbica alabeada
# Cúbica alabeada

En matemáticas, una cúbica alabeada es una curva suave y racional C de grado tres en el espacio proyectivo tridimensional $P^3.$ Es un ejemplo fundamental de una curva oblicua. Es esencialmente única respecto a la transformación proyectiva (por lo tanto, es la cúbica alabeada). Generalmente se considera el ejemplo más simple de una variedad proyectiva que no es lineal o hipersuperficial, y se da como tal en la mayoría de los libros de texto sobre geometría algebraica. Es el caso tridimensional de la curva normal racional, y es la imagen de una aplicación de Veronese de grado tres sobre la recta proyectiva.

## Definición

La cúbica alabeada se da más fácilmente de forma paramétrica como la imagen de la aplicación

    $\nu :\mathbf {P} ^{1}\to \mathbf {P} ^{3}$

en la que se asigna a la coordenada homogénea $[S:T]$ el valor

    $\nu :[S:T]\mapsto [S^{3}:S^{2}T:ST^{2}:T^{3}].$

En un entorno coordenado del espacio proyectivo, la aplicación es simplemente la curva de momento

    $\nu :x\mapsto (x,x^{2},x^{3})$

Es decir, es el cierre por un solo punto en el infinito de la curva afín $(x,x^{2},x^{3})$.

De manera equivalente, es una variedad proyectiva, definida como el lugar geométrico cero de tres cuádricas lisas. Dadas las coordenadas homogéneas $[X:Y:Z:W]$ en $P^3,$ es el lugar geométrico cero de los tres polinomios homogéneos

    $F_{0}=XZ-Y^{2}$
    $F_{1}=YW-Z^{2}$
    $F_{2}=XW-YZ.$

Se puede verificar que estas tres formas cuadráticas desvanecen de manera idéntica cuando se usa la parametrización explícita anterior; es decir, sustituyendo $x^3$ por X, y así sucesivamente.

De hecho, el ideal homogéneo de la cúbica alabeada C es generado por tres formas algebraicas de grado dos en $P^3.$ Los generadores del ideal son

    $\{XZ-Y^{2},YW-Z^{2},XW-YZ\}.$

## Propiedades

La cúbica alabeada tiene numerosas propiedades elementales:

* Es la intersección completa teórica de los conjuntos $XZ-Y^{2}$ y $Z(YW-Z^{2})-W(XW-YZ)$, pero no una intersección completa de esquema teórico o ideal teórico (el ideal resultante no es radical, ya que $(YW-Z^{2})^{2}$ le pertenece, pero no así $YW-Z^{2}$).
* Cualesquiera cuatro puntos en C abarcan $P^3.$
* Dados seis puntos en $P^3$ sin cuatro coplanares, existe una cúbica alabeada única que los atraviesa.
* La unión de las rectas tangente y secante (la variedad secante) de una cúbica alabeada C llena $P^3$ y las rectas están separadas por pares, excepto en los puntos de la curva misma. De hecho, la unión de las líneas tangente y secante de cualquier curva algebraica lisa no plana es tridimensional. Además, cualquier variedad algebraica suave con la propiedad de que cada longitud de cuatro subesquemas abarca $P^3$ tiene la propiedad de que las rectas tangente y secante son disjuntas por pares, excepto en los puntos de la variedad misma.
* La proyección de C en un plano desde un punto en una recta tangente de C produce una cúbica cuspidal.
* La proyección desde un punto en una recta secante de C produce una cúbica nodal.
* La proyección desde un punto sobre C produce una sección cónica.
