Una red amplia de conjeturas y teoremas que propone correspondencias profundas entre representaciones automorfas (objetos analíticos sobre grupos reductivos en cuerpos globales o locales) y datos aritméticos/Galois (como representaciones galoisianas de dimensión n), organizadas en casos locales y globales y guiadas por principios de funtorialidad.

Principio

Reciprocidad y funtorialidad: los datos espectrales/analíticos procedentes de formas automorfas corresponden a representaciones aritméticas de grupos de Galois, y las transferencias entre grupos se reflejan en transferencias de funciones L y factores locales, formando un principio unificador entre teoría de números y análisis armónico.

Demostración

La teoría de cuerpos de clase realiza la correspondencia de Langlands para GL(1): caracteres del grupo de ideles corresponden a representaciones galoisianas de dimensión uno. El teorema de modularidad (un caso de GL(2)) enlaza curvas elípticas sobre Q con formas modulares y sus representaciones automorfas.

Aplicación incorrecta

Tratar las conjeturas generales de Langlands como demostradas en su totalidad, o identificar erróneamente componentes locales y comportamiento de ramificación al intentar emparejamientos explícitos, conduce a conclusiones incorrectas; también confundir las variantes geométrica y aritmética sin distinguirlas genera errores.

Consecuencia

Donde está establecida, la correspondencia proporciona traducciones potentes: métodos automorfos generan resultados aritméticos (p. ej. información sobre representaciones galoisianas, valores L y leyes de reciprocidad), y insumos aritméticos informan propiedades analíticas como ecuaciones funcionales y descomposiciones espectrales.

Inversión

Se puede ver la correspondencia tanto como la asignación de parámetros aritméticos (galoisianos) a representaciones automorfas, como la construcción de objetos automorfos predichos por propiedades aritméticas; invertir la perspectiva enfatiza la primacía espectral o aritmética.

Límite

El programa de Langlands es en gran medida conjectural en muchos marcos; los casos demostrados incluyen correspondencias locales y globales para GL_n sobre cuerpos de números y de funciones y muchas instancias para grupos clásicos, pero la funtorialidad general y las afirmaciones de reciprocidad siguen abiertas en su generalidad.

Tensión semántica

Hay tensiones entre la correspondencia clásica (aritmética) de Langlands, el programa geométrico de Langlands (algebraico‑geométrico y categórico) y leyes de reciprocidad especializadas; el término 'Langlands' por tanto abarca varios marcos relacionados pero distintos.

Síntesis

La correspondencia de Langlands postula una gran dualidad que traduce datos automorfos analíticos en datos aritméticos galoisianos y viceversa, organizada por la funtorialidad y la reciprocidad: es una arquitectura unificadora, en parte conjetural, que conecta análisis armónico, teoría de representaciones y teoría de números.