En matemáticas , la superficie Veronese es una superficie algebraica en el espacio proyectivo de cinco dimensiones , y se realiza mediante la incrustación Veronese , la incrustación del plano proyectivo dado por el sistema lineal completo de cónicas . Lleva el nombre de Giuseppe Veronese (1854-1917). Su generalización a una dimensión superior se conoce como variedad 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 denomina superficie Steiner .
Definición
La superficie de Veronese es la imagen del mapeo
dada por
dónde denota coordenadas homogéneas . El mapase conoce como la incrustación de Veronese.
Motivación
La superficie veronesa surge de forma natural en el estudio de las cónicas . Una cónica es una curva plana de grado 2, definida por una ecuación:
El emparejamiento entre coeficientes y variables es lineal en coeficientes y cuadrático en las variables; el mapa de Veronese lo hace lineal en los coeficientes y lineal en los monomios. Así, para un punto fijola condición de que una cónica contenga el punto es una ecuación lineal en los coeficientes, lo que formaliza la afirmación de que "pasar por un punto impone una condición lineal a las cónicas".
Mapa de Veronese
El mapa Veronese o variedad Veronese generaliza esta idea a mapeos de grado general d en n +1 variables. Es decir, el mapa veronés de grado d es el mapa
con m dado por el coeficiente de conjuntos múltiples , o más familiarmente el coeficiente binomial , como:
El mapa envía a todos los posibles monomios de grado total d (de los cuales hay); tenemos puesto que hay variables Para escoger de; y restamos desde el espacio proyectivo posee coordenadas. La segunda igualdad muestra que para la dimensión de fuente fija n, la dimensión de destino es un polinomio en d de grado ny coeficiente principal
Por bajo grado, es el mapa constante trivial para y es el mapa de identidad en por lo que d generalmente se considera 2 o más.
Se puede definir el mapa de Veronese sin coordenadas, como
donde V es cualquier espacio vectorial de dimensión finita, yson sus poderes simétricos de grado d . Esto es homogéneo de grado d bajo multiplicación escalar en V , y por lo tanto pasa a un mapeo en los espacios proyectivos subyacentes .
Si el espacio vectorial V se define sobre un campo K que no tiene característica cero , entonces la definición debe ser alterado de entenderse como una asignación al espacio dual de polinomios en V . Esto se debe a que para campos con característica finita p , las p- ésimas potencias de los elementos de V no son curvas normales racionales , sino que, por supuesto, son una línea. (Ver, por ejemplo, polinomio aditivo para un tratamiento de polinomios sobre un campo de característica finita).
Curva normal racional
Para la variedad Veronese se conoce como la curva normal racional , de la cual los ejemplos de menor grado son familiares.
- Para el mapa de Veronese es simplemente el mapa de identidad en la línea proyectiva.
- Para la variedad Veronese es la parábola estándar en coordenadas afines
- Para la variedad Veronese es la cúbica retorcida , en coordenadas afines
Birregular
La imagen de una variedad bajo el mapa de Veronese es nuevamente una variedad, más que simplemente un conjunto construible ; además, estos son isomorfos en el sentido de que el mapa inverso existe y es regular : el mapa de Veronese es birregular . Más precisamente, las imágenes de conjuntos abiertos en la topología de Zariski están nuevamente abiertas.
Ver también
- La superficie Veronese es la única variedad Severi de dimensión 2
Referencias
- Joe Harris, Geometría algebraica, Un primer curso , (1992) Springer-Verlag, Nueva York. ISBN 0-387-97716-3