Moduli Space of Sheaves and Categorified Commutator of Functors

Resumen Técnico: Espacio de Móduli de Haces y Conmutador Categorificado de Functores

Planteamiento del Problema
Este artículo aborda el problema de la construcción de una categorificación débil de la acción del álgebra toroidal cuántica $U_{q_1,q_2}(\ddot{\mathfrak{gl}}_1)$ sobre la K-teoría del espacio de módulos de haces estables sobre una superficie algebraica suave y proyectiva $S$. Mientras que Negut había construido previamente esta acción en el grupo de Grothendieck (K-teoría) y proporcionó una categorificación débil de la parte positiva del álgebra (elevando las relaciones de los generadores $e_i$ a categorías derivadas), la categorificación del álgebra completo, específicamente las relaciones del conmutador entre los generadores $e_i$ y $f_j$, seguía siendo un problema abierto. El desafío central radica en elevar estas relaciones del conmutador al nivel de las categorías derivadas de haces coherentes, lo cual requiere una comprensión geométrica precisa de la interacción entre los espacios de módulos anidados de haces.

Metodología
El autor emplea técnicas de geometría algebraica derivada y teoría de intersección para analizar la geometría de los espacios de módulos anidados, triples y cuádruples de haces estables. La metodología procede a través de los siguientes pasos:

1. Configuración Geométrica: El artículo fija una superficie suave y proyectiva $S$ con una línea de amplitud $H$ y considera el espacio de módulos $M_k$ de haces de Gieseker $H$-estables con rango $r$ fijo y primera clase de Chern $c_1$, variando únicamente la segunda clase de Chern $k$. El autor asume $\gcd(r, c_1 \cdot H) = 1$ y condiciones específicas sobre el haz canónico $q = K_S$ para asegurar la suavidad y las propiedades de estabilidad.
2. Espacios de Módulos Anidados: El estudio se centra en el espacio de módulos anidado $Z_{k,k+1}$, que consiste en pares $(F_{-1} \subset_x F_0)$ donde $F_0 \in M_k$ y $F_0/F_{-1} \cong \mathbb{C}_x$. Este espacio se identifica con la proyectivización de un complejo de haces universales.
3. Espacios Triples y Cuádruples: El autor introduce espacios de módulos triples $Z^\bullet_{k-1,k,k+1}$ (triples de haces con un punto de soporte común) y espacios de módulos cuádruples $Y$ (cuádruples que involucran dos haces intermedios $F_0$ y $F'_0$).
4. Blow-ups Intrínsecos: Una innovación técnica clave es la descripción del espacio de módulos cuádruple $Y$ mediante blow-ups (explosiones) intrínsecos. El autor demuestra que $Y$ es isomórfico al blow-up intrínseco de los espacios de módulos triples $Z_-$ y $Z_+$ a lo largo de sus respectivos diagonales. Esta isomorfía se establece analizando los espacios tangentes y los haces normales, mostrando que las morfismos desde $Y$ hacia los blow-ups son bijecciones en puntos cerrados y que los espacios son suaves.
5. Categorías Derivadas y Transformadas de Fourier-Mukai: El artículo utiliza transformadas de Fourier-Mukai con núcleos definidos en los productos de los espacios de módulos y la superficie $S$. Los functores $e_i$ y $f_i$ se definen como núcleos que involucran haces de líneas en los espacios de módulos anidados. Los conmutadores $e_i f_j$ y $f_j e_i$ se analizan computando las imágenes directas de estos núcleos a través de los mapas geométricos establecidos en los pasos anteriores.
6. Construcción de Complejos: El autor construye complejos explícitos $C^{a,b}_{i,j}$ y $h^{a\pm}_i$ en la categoría derivada acotada de haces coherentes. Estos complejos se construyen utilizando complejos de Koszul y truncamientos asociados a los divisores excepcionales de los blow-ups.

Contribuciones Clave y Resultados

• Teorema 3.1 (Isomorfismo Geométrico): El artículo establece que el espacio de módulos cuádruple $Y$ es isomórfico al blow-up intrínseco de los espacios de módulos triples $Z_-$ y $Z_+$ a lo largo de los subesquemas diagonales. Esto proporciona una nueva descripción de intersección para $Y$ que es crucial para computar las imágenes directas derivadas.
• Teorema 4.1 (Conmutador Categorificado): El resultado principal es la construcción de una categorificación débil de la acción de Negut para todo el álgebra toroidal cuántico. Específicamente, el artículo proporciona descomposiciones explícitas para la composición de los functores $f_i e_j$ y $e_i f_j$ en la categoría derivada.
  • Para $i+j \neq 0$, las composiciones se muestran como isomórficas a objetos específicos $C^{a,b}_{i,j}$ construidos a partir del haz universal $U_k$ y su dual derivado.
  • Para $i+j = 0$, el artículo demuestra la descomposición:
    $$f_i e_i \cong R\iota_* e_i f_i \oplus \bigoplus_{a=-r+1}^{0} R\Delta_{S*}(q^{-a} \det(U_k)^{-1} \mathcal{O}_{M_k \times S})[1 - 2a - r]$$
    donde $\iota$ es una involución y $\Delta_S$ es la inmersión diagonal.
  • Los conos de los morfismos que relacionan $e_i f_j$ y $f_j e_i$ están filtrados por combinaciones de potencias simétricas y exteriores del haz universal $U_k$ y su dual derivado.
• Fórmulas Explícitas: El artículo proporciona fórmulas explícitas para los complejos $h^{a\pm}_i$ que aparecen en los triángulos exactos, expresándolos en términos de potencias simétricas y exteriores del haz universal tensorado con el haz canónico y su determinante.

Significancia
El artículo afirma completar la categorificación débil de la acción de Negut sobre la K-teoría de los espacios de módulos de haces estables. Mientras que Negut ya había elevado las relaciones de la parte positiva del álgebra toroidal cuántico a las categorías derivadas, este trabajo extiende dicho resultado a todo el álgebra al elevar las relaciones del conmutador entre los generadores $e_i$ y $f_j$.

La significancia reside en:

1. Generalización: Generaliza la categorificación de las acciones del álgebra de Heisenberg (estudiadas por Nakajima, Grojnowski y Baranovsky en cohomología) al álgebra toroidal cuántica en el entorno de la K-teoría.
2. Perspectiva Geométrica: Las nuevas descripciones de intersección de los espacios de módulos cuádruples vía blow-ups proporcionan un marco geomético robusto para manejar categorías derivadas en este contexto, particularmente cuando el rango $r > 1$ y los espacios de módulos no son equidimensionales o de Cohen-Macaulay.
3. Fundamento para Trabajos Futuros: El autor señala que, aunque las relaciones del conmutador ya han sido categorificadas, otras relaciones en el álgebra toroidal cuántica (específicamente aquellas que surgen de su presentación vía el álgebra de Hall elíptica) aún deben ser categorificadas. Este trabajo establece la base geométrica y categórica necesaria para tales investigaciones futuras.

El artículo no pretende resolver la categorificación de las relaciones del álgebra de Hall elíptica ni de las relaciones del álgebra $A_{q,t}$, ni propone nuevas aplicaciones experimentales. Su alcance está estrictamente limitado a la construcción geométrica de los conmutadores categorificados para la acción del álgebra toroidal cuántica sobre la categoría derivada del espacio de módulos.