A mathematical definition of Coulomb branches of supersymmetric gauge theories and geometric Satake correspondences for Kac-Moody Lie algebras

Título: Ramas de Coulomb y la Correspondencia Geométrica de Satake para Álgebras de Lie de Kac-Moody
Autor: Hiroshi Nakajima

1. Problema y Motivación

El artículo aborda la necesidad de una definición matemática rigurosa de las "ramas de Coulomb" que surgen en teorías de gauge supersimétricas $\mathcal{N}=4$ tridimensionales. Si bien estos objetos fueron estudiados extensamente en física teórica, carecían de una formulación algebraico-geométrica precisa. El autor, junto con Braverman y Finkelberg, introdujo previamente una nueva clase de variedades algebraicas denominadas ramas de Coulomb y sus deformaciones no conmutativas (cuantizaciones). La motivación principal de este trabajo es proporcionar una definición matemáticamente estricta de estas ramas y explorar su relación con la teoría de representaciones de las álgebras de Lie de Kac-Moody.

Específicamente, el artículo tiene como objetivo:

• Definir las ramas de Coulomb y sus cuantizaciones utilizando homología equivariante y álgebras de convolución.
• Establecer una "Correspondencia Geométrica de Satake" para álgebras de Lie de Kac-Moody, extendiendo la correspondencia clásica (que relaciona la geometría de la Grassmanniana afín con las representaciones de álgebras de Lie simples de dimensión finita) al contexto de dimensión infinita.
• Investigar la relación entre las ramas de Coulomb y las ramas de Higgs (variedades de quiver) mediante la dualidad simpléctica.

2. Metodología

La metodología central se basa en la homología equivariante y los productos de convolución dentro del marco de espacios de dimensión infinita.

• La Variedad de Tres Cuerpos ($R$): Para un grupo reductivo complejo $G$ y una representación de dimensión finita $N$, el autor define un espacio $R$ (la "variedad de tres cuerpos") como una subvariedad cerrada de un fibrado vectorial sobre la Grassmanniana afín $Gr_G$. $R$ consiste en pares $(g(z), s(z))$ donde $g(z) \in G(\mathcal{K})$ y $s(z) \in N(\mathcal{O})$ tales que $g(z)s(z) \in N(\mathcal{O})$. Aquí, $\mathcal{K} = \mathbb{C}((z))$ y $\mathcal{O} = \mathbb{C}[[z]]$.
• Álgebra de Convolución: La rama de Coulomb se define como el espectro del anillo de homología equivariante $H^*_{G(\mathcal{O})}(R)$. Se define un producto de convolución en este anillo de homología, análogo a la convolución en la correspondencia geométrica de Satake para grupos de dimensión finita.
• Cuantización: Mediante la introducción de una acción de $\mathbb{C}^\times$ (rotación de bucles) y considerando la homología equivariante con respecto a $G(\mathcal{O}) \rtimes \mathbb{C}^\times$, el autor construye una deformación no conmutativa de la rama de Coulomb, denotada $A_\hbar$. Esto sirve como la cuantización.
• Localización: El artículo utiliza el teorema de localización para la homología equivariante para analizar la estructura de estos anillos, relacionándolos con conjuntos de puntos fijos bajo acciones de toros.

3. Contribuciones y Resultados Clave

A. Definición Matemática de las Ramas de Coulomb

El artículo proporciona la definición de la rama de Coulomb $M_C$ como la variedad afín $\text{Spec}(H^*_{G(\mathcal{O})}(R))$.

• Se demuestra que $H^*_{G(\mathcal{O})}(R)$ es un dominio integral, conmutativo y finitamente generado, lo que convierte a $M_C$ en una variedad afín normal e irreducible.
• Se muestra que la cuantización $A_\hbar$ es una deformación no conmutativa de $M_C$, portando una estructura de Poisson.

B. Ejemplos y Cálculos Explícitos

El autor proporciona cálculos explícitos para casos específicos para ilustrar la teoría:

