Función zeta de Lefschetz

De Wikipedia, la enciclopedia libre

En el ámbito de las matemáticas, la función zeta de Lefschetz es una herramienta utilizada en la teoría de topología periódica y punto fijo, y sistemas dinámicos para mapear ƒ. La función zeta se define por medio de las series:

donde L(ƒ n) es el número de Lefschetz del iterando enésimo de ƒ. Esta función zeta es relevante en la teoría topológica periódica porque es un invariante singular que contiene información sobre todos los iterados de ƒ.

Ejemplos[editar]

El mapa de identidad en X posee la siguiente función zeta de Lefschetz:

1/(1 − t)χ(X),

donde χ(X) es la característica de Euler de X, es decir el número de Lefschetz del mapa de identidad.

Un ejemplo menos trivial es el siguiente. Si se considera como espacio el círculo unitario, y sea ƒ su reflexión en el eje x, o expresado de otra manera θ → −θ. Entonces ƒ posee un número de Lefschetz igual a 2, y ƒ2 es el mapa de identidad, que tiene por número de Lefschetz el cero 0. Todos los iterados impares poseen un número de Lefschetz igual a 2, y todos los iterados pares poseen un número de Lefschetz igual a cero 0. Por lo tanto la función zeta de ƒ es

Utilizando en el desarrollo la siguiente expresión

Se obtiene que esto resulta igual a:

Fórmula[editar]

Si es un mapa continuo en una variedad compacta de dimensión (o en forma más general todo poliedro compacto), la función zeta queda expresada por la siguiente fórmula

La cual es una función racional. Los polinomios del numerador y del denominador son esencialmente los polinomios característicos del mapa inducido por en los diversos espacios homólogos.

Conexiones[editar]

Esta función generatriz es esencialmente una forma algebraica de la función zeta de Artin-Mazur, la que provee información geométrica sobre los puntos fijos y periódicos de ƒ.

Véase también[editar]

Referencias[editar]

  • Dynamical Zeta-Functions, Nielsen Theory and Reidemeister Torsion, 1996, Alexander Fel'shtyn .