Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

Este artículo establece una dualidad $S$ para el supergrupo $\mathfrak{osp}(2n + 1|2n)$, demostrando que el dual de $S$ del espacio de representaciones tautológicas de $\text{SO}(2n+1)\times \text{Sp}(2n)$ es el espacio mirabólico simpléctico de $\text{Sp}(2n)\times\text{Sp}(2n)$, y formula la correspondiente conjetura global sobre la correspondencia theta categórica.

Lo esencial

Imagina que el universo de las matemáticas avanzadas es como un inmenso laberinto de espejos. A veces, miras un objeto en un lado del espejo y ves una imagen distorsionada, pero si te mueves al otro lado, ves la misma forma desde una perspectiva completamente diferente.

Este artículo, escrito por cuatro matemáticos brillantes (Braverman, Finkelberg, Kazhdan y Travkin), trata sobre encontrar el "otro lado" del espejo para una estructura matemática muy específica y complicada.

Aquí tienes la explicación, traducida a un lenguaje cotidiano con analogías:

1. El Gran Espejo: La Dualidad Langlands

En matemáticas, existe una idea llamada Dualidad Langlands. Piensa en ella como un diccionario secreto o un traductor universal.

• Lado A (El mundo de las formas): Imagina un grupo de bailarines moviéndose en un escenario. Representan simetrías y formas geométricas.
• Lado B (El mundo de los números): Imagina que esos mismos movimientos se traducen en una partitura musical compleja o en un código de números.

La "Dualidad" dice que si entiendes perfectamente el baile (Lado A), automáticamente sabes tocar la música (Lado B), y viceversa. Es como si dos idiomas diferentes describieran exactamente la misma realidad.

2. El Problema: Un Baile con "Anomalías"

En este papel, los autores no estudian un baile normal. Estudian un escenario especial donde hay un "error" o una "anomalía" (como un zapato que pesa un poco más que el otro).

• El escenario: Tienen un grupo de simetrías llamado $SO(2n+1)$ (como un grupo de bailarines en un espacio con una dimensión extra) y otro llamado $Sp(2n)$ (bailarines en un espacio con reglas de "espejo" o simetría simpléctica).
• La anomalía: Cuando intentan traducir este baile al otro lado del espejo, las reglas cambian un poco. El espejo no solo refleja, sino que también "retuerce" la imagen. En matemáticas, esto se llama un "dual metapléctico". Es como si el reflejo en el espejo tuviera que usar gafas de sol especiales para verse bien.

3. La Misión del Papel: El "Contra-Ensayo"

En un trabajo anterior ([BFT]), estos mismos autores ya habían resuelto un lado del problema: habían visto cómo un tipo de baile (el "espacio mirabólico simpléctico") se traducía en el otro lado.

Lo que hacen en este nuevo papel es lo inverso:
Dicen: "Oye, si el baile A se traduce en la música B, ¿qué pasa si empezamos con la música B? ¿Podemos demostrar que nos devuelve al baile A?"

Lo que confirman es que el espejo funciona en ambas direcciones, incluso con la anomalía.

• El resultado: Demuestran que la estructura compleja que tienen al principio ($SO \times Sp$ actuando en un espacio tensorial) es, de hecho, el "reflejo perfecto" (o dual) de otro espacio geométrico muy famoso llamado "espacio simpléctico mirabólico" ($Sp \times Sp$).

4. La Analogía de la "Cocina Matemática"

Imagina que tienes dos recetas muy diferentes:

1. Receta A: Una sopa compleja hecha con ingredientes exóticos ($SO \times Sp$).
2. Receta B: Un pastel de capas muy estructurado ($Sp \times Sp$).

Antes, los autores habían demostrado que si cocinas la Receta A, obtienes un sabor que es idéntico al del pastel B (aunque parezcan distintos).
En este nuevo trabajo, prueban lo contrario: Si tomas el pastel B y lo "desconstruyes" con las herramientas correctas, obtienes exactamente la sopa A. Han probado que la relación es una equivalencia perfecta. No es que una sea mejor que la otra; son la misma cosa vista desde dos cocinas diferentes.

5. El "Teorema" Global: El Mapa del Tesoro

Además de resolver el problema local (en el laboratorio matemático), proponen una conjetura global.

• Lo local: Es como estudiar una sola pieza de un rompecabezas.
• Lo global: Es intentar ver la imagen completa del rompecabezas en un mapa gigante (el mundo entero, representado por una curva matemática).

Proponen que esta dualidad local se puede usar para predecir propiedades de "funciones L" (que son como códigos de barras matemáticos que guardan información profunda sobre los números).

