clase todd

En matemáticas , la clase de Todd es una determinada construcción que ahora se considera parte de la teoría en topología algebraica de clases características . La clase Todd de un paquete de vectores se puede definir mediante la teoría de clases de Chern y se encuentra donde existen clases de Chern, sobre todo en topología diferencial , la teoría de variedades complejas y geometría algebraica . En términos generales, una clase de Todd actúa como un recíproco de una clase de Chern, o se relaciona con ella como lo hace un paquete conormal con un paquete normal .

La clase de Todd juega un papel fundamental en la generalización del teorema clásico de Riemann-Roch a dimensiones superiores, en el teorema de Hirzebruch-Riemann-Roch y en el teorema de Grothendieck-Hirzebruch-Riemann-Roch .

Historia

Lleva el nombre de JA Todd , quien introdujo un caso especial del concepto en geometría algebraica en 1937, antes de que se definieran las clases de Chern. La idea geométrica implicada a veces se denomina clase de Todd-Eger . La definición general en dimensiones superiores se debe a Friedrich Hirzebruch .

Definición

Para definir la clase de Todd donde es un fibrado vectorial complejo en un espacio topológico , normalmente es posible limitar la definición al caso de una suma de Whitney de fibrados de líneas , mediante un dispositivo general de teoría de clases característica, el uso de Chern. raíces (también conocido como el principio de división ). Para la definición, dejemos ${\displaystyle \operatorname {td} (E)}$ ${\displaystyle E}$ ${\displaystyle X}$

${\displaystyle Q(x)={\frac {x}{1-e^{-x}}}=1+{\dfrac {x}{2}}+\sum _{i=1}^{\infty }{\frac {B_{2i}}{(2i)!}}x^{2i}=1+{\dfrac {x}{2}}+{\dfrac {x^{2}}{12}}-{\dfrac {x^{4}}{720}}+\cdots }$

Sea la serie de potencias formal con la propiedad de que el coeficiente de in es 1, donde denota el -ésimo número de Bernoulli . Considere el coeficiente de en el producto. ${\displaystyle x^{n}}$ ${\displaystyle Q(x)^{n+1}}$ ${\displaystyle B_{i}}$ ${\displaystyle i}$ ${\displaystyle x^{j}}$

${\displaystyle \prod _{i=1}^{m}Q(\beta _{i}x)\ }$

para cualquier . Esto es simétrico en el s y homogéneo de peso : por lo que puede expresarse como un polinomio en las funciones simétricas elementales del s. Luego define los polinomios de Todd : forman una sucesión multiplicativa con como serie de potencias característica . ${\displaystyle m>j}$ ${\displaystyle \beta _{i}}$ ${\displaystyle j}$ ${\displaystyle \operatorname {td} _{j}(p_{1},\ldots ,p_{j})}$ ${\displaystyle p}$ ${\displaystyle \beta _{i}}$ ${\displaystyle \operatorname {td} _{j}}$ ${\displaystyle Q}$

Si tiene raíces Chern , entonces la clase Todd ${\displaystyle E}$ ${\displaystyle \alpha _{i}}$

${\displaystyle \operatorname {td} (E)=\prod Q(\alpha _{i})}$

que debe calcularse en el anillo de cohomología de (o en su finalización si se quiere considerar variedades de dimensión infinita). ${\displaystyle X}$

La clase de Todd se puede dar explícitamente como una serie de potencias formal en las clases de Chern de la siguiente manera:

${\displaystyle \operatorname {td} (E)=1+{\frac {c_{1}}{2}}+{\frac {c_{1}^{2}+c_{2}}{12}}+{\frac {c_{1}c_{2}}{24}}+{\frac {-c_{1}^{4}+4c_{1}^{2}c_{2}+c_{1}c_{3}+3c_{2}^{2}-c_{4}}{720}}+\cdots }$

