¿Cuál es el significado de la conjetura de geometrización de Thurston?

A los matemáticos les gusta resolver problemas de clasificación : dado un tipo interesante de objeto para estudiar, les gusta saber, si es posible, cómo es cada objeto de ese tipo. Puedes pensar en esto como una especie de taxonomía matemática.

Por ejemplo, la clasificación de los grupos de fondos de pantalla (grupo de fondos de pantalla) resuelve el problema de cómo describir patrones de fondos de pantalla, como este:


Un problema de clasificación realmente interesante que le gustaría resolver es la clasificación de los múltiples (vea Múltiple y ¿Cuál es la mejor manera de explicar el concepto de múltiple a un novato?). Por varias razones técnicas en las que no entraré, este problema de clasificación no se puede resolver en general, pero hay algunos casos especiales en los que se puede decir mucho.

Por ejemplo, la clasificación de lo que se llama superficies cerradas , que son ciertas variedades bidimensionales particularmente agradables, es conocida y clásica (Superficie). La mitad de estos son orientables , lo que en particular significa que pueden integrarse en un espacio tridimensional, por lo que son más fáciles de dibujar que la otra mitad. Se ven como donas con múltiples agujeros en ellas, así:

La otra mitad es un poco más extraña, pero la botella de Klein da un ejemplo:


El teorema de geometrización es una herramienta que nos ayuda a comprender el problema de clasificación correspondiente para los colectores tridimensionales orientables cerrados. Más precisamente, es un análogo tridimensional de un teorema bidimensional llamado teorema de uniformización, que nos dice que las variedades bidimensionales orientables cerradas se pueden entender en términos de geometría :

  • La esfera se puede entender usando geometría esférica bidimensional.
  • El toro (la rosquilla con un agujero) se puede entender usando geometría euclidiana bidimensional.
  • Los otros (las rosquillas con dos o más agujeros) se pueden entender usando geometría hiperbólica bidimensional.

El último caso es el caso más interesante con diferencia; le dice que las rosquillas con múltiples agujeros están estrechamente relacionadas con las teselaciones hiperbólicas , que son objetos hermosos que puede ver en algunas impresiones de Escher. Aquí hay un ejemplo:


El teorema de la geometrización dice que una afirmación similar es verdadera para 3-múltiples, excepto que en lugar de solo tres tipos de geometría hay ocho , las geometrías de Thurston (conjetura de la geometrización), y hay algún otro truco que debes hacer para que la afirmación sea correcta. Es una cosa poderosa saber sobre 3-múltiples, y ayuda a las personas que estudian mucho 3-múltiples.

Resulta que clasificar las variedades n-dimensionales orientables cerradas para cualquier valor particular de n mayor que 3 es inútil, por lo que esta es, en cierto sentido, la última dimensión en la que uno puede esperar que algo tan bueno sea cierto. ¡Así que atesora el teorema de la geometrización!

Lectura adicional no técnica sobre estos temas generales (no la geometrización per se):

  • Amazon.com: Las simetrías de las cosas (9781568812205): John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss: Libros
  • Amazon.com: The Shape of Space (Chapman & Hall / CRC Pure and Applied Mathematics) (9780824707095): Jeffrey R. Weeks: Libros
  • La gema de Euler: la fórmula del poliedro y el nacimiento de la topología: David S. Richeson: 9780691154572: Amazon.com: Libros
  • Anhelo de lo imposible: las sorprendentes verdades de las matemáticas: John C. Stillwell: 9781568812540: Amazon.com: Libros

Paso mucho tiempo tratando de hacer que los orbifolds de Conway (que describen la idea de Thurston) se conviertan en algo como lo hizo Coxeter cuando fusionó la construcción de Stott-Wythoff con un símbolo de grupo de Lie utilizado para describir grupos reflexivos.

John Conway describió Archifolds como una forma de salir de esto, pero los archifolds no son una forma única (es decir, permite demasiado). La región activa en un Conway-Thurston es considerablemente más activa de lo que Stott y Coxeter tuvieron que enfrentar. Aún así, tiene algunas buenas mentes persiguiéndola.

La conjetura de geometrización da una caracterización completa de las estructuras geométricas que se pueden realizar en una variedad tridimensional. El artículo de MathWorld sobre la conjetura (o teorema ahora) es un buen lugar para comenzar.

More Interesting

Si [math] \ dfrac {7 + x} {14 + x + y} = \ dfrac {3} {8} [/ math] y [math] x + y \ gt 0 [/ math], ¿cómo muestro que cada par de enteros que admite esto viene dado por [math] (3n + 2, 5n + 8) [/ math] donde n es cualquier entero mayor que -1?

¿Cuál es el tamaño del gráfico completo más grande en Facebook?

Cómo examinar si las posiciones de descanso son atractivas o repulsivas

Un loto aumenta la mitad de su tamaño todos los días. En 20 días cubre todo el lago. ¿En cuántos días cubrirá la mitad del lago?

¿Son los infinitos en línea real extendida, densidad y Aleph tres conceptos diferentes o el mismo tipo de infinito?

Hay un edificio con una planta + 6 pisos. Un ascensor comienza desde la planta baja con 6 personas en el mismo. Solo se presionan 3 botones de piso (3, 4 y 5). ¿Cuál es la probabilidad de que 2 o más personas bajen en el 3er piso?

¿Existe una función matemática en la que pueda tomar 2 números, como 2 y 3, y hacer que la respuesta sea los números en sucesión? Por ejemplo, si usara los números 2 y 3, sería 23, y 4 y 6 serían 46.

¿Cómo es tomar Math 215 (topología algebraica) en Berkeley?

En unos 10 años, ¿qué se necesitará para convertirse en matemático investigador? ¿Cuán realista es conseguir un trabajo como matemático puro?

¿Qué es el soporte de Dirac en lenguaje geométrico?

Cómo practicar matemáticas solo

¿Por qué esta extraña forma de multiplicación funciona cada vez (ver imagen adjunta)? ¿Por qué se nos enseña en la escuela a hacer la multiplicación de la forma en que somos, si también funcionan otras formas?

¿Qué es 1 + 1 ^ 0?

Cómo entender conjuntos parcialmente ordenados

¿Cuáles son las diferencias entre los doctorados en Matemática Financiera, Finanzas Matemáticas e Ingeniería Financiera?