Cálculo de Schubert

rama de la geometría algebraica

En matemáticas, el cálculo de Schubert es una rama de la geometría algebraica introducida en el siglo XIX por Hermann Schubert, para resolver varios problemas de conteo en la geometría proyectiva (parte de la geometría enumerativa). Fue un precursor de varias teorías más modernas, por ejemplo las clases características, y en particular sus aspectos algorítmicos siguen siendo de interés actual. La frase "cálculo de Schubert" se usa a veces para referirse a la geometría enumerativa de subespacios lineales, aproximadamente equivalente a describir el anillo de cohomología de los grasmanianos, y a veces se usa para referirse a la geometría enumerativa más general de variedades no lineales. Incluso de manera más general, se entiende que el “cálculo de Schubert” abarca el estudio de preguntas análogas en cohomología.

Un modelo de la superficie de Clebsch, mostrando sus 27 líneas rectas

Los objetos introducidos por Schubert son las células de Schubert, que son conjuntos localmente cerrados en un grasmaniano definido por las condiciones de incidencia de un subespacio lineal en un espacio proyectivo con una bandera dada. Para obtener más información, consúltese variedad de Schubert.

La teoría de la intersección de estas celdas, que puede verse como la estructura del producto en el anillo de cohomología del grasmaniano de cohomologías asociadas, permite en principio predecir los casos en los que las intersecciones de celdas dan como resultado un conjunto finito de puntos, que son respuestas potencialmente concretas a preguntas enumerativas. Un resultado teórico de apoyo es que las células de Schubert (o más bien, sus clases) abarcan todo el anillo de cohomología.

En los cálculos detallados, los aspectos combinatorios entran tan pronto como las celdas deben indexarse. Elevado del grasmaniano, que es un espacio homogéneo, al grupo lineal general que actúa sobre él, preguntas similares están involucradas en la descomposición de Bruhat y la clasificación del subgrupo parabólico (por una matriz en bloque).

El decimoquinto problema de Hilbert consiste en establecer el sistema de Schubert sobre una base rigurosa.

Construcción

editar

El cálculo de Schubert se puede construir usando el anillo de Chow de los grasmanianos, donde los ciclos de generación están representados por datos geométricamente significativos.[1]​ Denótese   como grasmaniano de  -planos en un espacio vectorial  -dimensional fijo  , y   su anillo de Chow; téngase en cuenta que a veces el grasmaniano se denota como   si el espacio vectorial no se da explícitamente. Asociado a un indicador completo arbitrario  

 

y a una  -tupla decreciente de enteros   donde

 

existen ciclos de Schubert (que se denominan células de Schubert cuando se considera la homología celular en lugar del anillo de Chow)   definido como

 

la clase   no depende de la bandera completa, las clases se pueden escribir como

 

que se denominan clases de Schubert. Se puede demostrar que estas clases generan el anillo de Chow, y la teoría de la intersección asociada se llama cálculo de Schubert. Téngase en cuenta que dada una secuencia  , la clase de Schubert   generalmente se denota simplemente como  . Además, las clases de Schubert dadas por un solo entero,  , se denominan clases especiales. Usando la fórmula de Giambeli a continuación, todas las clases de Schubert se pueden generar a partir de estas clases especiales.

Explicación de la definición

editar

Inicialmente, la definición parece un poco incómoda. Dado un   genérico del plano  , solo tendrá una intersección cero con   para   y   para  . Por ejemplo, en   dado un  -plano  , se corta mediante un sistema de cinco ecuaciones lineales. No se garantiza que el plano     se interseque en ningún otro lugar que no sea el origen, ya que hay cinco parámetros libres en los que podría situarse. Además, una vez que  , entonces necesariamente se cruzan. Esto significa que la dimensión esperada de la intersección de   y   debe tener la dimensión  , la intersección de   y   debe tener la dimensión  , y así sucesivamente. Estos ciclos luego definen subvariedades especiales de  .

