Superficie de Veronese

En matemáticas, la superficie de Veronese es una superficie algebraica en el espacio proyectivo de cinco dimensiones, y se determina mediante la inclusión de Veronese, el embebido del plano proyectivo dado por el sistema lineal de cónicas completo. Lleva el nombre del matemático italiano Giuseppe Veronese (1854-1917). Su generalización a una dimensión superior se conoce como la variedad de Veronese. 

La superficie admite una incrustación en el espacio proyectivo de cuatro dimensiones definido por la proyección desde un punto general en el espacio de cinco dimensiones. Su proyección general al espacio proyectivo tridimensional se llama superficie de Steiner.

Es objeto de estudio en el campo del diseño geométrico asistido por ordenador.

Definición 
La superficie de Veronese es la imagen de la aplicación

 

dada por 

 

donde  denota coordenadas homogéneas. La aplicación  se conoce como la inclusión de Veronese.

Motivación 
La superficie de Veronese surge naturalmente en el estudio de las cónicas. Una cónica es una curva plana de grado 2, así definida por una ecuación: 

 

El emparejamiento entre coeficientes  y las variables  representan coeficientes lineales y variables cuadráticas; la aplicación de Veronese mantiene los coeficientes lineales y transforma los monomios en lineales. Así, por un punto fijo  la condición de que una cónica contenga el punto es una ecuación lineal en los coeficientes, que formaliza la afirmación de que "pasar por un punto impone una condición lineal a las cónicas".

Propiedades
La superficie se puede proyectar sin problemes en cuatro dimensiones, pero todas las proyeccions tridimensionales tienen singularidades. Las proyecciones de estas superficies en tres dimensions se denominan superficies de Steiner. El volumen de la superficie de Veronese es de .

Aplicación de Veronese 
La aplicación de Veronese o la variedad de Veronese generaliza esta idea a correspondencias de grado general d en n +1 variables. Es decir, la aplicación de Veronese de grado d es la aplicación 

 

con m dado por el coeficiente del multiconjunto, o más familiarmente, el coeficiente binomial, como: 

 

La aplicación envía  a todos los monomios posibles de grado total d, de ahí la aparición de funciones combinatorias; el  y  se deben a la proyectivización. La última expresión muestra que para la dimensión de origen fija n, la dimensión de destino es un polinomio en d de grado ny y coeficiente  

Para grado bajo,  es la aplicación trivial constante para  y  es el mapa de identidad en  entonces d generalmente se toma como 2 o más. 

Se puede definir la aplicación de Veronese de forma libre de coordenadas, como 

 

donde V es cualquier espacio vectorial de dimensión finita, y  son sus potencias simétricas de grado d. Esto es homogéneo de grado d bajo la multiplicación escalar en V, y por lo tanto, pasa a una aplicación en los espacios proyectivos subyacentes. 

Si el espacio vectorial V se define sobre un campo K que no tiene la característica cero, entonces la definición debe modificarse para que se entienda como una aplicación al espacio dual de polinomios en V. Esto es así porque para campos con característica finita p, las p-ésimas potencias de elementos de V no son curvas normales racionales, pero son, por supuesto, una línea (véase por ejemplo, polinomio aditivo para el tratamiento de polinomios sobre un campo de características finitas).

Curva normal racional 
Para  la variedad de Veronese se conoce como la curva normal racional, de la que los ejemplos de menor grado son familiares. 

 Para  la aplicación de Veronese es simplemente la aplicación identidad en la recta proyectiva. 
 Para  la variedad de Veronese es la parábola estándar  en coordenadas afines  
 Para  la variedad de Veronese es la cúbica alabeada,  en coordenadas afines

Birregular 
La imagen de una variedad bajo la aplicación de Veronese es nuevamente una variedad, más que simplemente un conjunto constructivo. Además, estos son isomórficos en el sentido de que la aplicación inversa existe y es regular: la aplicación de Veronese es birregular. Más precisamente, las imágenes de conjuntos abiertos en la topología de Zariski están nuevamente abiertas.

Véase también 
 La superficie de Veronese es la única variedad de Severi de dimensión 2

Referencias

Bibliografía
 Joe Harris, Algebraic Geometry, A First Course, (1992) Springer-Verlag, Nueva York.  
 
 
 

Cálculo tensorial
Superficies algebraicas