8 votos

Ejemplo de un cogroup en $\mathsf{hTop}_{\bullet}$ que no es una suspensión

Deje $\mathsf{hTop}_{\bullet}$ denotar la homotopy categoría de punta espacios topológicos. Más precisamente, los objetos se señaló espacios topológicos y para dos objetos $X$$Y$, los morfismos de $X$ $Y$son el punto de base-la preservación de homotopy clases de mapas de $X$ $Y$que se denotan por $[X, Y]_{\bullet}$.

Un cogroup objeto en $\mathsf{hTop}_{\bullet}$ es un objeto $X$ tal que para cada objeto $Y$, $[X, Y]_{\bullet}$ es un grupo que es natural en $Y$. El positivo dimensiones en las esferas son ejemplos de cogroup objetos en $\mathsf{hTop}_{\bullet}$. Más generalmente, la (reducida) de la suspensión de cualquier señaló espacio topológico es un cogroup objeto en $\mathsf{hTop}_{\bullet}$.

De acuerdo a nLab (véase el punto 2), hay cogroup objetos en $\mathsf{hTop}_{\bullet}$ (la página que enlace a escribe $\mathsf{hTop}$, pero creo que esto es un error tipográfico), que no son las suspensiones, pero no hay ninguna referencia dado.

¿Qué es un ejemplo de un cogroup objeto en $\mathsf{hTop}_{\bullet}$ que no es una suspensión?

Si es posible, me gustaría ver una construcción de un objeto, pero también me gustaría estar satisfechos con una referencia.

4voto

Adam Malter Puntos 96

No sé mucho sobre esto, pero Berstein y Harper construir algunos de esos ejemplos en este documento (que en realidad no lo he leído). En particular, la construcción de una familia infinita de 3 celdas complejos que son cogroups pero no de las suspensiones, y también una 2-celda complejo con una de 5 células y un 35-célula que es un cogroup pero no de una suspensión. También hay un estudio de este y otros temas relacionados en el Capítulo 23 del Manual de Topología Algebraica (algunos de los cuales se puede leer en Google libros).

Usted también puede estar interesado en las otras respuestas que he recibido cuando he preguntado a una pregunta similar hace muchos años en MathOverflow, a pesar de que ninguna de las respuestas dicen nada directamente acerca de cómo construir un ejemplo.

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