Conjetura de Carathéodory

De Wikipedia, la enciclopedia libre
Problemas no resueltos de la matemática: ¿Toda esfera topológica suave en el espacio euclídeo tiene al menos dos puntos umbilicales?

La conjetura de Carathéodory es una cuestión de geometría diferencial relativa a puntos umbilicales, atribuida al matemático alemán de origen griego Constantin Carathéodory (1873-1950) por su colega Hans Ludwig Hamburger (1889-1956) durante una sesión de la Sociedad Matemática de Berlín en 1924.[1]​ Carathéodory publicó un artículo sobre un tema relacionado con la conjetura,[2]​ pero nunca la desarrolló por escrito. John Edensor Littlewood menciona la conjetura y la contribución de Hamburger[3]​[4]​ como un ejemplo de una afirmación matemática que es fácil de enunciar pero difícil de probar. Dirk Struik describió la analogía formal de la conjetura con el teorema de los cuatro vértices para una curva plana.[5]​ Las referencias modernas a la conjetura son la lista de problemas de Shing-Tung Yau,[6]​ y los libros de Marcel Berger.[7]​[8]​ entre otros libros.[9]​[10]​[11]​[12]​

La conjetura ha tenido una historia problemática, con pruebas publicadas en el caso analítico[13]​[14]​ que contenían lagunas,[15]​ y afirmaciones de prueba en el caso diferenciable general[16]​ que no han sido aceptadas para su publicación.

Declaración de la conjetura[editar]

La conjetura afirma que cualquier superficie convexa, cerrada y suficientemente lisa en un espacio euclídeo tridimensional debe admitir al menos dos puntos umbilicales. En el sentido de la conjetura, el esferoide con solo dos puntos umbilicales y la esfera, en la que todos sus puntos son umbilicales, son ejemplos de superficies con números mínimo y máximo de puntos umbilicales. Para que la conjetura esté bien planteada o los puntos umbilicales estén bien definidos, la superficie debe ser al menos dos veces diferenciable.

El caso de las superficies analíticas reales[editar]

El discurso de Stefan Cohn-Vossen como invitado[17]​ al Congreso Internacional de Matemáticos de 1928 en Bolonia, versó sobre el tema, y en la edición de 1929 del tercer volumen de Wilhelm Blaschke sobre Geometría Diferencial[18]​ se afirma que:

Mientras este libro se imprime, el Sr. Cohn-Vossen ha logrado demostrar que las superficies analíticas reales cerradas no tienen puntos umbilicales de índice > 2 (conferencia como invitado en el ICM en Bolonia, 1928). Esto demuestra la conjetura de Carathéodory para tales superficies, es decir, que deben tener al menos dos puntos umbilicales.

Aquí el índice de Blaschke es el doble de la definición habitual de un índice de un punto umbilical, y la conjetura global se apoya en el teorema de Poincaré-Hopf. Cohn-Vossen no presentó ningún artículo a las actas del Congreso Internacional, mientras que en ediciones posteriores del libro de Blaschke se eliminaron los comentarios anteriores. Por lo tanto, es razonable suponer que este trabajo no fue concluyente.

Para las superficies analíticas, Hans Hamburger dio una respuesta afirmativa a esta conjetura en 1940 en un extenso artículo publicado en tres partes.[4]​ El enfoque de Hamburger también se realizó a través de una estimación de índice local para puntos umbilicales aislados, que había demostrado que implicaba la conjetura en su trabajo anterior.[19]​[20]​ En 1943, Gerrit Bol propuso una prueba más corta,[13]​ ver también,[21]​ pero, en 1959, Tilla Klotz encontró y corrigió una brecha en la prueba de Bol,[14]​[4]​ Su prueba, a su vez, se anunció como incompleta en la disertación de Hanspeter Scherbel[15]​ y durante décadas no se publicaron resultados de esta disertación relacionada con la conjetura de Carathéodory (al menos no se publicó nada hasta junio de 2009).[22]​[23]​[24]​

Todas las pruebas mencionadas anteriormente se basan en la reducción que hace Hamburger de la conjetura de Carathéodory a la siguiente conjetura: el índice de cada punto umbilical aislado nunca es mayor que uno.[19]​ A grandes rasgos, la principal dificultad radica en la resolución de las singularidades generadas por puntos umbilicales. Todos los autores antes mencionados resuelven las singularidades por inducción sobre el "grado de degeneración" del punto umbilical, pero ninguno de ellos fue capaz de presentar el proceso de inducción con claridad.

