Teorema de punto jo de Lefschetz: Versi on topol ogica y versiones combinatorias.

E.G. Minian

La versi on cl asica (topol ogica) del teorema de punto jo de Lefschetz da condiciones sucientes para que una funci on continua f : X X denida en un poliedro compacto X tenga puntos jos. M as concretamente, el teorema dice que si el n umero de Lefschetz (f ) de la funci on (que es un invariante que se construye a partir de los valores de la funci on en la homolog a de X ) no es cero entonces f tiene puntos jos. Como corolario inmediato de este teorema, se tiene que toda funci on continua denida en un poliedro compacto y contr actil tiene puntos jos. Este corolario generaliza el teorema de punto jo de Brouwer (que arma este resultado para los discos cerrados). Cuando f es simplicial (i.e. lineal a trozos), se tiene una versi on combinatoria un tanto m as fuerte del teorema: el n umero de Lefschetz mide de alguna manera los s mplices que quedan jos por f (ya sea con la misma orientaci on o la orientaci on inversa). M as a un, podemos asegurar en este caso que, si existen puntos jos entonces alg un baricentro queda jo por f . Adem as la demostraci on del teorema resulta, en el caso combinatorio, mucho m as simple. Cuando la funci on f viene dada por un endomorsmo de posets, se tiene una versi on mucho m as fuerte a un del teorema: el n umero de Lefschetz coincide en este caso con la caracter stica de Euler del subposet de puntos jos. Las referencias principales para la confecci on de estas notas son, para la versi on cl asica los libros de topolog a algebraica de Spanier [6] y Hatcher [4] y para las versiones combinatorias, los trabajos y notas de Bj orner [3] y Baclawski-Bj orner [1]. No obstante, el punto de vista con el que est an elaboradas estas notas diere del punto de vista de las fuentes citadas, al igual que algunas de las demostraciones que ac a se exponen.

1.

N umero de Lefschetz y la versi on topol ogica

1.1 Denici on. Dado un grupo abeliano nitamente generado M y un endomorsmo : M M , se dene la traza de de la siguiente manera. Como M es un Z-m odulo nitamente generado, se escribe como suma directa de su parte libre L(M ) y su parte de torsi on T (M ). El morsmo induce un endomorsmo entre las partes libres de M : M/T (M ) M/T (M ) , es decir la suma de los Se dene la traza tr() como la traza de la parte libre elementos de la diagonal de la matriz asociada a en alguna base de M/T (M ). 1

e.g. minian

Notar que la traza no depende de la base elegida y por lo tanto queda bien denida. Claramente, tr() Z. 1.2 Observaci on. Notar que la traza de la identidad 1M coincide con el rango de M (dimensi on de la parte libre). En estas notas trabajaremos con poliedros nitos (=compactos). Claramente los poliedros compactos tienen homolog a nitamente generada (es decir, Hn (X ) es nitamente generado para todo n y adem as Hn (X ) = 0 salvo para nitos n). De esta manera, el n umero de Lefschetz quedar a bien denido. 1.3 Denici on. Sea X un poliedro nito y sea f : X X continua. Se dene el n umero de Lefschetz de f como (1)n tr(fn ) Z (f ) =
n0

