HOMOLOGA

1.-Definicin.-Complejo de cadenas.- Sea

. Un complejo de cadenas sobre representamos: una familia de y tales que }, y lo

una familia de homomorfismos de es el conjunto C={

Podemos definir el complejo de cadenas como una sucesin semiexacta ) El complejo nulo, le llama exacto si Ejemplos.a) )) descendente con ndices en . es aquel tal que ) ), para n , para cada ndice. Y al complejo C se .

El morfismo nulo:

donde es una cadena de -mdulos

Sea definimos el morfismo )

Sea definimos el morfismo )

El morfismo nulo. Sea

Verificaremos que es un complejo de cadenas: y entonces

exacta.

no solo es semiexacta, tambin es una sucesin corta

y entonces

s una sucesin corta semiexacta.

entonces

es una sucesin corta semiexacta.

Por lo tanto

es un complejo de cadenas

b)

donde es una cadena de -mdulos

El morfismo nulo: )

Sea definimos el morfismo )

 Sea definimos el morfismo )

El morfismo nulo. Sea

Verificaremos que es un complejo de cadenas: y entonces

exacta.

no solo es semiexacta, tambin es una sucesin corta

y entonces

es una sucesin corta semiexacta.

entonces

es una sucesin corta semiexacta.

Por lo tanto

es un complejo de cadenas una familia de tales que }, y lo

2.-Definicin.-Complejo de Cocadenas.- Sea

y . Un complejo de cocadenas sobre representamos:

una familia de homomorfismos de es el conjunto C={

Podemos definir el complejo de cocadenas como una sucesin semiexacta ( ) )) ascendente con ndices superiores en . ) ), para n ..

Al complejo de codenas C se le llama exacto si Ejemplos.a)

donde es una cocadena de -mdulos

El morfismo nulo: )

Sea

definimos el morfismo nulo )

Sea definimos el morfismo )

El morfismo nulo. Sea

Verificaremos que es un complejo de cadenas: y entonces


exacta.

no solo es semiexacta, tambin es una sucesin corta

y entonces

es una sucesin corta semiexacta.

entonces

es una sucesin corta semiexacta.

Por lo tanto cocadenas b)

es un complejo de

donde es una cocadena de -mdulos. son grupos abelianos con la multiplicacin. Y la accin de estos grupos en es la potencia.

El morfismo inclusin: ) )

Sea

definimos el morfismo inclusin ) )

Sea definimos el morfismo ) | |

El morfismo nulo. Sea

Verificaremos que es un complejo de cadenas: y entonces

corta exacta.

no solo es semiexacta, tambin es una sucesin

y entonces

y entonces

es una sucesin corta exacta.

Por lo tanto

es una sucesin corta exacta.

es un

complejo de cocadenas.

3.-Definicin.- Morfismo de Cadenas.- Sea C= {

complejos de cadenas. Un morfismo de cadenas homomorfismos de diagrama, conmutan:

} y D= {

} dos

es una familia de

tal que los cuadrados, en el siguiente

Los complejos de cadenas sobre

y sus morfismos en cadenas, con la .

composicin natural forman una categora Ejemplo.-

Utilizando los ejemplos de complejos de cadenas

donde es una cadena de -mdulos

. El morfismo nulo: . Sea . Sea

) ) )

definimos el morfismo definimos el morfismo

. El morfismo nulo. Sea

donde es una cadena de -mdulos

El morfismo nulo:

) ) ) )

. Sea . Sea

definimos el morfismo definimos el morfismo

. El morfismo nulo. Sea

) )

El morfismo identidad: El morfismo identidad: El morfismo )

. El morfismo nulo. Sea

Veamos si los cuadros conmutan

) ) ) ) ) )

Tambin si identificamos

, debido a que los dos son

morfismos nulos con el mismo dominio y rango.

Sea ) ) ) ) ) )

Sea ) ( ) ( ) ) ) ) ) ) ) ) )


Sea ) ) ) ) )

4.-Definicin.- Morfismo de Cocadenas.- Sea C= {

complejos de cocadenas. Un morfismo de cadenas homomorfismos de siguiente diagrama, conmutan:

} y D= {

} dos

es una familia de

tal que los cuadrados, en el

5.-Definicin.- Mdulo de Homologa.- Sea C= {

El mdulo de homologa de grado n de C, )

} un complejo de cadenas.

nos mide la inexactitud de C. Si C es exacta, sabemos que ) .

Los elementos de Cn se conocen como cadenas de grado n y los homomorfismos se llaman diferenciales u operadores de frontera. Los elementos del ncleo de se denominan ciclos de grado n, denotados con imagen de tendramos ) ) ) ) y los elementos de la ). Entonces

se llaman fronteras de grado n, denotados con

Para cada n ) Ejemplo

,definimos un mdulo de homologa Hn(C).El mdulo graduado ) se denomina homologa de cadena.

Hallar los mdulos de homologa en la siguiente cadena

donde es una cadena de -mdulos y ) y ) Donde , son clase de ) . y

6.-Definicin.- Mdulo de Cohomologa.- Sea C=

cocadenas. El mdulo de cohomologa de grado n de C, ) nos mide la inexactitud de C. Si C es exacta, sabemos que ) .

un complejo de

Los elementos de

se conocen como cadenas de grado n y los homomorfismos ) y los elementos de la

se llaman diferenciales u operadores de frontera. Los elementos del ncleo de se denominan cociclos de grado n, denotados con

imagen de tendramos

se llaman cofronteras de grado n, denotados con

). Entonces

) Para cada n )

) (C).El mdulo graduado

,definimos un mdulo de cohomologa ) se denomina cohomologa de cocadena.

Ejemplos

donde es una cocadena de -mdulos.

Hallar los mdulos de cohomologa en la siguiente cocadena y ) y ) { }y ) { } { } { }

7.- Definicin.- Funtor

).- Es un funtor covariante de la categora de complejos

graduados:

de cadenas en la categora de

)
Considerando el caso homologa es ) de la cadena C={ ) ) } trivial, ={0} donde . Su

Un morfismo trivial de una cadena C en una cadena D, familia de homomorfismos triviales de homomorfismo trivial, 8.-Definicin: Sean ) ) y ) es trivial para todo dos cadenas y es homotpico a

, consiste es una , es el . dos

. Entonces, si

morfismos de cadenas. Diremos que homomorfismos de modulos

si existe una familia de

tales que

para todo

en el siguiente diagrama:

La familia

se llama homotopa de cadenas y diremos que .

es homotpica a

.en smbolos, escribiremos 9.- PROPOSICIN: La relacin de homotopa

es una relacin de equivalencia.

Un morfismo de cadenas morfismo de cadenas

es una equivalencia homotpica si existe un tal que y , y diremos que C y D

son del mismo tipo de homotopa.

10.- TEOREMA: Si

entonces: ) ) ) )

11.- TEOREMA: Sea un homomorfismo es exacta:. )

una sucesion exacta corta de cadenas. Entonces existe ) para cada tal que la siguiente sucesion

) ) )

) )