Quinto problema de Hilbert

El quinto problema de Hilbert (uno de los conocidos como veintitrés Problemas de Hilbert, publicados en 1900 por el matemático alemán David Hilbert), se refiere a la caracterización de Grupo de Lie.

La teoría de los grupos de Lie describe la simetría continua en matemáticas; su importancia en este campo y en física teórica (por ejemplo, en la investigación sobre quarks) creció de manera constante en el siglo XX. En términos generales, la teoría de grupos de Lie es el terreno común de la teoría de grupos y la teoría de variedades topológicas. La pregunta que hizo Hilbert se centró con precisión en la cuestión siguiente:

¿Hay alguna diferencia si se impone una restricción a las variedades diferenciables?

La respuesta esperada fue negativa (los grupos clásicos, los ejemplos más centrales en la teoría de grupos de Lie, son variedades suaves). Esto finalmente se confirmó a principios de la década de 1950. Dado que Hilbert no disponía de la noción precisa de "variedad", hay lugar para cierto debate sobre la formulación del problema en el lenguaje matemático contemporáneo.

Formulación clásica

Una formulación que fue aceptada durante un largo período fue que la cuestión era caracterizar a los grupos de Lie como los grupos topológicos que también eran variedades topológicas. En términos más cercanos a los que Hilbert habría usado, cerca del elemento neutro e del grupo G en cuestión, hay un conjunto abierto U en el espacio euclídeo que contiene e, y en algún subconjunto abierto V de U hay una función continua:

F : V × V → U

que satisfaga el grupo donde se definen. Esto es un fragmento de un grupo topológico localmente euclídeo típico. El problema es entonces demostrar que F es una función infinitamente diferenciable cerca de e (dado que los grupos topológicos son espacios homogéneos, iguales en todas partes como cerca de e).

Otra forma de decirlo es que la posible función infinitamente diferenciable de F no importa: los axiomas de grupo colapsan toda la gama C^k.

Solución

El primer resultado importante fue el de John von Neumann en 1933,^[1]​ para grupos compactos. El caso del grupo abeliano localmente compacto fue resuelto en 1934 por Lev Pontriaguin. La resolución final, al menos en esta interpretación de lo que Hilbert quería decir, llegó con el trabajo de Andrew Gleason, Deane Montgomery y Leo Zippin en la década de 1950.

En 1953, Hidehiko Yamabe obtuvo la respuesta final al quinto problema de Hilbert:^[2]​

Si un grupo compacto conectado localmente G es un límite inverso de una secuencia de grupos de Lie, y si G "no tiene subgrupos pequeños" (una condición definida a continuación), entonces G es un grupo de Lie.

Sin embargo, la cuestión aún se debate, ya que en la literatura ha habido otras afirmaciones similares, basadas en gran parte en diferentes interpretaciones de la afirmación de Hilbert del problema dada por varios investigadores.^[3]​

De manera más general, todo grupo localmente compacto y casi conectado es el límite proyectivo de un grupo de Lie. Si se considera un grupo general localmente compacto G y el componente conectado de la identidad G₀, se tiene una extensión de grupo

G₀ → G → G/G₀.

Como grupo totalmente desconectado, G/G₀ tiene un subgrupo compacto abierto, y el retroceso G′ de tal subgrupo compacto abierto es un subgrupo abierto, casi conectado, de G. De esta manera, se tiene una estructura suave en G, ya que es homeomorfa a (G′ × G′ )/G₀, donde G′/G₀ es un conjunto discreto.

Formulación alternativa

Otro punto de vista es que G debería tratarse como un grupo de transformación, en lugar de una forma abstracta. Esto conduce a la formulación de la conjetura de Hilbert-Smith, que fue probada para ${\displaystyle R^{3}}$ en 2013.

Sin subgrupos pequeños

Una condición importante en la teoría es "sin subgrupos pequeños". Se dice que un grupo topológico G, o una parte de un grupo como el F anterior, no tiene "subgrupos pequeños" si hay un N vecino de e que no contiene un subgrupo mayor que {e}.. Por ejemplo, el grupo circular satisface la condición, mientras que los enteros p-ádicos Z_p como grupo aditivo no lo hace, porque N contendrá los subgrupos: p^k Z_p, para todos los números enteros grandes k. Esto da una idea de la dificultad del problema. En el caso de la conjetura de Hilbert-Smith, se trata de una reducción conocida de si Z_p puede actuar fielmente sobre una variedad cerrada. Gleason, Montgomery y Zippin caracterizaron a los grupos de Lie entre los grupos localmente compactos, como aquellos que no tienen subgrupos pequeños.

Dimensiones infinitas

Los investigadores también han considerado el quinto problema de Hilbert sin suponer dimensionalidad finita. El último capítulo de Benyamini y Lindenstrauss discute la tesis de Per Enflo, sobre el quinto problema de Hilbert sin espacio compacto.

Véase también

• Hans Rådström

Referencias

Bibliografía

• Morikuni, Goto (1961). «Hidehiko Yamabe (1923–1960)». Osaka Mathematical Journal 13 (1): i-ii. MR 0126362. Zbl 0095.00505. 
• Rosinger, Elemér E. (1998). Parametric Lie Group Actions on Global Generalised Solutions of Nonliear PDE. Including a solution to Hilbert's Fifth Problem. Mathematics and Its Applications 452. Doerdrecht–Boston–London: Springer Science+Business Media. pp. xvii+234. ISBN 0-7923-5232-7. MR 1658516. Zbl 0934.35003. 
• D. Montgomery and L. Zippin, Topological Transformation Groups
• Yamabe, Hidehiko, On an arcwise connected subgroup of a Lie group, Osaka Mathematical Journal v.2, no. 1 Mar. (1950),  13–14.
• Irving Kaplansky, Lie Algebras and Locally Compact Groups, Chicago Lectures in Mathematics, 1971.
• Benyamini, Yoav and Lindenstrauss, Joram, Geometric nonlinear functional analysis Colloquium publications, 48. American Mathematical Society.
• Enflo, Per. (1970) Investigations on Hilbert’s fifth problem for non locally compact groups. (Tesis doctoral de cinco artículos de Enflo de 1969 a 1970)
  • Enflo, Per; 1969a: Topological groups in which multiplication on one side is differentiable or linear. Math. Scand., 24,  195–197.
  • Per Enflo (1969). «On the nonexistence of uniform homeomorphisms between L_p spaces». Ark. Mat. 8 (2): 103-105. doi:10.1007/BF02589549. 
  • Enflo, Per; 1969b: On a problem of Smirnov. Ark. Math. 8,  107–109.
  • Enflo, P. (1970). «Uniform structures and square roots in topological groups». Israel Journal of Mathematics 8 (3): 230-252 (s2cid: 189773170). doi:10.1007/BF02771560. 
  • Enflo, P. (1970). «Uniform structures and square roots in topological groups». Israel Journal of Mathematics 8 (3): 253-272 (s2cid: 121193430). doi:10.1007/BF02771561.