donde fn : Hn (X ) Hn (X ) son los morsmos inducidos por f en la homolog a (singular=simplicial) de X . 1.4 Observaciones Varias. 1. Si se tienen f, g : X X homot opicas, es claro que (f ) = (g ) ya que ambas inducen los mismos morsmos en las homolog as. 2. Notar que el n umero de Lefschetz de la identidad de X coincide con la caracter stica de Euler (X ) 3. Si X es un poliedro contr actil, toda f : X X es homot opica a la identidad y por lo tanto (f ) = (X ) = 1. M as generalmente, si X es cualquier poliedro nito y f es nullhomot opica, entonces (f ) = 1. El enunciado de la versi on cl asica del teorema es el siguiente. 1.5 Teorema de Lefschetz. Sea X un poliedro compacto, o m as generalmente un retracto de un poliedro compacto, y sea f : X X continua. Si (f ) = 0, f tiene al menos un punto jo. 1.6 Observaci on. Notar que la rec proca del teorema es claramente falsa. Tomar por ejemplo X = S 1 la esfera unidimensional y f = 1X . En este caso se tiene que (f ) = (S 1 ) = 0 pero f deja a todos los puntos jos. Como corolario inmediato se obtiene el siguiente resultado que generaliza fuertemente el teorema de puntos jos de funciones denidas en los discos compactos (teorema de Brouwer): 1.7 Corolario. Si X es un poliedro nito, toda f : X X nullhomot opica tiene puntos jos. En particular, toda funci on continua denida en un poliedro compacto y contr actil tiene puntos jos. La demostraci on de esta versi on cl asica del Teorema la dejaremos para la u ltima secci on de las notas. Veremos primero un lema importante que nos servir a para demostrar el teorema (en sus distintas versiones). Veremos tambi en las versiones combinatorias del teorema cuyos resultados son m as fuertes que la versi on cl asica y a su vez son mucho m as sencillas de demostrar.

teorema de punto jo de lefschetz

2.

Versiones Combinatorias

Antes que nada necesitamos introducir algunas notaciones y demostrar el lema principal del cual se deducir an las distintas versiones del teorema. Dado un complejo simplicial nito K , denotaremos con C (K ) al complejo de cadenas asociado, es decir Cn (K ) es el grupo abeliano libre generado por los n-s mplices orientados [s] de K , donde cada simplex s orientado con la orientaci on inversa se identica con [s]. Como siempre, el morsmo de borde d le asigna a cada simplex orientado la suma alternada de sus caras orientadas. Recordar que todo morsmo simplicial g : K L induce un morsmo entre los complejos de cadenas asociados g : C (K ) C (L) y si g (s) es un simplex de menor dimensi on que s, entonces g (s) = 0 en C (L). 2.1 Lema Principal. Sea (C , d) un complejo de cadenas nitamente generado y sea : C C un endomorsmo de complejos. Se tiene la igualdad (1)n tr(n ) =
n0 n0

(1)n tr(Hn ())

donde n : Cn Cn y Hn () : Hn (C ) Hn (C ) es la inducida en la homolog a. Demostraci on. Notar que este lema generaliza un resultado similar sobre las caracter sticas de Euler y la demostraci on es casi id entica: Denotamos con Zn = Ker dn y Bn = Im dn+1 . Se tienen dos sucesiones exactas cortas de grupos abelianos: 0 Zn Cn Bn1 0 Por otra parte, notar que si 0
/A /A 

0 Bn Zn Hn (C ) 0

/B /B 

/C

/0 /0

/C

es un diagrama conmutativo de grupos abelianos nitamente generados con las exactas, entonces tr( ) = tr() + tr( ). Aplicando este resultado a las dos sucesiones exactas cortas de arriba (tomando los 3 morsmos verticales como los inducidos por ) y tomando luego sumas alternadas, se obtiene la igualdad buscada.

Como corolario inmediato del lema, obtenemos el siguiente resultado que nos servir a para probar los teoremas en sus versiones combinatorias:

e.g. minian

2.2 Corolario. Sea K complejo simplicial nito, sea : K K simplicial y || : |K | |K | la funci on continua inducida (realizaci on geom etrica). Entonces (||) =
n0

(1)n tr(n )