Propiedades

editar

Inclusión

editar

Hay un orden parcial en todas las  -tuplas donde   es   para cada  . Esto da la inclusión de los ciclos de Schubert

 

mostrando un aumento de los índices que corresponde a una especialización aún mayor de las subvariedades.

Fórmula de codimensión

editar

Un ciclo de Schubert   tiene codimensión

 

que es estable bajo inclusiones de grasmanianos. Es decir, la inclusión

 

dada al agregar el elemento base adicional   a cada plano  , dando un plano  , tiene la propiedad

 

Además, la inclusión

 

dada por la inclusión del plano   tiene la misma propiedad de retroceso.

Producto de intersección

editar

El producto de intersección se estableció por primera vez utilizando las fórmulas de Pieri y Giambelli.

Fórmula de Pieri

editar

En el caso especial  , hay una fórmula explícita del producto de   con una clase de Schubert arbitraria   dada por

 

Nótese que  . Esta fórmula se llama fórmula de Pieri y se puede utilizar para determinar el producto de intersección de dos clases de Schubert cuando se combina con la fórmula de Giambelli. Por ejemplo,

 

y

 

Fórmula de Giambelli

editar

Las clases de Schubert con tuplas de dos o más de longitud pueden describirse como una ecuación determinante utilizando las clases de una sola tupla. La fórmula de Giambelli se lee como la ecuación

 

dada por el determinante de una matriz  . Por ejemplo,

 

y

 

Relación con las clases de Chern

editar

Hay una descripción fácil del anillo de cohomología, o el anillo de Chow, del grasmaniano utilizando las clases de Chern de dos paquetes de vectores naturales sobre el grasmaniano  . Hay una secuencia de paquetes vectoriales

 

donde   es el paquete vectorial trivial de rango  , la fibra de   sobre   es el subespacio   y   es el paquete vectorial cociente (que existe, ya que el rango es constante en cada una de las fibras). Las clases de Chern de estos dos paquetes asociados son

 

donde   es una  -tupla y

 

La secuencia tautológica da la presentación del anillo de Chow como

 

G (2,4)

editar

Uno de los ejemplos clásicos analizados es el grasmaniano   ya que parametriza líneas rectas en  . El cálculo de Schubert se puede utilizar para encontrar el número de rectas en una superficie cúbica.

Anillo de Chow

editar

El anillo de Chow tiene la representación

 

y como grupo abeliano graduado está dado por

 [2]

Rectas sobre una superficie cúbica

editar

Este anillo de Chow se puede utilizar para calcular el número de rectas en una superficie cúbica (es decir, de tercer grado).[1]​ Se debe recordar que una línea recta en   da una dimensión de dos subespacio de  , por lo tanto  . Además, la ecuación de una recta se puede dar como una sección de  . Dado que una superficie cúbica   se da como un polinomio cúbico homogéneo genérico, a su vez se da como una sección genérica  . Entonces, una línea recta   es una subvariedad de   si y solo si la sección desaparece en  . Por lo tanto, la clase de Euler de   se puede integrar sobre   para obtener el número de puntos donde la sección genérica desaparece en  . Para obtener la clase de Euler, se debe calcular la clase de Chern total de  , que se da como

 

T, luego, la fórmula de división se lee como la ecuación formal

 

donde   y   para los paquetes de líneas formales  . La ecuación de división da las relaciones

  and  .

Dado que   se puede leer como la suma directa de conjuntos de vectores formales

 

cuya clase de Chern total es

 

de ahí que

 

usando el hecho de que

  and  

entonces, la integral es

 

ya que   es la clase superior. Por lo tanto, hay   líneas rectas en una superficie cúbica.

Véase también

editar

Referencias

editar
  1. a b 3264 and All That. pp. 132, section 4.1; 200, section 6.2.1. 
  2. Katz, Sheldon. Enumerative Geometry and String Theory. p. 96. 

Bibliografía

editar