title: Teorema de la firma de Hirzebruch
text: # Teorema de la firma de Hirzebruch
  
  En topología diferencial, un área de las matemáticas, el teorema de la firma de Hirzebruch (a veces llamado teorema del índice de Hirzebruch) es el resultado de Friedrich Hirzebruch de 1954 que expresa la firma de una variedad orientada cerrada y lisa mediante una combinación lineal de número de Pontryagin llamada el L-género.
  
  Se utilizó en la demostración del teorema de Hirzebruch-Riemann-Roch.
  
  ## Enunciado del teorema
  
  El género L es el género de la sucesión multiplicativa de polinomios asociada a la serie de potencias característica
  
      ${x \over \tanh(x)}=\sum _{k\geq 0}{{2^{2k}B_{2k} \over (2k)!}x^{2k}}=1+{x^{2} \over 3}-{x^{4} \over 45}+\cdots .$
  
  Los dos primeros de los polinomios L resultantes son:
  
  * $L_{1}={\tfrac {1}{3}}p_{1}$
  * $L_{2}={\tfrac {1}{45}}(7p_{2}-p_{1}^{2})$
  
  Tomando para el $p_{i}$ las clases de Pontryagin $p_{i}(M)$ del haz de tangentes de una 4n dimensional suave orientada cerrada se obtienen las clases L de M.
  
  Hirzebruch demostró que la n-ésima clase L de M evaluada en la clase fundamental de M, $[M]$, es igual a $\sigma (M)$, la firma de M, es decir, la firma de la forma de intersección en el grupo de cohomología 2n de M:
  
      $\sigma (M)=\langle L_{n}(p_{1}(M),\dots ,p_{n}(M)),[M]\rangle .$
  
  ## Esquema de la prueba del teorema de la firma
  
  René Thom había demostrado anteriormente que la signatura estaba dada por alguna combinación lineal de número de Pontryagin, e Hirzebruch encontró la fórmula exacta de esta combinación lineal introduciendo la noción de género de una secuencia multiplicativa.
  
  Dado que el anillo racional cobordismo orientado $\Omega _{*}^{\text{SO}}\otimes \mathbb {Q}$ es igual a
  
      $\Omega _{*}^{\text{SO}}\otimes \mathbb {Q} =\mathbb {Q} [\mathbb {P} ^{2}(\mathbb {C} ),\mathbb {P} ^{4}(\mathbb {C} ),\ldots ],$
  
  el álgebra polinómica generada por las clases de cobordismo orientado $[\mathbb {P} ^{2i}(\mathbb {C} )]$ de los espacios proyectivos complejos pares, basta con comprobar que
  
      $\sigma (\mathbb {P} ^{2i})=1=\langle L_{i}(p_{1}(\mathbb {P} ^{2i}),\ldots ,p_{n}(\mathbb {P} ^{2i})),[\mathbb {P} ^{2i}]\rangle$
  
  para todo i.
  
  ## Generalizaciones
  
  El teorema de la firma es un caso especial del teorema del índice de Atiyah-Singer para el operador de firma.
  
  El índice analítico del operador de firma es igual a la firma de la variedad, y su índice topológico es el género L de la variedad. Por el teorema del índice de Atiyah-Singer estos son iguales.
  
  