Definición
Un resultado de rigidez que afirma que, para variedades hiperbólicas completas de volumen finito y dimensión al menos tres, la estructura geométrica queda determinada de forma única por el grupo fundamental: cualquier isomorfismo entre grupos fundamentales se realiza mediante una isometría entre las variedades (la geometría está determinada por el grupo).

Principio

Principio
Principio organizador: en dimensiones ≥3 las geometrías homogéneas de curvatura negativa son rígidas: los grupos discretos de isometrías del espacio hiperbólico no admiten deformaciones no triviales que cambien la estructura hiperbólica del cociente, de modo que los datos algebraicos (π1) fijan los datos geométricos.

Demostración

Demostración
Afirmación concreta: si M y N son variedades hiperbólicas cerradas de dimensión n≥3 y φ: π1(M)→π1(N) es un isomorfismo, existe una isometría única f: M→N que induce φ en los grupos fundamentales. Como consecuencia, el volumen y las longitudes de geodésicas cerradas son invariantes topológicas.

Aplicación incorrecta

Aplicación incorrecta
Aplicar la rigidez de Mostow en dimensión dos, donde la teoría de Teichmüller produce deformaciones no triviales, o suponer que el teorema vale para curvatura negativa variable u otras geometrías distintas del espacio hiperbólico real sin verificar las hipótesis.

Consecuencia

Consecuencia
Los invariantes topológicos (por ejemplo la clase de isomorfismo de π1) determinan invariantes geométricos (la métrica hasta isometría), lo que implica, por ejemplo, que el volumen es un invariante topológico y elimina los módulos continuos de estructuras hiperbólicas en dimensiones ≥3.

Inversión

Inversión
La inversión destaca el contraste en baja dimensión: en dimensión dos la aplicación de la topología a la geometría no es inyectiva — superficies del mismo tipo topológico admiten familias continuas de métricas hiperbólicas no isométricas (espacio de Teichmüller), manifestando flexibilidad en lugar de rigidez.

Límite

Límite
Se aplica a variedades hiperbólicas completas de volumen finito en dimensión real ≥3 (Mostow–Prasad extiende al caso no compacto de volumen finito); excluye la dimensión 2, métricas de curvatura variable y otros espacios localmente simétricos salvo que se adapten hipótesis.

Tensión semántica

Tensión semántica
Tensión entre rigidez (Mostow) y flexibilidad (Teichmüller): ambas tratan la relación entre datos de grupos discretos y estructuras geométricas, pero producen comportamientos opuestos según la dimensión y el contexto geométrico.

Síntesis

Síntesis
La rigidez de Mostow afirma que en geometría hiperbólica real de dimensión tres y superiores la información algebraica del grupo fundamental prescribe completamente la métrica geométrica de la variedad, suprimiendo deformaciones continuas y convirtiendo la geometría en un invariante topológico.