donde las clases de cohomología son las clases de Chern y se encuentran en el grupo de cohomología . Si es de dimensión finita, entonces la mayoría de los términos desaparecen y es un polinomio en las clases de Chern. ${\displaystyle c_{i}}$ ${\displaystyle E}$ ${\displaystyle H^{2i}(X)}$ ${\displaystyle X}$ ${\displaystyle \operatorname {td} (E)}$

Propiedades de la clase Todd

La clase de Todd es multiplicativa:

${\displaystyle \operatorname {td} (E\oplus F)=\operatorname {td} (E)\cdot \operatorname {td} (F).}$

Sea la clase fundamental de la sección del hiperplano. De la multiplicatividad y la secuencia exacta de Euler para el paquete tangente de ${\displaystyle \xi \in H^{2}({\mathbb {C} }P^{n})}$ ${\displaystyle {\mathbb {C} }P^{n}}$

${\displaystyle 0\to {\mathcal {O}}\to {\mathcal {O}}(1)^{n+1}\to T{\mathbb {C} }P^{n}\to 0,}$

se obtiene ^[1]

${\displaystyle \operatorname {td} (T{\mathbb {C} }P^{n})=\left({\dfrac {\xi }{1-e^{-\xi }}}\right)^{n+1}.}$

Cálculos de la clase Todd.

Para cualquier curva algebraica, la clase de Todd es justa . Como es proyectivo, se puede incrustar en algunos y podemos encontrarlo usando la secuencia normal. ${\displaystyle C}$ ${\displaystyle \operatorname {td} (C)=1+c_{1}(T_{C})}$ ${\displaystyle C}$ ${\displaystyle \mathbb {P} ^{n}}$ ${\displaystyle c_{1}(T_{C})}$

${\displaystyle 0\to T_{C}\to T_{\mathbb {P} }^{n}|_{C}\to N_{C/\mathbb {P} ^{n}}\to 0}$

y propiedades de las clases chern. Por ejemplo, si tenemos una curva plana de grados en , encontramos que la clase de chern total es ${\displaystyle d}$ ${\displaystyle \mathbb {P} ^{2}}$

${\displaystyle {\begin{aligned}c(T_{C})&={\frac {c(T_{\mathbb {P} ^{2}}|_{C})}{c(N_{C/\mathbb {P} ^{2}})}}\\&={\frac {1+3[H]}{1+d[H]}}\\&=(1+3[H])(1-d[H])\\&=1+(3-d)[H]\end{aligned}}}$

¿Dónde está restringida la clase de hiperplano ? ${\displaystyle [H]}$ ${\displaystyle \mathbb {P} ^{2}}$ ${\displaystyle C}$

Fórmula de Hirzebruch-Riemann-Roch

Para cualquier gavilla coherente F en una variedad compleja compacta lisa M , se tiene

${\displaystyle \chi (F)=\int _{M}\operatorname {ch} (F)\wedge \operatorname {td} (TM),}$

¿Dónde está su característica holomorfa de Euler ? ${\displaystyle \chi (F)}$

${\displaystyle \chi (F):=\sum _{i=0}^{{\text{dim}}_{\mathbb {C} }M}(-1)^{i}{\text{dim}}_{\mathbb {C} }H^{i}(M,F),}$

y su carácter Chern . ${\displaystyle \operatorname {ch} (F)}$

Ver también

• Género de una secuencia multiplicativa.

Notas

1. Teoría de intersecciones Clase 18, por Ravi Vakil

Referencias

• Todd, JA (1937), "Las invariantes aritméticas de loci algebraicos", Actas de la Sociedad Matemática de Londres , 43 (1): 190–225, doi :10.1112/plms/s2-43.3.190, Zbl  0017.18504
• Friedrich Hirzebruch , Métodos topológicos en geometría algebraica , Springer (1978)
• MI Voitsekhovskii (2001) [1994], "Todd class", Enciclopedia de Matemáticas , EMS Press