Programa de Langlands

En matemáticas, el programa de Langlands es una red de conjeturas influyentes y de gran alcance sobre las conexiones entre la teoría de números y la geometría. Propuesto por Robert Langlands,^[1][2] busca relacionar los grupos de Galois en teoría de números algebraicos con las formas automórficas y la teoría de la representación de grupos algebraicos sobre grupos locales y anillos adélicos. Ampliamente visto como el proyecto más grande en la investigación matemática moderna, el programa de Langlands ha sido descrito por Edward Frenkel como "una especie de gran teoría unificada de las matemáticas".^[3]

Antecedentes

En un contexto muy amplio, el programa se basó en ideas existentes: la filosofía de formas cuspidales formulado unos años antes por Harish-Chandra y Gelfand^[4], el trabajo y enfoque de Harish-Chandra sobre el grupo de Lie semisimple, y en términos técnicos la fórmula de la traza de Selberg y otros.

Lo que inicialmente fue muy nuevo en el trabajo de Langlands, además de la profundidad técnica, fue la conexión directa propuesta con la teoría de números, junto con la rica estructura organizativa objeto de hipótesis (la llamada "funtorialidad").

Por ejemplo, en el trabajo de Harish-Chandra se encuentra el principio de que lo que se puede hacer con un grupo de Lie semisimple (o reductivo), puede hacerse con todos. Por lo tanto, una vez que se reconoció el papel de algunos grupos de Lie de baja dimensión como GL(2) en la teoría de las formas modulares, y en retrospectiva GL(1) en la teoría de cuerpos de clases, el camino quedó abierto al menos a la especulación sobre GL (n) para n> 2 en general.

La idea de la forma cuspidal surgió de las cúspides de las curvas modulares, pero también tenía un significado visible en teoría espectral como un "espectro discreto", en contraste con el "espectro continuo" de las series de Eisenstein. Se vuelve mucho más técnico para grupos de Lie más grandes, porque los subgrupos parabólicos son más numerosos.

En todos estos enfoques no faltaron los métodos técnicos, a menudo de naturaleza inductiva y basados en la descomposición de Levi, entre otras cuestiones, pero el cuerpo era y es muy exigente.^[5]

Y del lado de las formas modulares, hubo ejemplos como las formas modulares de Hilbert, las formas modulares de Siegel y las series-theta.

Objetos

Hay una serie de conjeturas de Langlands relacionadas entre sí. Existen muchos grupos diferentes en muchos campos diferentes para los que se pueden establecer, y para cada campo hay varias versiones diferentes de las conjeturas.^[6] Algunas versiones de las conjeturas de Langlands son vagas o dependen de objetos como los grupos de Langlands, cuya existencia no está probada, o del grupo L, que tiene varias definiciones no equivalentes. Además, las conjeturas de Langlands han evolucionado desde que el propio Langlands las planteó por primera vez en 1967.

Hay diferentes tipos de objetos para los que se pueden enunciar las conjeturas de Langlands:

• Representaciones de grupos reductivos sobre cuerpos locales (con diferentes subcuerpos correspondientes a cuerpos locales de Arquímedes, cuerpos locales p-ádicos, y terminaciones de grupos de funciones)
• Formas automórficas en grupos reductores sobre grupos globales (con subgrupos correspondientes a grupos numéricos o grupos de funciones).
• Cuerpos finitos. Langlands no consideró originalmente este caso, pero sus conjeturas tienen análogos.
• Cuerpos más generales, como los cuerpos de funciones sobre los números complejos.

Conjeturas

Hay varias formas diferentes de plantear las conjeturas de Langlands, que están estrechamente relacionadas pero no son obviamente equivalentes.

Reciprocidad

El punto de partida del programa puede verse según la ley de reciprocidad de Emil Artin, que generaliza la ley de reciprocidad cuadrática. La ley de reciprocidad de Artin se aplica a una extensión de Galois de un cuerpo de números algebraicos cuyo grupo de Galois es abeliano; asigna funciones L a las representaciones unidimensionales de este grupo de Galois, y establece que estas funciones L son idénticas a ciertas series L de Dirichlet o series más generales (es decir, ciertos análogos de la función zeta de Riemann) construidas a partir del carácter de Hecke. La correspondencia precisa entre estos diferentes tipos de funciones L constituye la ley de reciprocidad de Artin.

