4 votos

Eliminación de grupos de homología

Estaba tratando de construir un espacio que tiene primero $n$ grupos de homología cualquier grupo abeliano dado $G_1, ..., G_n$ . Para demostrarlo me gustaría poder hacer lo siguiente: Dado cualquier espacio $X$ Puedo formar algunos $X'$ tal que $H_j(X') = 0$ algunos fijos $j$ y $H_i (X) = H_i (X')$ para todos $i \not = j$ es decir, un proceso de "relleno". $j$ -agujeros dimensionales".

No veo la forma de proceder. Parece plausible, pero tal vez como sólo puedo dibujar espacios "agradables" en mi cabeza.

¿Existe ese proceso?

3voto

Pedro Tamaroff Puntos 73748

Puede hacerlo tomando un producto de cuña de Espacios Moore. Su pregunta puede responderse leyendo cómo se construyen los espacios Moore. Véase el libro de Hatcher, Ejemplo 2.40 y Ejemplo 2.41 (impresión de 2015).

0 votos

Veo que esto nos permite resolver mi pregunta original, pero por interés ¿es todavía posible eliminar los grupos de homología en general?

0 votos

@Isomorphism Las ideas utilizadas para construir los espacios de Moore funcionan igualmente bien para lograr tus objetivos, pero en este momento tendría que repasarlas con un poco más de detalle para darte una respuesta más instructiva. Ahora bien, puedo decirte que la principal herramienta a utilizar es el complejo celular de tu espacio (que puedes suponer que es un complejo CW). Añadiendo celdas con los mapas característicos apropiados cambiará el diferencial en consecuencia para matar los ciclos que quieras.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X