Irreducible objects in the Gaiotto category at roots of unity

Resumen Técnico: Objetos Irreducibles en la Categoría de Gaiotto en Raíces de la Unidad

1. El Problema (Contexto y Motivación)

El artículo aborda una extensión de un teorema de R. Travkin y R. Yang, el cual fue inicialmente conjeturado por D. Gaiotto. El teorema original establece una equivalencia monoidal entre:

• La categoría de $D$-módulos $q$-retorcidos en el Grassmanniano afín $\text{Gr}_{GL_N}$, equivariantes respecto a un subgrupo específico de $GL_N$.
• La categoría de representaciones del supergrupo cuántico $U_q(\mathfrak{gl}(M|N))$.

Esta equivalencia se conoce para valores de $q$ genéricos (que no son raíces de la unidad). El problema central que plantea Popkovich es determinar si esta equivalencia se mantiene cuando $q$ es una raíz de la unidad (específicamente cuando $q^p = 1$ para un primo $p$). Dado que la equivalencia completa es difícil de probar directamente, el autor se enfoca en una condición necesaria: ¿Existe una bijección natural entre los conjuntos de objetos irreducibles de ambas categorías?

2. Metodología

Para resolver este problema, el autor emplea un principio de transferencia entre la teoría de grupos cuánticos y la teoría de grupos clásicos en característica positiva:

1. Principio de Analogía: Se asume que la categoría de representaciones de un grupo cuántico en una raíz de la unidad de orden $p$ está estrechamente relacionada con la categoría de representaciones de un supergrupo no cuántico (el supergrupo clásico $GL(M|N)$) sobre un campo de característica positiva $p$ ($\text{Rep}_p(GL(M|N))$).
2. Algoritmo de Serganova: Para caracterizar los pesos más altos de las representaciones irreducibles en el supergrupo bajo diferentes subálgebras de Borel (específicamente la subálgebra de Borel "mixta"), el autor utiliza una versión del algoritmo de Serganova formulada por Brundan y Kujawa. Este algoritmo permite transformar los pesos dominantes de la subálgebra de Borel estándar hacia la estructura de la subálgebra mixta.
3. Análisis de Órbitas: En el lado de la categoría de Gaiotto (el lado geométrico), el autor clasifica las órbitas del grupo en el Grassmanniano afín y determina cuáles son "relevantes" (aquellas que soportan los objetos irreducibles) mediante el estudio de estabilizadores y condiciones de carácter.

3. Contribuciones Clave

• Modificación de la Condición de Relevancia: El autor demuestra que, cuando $q^p = 1$, la condición de relevancia de las órbitas en el Grassmanniano afín debe modificarse. Mientras que en el caso genérico la condición de trivialidad del estabilizador requiere que ciertos valores sean exactamente cero, en el caso de raíces de la unidad, la condición se relaja a ser congruente a cero módulo $p$ ($\equiv 0 \pmod p$).
• Uso de la Subálgebra de Borel Mixta: El trabajo identifica que los objetos irreducibles en la categoría de Gaiotto están parametrizados por los pesos más altos de las representaciones del supergrupo $GL(M|N)$ con respecto a la subálgebra de Borel mixta, lo cual es una distinción crucial en la teoría de supergrupos (donde las subálgebras de Borel no son todas conjugadas).

4. Resultados Principales

El resultado culminante es el Teorema 10, que establece una correspondencia exacta:

Si $q^p = 1$ para un primo $p$, el conjunto de órbitas que soportan objetos irreducibles en la categoría de $D$-módulos $q$-retorcidos es idéntico (visto como un subconjunto del retículo de pesos integrales del supergrupo $GL(M|N)$) al conjunto de pesos más altos de los objetos irreducibles de la categoría de representaciones del supergrupo en característica $p$ ($\text{Rep}_p(GL(M|N))$) con respecto a la subálgebra de Borel mixta.

En términos de pesos $(\lambda, \theta)$, los objetos irreducibles están definidos por condiciones de orden (monotonía) y condiciones de congruencia:

• Si $\theta_i = \theta_{i+1}$, entonces $\theta_i + \lambda_i \equiv 0 \pmod p$.
• Si $\lambda_{i-1} = \lambda_i$, entonces $\theta_i + \lambda_i \equiv 0 \pmod p$.

5. Significado e Implicaciones

Este trabajo es significativo porque proporciona una evidencia combinatoria y estructural sólida para la conjetura de Gaiotto en el caso de raíces de la unidad. Al demostrar que los objetos irreducibles "encajan" perfectamente entre el mundo geométrico (Grassmanniano) y el mundo algebraico (supergrupos en característica $p$), el autor abre el camino para probar la equivalencia monoidal completa en estos casos más complejos. Además, profundiza en la comprensión de la estructura de los supergrupos y su comportamiento en características no nulas.