Teorema del punt fix de Lefschetz

teorema de topologia

En matemàtiques, el teorema del punt fix de Lefschetz és una fórmula que explica els punts fixos d'un mapatge continu a partir d'un espai topològic compacte a si mateix mitjançant traces de les assignacions induïdes en els grups d'homologia de . S'anomena així en honor del matemàtic Salomon Lefschetz, el primer en definir-lo el 1926.

El recompte està subjecte a una multiplicitat imputada en un punt fix anomenat índex del punt fix. Una versió feble del teorema és suficient per mostrar que un mapatge sense cap punt fix ha de tenir propietats topològiques especials (com ara una rotació d'un cercle).

Definició formalModifica

Per a una definició formal del teorema, fem

 

sigui un mapa continu des d'un espai triangulable   compacte a si mateix. Definim el nombre de Lefschetz   de   com

 

la suma alternativa (finita) de les traces de la matriu dels mapes lineals induïts per   en el  , l'homologia singular de   amb coeficients racionals.

Una versió simple del teorema del punt fix de Lefschetz indica: si

 

llavors   té almenys un punt fix, és a dir, existeix almenys una   en   tal que  . De fet, com que el nombre de Lefschetz s'ha definit a nivell d'homologia, es pot estendre la conclusió per dir que qualsevol mapa homotòpic a   també té un punt fix.

Però s'ha de tenir en compte que això no és veritable en general:   pot ser zero, fins i tot si   té punts fixos.

Esbós d'una provaModifica

En primer lloc, aplicant el teorema d'aproximació simplicial, es demostra que si   no té punts fixos, llavors (possiblement després de subdividir  ),   és homotòpic a un mapa simplicial de punt fix lliure (és a dir, envia cada símplex a un símplex diferent). Això significa que els valors diagonals de les matrius induïdes a la cadena simplicial complexa de   han de ser tots zero. A continuació, es nota que, en general, el nombre de Lefschetz també es pot calcular utilitzant la suma alternativa de les restes matricials dels mapes lineals abans esmentats (això és cert gairebé per la mateixa raó que la característica d'Euler té una definició en termes de grups d'homologia (vegeu l'apartat Relació amb la característica d'Euler). En el cas particular d'un mapa simplicial de punt fix, tots els valors diagonals són zero i, per tant, les traces són zero.

Teorema de Lefschetz-HopfModifica

Una forma més forta del teorema, també conegut com el teorema de Lefschetz-Hopf, estableix que, si   només té uns punts fixos finits, llavors

 

on   és el conjunt de punts fixos de  , i   denota l'índex del punt fix  .[1] A partir d'aquest teorema es dedueix el teorema de Poincaré-Hopf per a camps vectorials.

Relació amb la característica d'EulerModifica

El nombre de Lefschetz del mapa identitat en un CW-complex finit es pot computar fàcilment al adonar-se que cada   es pot considerar una matriu identitat, de manera que cada terme de la traça és simplement la dimensió del grup d'homologia adequat. D'aquesta manera, el nombre de Lefschetz del mapa identitat és igual a la suma alternativa dels nombres de Betti de l'espai, que al seu torn és igual a la característica d'Euler  . Així tenim

 

Relació amb el teorema del punt fix de BrouwerModifica

El teorema de punts fixos de Lefschetz generalitza el teorema del punt fix de Brouwer, que indica que cada mapa continu del disc unitat  -dimensional  a  ha de tenir com a mínim un punt fix.

Això es pot veure de la següent manera:  és compacte i triangular, tots els grups d'homologia excepte quan   és  , i cada mapa continu  indueix el mapa identitat   i la traça és  ; tot això implica això de forma conjunta   no és zero per a cap mapa continu  .

Context històricModifica

Lefschetz va presentar el seu teorema de punts fixos en [Lefschetz 1926]. L'enfocament de Lefschetz no estava en els punts fixos dels mapatges, sinó en els anomenats punts de coincidència de les assignacions.

Donats dos mapes   i   des d'una varietat   orientable a una varietat  orientable de la mateixa dimensió, el nombre de coincidència de Lefschetz de   i   es defineix com

 

on   és el següent,   és el mapatge induït per   en els grups de cohomologia amb coeficients racionals, i   i   són els isomorfismes de la dualitat de Poincaré per   i  , respectivament

Lefschetz prova que si el nombre de coincidència no és zero, llavors   i   tenen un punt de coincidència. Ell assenyala en el seu treball que deixant que   i deixant que   sigui el mapa d'identitat ofereix un resultat més senzill, que ara coneixem com el teorema de punts fixos.

FrobeniusModifica

Fem que   sigui una varietat definida sobre el camp finit   amb   elements i fem que   sigui l'elevació de  al tancament algebraic de  . L'endomorfisme de Frobenius (sovint anomenat només Frobenius), denotat com  , de   mapes un punt amb coordenades   fins al punt amb coordenades   (per exemple,   és el Frobenius geomètric). Així els punts fixos de   són exactament els punts de   amb coordenades a  , denotant per al conjunt d'aquests punts:  . La fórmula de la traça de Lefschetz es manté en aquest context i diu:

 

Aquesta fórmula implica la traça de Frobenius en la cohomologia, amb suports compactes, de   amb valors en el camp dels nombres  -àdics, on   és el primer coprimer de  .

Si  és suau i equidimensional, aquesta fórmula es pot reescriure en termes de l'aritmètica Frobenius  , que actua com a inversa de   sobre cohomologia:

 

Aquesta fórmula implica la cohomologia habitual, en lloc de la cohomologia amb suports compactes.

La fórmula de traça de Lefschetz també es pot generalizar a piles algebraiques sobre camps finits.

ReferènciesModifica

BibliografiaModifica

  • Dold, Albrecht. Lectures on algebraic topology (en anglès). 200 / Proposition VII.6.6.. 2. Berlin, New York: Springer-Verlag, 1980. ISBN 978-3-540-10369-1. 
  • Lefschetz, Solomon «Intersections and transformations of complexes and manifolds» (en anglès). Transactions of the American Mathematical Society, 28, 1, 1926, pàg. 1–49. DOI: 10.2307/1989171.
  • Lefschetz, Solomon «On the fixed point formula» (en anglès). Annals of Mathematics, 38.4, 1937, pàg. 819–822. DOI: 10.2307/1968838.

Vegeu tambéModifica

Enllaços externsModifica