Teorema del punt fix de Lefschetz

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 $X$ a si mateix mitjançant traces de les assignacions induïdes en els grups d'homologia de $X$. 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ó formal

Per a una definició formal del teorema, fem

$f:X\to X$

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

${\mathrm{\Lambda }}_f:=\sum _{k\ge 0}(-1{)}^k\mathrm{T}\mathrm{r}(f_{*}|H_k(X,\mathbb{Q})),$

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

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

${\mathrm{\Lambda }}_f\ne 0$

llavors $f$ té almenys un punt fix, és a dir, existeix almenys una $x$ en $X$ tal que $f(x)=x$. 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 $f$ també té un punt fix.

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

Esbós d'una prova

En primer lloc, aplicant el teorema d'aproximació simplicial, es demostra que si $f$ no té punts fixos, llavors (possiblement després de subdividir $X$), $f$ é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 $X$ 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-Hopf

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

$\sum _{x\in \mathrm{F}\mathrm{i}\mathrm{x}(f)}i(f,x)={\mathrm{\Lambda }}_f,$

on $\mathrm{F}\mathrm{i}\mathrm{x}(f)$ és el conjunt de punts fixos de $f$, i $i(f,x)$ denota l'índex del punt fix $x$.Plantilla:Sfn A partir d'aquest teorema es dedueix el teorema de Poincaré-Hopf per a camps vectorials.

Relació amb la característica d'Euler

El nombre de Lefschetz del mapa identitat en un CW-complex finit es pot computar fàcilment al adonar-se que cada $f_{*}$ 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 $\chi (X)$. Així tenim

${\mathrm{\Lambda }}_{\mathrm{i}\mathrm{d}}=\chi (X).$

Relació amb el teorema del punt fix de Brouwer

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

Això es pot veure de la següent manera: $D^n$és compacte i triangular, tots els grups d'homologia excepte quan $H_0$ és $0$, i cada mapa continu $f:D^n\to D^n$indueix el mapa identitat $f_{*}:H0(D^n,Q)\to H_0(D^n,Q)$ i la traça és $1$; tot això implica això de forma conjunta ${\lambda }_f$ no és zero per a cap mapa continu $f:D^n\to D^n$.

Context històric

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 $f$ i $g$ des d'una varietat $X$ orientable a una varietat $Y$orientable de la mateixa dimensió, el nombre de coincidència de Lefschetz de $f$ i $g$ es defineix com

${\mathrm{\Lambda }}_{f,g}=\sum (-1{)}^k\mathrm{T}\mathrm{r}(D_X\circ g^{*}\circ D_Y^{-1}\circ f_{*}),$

on $f_{*}$ és el següent, $g^{*}$ és el mapatge induït per $g$ en els grups de cohomologia amb coeficients racionals, i $D_X$ i $D_Y$ són els isomorfismes de la dualitat de Poincaré per $X$ i $Y$, respectivament

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

Frobenius

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

$\mathrm{\#}X(k)=\sum _i(-1{)}^i\mathrm{t}\mathrm{r}{F}_q|H_c^i(\overline{X},{\mathbb{Q}}_{\ell }).$

Aquesta fórmula implica la traça de Frobenius en la cohomologia, amb suports compactes, de $\overline{X}$ amb valors en el camp dels nombres $\ell$-àdics, on $\ell$ és el primer coprimer de $q$.

Si $X$és suau i equidimensional, aquesta fórmula es pot reescriure en termes de l'aritmètica Frobenius ${\mathrm{\Phi }}_q$, que actua com a inversa de $F_q$ sobre cohomologia:

$\mathrm{\#}X(k)=q^{\dim X}\sum _i(-1{)}^i\mathrm{t}\mathrm{r}{\mathrm{\Phi }}_q^{-1}|H^i(\overline{X},{\mathbb{Q}}_{\ell }).$

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.

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-publicació

Vegeu també

• Fórmula del punt fix fix holomòrfic de Lefschetz
• Funció zeta de Lefschetz
• Teorema del punt fix

Enllaços externs

• Plantilla:Springer