En 2002, Vladimir Ivanov revisó el trabajo de Hamburger sobre superficies analíticas con la siguiente intención declarada:[25]​

En primer lugar, considerando las superficies analíticas, afirmamos con toda responsabilidad que Carathéodory tenía razón. En segundo lugar, sabemos cómo esto puede demostrarse rigurosamente. En tercer lugar, pretendemos exponer aquí una prueba que, en nuestra opinión, convencerá a todo lector que esté realmente interesado y listo para emprender un largo y agotador viaje con nosotros.

Primero sigue el camino seguido por Gerrit Bol y Tilla Klotz, pero luego propone su propio camino para la resolución de singularidades donde el papel crucial pertenece al análisis complejo (más precisamente, a técnicas que involucran funciones implícitas analíticas, el teorema de preparación de Weierstrass, la serie de Puiseux y los sistemas de raíces circulares).

El caso general diferenciable[editar]

En 2008, Guilfoyle y Klingenberg anunciaron[16]​ una prueba de la conjetura global para superficies de suavidad , que no se ha publicado hasta 2023. Su método utiliza la geometría de Kähler neutral de la cuádrica de Klein[26]​ para definir un problema de valor límite de Riemann-Hilbert asociado, y luego aplica el flujo de curvatura promedio y el teorema de Sard-Smale sobre valores regulares de los operadores de Fredholm para demostrar una contradicción para una superficie con un solo punto umbilical.

En particular, el problema del valor límite busca encontrar una curva holomórfica con un límite que se encuentre en la superficie lagrangiana de la cuádrica de Klein, determinado por las líneas normales a la superficie en el espacio tridimensional euclídeo. Anteriormente se demostró que el número de puntos umbilicales aislados contenidos en la superficie en determina la clase de Keller-Maslov de la curva límite[27]​ y por tanto, cuando el problema es regular de Fredholm, determina la dimensión del espacio de los discos holomorfos.[16]​ Todas las cantidades geométricas mencionadas se definen con respecto a la estructura canónica neutra de Kähler, para cuyas superficies puede ser tanto holomorfo como lagrangiano.[26]​

Al abordar la conjetura global, la pregunta es "¿Qué tendría de especial una superficie convexa cerrada y lisa en con un solo punto umbilical?". Guilfoyle y Klingenberg responden a esto:[28]​ el valor límite de Riemann-Hilbert asociado. El problema sería Fredholm regular. Se ha demostrado que la existencia de un grupo de isometría de tamaño suficiente para fijar un punto es suficiente para garantizar esto, identificando así el tamaño del grupo de isometría euclídea de como la razón subyacente por la que la conjetura de Carathéodory es cierta. Esto se ve reforzado por un resultado más reciente[29]​ en el que se construyen métricas ambientales suaves (sin simetrías) que son diferentes pero arbitrariamente cercanas a la métrica euclídea en , que admiten superficies convexas suaves que violan tanto las conjeturas locales como las globales.

Según la regularidad de Fredholm, para una superficie convexa genérica cercana a un supuesto contraejemplo de la conjetura global de Carathéodory, el problema de Riemann-Hilbert asociado no tendría soluciones. El segundo paso de la prueba es mostrar que tales soluciones siempre existen, concluyendo así la inexistencia de un contraejemplo. Esto se hace utilizando un flujo de curvatura media de codimensión 2 con límite. Si bien el segundo paso completo de la prueba no se ha publicado en enero de 2022, las estimaciones interiores requeridas para el flujo de curvatura media codimensional superior en una geometría indefinida han aparecido impresas.[30]​ La parte final es el establecimiento de suficiente control de límites bajo flujo de curvatura media para asegurar una convergencia débil.

