En matemáticas , el cálculo de Schubert [1] es una rama de la geometría algebraica introducida en el siglo XIX por Hermann Schubert para resolver diversos problemas de conteo de la geometría proyectiva y, como tal, se considera parte de la geometría enumerativa . Darle una base más rigurosa era el objetivo del decimoquinto problema de Hilbert . Está relacionado con varios conceptos más modernos, como las clases características , y tanto sus aspectos algorítmicos como sus aplicaciones siguen siendo de interés actual. El término cálculo de Schubert se utiliza a veces para referirse a la geometría enumerativa de subespacios lineales de un espacio vectorial, que equivale aproximadamente a describir el anillo de cohomología de los Grassmannianos. A veces se utiliza para referirse a la geometría enumerativa más general de variedades algebraicas que son espacios homogéneos de grupos de Lie simples. Aún más en general, a veces se entiende que el cálculo de Schubert abarca el estudio de cuestiones análogas en teorías de cohomología generalizadas .
Los objetos introducidos por Schubert son las células de Schubert , [2] que son conjuntos localmente cerrados en un Grassmanniano definido por las condiciones de incidencia de un subespacio lineal en el espacio proyectivo con una bandera dada . Para más detalles ver variedad Schubert .
La teoría de la intersección [3] de estas celdas, que puede verse como la estructura del producto en el anillo de cohomología del Grassmanniano, que consta de clases de cohomología asociadas , permite en particular determinar los casos en los que las intersecciones de las celdas dan como resultado un conjunto finito. de puntos. Un resultado clave es que las células de Schubert (o más bien, las clases de sus cierres de Zariski, los ciclos de Schubert o las variedades de Schubert ) abarcan todo el anillo de cohomología.
Los aspectos combinatorios surgen principalmente en relación con el cálculo de intersecciones de ciclos de Schubert. Desde el Grassmanniano , que es un espacio homogéneo , hasta el grupo lineal general que actúa sobre él, cuestiones similares están involucradas en la descomposición de Bruhat y la clasificación de subgrupos parabólicos (como matrices triangulares de bloques ).
Construcción
El cálculo de Schubert se puede construir utilizando el anillo de Chow [3] del Grassmanniano , donde los ciclos generadores están representados por datos definidos geométricamente. [4] Denote el Grassmanniano de planos en un espacio vectorial de dimensión fija como y su anillo de Chow como . (Tenga en cuenta que el Grassmanniano a veces se denota si el espacio vectorial no se da explícitamente o como si el espacio ambiental y sus subespacios dimensionales fueran reemplazados por sus proyectaciones). Elegir una bandera completa (arbitraria)![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A^{*}(\mathbf {Gr} (k,V))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {G} (k-1,n-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {V}}=(V_{1}\subset \cdots \subset V_{n-1}\subset V_{n}=V),\quad \dim {V}_{i}= i,\quad i=1,\puntos,n,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
a cada -tupla débilmente decreciente de números enteros , donde![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {a} =(a_{1},\ldots,a_{k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle nk\geq a_{1}\geq a_{2}\geq \cdots \geq a_{k}\geq 0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es decir, a cada partición de peso
![{\displaystyle |\mathbf {a} |=\sum _{i=1}^{k}a_{i},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
cuyo diagrama de Young encaja en el rectangular de la partición , asociamos una variedad de Schubert [1] [2] (o ciclo de Schubert ) , definida como![{\displaystyle k\times (nk)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (nk)^{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }({\mathcal {V}})\subset \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }({\mathcal {V}})=\{w\in \mathbf {Gr} (k,V):\dim(V_{n-k+i- a_{i}}\cap w)\geq i{\text{ para }}i=1,\dots ,k\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Este es el cierre, en la topología de Zariski , de la celda de Schubert [1] [2]
![{\displaystyle X_{\mathbf {a} }({\mathcal {V}}):=\{w\in \mathbf {Gr} (k,V):\dim(V_{j}\cap w)= i{\text{ para todos }}nk-a_{i}+i\leq j\leq nk-a_{i+1}+i,\quad 1\leq j\leq n\}\subset \Sigma _{ \mathbf {a} }({\mathcal {V}}),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que se utiliza al considerar la homología celular en lugar del anillo de Chow. Estos últimos son espacios afines disjuntos, de dimensión , cuya unión es .![{\displaystyle |\mathbf {a} |}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se puede dar una caracterización equivalente de la celda de Schubert en términos de bandera dual completa.![{\displaystyle X_{\mathbf {a} }({\mathcal {V}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {\mathcal {V}}}=({\tilde {V}}_{1}\subset {\tilde {V}}_{2}\cdots \subset {\tilde {V} }_{n}=V),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde
![{\displaystyle {\tilde {V}}_{i}:=V_{n}\backslash V_{ni},\quad i=1,\dots,n\quad (V_{0}:=\emptyset). }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Luego consta de aquellos subespacios dimensionales que tienen una base
que consta de elementos.![{\displaystyle X_{\mathbf {a} }({\mathcal {V}})\subset \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\subconjunto V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ({\tilde {W}}_{1},\dots,{\tilde {W}}_{k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {W}}_{i}\in {\tilde {V}}_{k+a_{i}-i+1},\quad i=1,\dots,k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de los subespacios![{\displaystyle \{{\tilde {V}}_{k+a_{i}-i+1}\}_{i=1,\dots,k}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que la clase de homología , llamada clase Schubert , no depende de la elección de la bandera completa , se puede escribir como![{\displaystyle [\Sigma _{\mathbf {a} }({\mathcal {V}})]\in A^{*}(\mathbf {Gr} (k,V))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {V}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{\mathbf {a} }:=[\Sigma _{\mathbf {a} }]\in A^{*}(\mathbf {Gr} (k,V)).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se puede demostrar que estas clases son linealmente independientes y generan el anillo de Chow como su tramo lineal. La teoría de la intersección asociada se llama cálculo de Schubert . Para una secuencia dada , la clase de Schubert generalmente se denota simplemente . Las clases de Schubert dadas por un único número entero (es decir, una partición horizontal) se denominan clases especiales . Usando la siguiente fórmula de Giambelli , todas las clases de Schubert se pueden generar a partir de estas clases especiales.![{\displaystyle \mathbf {a} =(a_{1},\ldots,a_{j},0,\ldots,0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a_{j}>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _ {(a_{1},\ldots ,a_{j},0,\ldots ,0)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _ {(a_ {1}, \ldots, a_ {j})}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _ {a_ {1}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otras convenciones de notación
En algunas fuentes, [1] [2] las celdas de Schubert y las variedades de Schubert están etiquetadas de manera diferente, como y , respectivamente, ¿dónde está la partición complementaria con partes?![{\displaystyle X_{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S_{\lambda}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {S}}_{\lambda }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {a} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
cuyo diagrama de Young es el complemento del de dentro del rectangular (invertido, tanto horizontal como verticalmente).![{\displaystyle \mathbf {a} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\times (nk)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otra convención de etiquetado para y es y , respectivamente, ¿dónde
está el índice múltiple definido por ![{\displaystyle X_{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{L}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {C}}_{L}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L=(L_{1},\dots,L_{k})\subset (1,\dots,n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_{i}:=nk-a_{i}+i=\lambda _ {k-i+1}+i.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los números enteros son las ubicaciones de pivote de las representaciones de elementos de forma escalonada matricial reducida .![{\ Displaystyle (L_ {1}, \ puntos, L_ {k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Explicación
Para explicar la definición, considere un plano genérico . Tendrá sólo una intersección cero con for , mientras que![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\subconjunto V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j\leq nk}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para![{\displaystyle j=n-k+i\geq nk.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo, en , un plano es el espacio de solución de un sistema de cinco ecuaciones lineales homogéneas independientes. Estas ecuaciones abarcarán genéricamente cuando estén restringidas a un subespacio con , en cuyo caso el espacio de solución (la intersección de con ) consistirá únicamente en el vector cero. Sin embargo , si y necesariamente tendrán una intersección distinta de cero. Por ejemplo, la dimensión esperada de la intersección de y es , la intersección de y tiene la dimensión esperada , y así sucesivamente.![{\displaystyle \mathbf {Gr} (4,9)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 4}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j=\dim V_{j}\leq 5=9-4}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \dim(V_{j})+\dim(w)>n=9}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle V_ {6}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle V_ {7}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La definición de variedad Schubert establece que el primer valor de with es genéricamente menor que el valor esperado por el parámetro . Los planos dados por estas restricciones definen subvariedades especiales de . [4]![{\displaystyle j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \dim(V_{j}\cap w)\geq i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle nk+i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle a_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\subconjunto V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades
Inclusión
Hay un orden parcial en todas las tuplas donde if para cada . Esto da la inclusión de variedades Schubert.![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {a} \geq \mathbf {b} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a_{i}\geq b_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }\subset \Sigma _{\mathbf {b} }\iff \mathbf {a} \geq \mathbf {b} ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
mostrar un aumento de los índices corresponde a una especialización aún mayor de las subvariedades.
Una variedad Schubert tiene una dimensión igual al peso. ![{\displaystyle \Sigma _{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\mathbf {a} |=\sum a_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de la partición . Alternativamente, en la convención de notación indicada anteriormente, su codimensión en es el peso ![{\displaystyle \mathbf {a} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S_{\lambda}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\lambda |=\sum _{i=1}^{k}\lambda _{i}=k(nk)-|\mathbf {a} |.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de la partición complementaria en el diagrama de Young rectangular dimensional.![{\displaystyle \lambda \subset (nk)^{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\times (nk)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto es estable bajo inclusiones de Grassmannianos. Es decir, la inclusión
![{\displaystyle i_{(k,n)}:\mathbf {Gr} (k,\mathbf {C} ^{n})\hookrightarrow \mathbf {Gr} (k,\mathbf {C} ^{n+1 }),\quad \mathbf {C} ^{n}={\text{span}}\{e_{1},\dots ,e_{n}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
definido, para , por![{\displaystyle w\in \mathbf {Gr} (k,\mathbf {C} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i_{(k,n)}:w\subset \mathbf {C} ^{n}\mapsto w\subset \mathbf {C} ^{n}\oplus \mathbf {C} e_{n+1 }=\mathbf {C} ^{n+1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
tiene la propiedad
![{\displaystyle i_{(k,n)}^{*}(\sigma _{\mathbf {a} })=\sigma _{\mathbf {a} },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y la inclusión
![{\displaystyle {\tilde {i}}_{(k,n)}:\mathbf {Gr} (k,n)\hookrightarrow \mathbf {Gr} (k+1,n+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
definido agregando el elemento de base adicional a cada plano, dando un plano, ![{\displaystyle e_{n+1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (k+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {i}}_{(k,n)}:w\mapsto w\oplus \mathbf {C} e_{n+1}\subset \mathbf {C} ^{n}\oplus \ mathbf {C} e_ {n+1}=\mathbf {C} ^{n+1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
lo hace también
![{\displaystyle {\tilde {i}}_{(k,n)}^{*}(\sigma _{\mathbf {a} })=\sigma _{\mathbf {a} }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por lo tanto, si y son una célula y una subvariedad en el Grassmanniano , también pueden verse como una célula y una subvariedad dentro del Grassmanniano para cualquier par con y .![{\displaystyle X_{\mathbf {a} }\subset \mathbf {Gr} _{k}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }\subset \mathbf {Gr} _{k}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} _ {k}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{\mathbf {a} }\subset \mathbf {Gr} _{\tilde {k}}({\tilde {n}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{\mathbf {a} }\subset \mathbf {Gr} _{\tilde {k}}({\tilde {n}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} _{\tilde {k}}({\tilde {n}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ({\tilde {k}},{\tilde {n}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {k}}\geq k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {n}}-{\tilde {k}}\geq nk}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Producto de intersección
El producto de intersección se estableció por primera vez utilizando las fórmulas de Pieri y Giambelli .
En el caso especial , existe una fórmula explícita del producto de con una clase arbitraria de Schubert dada por![{\displaystyle \mathbf {b} =(b,0,\ldots,0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{b}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _ {a_ {1}, \ldots, a_ {k}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{b}\cdot \sigma _{a_{1},\ldots ,a_{k}}=\sum _{\begin{matrix}|c|=|a|+b\\a_ {i}\leq c_{i}\leq a_{i-1}\end{matrix}}\sigma _{\mathbf {c} },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde son los pesos de las particiones. Esto se llama fórmula de Pieri y se puede utilizar para determinar el producto de intersección de dos clases de Schubert cualesquiera cuando se combina con la fórmula de Giambelli . Por ejemplo,![{\displaystyle |\mathbf {a} |=a_{1}+\cdots +a_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\mathbf {c} |=c_{1}+\cdots +c_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{1}\cdot \sigma _{4,2,1}=\sigma _{5,2,1}+\sigma _{4,3,1}+\sigma _{4, 2,1,1}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y
![{\displaystyle \sigma _{2}\cdot \sigma _{4,3}=\sigma _{4,3,2}+\sigma _{4,4,1}+\sigma _{5,3, 1}+\sigma _{5,4}+\sigma _{6,3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las clases de Schubert para particiones de cualquier longitud se pueden expresar como el determinante de una matriz que tiene clases especiales como entradas. ![{\displaystyle \sigma _{\mathbf {a} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ell (\mathbf {a} )\leq k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (k\times k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{(a_{1},\ldots ,a_{k})}={\begin{vmatrix}\sigma _{a_{1}}&\sigma _{a_{1}+1} &\sigma _{a_{1}+2}&\cdots &\sigma _{a_{1}+k-1}\\\sigma _{a_{2}-1}&\sigma _{a_{2) }}&\sigma _{a_{2}+1}&\cdots &\sigma _{a_{2}+k-2}\\\sigma _{a_{3}-2}&\sigma _{a_ {3}-1}&\sigma _{a_{3}}&\cdots &\sigma _{a_{3}+k-3}\\\vdots &\vdots &\vdots &\ddots &\vdots \ \\sigma _{a_{k}-k+1}&\sigma _{a_{k}-k+2}&\sigma _{a_{k}-k+3}&\cdots &\sigma _{ a_ {k}}\end{vmatrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto se conoce como fórmula de Giambelli . Tiene la misma forma que la primera identidad de Jacobi-Trudi , expresando funciones arbitrarias de Schur como determinantes en términos de funciones simétricas completas .
![{\displaystyle \{h_{j}:=s_{(j)}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo,
![{\displaystyle \sigma _{2,2}={\begin{vmatrix}\sigma _{2}&\sigma _{3}\\\sigma _{1}&\sigma _{2}\end{vmatrix }}=\sigma _{2}^{2}-\sigma _{1}\cdot \sigma _{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y
![{\displaystyle \sigma _{2,1,1}={\begin{vmatrix}\sigma _{2}&\sigma _{3}&\sigma _{4}\\\sigma _{0}&\ sigma _{1}&\sigma _{2}\\0&\sigma _{0}&\sigma _{1}\end{vmatrix}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Caso general
El producto de intersección entre cualquier par de clases de Schubert viene dado por![{\displaystyle \sigma _{\mathbf {a} },\sigma _{\mathbf {b} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{\mathbf {a} }\sigma _{\mathbf {b} }=\sum _{\mathbf {c} }c_{\mathbf {a} \mathbf {b} }^{\ mathbf {c} }\sigma _ {\mathbf {c} },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Dónde están los coeficientes de Littlewood-Richardson ? [5] La fórmula de Pieri es un caso especial de esto, cuando tiene longitud .![{\displaystyle \{c_{\mathbf {a} \mathbf {b} }^{\mathbf {c} }\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {b} =(b,0,\dots,0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ell (\mathbf {b} )=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Relación con las clases de Chern
Hay una descripción sencilla del anillo de cohomología, o anillo de Chow, del Grassmanniano utilizando las clases de Chern de dos haces de vectores naturales sobre . Tenemos la secuencia exacta de paquetes de vectores sobre![{\displaystyle \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to T\to {\underline {V}}\to Q\to 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde está el fibrado tautológico cuya fibra, sobre cualquier elemento es el subespacio mismo, es el fibrado vectorial trivial de rango , con as fibra y es el fibrado vectorial cociente de rango , con as fibra. Las clases Chern de los paquetes y son![{\displaystyle T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\in \mathbf {Gr} (k,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w\subconjunto V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,{\underline {V}}:=\mathbf {Gr} (k,V)\times V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle nk}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V/w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c_{i}(T)=(-1)^{i}\sigma _ {(1)^{i}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Dónde está la partición cuyo diagrama de Young consta de una sola columna de longitud y![{\displaystyle (1)^{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c_{i}(Q)=\sigma _{i}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La secuencia tautológica da entonces la presentación del anillo Chow como
![{\displaystyle A^{*}(\mathbf {Gr} (k,V))={\frac {\mathbb {Z} [c_{1}(T),\ldots ,c_{k}(T), c_{1}(Q),\ldots ,c_{nk}(Q)]}{(c(T)c(Q)-1)}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
G r ( 2 , 4 ) {\displaystyle \mathbf {Gr} (2,4)}
Uno de los ejemplos clásicos analizados es el Grassmanniano ya que parametriza líneas en . Utilizando el anillo de Chow , el cálculo de Schubert se puede utilizar para calcular el número de líneas en una superficie cúbica . [4]![{\displaystyle \mathbf {Gr} (2,4)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {P} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A^{*}(\mathbf {Gr} (2,4))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
anillo de comida
El anillo Chow tiene la presentación.
![{\displaystyle A^{*}(\mathbf {Gr} (2,4))={\frac {\mathbb {Z} [\sigma _{1},\sigma _{1,1},\sigma _ {2}]}{((1-\sigma _{1}+\sigma _{1,1})(1+\sigma _{1}+\sigma _{2})-1)}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y como grupo abeliano graduado [6] viene dado por
![{\displaystyle {\begin{aligned}A^{0}(\mathbf {Gr} (2,4))&=\mathbb {Z} \cdot 1\\A^{2}(\mathbf {Gr} ( 2,4))&=\mathbb {Z} \cdot \sigma _{1}\\A^{4}(\mathbf {Gr} (2,4))&=\mathbb {Z} \cdot \sigma _{2}\oplus \mathbb {Z} \cdot \sigma _{1,1}\\A^{6}(\mathbf {Gr} (2,4))&=\mathbb {Z} \cdot \ sigma _{2,1}\\A^{8}(\mathbf {Gr} (2,4))&=\mathbb {Z} \cdot \sigma _{2,2}\\\end{alineado} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Líneas sobre una superficie cúbica.
Recuerde que una línea en da un subespacio de dimensión de , por lo tanto un elemento de . 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, ésta se da como una sección genérica . Una línea es una subvariedad de si y sólo si la sección desaparece en . Por lo tanto, la clase de Euler se puede integrar para obtener el número de puntos donde la sección genérica desaparece . Para obtener la clase de Euler, se debe calcular la clase total de Chern, que viene dada como![{\displaystyle \mathbb {P} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {A} ^{4}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {G} (1,3)\cong \mathbf {Gr} (2,4)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Gamma (\mathbb {G} (1,3),T^{*})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\in \Gamma (\mathbb {G} (1,3),{\text{Sym}}^{3}(T^{*}))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L\subset \mathbb {P} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [L]\in \mathbb {G} (1,3)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Sym}}^{3}(T^{*})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {G} (1,3)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {G} (1,3)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c(T^{*})=1+\sigma _{1}+\sigma _{1,1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La fórmula de división entonces se lee como la ecuación formal
![{\displaystyle {\begin{aligned}c(T^{*})&=(1+\alpha )(1+\beta )\\&=1+\alpha +\beta +\alpha \cdot \beta \ fin {alineado}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde y para paquetes de líneas formales . La ecuación de división da las relaciones![{\displaystyle c({\mathcal {L}})=1+\alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c({\mathcal {M}})=1+\beta }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {L}},{\mathcal {M}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y .![{\displaystyle \sigma _{1,1}=\alpha \cdot \beta }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que puede verse como la suma directa de paquetes de líneas formales![{\displaystyle {\text{Sym}}^{3}(T^{*})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Sym}}^{3}(T^{*})={\mathcal {L}}^{\otimes 3}\oplus ({\mathcal {L}}^{\otimes 2 }\otimes {\mathcal {M}})\oplus ({\mathcal {L}}\otimes {\mathcal {M}}^{\otimes 2})\oplus {\mathcal {M}}^{\otimes 3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
cuya clase total de Chern es
![{\displaystyle c({\text{Sym}}^{3}(T^{*}))=(1+3\alpha )(1+2\alpha +\beta )(1+\alpha +2\ beta)(1+3\beta),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
resulta que
![{\displaystyle {\begin{aligned}c_{4}({\text{Sym}}^{3}(T^{*}))&=3\alpha (2\alpha +\beta )(\alpha + 2\beta )3\beta \\&=9\alpha \beta (2(\alpha +\beta )^{2}+\alpha \beta )\\&=9\sigma _{1,1}(2 \sigma _{1}^{2}+\sigma _{1,1})\\&=27\sigma _{2,2}\,,\end{alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
utilizando el hecho de que
y![{\displaystyle \sigma _{1,1}\cdot \sigma _{1,1}=\sigma _{2,2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como es la clase superior, la integral es entonces![{\displaystyle \sigma _{2,2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \int _{\mathbb {G} (1,3)}27\sigma _{2,2}=27.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por tanto, hay líneas en una superficie cúbica.![{\displaystyle 27}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ abc Kleiman, SL ; Laksov, Dan (1972). "Cálculo de Schubert". Mensual Matemático Estadounidense . 79 (10). Sociedad Matemática Estadounidense: 1061–1082. doi :10.1080/00029890.1972.11993188. ISSN 0377-9017.
- ^ abcd Fulton, William (1997). Cuadros jóvenes. Con aplicaciones a la teoría de la representación y la geometría, capítulo. 9.4 . Textos estudiantiles de la Sociedad Matemática de Londres. vol. 35. Cambridge, Reino Unido: Cambridge University Press. doi :10.1017/CBO9780511626241. ISBN 9780521567244.
- ^ ab Fulton, William (1998). Teoría de la intersección . Berlín, Nueva York: Springer-Verlag . ISBN 978-0-387-98549-7. SEÑOR 1644323.
- ^ abc 3264 y todo eso (PDF) . págs. 132, apartado 4.1, 200, apartado 6.2.1.
- ^ Fulton, William (1997). Cuadros jóvenes. Con aplicaciones a la teoría de la representación y la geometría, capítulo. 5 . Textos estudiantiles de la Sociedad Matemática de Londres. vol. 35. Cambridge, Reino Unido: Cambridge University Press. doi :10.1017/CBO9780511626241. ISBN 9780521567244.
- ^ Katz, Sheldon . Geometría enumerativa y teoría de cuerdas . pag. 96.
- Apuntes de la escuela de verano http://homepages.math.uic.edu/~coskun/poland.html
- Phillip Griffiths y Joseph Harris (1978), Principios de geometría algebraica , Capítulo 1.5
- Kleiman, Steven (1976). "Fundamentos rigurosos del cálculo enumerativo de Schubert". En Felix E. Browder (ed.). Desarrollos matemáticos derivados de problemas de Hilbert . Actas de simposios de matemática pura . vol. XXVIII.2. Sociedad Matemática Estadounidense . págs. 445–482. ISBN 0-8218-1428-1.
- Steven Kleiman y Dan Laksov (1972). «Cálculo de Schubert» (PDF) . Mensual Matemático Estadounidense . 79 : 1061-1082. doi :10.2307/2317421.
- Sottile, Frank (2001) [1994], "Cálculo de Schubert", Enciclopedia de Matemáticas , EMS Press
- David Eisenbud y Joseph Harris (2016), "3264 y todo eso: un segundo curso de geometría algebraica".
- Fulton, William (1997). Cuadros jóvenes. Con aplicaciones a la teoría de la representación y la geometría, capítulos. 5 y 9.4 . Textos estudiantiles de la Sociedad Matemática de Londres. vol. 35. Cambridge, Reino Unido: Cambridge University Press. doi :10.1017/CBO9780511626241. ISBN 9780521567244.
- Fulton, William (1998). Teoría de la intersección . Berlín, Nueva York: Springer-Verlag . ISBN 978-0-387-98549-7. SEÑOR 1644323.