• Caso del Toro: Cuando $G$ es un toro y $N=0$, la rama de Coulomb se identifica con $t \times T^\vee$ (donde $t$ es el álgebra de Lie del toro y $T^\vee$ es el toro dual). La cuantización corresponde al anillo de operadores de diferencia $\hbar$.
• Singularidades Simples: Para $G=\mathbb{C}^\times$ y $N=\mathbb{C}$, la rama de Coulomb se identifica con la singularidad simple $A_1$ ($xy=w$). Para $N=\mathbb{C}^{\oplus \ell}$, produce la singularidad $A_{\ell-1}$.
• Variedades Hiperkähler Toricas: Cuando $G$ es un toro actuando sobre un espacio vectorial, la rama de Coulomb se identifica con la reducción hamiltoniana de un fibrado cotangente por el toro dual, recuperando variedades hiperkähler toricas.

C. Teorías de Gauge de Quiver y Álgebras de Kac-Moody

El artículo se centra intensamente en las teorías de gauge de quiver, donde $G$ es un producto de grupos lineales generales asociados a los vértices de un quiver $Q$.

• Tipo Finito: Para quivers de tipo finito (ADE), la rama de Coulomb es isomorfa a una sección transversal generalizada $W^\lambda_\mu$ en la Grassmanniana afín del grupo de Lie simple correspondiente $G$.
• Tipo Afín: Para quivers de tipo afín A, la rama de Coulomb está relacionada con la Grassmanniana afín del álgebra de Lie afín.
• Cuantización y Yangianos: La rama de Coulomb cuantizada para estos casos se identifica con un cociente de un Yangiano desplazado.

D. Correspondencia Geométrica de Satake para Álgebras de Kac-Moody

La conjetura central del artículo es la extensión de la Correspondencia Geométrica de Satake a las álgebras de Lie de Kac-Moody.

• Conjetura: La homología superior del "conjunto de atracción" $A_\chi(\lambda, \mu)$ (definido mediante límites bajo un subgrupo uniparamétrico $\chi$) dentro de la rama de Coulomb porta la estructura de una representación de peso máximo integrable del álgebra de Lie de Kac-Moody dual de Langlands $g^\vee$.
• Productos Tensoriales: El artículo también propone una construcción geométrica para productos tensoriales de representaciones utilizando deformaciones de la rama de Coulomb asociadas a simetrías de sabor.
• Estado de la Demostración: El autor señala que esta conjetura ha sido demostrada para:
  • Tipo finito (reduciéndose a la Correspondencia Geométrica de Satake clásica).
  • Tipo afín A (demostrado por Nakajima y otros).
  • El caso general permanece como una conjetura.

E. Dualidad Simpléctica

El artículo discute la relación entre las ramas de Coulomb y las ramas de Higgs (variedades de quiver).

• Destaca que la rama de Coulomb de una teoría $(G, N)$ a menudo es dual simplécticamente a la rama de Higgs de una teoría dual.
• Específicamente, para acciones de toros, la rama de Coulomb de una teoría es la reducción hamiltoniana del fibrado cotangente del espacio de representación de la teoría dual, que es la rama de Higgs de la dual.

4. Significado y Afirmaciones

El artículo afirma proporcionar la primera definición matemática rigurosa de las ramas de Coulomb, trasladándolas de la intuición física a la geometría algebraica.

• Unificación: Unifica el estudio de las Grassmannianas afines, las variedades de quiver y la teoría de representaciones de las álgebras de Kac-Moody bajo un único marco.
• Extensión de Satake: Propone una generalización natural de la Correspondencia Geométrica de Satake al contexto de dimensión infinita de las álgebras de Kac-Moody, sugiriendo que la geometría de las ramas de Coulomb codifica la teoría de representaciones de estas álgebras.
• Cuantización: Establece un vínculo concreto entre la cuantización de estos objetos geométricos y álgebras bien conocidas en la física matemática, como los Yangianos y las álgebras de Hecke afines dobles (DAHA).

El autor enfatiza que, aunque las definiciones son rigurosas, la demostración completa de la Correspondencia Geométrica de Satake para álgebras de Kac-Moody generales sigue siendo un problema abierto, con demostraciones disponibles actualmente solo para tipos finitos y afines específicos. El artículo sirve como un texto fundacional y una hoja de ruta para futuras investigaciones en esta intersección entre geometría y teoría de representaciones.