En 2012 se anunció la prueba de una versión más débil de la conjetura del índice local para superficies lisas, es decir, que un punto umbilical aislado debe tener un índice menor o igual a 3/2.[31]​ La prueba sigue la de la conjetura global, pero también utiliza métodos más topológicos, en particular, reemplazando puntos umbilicales hiperbólicos por límites cruzados totalmente reales en el límite del problema de Riemann-Hilbert asociado. Deja abierta la posibilidad de una superficie convexa lisa (analítica no real de Hamburger[4]​) con un punto umbilical aislado de índice 3/2. En 2020 se anunció la prueba mediante métodos similares de una conjetura de Toponogov sobre puntos umbilicales en planos completos.[32]​ Hasta 2023, ninguno de estos resultados se ha publicado.

En 2012, Mohammad Ghomi y Ralph Howard demostraron, utilizando una transformación de Möbius, que la conjetura global para superficies de suavidad se puede reformular en términos del número de puntos umbilicales en gráficos sujetos a ciertas características asintóticas del gradiente.[33]​[34]​

Véase también[editar]

Referencias[editar]

  1. ↑ Sitzungsberichte der Berliner Mathematischen Gesellschaft, 210. Sitzung am 26. März 1924, Dieterichsche Universitätsbuchdruckerei, Göttingen 1924
  2. ↑ Einfache Bemerkungen über Nabelpunktskurven, in: Festschrift 25 Jahre Technische Hochschule Breslau zur Feier ihres 25jährigen Bestehens, 1910—1935, Verlag W. G. Korn, Breslau, 1935, pp 105 - 107, and in: Constantin Carathéodory, Gesammelte Mathematische Schriften, Verlag C. H. Beck, München, 1957, vol 5, 26–30
  3. ↑ A mathematician's miscellany, Nabu Press (August 31, 2011) ISBN 978-1179121512
  4. ↑ a b c d H. Hamburger, Beweis einer Caratheodoryschen Vermutung. I, Ann. Math. (2) 41, 63—86 (1940); Beweis einer Caratheodoryschen Vermutung. II, Acta Math. 73, 175—228 (1941), and Beweis einer Caratheodoryschen Vermutung. III, Acta Math. 73, 229—332 (1941)
  5. ↑ Struik, D. J. (1931). «Differential Geometry in the large». Bull. Amer. Math. Soc. 37 (2): 49-62. doi:10.1090/S0002-9904-1931-05094-1. 
  6. ↑ S. T. Yau, Problem Section p. 684, in: Seminar on Differential Geometry, ed. S.T. Yau, Annals of Mathematics Studies 102, Princeton 1982
  7. ↑ M. Berger, A Panoramic View of Riemannian Geometry, Springer 2003 ISBN 3-540-65317-1
  8. ↑ M. Berger,Geometry Revealed: A Jacob's Ladder to Modern Higher Geometry, Springer 2010 ISBN 3-540-70996-7
  9. ↑ I. Nikolaev, Foliations on Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge A, Series of Modern Surveys in Mathematics, Springer 2001 ISBN 3-540-67524-8
  10. ↑ D. J. Struik, Lectures on Classical Differential Geometry, Dover 1978 ISBN 0-486-65609-8
  11. ↑ V. A. Toponogov, Differential Geometry of Curves and Surfaces: A Concise Guide, Birkhäuser, Boston 2006 ISBN 978-0-8176-4402-4
  12. ↑ R.V. Gamkrelidze (Ed.), Geometry I: Basic Ideas and Concepts of Differential Geometry , Encyclopaedia of Mathematical Sciences, Springer 1991 ISBN 0-387-51999-8
  13. ↑ a b Bol, G. (1944). «Über Nabelpunkte auf einer Eifläche». Math. Z. 49: 389-410. S2CID 120816230. doi:10.1007/bf01174209. 
  14. ↑ a b Klotz, Tilla (1959). «On G. Bol's proof of Carathéodory's conjecture». Commun. Pure Appl. Math. 12 (2): 277-311. doi:10.1002/cpa.3160120207. 
  15. ↑ a b Scherbel, H. (1993). «A new proof of Hamburger's index theorem on umbilical points». Dissertation no. 10281 (PhD) (Escuela Politécnica Federal de Zúrich). 
  16. ↑ a b c Guilfoyle, B.; Klingenberg, W. (2008). Proof of the Carathéodory conjecture. arXiv:0808.0851. 
  17. ↑ S. Cohn-Vossen, Der Index eines Nabelpunktes im Netz der Krümmungslinien, Proceedings of the Congreso Internacional de Matemáticos, vol II, Nicola Zanichelli Editore, Bologna 1929
  18. ↑ Blaschke, W. (1929). Differentialgeometrie der Kreise und Kugeln, Vorlesungen über Differentialgeometrie, vol. 3. Grundlehren der mathematischen Wissenschaften XXIX. Berlin: Springer Science+Business Media. 
  19. ↑ a b Hamburger, H. (1922). «Ein Satz über Kurvennetze auf geschlossenen Flächen». Sitzungsberichte der Preußischen Akademie der Wissenschaften zu Berlin 21: 258-262. 
  20. ↑ Hamburger, H. (1924). «Über Kurvennetze mit isolierten Singularitäten auf geschossenen Flächen». Math. Z. 19: 50-66. S2CID 121237690. doi:10.1007/bf01181063. 
  21. ↑ Blaschke, W. (1942). «Sugli ombelichi d'un ovaloide». Atti Convegno Mat. Roma 1942: 201-208. 
  22. ↑ Titus, C. J. (1973). «A proof of a conjecture of Loewner and of the conjecture of Carathéodory on umbilic points». Acta Math. 131 (1–2): 43-77. S2CID 119377800. doi:10.1007/BF02392036. 
  23. ↑ Sotomayor, J.; Mello, L. F. (1999). «A note on some developments on Carathéodory conjecture on umbilic points». Exposition Math. 17 (1): 49-58. ISSN 0723-0869. 
  24. ↑ Gutierrez, C.; Sotomayor, J. (1998). «Lines of curvature, umbilic points and Carathéodory conjecture». Resen. Inst. Mat. Estat. Univ. São Paulo 3 (3): 291-322. ISSN 0104-3854. 
  25. ↑ Ivanov, V. V. (2002). «The Analytic Carathéodory Conjecture». Sib. Math. J. 43 (2): 251-322. ISSN 0037-4474. S2CID 117115329. doi:10.1023/A:1014797105633. 
  26. ↑ a b Guilfoyle, B.; Klingenberg, W. (2005). «An indefinite Kähler metric on the space of oriented lines». J. London Math. Soc. 72 (2): 497-509. S2CID 14978450. arXiv:math/0407490. doi:10.1112/S0024610705006605. 
  27. ↑ Guilfoyle, B.; Klingenberg, W. (2004). «Generalised surfaces in ». Math. Proc. R. Ir. Acad. 104A (2): 199-209. S2CID 118128548. doi:10.1353/mpr.2004.0013. 
  28. ↑ Guilfoyle, B.; Klingenberg, W. (2020). «Fredholm-regularity of holomorphic discs in plane bundles over compact surfaces». Ann. Fac. Sci. Toulouse Math. Série 6 29 (3): 565-576. S2CID 119659239. arXiv:1812.00707. doi:10.5802/afst.1639. 
  29. ↑ Guilfoyle, B. (2020). «On Isolated Umbilic Points». Comm. Anal. Geom. 28 (8): 2005-2018. S2CID 119158738. arXiv:1812.03562. doi:10.4310/CAG.2020.v28.n8.a8. 
  30. ↑ Guilfoyle, B.; Klingenberg, W. (2019). «Higher codimensional mean curvature flow of compact spacelike submanifolds». Trans. Amer. Math. Soc. 372 (9): 6263-6281. S2CID 119253397. doi:10.1090/tran/7766. 
  31. ↑ Guilfoyle, B.; Klingenberg, W. (2012). From Global to Local: an index bound for umbilic points on smooth convex surfaces. arXiv:1207.5994. 
  32. ↑ Guilfoyle, B.; Klingenberg, W. (2020). Proof of the Toponogov Conjecture on complete surfaces. arXiv:2002.12787. 
  33. ↑ Ghomi, M.; Howard, R. (2012). «Normal curvatures of asymptotically constant graphs and Carathéodory's conjecture». Proc. Amer. Math. Soc. 140 (12): 4323-4335. S2CID 12148752. arXiv:1101.3031. doi:10.1090/S0002-9939-2012-11420-0. 
  34. ↑ Ghomi, M. (2017). Open problems in geometry of curves and surfaces. 
Obtenido de «https://es.wikipedia.org/w/index.php?title=Conjetura_de_Carathéodory&oldid=158383979»