En topología algebraica , una rama de las matemáticas , la homología (singular) de un espacio topológico con respecto a un subespacio es una construcción en homología singular , para pares de espacios . La homología relativa es útil e importante en varios sentidos. Intuitivamente, ayuda a determinar qué parte de un grupo de homología absoluta proviene de qué subespacio.
Definición
Dado un subespacio , se puede formar la secuencia corta exacta
donde denota las cadenas singulares en el espacio X . El mapa de límites en desciende a y por lo tanto induce un mapa de límites en el cociente. Si denotamos este cociente por , entonces tenemos un complejo
Por definición, el n- ésimo grupo de homología relativa del par de espacios es
Se dice que la homología relativa está dada por los ciclos relativos , cadenas cuyos límites son cadenas en A , módulo de los límites relativos (cadenas que son homólogas a una cadena en A , es decir, cadenas que serían límites, módulo A nuevamente). [1]
Propiedades
Las secuencias exactas cortas anteriores que especifican los grupos de cadenas relativos dan lugar a un complejo de cadenas de secuencias exactas cortas. Una aplicación del lema de la serpiente produce una secuencia larga y exacta.
El mapa de conexión toma un ciclo relativo, que representa una clase de homología en , hasta su límite (que es un ciclo en A ). [2]
De ello se deduce que , donde es un punto en X , es el n - ésimo grupo de homología reducido de X. En otras palabras, para todos . Cuando , es el módulo gratuito de un rango menor que . El componente conectado que contiene se vuelve trivial en relativa homología.
El teorema de escisión dice que eliminar un subconjunto suficientemente bueno deja sin cambios los grupos de homología relativa . Usando la larga secuencia exacta de pares y el teorema de escisión, se puede demostrar que es lo mismo que el enésimo grupo de homología reducido del espacio cociente .
La homología relativa se extiende fácilmente al triple para .
Se puede definir la característica de Euler para un par mediante
La exactitud de la secuencia implica que la característica de Euler es aditiva , es decir, si se tiene
Homología local
El -ésimo grupo de homología local de un espacio en un punto , denotado
se define como el grupo de homología relativa . Informalmente, esta es la homología "local" de cerca de .
Homología local del cono CX en el origen.
Un ejemplo sencillo de homología local es calcular la homología local del cono (topología) de un espacio en el origen del cono. Recuerde que el cono se define como el espacio cociente
donde tiene la topología subespacial. Entonces, el origen es la clase de equivalencia de puntos . Usando la intuición de que el grupo de homología local de at captura la homología de "cerca" del origen, deberíamos esperar que esta sea la homología de since que tiene una retracción de homotopía hacia . Luego, se puede calcular la homología local utilizando la secuencia larga exacta en homología.
Debido a que el cono de un espacio es contráctil , los grupos de homología medios son todos cero, dando el isomorfismo
ya que es contraíble a .
En geometría algebraica
Tenga en cuenta que la construcción anterior se puede probar en geometría algebraica usando el cono afín de una variedad proyectiva usando cohomología local .
Homología local de un punto en una variedad lisa.
Se puede calcular otro cálculo de homología local en un punto de una variedad . Entonces, sea una vecindad compacta de isomorfo a un disco cerrado y sea . Usando el teorema de escisión hay un isomorfismo de grupos de homología relativa
de ahí que la homología local de un punto se reduzca a la homología local de un punto en una bola cerrada . Debido a la equivalencia de homotopía
y el hecho
la única parte no trivial de la larga secuencia exacta del par es
por lo tanto, el único grupo de homología local distinto de cero es .
Funcionalidad
Al igual que en la homología absoluta, los mapas continuos entre espacios inducen homomorfismos entre grupos de homología relativa. De hecho, este mapa es exactamente el mapa inducido sobre grupos de homología, pero desciende al cociente.
Sean y pares de espacios tales que y , y sea un mapa continuo. Luego hay un mapa inducido en los grupos de cadenas (absolutos). Si entonces . Dejar
ser las proyecciones naturales que llevan elementos a sus clases de equivalencia en los grupos de cocientes . Entonces el mapa es un homomorfismo de grupo. Dado que , este mapa desciende al cociente, induciendo un mapa bien definido tal que el siguiente diagrama conmuta: [3]
Los mapas de cadena inducen homomorfismos entre grupos de homología, por lo que inducen un mapa en los grupos de homología relativos. [2]
Ejemplos
Un uso importante de la homología relativa es el cálculo de los grupos de homología de espacios cocientes . En el caso de que sea un subespacio que cumpla la condición de regularidad leve de que exista una vecindad que tenga como retracción de deformación, entonces el grupo es isomorfo a . Podemos utilizar inmediatamente este hecho para calcular la homología de una esfera. Podemos realizarlo como el cociente de un disco n por su límite, es decir . La aplicación de la secuencia exacta de homología relativa da lo siguiente:
Debido a que el disco es contráctil, sabemos que sus grupos de homología reducidos desaparecen en todas las dimensiones, por lo que la secuencia anterior colapsa en la secuencia corta exacta:
Por tanto, obtenemos isomorfismos . Ahora podemos proceder por inducción para demostrarlo . Ahora bien, como la deformación se retrae de una vecindad adecuada de sí misma , lo entendemos .
Otro ejemplo geométrico revelador viene dado por la homología relativa de dónde . Entonces podemos usar la secuencia larga exacta.
Usando la exactitud de la secuencia podemos ver que contiene un bucle en sentido antihorario alrededor del origen. Dado que el núcleo de encaja en la secuencia exacta
debe ser isomorfo a . Un generador del cokernel es la cadena -ya que su mapa de límites es
Ver también
Notas
^ es decir, el límitese asignaa
Referencias
- Específico