Para grupos de Galois no abelianos y representaciones de dimensiones superiores de ellos, todavía se pueden definir funciones L de forma natural: las funciones L de Artin.

La idea de Langlands fue encontrar la generalización adecuada de las funciones L de Dirichlet, lo que permitiría la formulación de la declaración de Artin en este contexto más general. Hecke había relacionado anteriormente funciones L de Dirichlet con formas automórficas (funciones holomorfas en el semiplano superior de ${\displaystyle \mathbb {C} }$ (los números complejos) que satisfacen ciertas ecuaciones funcionales). Langlands luego los generalizó a las representaciones cuspidales automórficas, que son ciertas representaciones irreductibles de dimensión infinita del grupo lineal general GL (n) sobre el anillo adélico de ${\displaystyle \mathbb {Q} }$ (los números racionales). Este anillo realiza un seguimiento simultáneo de todas las finalizaciones de ${\displaystyle \mathbb {Q} ,}$ (consúltese números p-ádicos).

Langlands adjuntó las funciones L automórficas a estas representaciones automórficas, y conjeturó que cada función L de Artin que surge de una representación de dimensión finita del grupo de Galois de un cuerpo de números algebraicos es igual a una que surge de una representación cuspidal automórfica. Esto se conoce como su conjetura de reciprocidad.

En términos generales, la conjetura de reciprocidad da una correspondencia entre las representaciones automórficas de un grupo reductivo y los homomorfismos de un grupo de Langlands sobre un grupo L. Existen numerosas variaciones de este enunciado, en parte porque las definiciones de grupo de Langlands y de grupo L no son fijas.

Sobre grupos locales, se espera que esta estructura genere una parametrización de paquetes L de representaciones irreductibles admisibles de una reducción grupo activo sobre un grupo local. Por ejemplo, sobre los números reales, esta correspondencia es la clasificación de Langlands de representaciones de grupos reductivos reales. Sobre grupos globales, debería dar una parametrización de formas automórficas.

Funtorialidad

La conjetura de funtorialidad establece que se espera que un homomorfismo adecuado de grupos L proporcione una correspondencia entre formas automórficas (en el caso global) o representaciones (en el caso local). En términos generales, la conjetura de reciprocidad de Langlands es el caso especial de la conjetura de funtorialidad cuando uno de los grupos reductivos es trivial.

Funtorialidad generalizada

Langlands generalizó la idea de funtorialidad: en lugar de usar el grupo lineal general GL(n), se pueden usar otros grupos reductivos conectados. Además, dado tal grupo G, Langlands construyó el grupo dual de Langlands ^LG, y luego, para cada representación cuspidal automórfica de G y para cada representación de dimensión finita de ^LG, definió una función L. Una de sus conjeturas establece que estas funciones L satisfacen una cierta ecuación funcional que generaliza las de otras funciones L conocidas.

Luego pasó a formular un principio de funtorialidad muy general. Dados dos grupos reductivos y un morfismo (de buen comportamiento) entre sus correspondientes grupos L, esta conjetura relaciona sus representaciones automórficas de una manera que es compatible con sus funciones L. Esta conjetura de funtorialidad implica todas las demás conjeturas presentadas hasta ahora. Tiene la naturaleza de una construcción de representación inducida, lo que en la teoría más tradicional de formas automórficas se llamaba un 'levantamiento', conocido en casos especiales, y que por lo tanto es covariante (mientras que la representación restringida es contravariante). Los intentos de especificar una construcción directa solo han producido algunos resultados condicionales.

Todas estas conjeturas se pueden formular para cuerpos más generales en lugar de ${\displaystyle \mathbb {Q} }$: el cuerpo de los números algebraicos (el caso original y más importante), campos locales y campos de función (extensiones finitas de F_p(t) donde p es un primo y F_p(t) es el cuerpo de funciones racionales sobre el cuerpo finito con p elementos).

Conjeturas geométricas

Artículo principal: Correspondencia geométrica de Langlands

