En altas dimensiones hay varias variantes que son todas diferentes (que para las superficies con las que todos están de acuerdo). No hay asignación de los grupos de la clase en el "homotopy categoría", es decir la homotopy-clases de homotopy equivalencias de un espacio topológico, con la composición de dar a la estructura del grupo. Este es un "núcleo" del objeto de estudio de la clásica topología algebraica. En la topológico/pl/suave categorías hay clases de isotopía de homeomorphisms/pl automorfismos/diffeomorphisms de un colector. El buen categoría recibe un poco de atención, por ejemplo el buen categoría de asignación de grupo de clase de $S^n$ (si se limita a la orientación de la preservación de la diffeomorphisms) es el grupo de homotopy $(n+1)$-esferas, siempre $n \geq 5$. Ha habido algún trabajo estable de alta dimensión de la asignación de los grupos de la clase por gente como Giansiracusa (Swansea).
Tengo que salir pero puedo añadir más tarde.
El Giansiracusa referencia es esta: http://www.arxiv.org/abs/math.gt/0510599
Modulo algunos calificadores de la declaración es que la estable de asignación de grupo de clase de una 4-variedad es la automorfismos de homología que preservar la intersección que se forma.
La asignación de los grupos de la clase de productos de círculos $(S^1)^n$ en el topológico, PL y suave categorías fueron calculadas por Hatcher en su "Más simple homotopy teoría de papel".
¿Hay algo en particular que usted está interesado en?