donde n : Cn (K ) Cn (K ) es la inducida a nivel complejos de cadena. Este resultado nos est a diciendo que, para el caso simplicial, el n umero de Lefschetz se puede calcular tomando la suma alternada de las trazas a nivel complejos (en lugar de calcular las trazas a nivel homolog a). Como dec amos, este lema es similar al lema utilizado para las caracter sticas de Euler (en realidad lo generaliza): tomando en el corolario el morsmo como la identidad obtenemos que la caracter stica de Euler de un complejo simplicial (denido a partir de la homolog a) coincide con la suma alternada de la cantidad de s mplices del complejo. Con estos resultados obtendremos inmediatamente la primera versi on combinatoria del teorema. Primero necesitamos ver algunos conceptos y un poco de notaci on: Dado un morsmo simplicial : K K , decimos que un simplex s de K queda jo por si los conjuntos subyacentes (v ertices) de s y (s) coinciden. Observar que, si s queda jo por , puede pasar que [(s)] y [s] tengan la misma orientaci on o la orientaci on inversa. mplices de K que quedan jos por y tales que Notaremos con + n la cantidad de n-s preserva su orientaci on. Similarmente, notaremos con mplices n a la cantidad de n-s de K que quedan jos por y tales que invierte su orientaci on. Es claro que alguno o ambos pueden ser cero (si no deja jo a ning un simplex). Observar tambi en que aunque alg un simplex quede jo por , puede pasar que ning un v ertice quede jo. Como ejemplo, el morsmo denido en el 2-simplex orientado con v ertices {0 < 1 < 2} como (0) = 1, (1) = 2, (2) = 0 deja jo al 2-simplex y preserva su orientaci on pero no deja jo a ninguno de sus v ertices. Notar que, si deja jo a un simplex s (con la misma orientaci on o la opuesta), aunque ning un v ertice de s quede jo por podemos de todas formas asegurar que el baricentro b(s) |s| |K | quedar a jo por ||. Como corolario de 2.2 y teniendo en cuenta estas u ltimas observaciones, deducimos la primera versi on combinatoria del Teorema de Lefschetz: 2.3 Teorema. Sea K un complejo simplicial nito y : K K simplicial. Entonces (||) = (1)n tr(n ) =
n0 (1)n (+ n n )

En particular, si (||) = 0, deja jo alg un simplex s de K y por lo tanto || deja jo al baricentro b(s) |K |.

teorema de punto jo de lefschetz

Demostraci on. Por 2.2 sabemos que (||) = (1)n tr(n ) donde n : Cn (K ) Cn (K ). Teniendo en cuenta que Cn (K ) tiene como base a los n-s mplices ordenados de K , los elementos de la diagonal de la matriz de n en esa base pueden tomar solamente tres valores: el valor 0 si el simplex ordenado [s] correspondiente no queda jo por , el valor 1 si queda jo y preserva su orientaci on y el valor -1 si queda jo y no preserva su orientaci on.
De esto se deduce inmediatamente que tr(n ) = + n n y se tiene la igualdad buscada. El resto del teorema se deduce inmediatamente de las deniciones y de las observaciones previas.

2.4 Observaci on Importante. La versi on combinatoria del teorema que reci en expusimos prueba un caso particular de la versi on topol ogica, que es cuando f es lineal a trozos (i.e., si existe una triangulaci on K de X tal que f = ||, con simplicial). Para probar la versi on general (f cualquier funci on continua) usaremos, entre otras cosas, aproximaci on simplicial y una generalizaci on de 2.2. Vamos a estudiar ahora la segunda versi on combinatoria del teorema. Este resultado es de Baclawski y Bj orner [1] y su demostraci on es muy sencilla. Primero repasaremos unos conceptos b asicos de posets y su relaci on con los complejos simpliciales. Trabajaremos con posets nitos, aunque todo esto puede ser expresado en t erminos de espacios nitos T0 (cf. [2] y [5]). Dado un poset nito (X, ), le asociamos un complejo simplicial K (X ) donde los v ertices son los elementos de X y los s mplices son las cadenas de X (subconjuntos totalmente ordenados). Un morsmo de posets f : X Y (i.e., una funci on que preserva el orden ) induce un morsmo simplicial K (f ) : K (X ) K (Y ) y se tiene un funtor bien denido K de la categor a de posets nitos a la categor a de complejos simpliciales nitos. Es claro que no todo complejo simplicial L es un K (X ) para alg un X , pero si L es la subdivisi on baric entrica de alg un complejo, entonces esto s sucede ya que la subdivisi on baric entrica L se puede escribir como L = K (X (L)) donde X (L) es el poset de s mplices de L ordenados por la inclusi on. Dado un poset nito X , podemos denir su homolog a como la homolog a del complejo simplicial asociado K (X ). En realidad, siguiendo a McCord [5], la homolog a del complejo simplicial asociado coincide con la homolog a singular de X (visto como espacio nito), ya que se tiene una equivalencia d ebil K (X ) X . De todas formas, para los objetivos de estas notas podemos trabajar simplemente con posets y la homolog a de los complejos simpliciales asociados. Dado un morsmo de posets f : X X , podemos denir similarmente al caso de complejos simpliciales, su n umero de Lefschetz (f ) = (K (f )). 2.5 Observaci on. Si X es una cadena (totalmente ordenado) entonces el u nico morsmo inyectivo (=sobreyectivo=biyectivo) f : X X es la identidad.