El llamado programa de Langlands geométrico, sugerido por Gérard Laumon siguiendo las ideas de Vladímir Drínfeld, surge de una reformulación geométrica del programa de Langlands habitual que intenta relacionar algo más que simples representaciones irreducibles. En casos simples, relaciona representaciones l-ádicas del grupo fundamental estable de una curva algebraica con objetos de la categoría derivada de haces l-ádicos en la pila de módulos del fibrado vectorial sobre la curva.

Estado actual

Las conjeturas de Langlands para GL(1, K) se derivan de (y son esencialmente equivalentes a) la teoría de cuerpos de clases.

Langlands probó las conjeturas de Langlands para grupos sobre los campos locales de Arquímedes ${\displaystyle \mathbb {R} }$ (los números reales) y los complejos ${\displaystyle \mathbb {C} }$ dando la clasificación de Langlands de sus representaciones irreducibles.

La clasificación de Lusztig de las representaciones irreducibles de grupos de tipo Lie sobre cuerpos finitos puede considerarse un análogo de las conjeturas de Langlands para cuerpos finitos.

La prueba de modularidad de Andrew Wiles de curvas elípticas semiestables sobre racionales puede verse como un ejemplo de la conjetura de reciprocidad de Langlands, ya que la idea principal es relacionar las representaciones de Galois que surgen de curvas elípticas con formas modulares. Aunque los resultados de Wiles se han generalizado sustancialmente, en muchas direcciones diferentes, la conjetura completa de Langlands para ${\displaystyle {\text{GL}}(2,\mathbb {Q} )}$ sigue sin demostrarse.

En 1998, Laurent Lafforgue probó el teorema de Lafforgue verificando las conjeturas de Langlands para el grupo lineal general GL (n, K) para los cuerpos de funciones K. Este trabajo continuó las investigaciones anteriores de Drinfeld, quien probó el caso GL(2, K) en la década de 1980.

En 2018, Vincent Lafforgue estableció la correspondencia global de Langlands (la relación entre las formas automórficas y las representaciones de Galois) para grupos reductores conectados sobre campos de funciones globales.^[7][8][9]

Conjeturas locales de Langlands

Artículo principal: Conjeturas locales de Langlands

Philip Kutzko (1980) probó las Conjeturas locales de Langlands para el grupo lineal general GL(2, K) sobre cuerpos locales.Gérard Laumon, Michael Rapoport y Ulrich Stuhler (1993) demostraron las conjeturas locales de Langlands para el grupo lineal general GL (n, K) para los campos locales característicos positivos K. Su prueba usa un argumento global.Richard Taylor y Michael Harris (2001) demostraron las conjeturas locales de Langlands para el grupo lineal general GL(n, K) para cuerpos locales K de característica 0.Guy Henniart (2000) dio otra prueba. Ambas pruebas utilizan un argumento global.Peter Scholze (2013) dio otra prueba.

Lema fundamental

Artículo principal: Lema fundamental (programa de Langlands)

En 2008, Ngô Bảo Châu probó el "lema fundamental", que fue originalmente conjeturado por Langlands y Shelstad en 1983 y que se requiere en la prueba de algunas conjeturas importantes en el programa de Langlands.^[10][11]

Referencias

