Em matemática, o teorema do ponto fixo de Lefschetz é uma fórmula que conta os pontos fixos de uma aplicação contínua de um espaço topológico compacto em si mesmo por meio de traços das aplicações induzidas nos grupos de homologia de . Recebe o nome de Solomon Lefschetz, que o enunciou pela primeira vez em 1926.

A contagem está sujeita a uma multiplicidade atribuída a cada ponto fixo, chamada índice de ponto fixo. Uma versão fraca do teorema já é suficiente para mostrar que uma aplicação sem qualquer ponto fixo deve possuir propriedades topológicas bastante especiais (como uma rotação da circunferência).

Enunciado formal

Para um enunciado formal do teorema, seja

uma aplicação contínua de um espaço triangulável compacto em si mesmo. Define-se o número de Lefschetz de por

a soma alternada (finita) dos traços das aplicações lineares induzidas por em , os grupos de homologia singular de com coeficientes racionais.

Uma versão simples do teorema do ponto fixo de Lefschetz afirma: se

então possui pelo menos um ponto fixo, isto é, existe ao menos um tal que . De fato, como o número de Lefschetz foi definido no nível da homologia, a conclusão pode ser estendida para afirmar que qualquer aplicação homotópica a também possui um ponto fixo.

Observe, contudo, que a recíproca não é verdadeira em geral: pode ser zero mesmo quando possui pontos fixos, como acontece com a aplicação identidade sobre esferas de dimensão ímpar.

Esboço da demonstração

Primeiramente, aplicando o teorema da aproximação simplicial, mostra-se que, se não possui pontos fixos, então (possivelmente após subdividir ) é homotópica a uma aplicação simplicial sem pontos fixos (isto é, envia cada simpleso a um simpleso diferente). Isso implica que os valores diagonais das matrizes das aplicações lineares induzidas no complexo de cadeias simpliciais de devem ser todos nulos. Em seguida, observa-se que, em geral, o número de Lefschetz também pode ser calculado como a soma alternada dos traços das matrizes dessas aplicações lineares (pelo mesmo tipo de razão pela qual a característica de Euler admite uma definição em termos de grupos de homologia; veja abaixo). No caso particular de uma aplicação simplicial sem pontos fixos, todos os valores diagonais são zero e, portanto, todos os traços são zero.

Teorema de Lefschetz–Hopf

Uma forma mais forte do teorema, também conhecida como teorema de Lefschetz–Hopf, afirma que, se possui apenas um número finito de pontos fixos, então

onde é o conjunto dos pontos fixos de , e denota o índice do ponto fixo ., Proposição VII.6.6.

A partir desse teorema pode-se deduzir o teorema de Poincaré–Hopf para campos vetoriais da seguinte forma. Qualquer campo vetorial sobre uma variedade compacta induz naturalmente um fluxo , e para todo a aplicação é homotópica à identidade (tendo, portanto, o mesmo número de Lefschetz); além disso, para suficientemente pequeno, os pontos fixos do fluxo e os zeros do campo vetorial têm os mesmos índices.

Relação com a característica de Euler

O número de Lefschetz da aplicação identidade sobre um complexo CW finito pode ser facilmente calculado observando que cada pode ser visto como uma matriz identidade, de modo que cada termo do traço é simplesmente a dimensão do grupo de homologia correspondente. Assim, o número de Lefschetz da aplicação identidade é igual à soma alternada dos números de Betti do espaço, que por sua vez é igual à característica de Euler . Portanto,

Relação com o teorema do ponto fixo de Brouwer

O teorema do ponto fixo de Lefschetz generaliza o teorema do ponto fixo de Brouwer, que afirma que toda aplicação contínua do disco unitário fechado de dimensão , , em si mesmo deve possuir ao menos um ponto fixo.

Isso pode ser visto da seguinte maneira: é compacto e triangulável, todos os seus grupos de homologia, exceto , são nulos, e toda aplicação contínua induz a aplicação identidade , cujo traço é igual a 1; isso implica que é não nulo para qualquer .

Contexto histórico

Lefschetz apresentou seu teorema do ponto fixo em 1926. O foco de Lefschetz não estava em pontos fixos de aplicações, mas sim no que hoje são chamados pontos de coincidência de aplicações.

Dadas duas aplicações e de uma variedade orientável em uma variedade orientável da mesma dimensão, o número de coincidência de Lefschetz de e é definido por

onde é como acima, é o homomorfismo induzido por nos grupos de cohomologia com coeficientes racionais, e e são os isomorfismos de dualidade de Poincaré para e , respectivamente.

Lefschetz provou que, se o número de coincidência é não nulo, então e possuem um ponto de coincidência. Ele observou em seu artigo que, tomando e tomando como a aplicação identidade, obtém-se um resultado mais simples, hoje conhecido como o teorema do ponto fixo.

Frobenius

Seja uma variedade definida sobre o corpo finito com elementos e seja a mudança de base de para o fecho algébrico de . O endomorfismo de Frobenius de (frequentemente o Frobenius geométrico, ou simplesmente Frobenius), denotado por , envia um ponto de coordenadas ao ponto de coordenadas . Assim, os pontos fixos de são exatamente os pontos de com coordenadas em ; o conjunto desses pontos é denotado por . A fórmula do traço de Lefschetz vale nesse contexto e é dada por:

Essa fórmula envolve o traço do Frobenius na cohomologia étale com suportes compactos de , com valores no corpo dos números -ádicos, onde é um primo coprimo com .

Se é lisa e equidimensional, essa fórmula pode ser reescrita em termos do Frobenius aritmético , que atua como o inverso de na cohomologia:

Essa fórmula envolve a cohomologia usual, em vez da cohomologia com suportes compactos.

A fórmula do traço de Lefschetz também pode ser generalizada para pilhas algébricas sobre corpos finitos.

Ver também Teorema do ponto fixo Função zeta de Lefschetz Fórmula do ponto fixo de Lefschetz holomorfa

Categoria:Teoremas de ponto fixo Categoria:Teoria das funções contínuas Categoria:Teoremas em topologia algébrica