El grupo de clases por isotopía de homeomorfismos propios de una superficie o variedad topológica; la operación de grupo se induce por la composición de representantes y las clases identifican homeomorfismos que se deforman continuamente entre sí.

Principio

Organizar las simetrías geométricas de una superficie 'a isotopía' —es decir, considerar dos homeomorfismos iguales si existe una deformación continua entre ellos— y usar la composición de representantes para definir la ley de grupo.

Demostración

Para una superficie orientable cerrada de género g ≥ 2, el MCG está generado por giros de Dehn alrededor de curvas cerradas simples; actúa de forma propiamente discontinua sobre el espacio de Teichmüller, y el cociente produce el espacio de módulos de estructuras de Riemann.

Aplicación incorrecta

Confundir el MCG con el grupo total de homeomorfismos (no pasar al cociente por isotopía) o sustituir isotopía por homotopía; esto incrementa indebidamente el número de elementos y rompe clasificaciones como la de Nielsen–Thurston.

Consecuencia

Aplicado correctamente, codifica espacios de módulos, determina el monodromía de fibrados en superficie y proporciona invariantes discretos para clasificar la dinámica de difeomorfismos de superficie hasta isotopía.

Inversión

En lugar de formar clases por isotopía se puede conservar el grupo completo de homeomorfismos (más fino, típicamente de dimensión infinita) o pasar a clases de homotopía (más grueso); cada enfoque da lugar a objetos algebraicos distintos y a diferentes invariantes.

Límite

Se aplica sobre todo a homeomorfismos de auto‑variedades (clásicamente superficies) módulo isotopía; no ofrece por sí solo información sobre automorfismos continuos de invariantes algebraicos salvo que se relacione el MCG con Out(π1) o con acciones en la homología. En dimensiones altas importan las distinciones isotopía/pseudoisotopía y topológico/suave.

Tensión semántica

En tensión con Out(π1) (grupo de automorfismos exteriores del grupo fundamental) y con grupos de braids en superficies con puntos removidos: MCG es geométrico (clases por isotopía), Out(π1) es algebraico, y coinciden solo en situaciones concretas.

Síntesis

El Grupo de Clases de Homeomorfismos Módulo Isotopía es el objeto algebraico que resume las simetrías geométricas de una variedad hasta deformación continua: al tomar el cociente por isotopía se obtiene un grupo discreto que gobierna módulos, monodromía y comportamiento dinámico a gran escala de aplicaciones de superficie, con límites claros según la categoría y la dimensión.