e.g. minian

Para enunciar la segunda versi on combinatoria del teorema (versi on para posets), necesitamos la siguiente notaci on: Dado un poset nito X y un morsmo f : X X , denimos el subposet (eventualmente vac o) de puntos jos por f : X f = {x X, x = f (x)} X El teorema para posets relaciona el n umero de Lefschetz de f con la caracter stica de Euler de X f . 2.6 Observaci on. La caracter stica de Euler de un poset Y (a la que hace referencia el pr oximo teorema) es por supuesto la caracter stica de Euler del complejo simplicial asociado K (Y ). Coincide claramente con la caracter stica de Euler de Y visto como espacio nito por la equivalencia d ebil K (Y ) Y . Notar que (Y ) es f acilmente calculable a partir del diagrama de Hasse de Y ya que se tiene la f ormula: (Y ) =
C C (Y )

(1)#C +1

donde C (Y ) son las cadenas en Y (cf. [2]). 2.7 Teorema. Sea X un poset nito y f : X X un morsmo. Entonces (f ) = (X f ) En particular, si (f ) = 0, entonces X f = . Demostraci on. El teorema se deduce f acilmente de la versi on combinatoria que ya probamos. Notar que los s mplices de K (X ) son cadenas de X y el u nico morsmo biyectivo de orden denido en una cadena es la identidad (2.5). Por lo tanto, si K (f ) deja jo a un simplex s (con la misma orientaci on o la inversa), todos los v ertices de s queda jos. Se tiene (f ) = (1)n tr(fn ) donde fn : Cn (K (X )) Cn (K (X )). Pero por lo dicho anteriormente, se tiene que tr(fn ) = #{(x0 < . . . < xn ), f (xi ) = xi } = #{(x0 < . . . < xn ), xi X f } De donde se deduce inmediatamente el resultado.

3.

Demostraci on de la versi on topol ogica

Nos queda por demostrar la versi on cl asica del teorema (enunciada en la primera secci on de las notas). Para eso necesitamos previamente probar una generalizaci on de 2.2. Esto se debe a que, en el caso continuo, se necesita subdividir una triangulaci on dada de un poliedro para utilizar aproximaci on simplicial. Notemos primero lo siguiente: si K es una subdivisi on de un complejo simplicial K , se puede denir un morsmo can onico : C (K ) C (K ) entre los complejos de cadenas asociados, asign andole a cada simplex orientado [s] de K la suma (alternada) de los

teorema de punto jo de lefschetz

s mplices orientados de K que conforman la subdivisi on de s. Este mormo de complejos de cadenas induce la identidad entre las homolog as Hn (K ) = Hn (K ). Ahora bien, si en lugar de tener un morsmo simplicial : K K como en 2.2, comenzamos con un morsmo simplicial : K K (para alguna subdivisi on K de K ), la funci on continua || : |K | = |K | |K | no proviene de un morsmo simplicial K K y por lo tanto no podemos aplicar directamente 2.2, pero vali endonos del morsmo : C (K ) C (K ), como corolario de 2.1, se obtiene la generalizaci on: 3.1 Lema. Sea K una subdivisi on de un complejo simplicial nito K , sea : K K simplicial y sea || : |K | = |K | |K | la funci on continua inducida. Entonces (||) =
n0