1. Langlands, 1967.
2. Langlands, 1970.
3. «Math Quartet Joins Forces on Unified Theory». Quanta. 8 de diciembre de 2015.
4. Gelfand, 1963.
5. Frenkel, Edward (2013). Love & Math. ISBN 978-0-465-05074-1. (requiere registro). «Todo esto, como dijo mi padre, es bastante pesado: tenemos espacios de módulo de Hitchin, simetría especular, A-branas, B-branas, gavillas automórficas ... dolor de cabeza tratando de no perder de vista a todos. Créame, incluso entre los especialistas, muy pocas personas conocen las tuercas y los tornillos de todos los elementos de esta construcción.»
6. Frenkel, Edward (2013), Love and Math: The Heart of Hidden Reality, Basic Books, p. 77, ISBN 9780465069958, «El Programa de Langlands es ahora un tema muy amplio. Hay una gran comunidad de personas que trabajan en él en diferentes campos: teoría de números, análisis armónico, geometría, teoría de la representación, física matemática. Aunque trabajan con objetos muy diferentes, todos están observando fenómenos similares.».
7. Lafforgue, V. (2018). «Shtukas for reductive groups and Langlands correspondence for function fields». icm2018.org. arXiv:1803.03791. Archivado desde el original el 7 de febrero de 2020. Consultado el 18 de mayo de 2021. «alternate source». math.cnrs.fr.
8. Lafforgue, V. (2018). «Chtoucas pour les groupes réductifs et paramétrisation de Langlands». Journal of the American Mathematical Society 31: 719-891. S2CID 118317537. arXiv:1209.5352. doi:10.1090/jams/897.
9. Stroh, B. (January 2016). La paramétrisation de Langlands globale sur les corps des fonctions (d'après Vincent Lafforgue). Séminaire Bourbaki 68ème année, 2015–2016, no. 1110, Janvier 2016.
10. Châu, Ngô Bảo (2010). «Le lemme fondamental pour les algèbres de Lie». Publications Mathématiques de l'IHÉS 111: 1-169. S2CID 118103635. arXiv:0801.0446. doi:10.1007/s10240-010-0026-7.
11. Langlands, Robert P. (1983). «Les débuts d'une formule des traces stable». U.E.R. de Mathématiques. Publications Mathématiques de l'Université Paris [Mathematical Publications of the University of Paris] (Paris: Université de Paris) VII (13). MR 697567.

Bibliografía

• Arthur, James (2003), «The principle of functoriality», Bulletin of the American Mathematical Society, New Series 40 (1): 39-53, ISSN 0002-9904, MR 1943132, doi:10.1090/S0273-0979-02-00963-1.
• Bernstein, J.; Gelbart, S. (2003), An Introduction to the Langlands Program, Boston: Birkhäuser, ISBN 978-3-7643-3211-2.
• Gelbart, Stephen (1984), «An elementary introduction to the Langlands program», Bulletin of the American Mathematical Society, New Series 10 (2): 177-219, ISSN 0002-9904, MR 733692, doi:10.1090/S0273-0979-1984-15237-6.
• Frenkel, Edward (2005). «Lectures on the Langlands Program and Conformal Field Theory». arXiv:hep-th/0512172.
• Gelfand, I. M. (1963), «Automorphic functions and the theory of representations», Proc. Internat. Congr. Mathematicians (Stockholm, 1962), Djursholm: Inst. Mittag-Leffler, pp. 74-85, MR 0175997, archivado desde el original|urlarchivo= requiere |url= (ayuda) el 17 de julio de 2011, consultado el 18 de mayo de 2021.
• Harris, Michael; Taylor, Richard (2001), The geometry and cohomology of some simple Shimura varieties, Annals of Mathematics Studies 151, Princeton University Press, ISBN 978-0-691-09090-0, MR 1876802.
• Henniart, Guy (2000), «Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique», Inventiones Mathematicae 139 (2): 439-455, Bibcode:2000InMat.139..439H, ISSN 0020-9910, MR 1738446, S2CID 120799103, doi:10.1007/s002220050012.
• Kutzko, Philip (1980), «The Langlands Conjecture for Gl₂ of a Local Field», Annals of Mathematics 112 (2): 381-412, JSTOR 1971151, doi:10.2307/1971151.
• Langlands, Robert (1967), Letter to Prof. Weil.
• Langlands, R. P. (1970), «Problems in the theory of automorphic forms», Lectures in modern analysis and applications, III, Lecture Notes in Math 170, Berlin, New York: Springer Science+Business Media, pp. 18-61, ISBN 978-3-540-05284-5, MR 0302614, doi:10.1007/BFb0079065.
• Laumon, G.; Rapoport, M.; Stuhler, U. (1993), «D-elliptic sheaves and the Langlands correspondence», Inventiones Mathematicae 113 (2): 217-338, Bibcode:1993InMat.113..217L, ISSN 0020-9910, MR 1228127, S2CID 124557672, doi:10.1007/BF01244308.
• Scholze, Peter (2013), «The Local Langlands Correspondence for GL(n) over p-adic fields», Inventiones Mathematicae 192 (3): 663-715, Bibcode:2013InMat.192..663S, S2CID 15124490, arXiv:1010.1540, doi:10.1007/s00222-012-0420-5.

Enlaces externos

• Contenido en Wikiquote
• El trabajo de Robert Langlands

• Datos: Q1393253