• La analogía: Si la dualidad local es como saber que una llave abre una cerradura específica, la conjetura global dice: "Si usamos esta llave en todas las cerraduras del mundo, podemos predecir exactamente qué tesoros (números) hay escondidos detrás de cada una".

En Resumen

Este artículo es una pieza de un rompecabezas gigante. Los autores han demostrado que dos mundos matemáticos que parecían muy diferentes (uno con una "anomalía" o distorsión) son, en realidad, dos caras de la misma moneda. Han probado que el "espejo" de la dualidad Langlands funciona perfectamente en ambas direcciones para este caso específico, y han dibujado un mapa para aplicar esta regla a problemas aún más grandes en todo el universo matemático.

¿Por qué importa?
Porque cada vez que entendemos mejor cómo se conectan estas simetrías, obtenemos nuevas herramientas para descifrar los secretos más profundos de los números y la geometría, un poco como descubrir que la física de los átomos y la música tienen la misma estructura subyacente.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Relative Langlands Duality for osp(2n + 1|2n)" de Alexander Braverman, Michael Finkelberg, David Kazhdan y Roman Travkin.

1. Problema y Contexto

El trabajo se sitúa en el marco de la dualidad de Langlands relativa, una generalización de la dualidad de Langlands clásica que relaciona variedades simplécticas con grupos reductivos y sus duales. Específicamente, el artículo aborda la dualidad S (una simetría de tipo espejo en la teoría de campos cuánticos y geometría algebraica) en el contexto de variedades simplécticas que no son de tipo cotangente y que presentan "anomalías" (torsión en el haz de líneas determinante).

El problema central es establecer la equivalencia de categorías entre dos lados duales en un caso específico no tratado completamente en trabajos anteriores:

• Lado A (Espacio simpléctico): El espacio simpléctico $M = \mathbb{C}^{2n+1}_+ \otimes \mathbb{C}^{2n}_-$, donde $\mathbb{C}^{2n+1}_+$ es una representación ortogonal y $\mathbb{C}^{2n}_-$ es una representación simpléctica. Este espacio tiene una acción hamiltoniana del grupo $SO(2n+1) \times Sp(2n)$.
• Lado B (Espacio dual): El espacio simpléctico "mirabólico" $T^*Sp(2n) \times \mathbb{C}^{2n}_-$, con una acción de $Sp(2n) \times Sp(2n)$.

El artículo es una continuación de [BFT] (Braverman-Finkelberg-Travkin). Mientras que [BFT] demostró que el dual de $T^*Sp(2n) \times \mathbb{C}^{2n}_-$ es $M$, este trabajo prueba la conversación: que el dual de $M$ es el espacio mirabólico. Además, se formula una conjetura global que describe la correspondencia de theta en el lado espectral.

2. Metodología

Los autores emplean una combinación de teoría de representaciones, geometría algebraica, teoría de D-módulos y teoría de invariantes. La metodología se estructura de la siguiente manera:

A. Categorías de D-módulos y Álgebras de Weyl

El enfoque principal es construir una equivalencia de categorías trianguladas entre:

1. El lado espectral: Categorías de módulos perfectos sobre un dg-álgebra superconmutativa $A^\bullet$ construida a partir de funciones en el grupo $Sp(2n)$ y álgebras simétricas de sus álgebras de Lie y espacios vectoriales.
2. El lado geométrico: La categoría de objetos localmente compactos ($W\text{-mod}^{SO(V')O \times Sp(V)O, lc}$) en el módulo de D-módulos sobre el álgebra de Weyl completada $W$ asociada a $M_K = M \otimes \mathbb{C}((t))$, invariante bajo los grupos de lazo $SO(2n+1)_O \times Sp(2n)_O$.

B. Acciones de Hecke y Equivalencia de Satake

El núcleo de la prueba reside en identificar las acciones de Hecke en ambos lados:

• Se utiliza la equivalencia de Satake geométrica (y su versión derivada) para relacionar las categorías de D-módulos en las Grassmannianas afines con categorías de representaciones de grupos duales.
• Se demuestra que la acción de convolución de los grupos de Hecke esféricos sobre el objeto unidad $E_0$ (función delta en el origen) genera toda la categoría de interés.

C. Álgebras de Ext y Des-equivarización

Para probar la equivalencia, los autores:

1. Calculan el álgebra de Ext des-equivarizada $R\text{Hom}(E_0, E_0)$ en la categoría de módulos sobre el álgebra de Weyl.
2. Demuestran que esta álgebra es formal (cuasi-isomorfa a su cohomología con diferencial trivial).
3. Construyen un homomorfismo explícito desde el álgebra espectral $G^\bullet$ hacia esta álgebra de Ext.

D. Secciones de Weierstrass y Teoría de Invariantes

Un paso técnico crucial es el uso de una "pseudo-sección" (o sección de Weierstrass) $\Sigma$ en el espacio $sp(V) \oplus V$.

• Se define un subconjunto $\Sigma$ que permite parametrizar las órbitas genéricas de la acción del grupo.
• Se utiliza el Teorema de Localización para relacionar la cohomología equivariante con la restricción al origen.
• Se demuestra que el homomorfismo construido es un isomorfismo verificando que es inyectivo y que su imagen es regular (no tiene polos), utilizando propiedades de las secciones de Weierstrass y la estructura de las órbitas de coadjunta.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 2.2.1)

Se establece una equivalencia de categorías trianguladas:
$$D_{Sp(2n) \times Sp(2n)}^{perf}(A^\bullet) \xrightarrow{\sim} W\text{-mod}_{SO(2n+1)_O \times Sp(2n)_O, lc}$$
donde $A^\bullet$ es el álgebra dg-superconmutativa:
$$\mathbb{C}[Sp(V)] \otimes \text{Sym}^\bullet(\mathfrak{sp}(V)[-2]) \otimes \text{Sym}^\bullet(\Pi(V)[-1])$$
Esta equivalencia conmuta con las acciones de convolución de las categorías de Hecke esféricas.

Implicación: Esto confirma que el dual de S de la variedad simpléctica $M = \mathbb{C}^{2n+1}_+ \otimes \mathbb{C}^{2n}_-$ bajo la acción de $SO(2n+1) \times Sp(2n)$ es efectivamente el espacio mirabólico $T^*Sp(2n) \times \mathbb{C}^{2n}_-$ bajo la acción de $Sp(2n) \times Sp(2n)$. Se nota que debido a la anomalía (twisting por la raíz cuadrada del haz determinante), el segundo factor $Sp(2n)$ en el lado dual corresponde a su dual metapléctico (que en este caso es isomorfo a sí mismo, pero con una estructura de haz diferente).

Conjetura Global (Conjetura 1.5.1)

Los autores formulan una conjetura global que extiende el marco de [BZSV] a este caso con anomalía:

• Se define un haz de theta $\Theta$ en el stack de haces de bundles $\text{Bun}_{Sp(2n)}^\omega \times \text{Bun}_{SO(2n+1)}$.
• Se conjetura que la imagen de este haz bajo la dualidad geométrica de Langlands global es un haz $\Theta^\vee$ en el stack de sistemas locales de de Rham $\text{LocSys}_{Sp(2n)}(C) \times \text{LocSys}_{Sp(2n)}(C)$.
• Resultado Corolario 1.5.2: La composición de los funtores de correspondencia de theta actúa sobre un D-módulo propio de Hecke $A_E$ tensorialmente con el álgebra de Clifford $\text{Cliff}(H^1_{dR}(C, E))$. Esto se interpreta como una categorificación del valor de la función L en $s=1/2$.

4. Significado e Impacto

1. Completitud de la Dualidad Relativa: Este trabajo cierra el círculo de la dualidad S para el par de grupos $(SO(2n+1), Sp(2n))$ y sus representaciones tensoriales, demostrando la involutividad de la correspondencia en un caso con anomalía no trivial.
2. Manejo de Anomalías: Proporciona un marco riguroso para tratar casos donde la dualidad de Langlands requiere "twisting" (torsión) debido a la no trivialidad de haces de líneas, un fenómeno común en teorías de gauge supersimétricas (como las teorías 3d-3d o modelos de Gaiotto-Witten).
3. Conexión con Funciones L: La conjetura global conecta explícitamente la geometría de los haces de theta con los valores centrales de las funciones L a través de álgebras de Clifford, ofreciendo una perspectiva geométrica profunda sobre la correspondencia de periodos y funciones L (tema central de [BZSV]).
4. Herramientas Técnicas: El uso de secciones de pseudo-Weierstrass y el análisis detallado de las acciones de Hecke en categorías de D-módulos sobre álgebras de Weyl enriquece el arsenal de técnicas para la investigación futura en la dualidad de Langlands geométrica y la teoría de representaciones de grupos de Kac-Moody afines.

En resumen, el artículo es un avance fundamental en la comprensión de la dualidad de Langlands relativa para variedades simplécticas no cotangentes, estableciendo puentes sólidos entre la teoría de representaciones, la geometría algebraica y la física matemática.