En matemáticas , el teorema del punto fijo de Lefschetz es una fórmula que cuenta los puntos fijos de un mapeo continuo desde un espacio topológico compacto. a sí mismo por medio de trazas de las asignaciones inducidas en los grupos de homología de. Lleva el nombre de Solomon Lefschetz , quien lo declaró por primera vez en 1926.
El conteo está sujeto a una multiplicidad imputada en un punto fijo llamado índice de punto fijo . Una versión débil del teorema es suficiente para mostrar que un mapeo sin ningún punto fijo debe tener propiedades topológicas bastante especiales (como la rotación de un círculo).
Declaración formal
Para una declaración formal del teorema, sea
ser un mapa continuo de un espacio triangulable compacto a sí mismo. Definir el número de Lefschetz de por
la suma alterna (finita) de los trazos de la matriz de los mapas lineales inducidos por en , los grupos de homologa singular decon coeficientes racionales .
Una versión simple del teorema del punto fijo de Lefschetz establece: si
luego tiene al menos un punto fijo, es decir, existe al menos un en tal que . De hecho, dado que el número de Lefschetz se ha definido a nivel de homología, la conclusión puede extenderse para decir que cualquier mapa homotópico a también tiene un punto fijo.
Sin embargo, tenga en cuenta que lo contrario no es cierto en general: puede ser cero incluso si tiene puntos fijos.
Bosquejo de una prueba
Primero, aplicando el teorema de aproximación simplicial , se muestra que si no tiene puntos fijos, entonces (posiblemente después de subdividir ) es homotópico a un mapa simplicial libre de punto fijo (es decir, envía cada simplex a un simplex diferente). Esto significa que los valores diagonales de las matrices de los mapas lineales inducidos en el complejo de cadena simplicial dedebe ser todo cero. Luego se observa que, en general, el número de Lefschetz también se puede calcular usando la suma alterna de las trazas de la matriz de los mapas lineales antes mencionados (esto es cierto por casi exactamente la misma razón por la que la característica de Euler tiene una definición en términos de grupos de homología ; consulte a continuación la relación con la característica de Euler). En el caso particular de un mapa simplicial sin puntos fijos, todos los valores diagonales son cero y, por lo tanto, todas las trazas son cero.
Teorema de Lefschetz-Hopf
Una forma más fuerte del teorema, también conocido como el teorema de Lefschetz-Hopf , establece que, si tiene solo un número finito de puntos fijos, entonces
dónde es el conjunto de puntos fijos de , y denota el índice del punto fijo. [1] De este teorema se deduce el teorema de Poincaré-Hopf para campos vectoriales.
Relación con la característica de Euler
El número de Lefschetz del mapa de identidad en un complejo CW finito se puede calcular fácilmente al darse cuenta de que cadapuede pensarse como una matriz de identidad, por lo que cada término de traza es simplemente la dimensión del grupo de homología apropiado. Así, el número de Lefschetz del mapa de identidad es igual a la suma alterna de los números de Betti del espacio, que a su vez es igual a la característica de Euler. . Así tenemos
Relación con el teorema del punto fijo de Brouwer
El teorema del punto fijo de Lefschetz generaliza el teorema del punto fijo de Brouwer , que establece que todo mapa continuo desde el-Disco de unidad cerrada dimensional a debe tener al menos un punto fijo.
Esto se puede ver de la siguiente manera: es compacto y triangulable, todos sus grupos de homología excepto son cero, y cada mapa continuo induce el mapa de identidad , cuyo rastro es uno; todo esto junto implica que es distinto de cero para cualquier mapa continuo .
Contexto histórico
Lefschetz presentó su teorema del punto fijo en ( Lefschetz 1926 ). El enfoque de Lefschetz no estaba en puntos fijos de mapas, sino más bien en lo que ahora se llaman puntos de coincidencia de mapas.
Dados dos mapas y desde un colector orientable a un colector orientable de la misma dimensión, el número de coincidencia de Lefschetz de y Se define como
dónde es como arriba, es el homomorfismo inducido por en los grupos de cohomología con coeficientes racionales, y y son los isomorfismos de dualidad de Poincaré para y , respectivamente.
Lefschetz demostró que si el número de coincidencia es distinto de cero, entonces y tener un punto de coincidencia. Señaló en su artículo que dejar y dejando El mapa de identidad da un resultado más simple, que ahora conocemos como el teorema del punto fijo.
Frobenius
Dejar ser una variedad definida sobre el campo finito con elementos y dejar ser el cambio base de al cierre algebraico de . El endomorfismo de Frobenius de(a menudo el Frobenius geométrico , o simplemente el Frobenius ), denotado por, mapea un punto con coordenadas al punto con coordenadas . Así, los puntos fijos de son exactamente los puntos de con coordenadas en ; el conjunto de tales puntos se denota por. La fórmula de seguimiento de Lefschetz se mantiene en este contexto y dice:
Esta fórmula implica la huella del Frobenius en la cohomología étale, con soportes compactos, de con valores en el campo de -números ádicos, donde es un primo coprimo para .
Si es suave y equidimensional , esta fórmula se puede reescribir en términos de la aritmética Frobenius , que actúa como el inverso de sobre cohomología:
Esta fórmula implica cohomología habitual, más que cohomología con soportes compactos.
La fórmula de la traza de Lefschetz también se puede generalizar a pilas algebraicas sobre campos finitos.
Ver también
- Teoremas del punto fijo
- Función zeta de Lefschetz
- Fórmula holomórfica de punto fijo de Lefschetz
Notas
- ^ Dold, Albrecht (1980). Conferencias sobre topología algebraica . 200 (2ª ed.). Berlín, Nueva York: Springer-Verlag . ISBN 978-3-540-10369-1. Señor 0606196 ., Proposición VII.6.6.
Referencias
- Lefschetz, Solomon (1926). "Intersecciones y transformaciones de complejos y múltiples" . Transacciones de la American Mathematical Society . 28 (1): 1-49. doi : 10.2307 / 1989171 . Señor 1501331 .
- Lefschetz, Solomon (1937). "Sobre la fórmula del punto fijo". Annals of Mathematics . 38 (4): 819–822. doi : 10.2307 / 1968838 . Señor 1503373 .
enlaces externos
- "Fórmula de Lefschetz" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]