(1)n tr(n n )

donde n : Cn (K ) Cn (K ) es el morsmo inducido a nivel complejos de cadena y n : Cn (K ) Cn (K ) es el morsmo can onico denido arriba. Notar que el morsmo de complejos de cadenas induce el mismo morsmo que a nivel homolog as porque induce la identidad. Como dijimos, la demostraci on es inmediata a partir de 2.1 y queda a cargo del lector. Podemos comenzar ahora con la demostraci on de la versi on cl asica del teorema: Paso Uno. Veamos primero que, si el teorema es v alido para poliedros compactos entonces tambi en es v alido para retractos de poliedros compactos: Para eso, supongamos que X es un retracto de un poliedro compacto Y , es decir: existe una funci on continua r : Y X tal que ri = 1X donde i : X Y es la inclusi on. Dada f : X X , nos construimos la funci on continua g = if r : Y Y . Como i es la inclusi on y r retracci on, es f acil ver que tr(gn ) = tr(fn ) para todo n y por lo tanto (f ) = (g ). Por lo tanto, si (f ) no es cero, tampoco lo es (g ). Como suponemos el teorema v alido para Y , se tiene alg un punto jo y Y de g . Pero como y = g (y ) = if r(y ), entonces r(Y ) = rif r(Y ) = f (r(Y ). Se deduce entonces que r(y ) X es punto jo de f . Hemos probado con esto que basta demostrar el teorema para poliedros compactos. Paso Dos. Sea entonces X un poliedro compacto y f : X X continua. Supongamos que f no tiene puntos jos. Sea T una triangulaci on de X . Veamos que existen subdivisiones T y T de T y un morsmo simplicial g : T T que aproxima a la funci on f : X X y tal que |g (s)| |s| = para todo simplex s de T : Como X es poliedro compacto, tiene una m etrica d y como f (x) = x para todo punto x, se tiene que d(f (x), x) > 0 para todo x y por compacidad, existe un > 0 tal que d(x, f (x)) > para todo x.

e.g. minian

Sea T una subdivisi on de T que cumple que st(s) = sw w (uni on de los s mplices que contienen al simplex s) tenga di ametro menor que /2 para todo simplex s de T . Por teorema de aproximaci on simplicial, existe una subdivisi on T de T y un morsmo simplicial g : T T que aproxima a f . Como g aproxima a f y d(x, f (x)) > , se tiene que d(x, g (x)) > /2 y por lo tanto |g (s)| |s| = para todo simplex s de T . Notar adem as que (f ) = (|g |) por ser homot opicas. Paso Tres. El morsmo g : T T induce gn : Cn (T ) Cn (T ) y por el lema 3.1, se tiene que (1)n tr(n gn ) (f ) =
n0

(donde es como en el lema). Pero como |g (s)| |s| = para todo simplex s de T , la diagonal de n gn tiene todos ceros y por lo tanto probamos que (f ) = 0

Referencias
[1] [2] [3] [4] [5] [6] K. Baclawski, A. Bj orner. Fixed Points in Partially Orderd Sets. Advances in Math. 31 (1979) 263-287. J.A. Barmak, E.G. Minian. Minimal Finite Models. Preprint 2006. A. Bj orner. Topological Methods. Handbook of Combinatorics, Chapter 34. Elsevier (1995) A. Hatcher. Algebraic Topology. Cambridge University Press (2002). M.C. McCord. Singular homology groups and homotopy groups of nite topological spaces. Duke Math. J. 33 (1966) 465-474. E. Spanier. Algebraic Topology. Springer (1966).

E-mail address: gminian@dm.uba.ar