En matemáticas , el teorema de domesticidad establece que toda 3-variedad hiperbólica completa con un grupo fundamental finitamente generado es topológicamente domesticada , es decir, homeomorfa al interior de una 3-variedad compacta .
El teorema de docilidad fue conjeturado por Marden (1974), demostrado por Agol (2004) e, independientemente, por Danny Calegari y David Gabai . Es una de las propiedades fundamentales de las 3-variedades hiperbólicas geométricamente infinitas, junto con el teorema de densidad para grupos kleinianos y el teorema de laminación final . También implica la conjetura de la medida de Ahlfors .
La domesticidad topológica puede considerarse como una propiedad de los extremos de la variedad, es decir, que tienen una estructura de producto local. Una afirmación análoga es bien conocida en dos dimensiones, es decir, para superficies . Sin embargo, como lo demuestra el ejemplo de la esfera con cuernos de Alexander , existen incrustaciones salvajes entre 3-variedades, por lo que esta propiedad no es automática.
La conjetura fue planteada en forma de pregunta por Albert Marden , quien demostró que cualquier variedad hiperbólica 3-variedad geométricamente finita es topológicamente mansa. La conjetura también fue llamada conjetura de Marden o conjetura de los extremos mansos .
Se había producido un progreso constante en la comprensión de la mansedumbre antes de que se resolviera la conjetura. Thurston , Brock, Bromberg, Canary, Evans, Minsky y Ohshika habían obtenido resultados parciales. [ cita requerida ] Bonahon había obtenido una condición suficiente importante para la mansedumbre en términos de escisiones del grupo fundamental . [ cita requerida ]
La conjetura fue demostrada en 2004 por Ian Agol y, de forma independiente, por Danny Calegari y David Gabai. La prueba de Agol se basa en el uso de variedades de curvatura negativa pinzada y en el truco de Canary de "diskbusting" que permite reemplazar un extremo compresible por un extremo incompresible, para lo cual la conjetura ya ha sido demostrada. La prueba de Calegari-Gabai se centra en la existencia de ciertas superficies cerradas, no curvadas positivamente, que ellos llaman "shrinkwrapped".