Semiorthogonal decompositions for stacks

Resumen Técnico: Descomposiciones Semiortogonales para Pila

Planteamiento del Problema
El artículo aborda la construcción de descomposiciones semiortogonales (SODs) sistemáticas para las categorías derivadas de haces coherentes, $\text{Coh}(X)$, sobre pilas algebraicas derivadas cuasi-suaves $X$ sobre $\mathbb{C}$. Aunque las SODs para pilas cociente lineales y espacios de módulos específicos (tales como los de representaciones de quivers o haces vectoriales sobre curvas) se han establecido en trabajos anteriores de Ballard–Favero–Katzarkov, Halpern-Leistner, Špenko–Van den Bergh y Pădurariu–Toda, estas construcciones a menudo dependían de estructuras lineales específicas o requerían condiciones de estabilidad restrictivas. El desafío radica en generalizar estas descomposiciones a una amplia clase de pilas cuasi-suaves no lineales que surgen en la teoría intrínseca de Donaldson–Thomas (DT), incluyendo pilas de módulos de $G$-fibrados, haces de Higgs, conexiones y sistemas locales para grupos reductivos generales $G$ (no limitados al tipo $A$).

Metodología
Los autores emplean el marco de la teoría intrínseca de Donaldson–Thomas (desarrollada en [17–19]) para definir una estructura combinatoria llamada retículo de componentes, denotado $\text{CL}_\mathbb{Q}(X)$. Este retículo codifica los co-caracteres y los grupos de Weyl de los grupos de automorfismos de los puntos en $X$.

La metodología procede a través de los siguientes pasos:

1. Retículo de Componentes y Puntos Graduados: La descomposición está indexada por el retículo de componentes racionalizado $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$. Cada elemento $\lambda$ corresponde a una pila de puntos graduados $X_\lambda$ y una pila de puntos filtrados $X^+_\lambda$.
2. Inducción de Hall: Los autores utilizan el functor de inducción de Hall $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$, definido mediante la correspondencia $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$. Este functor generaliza el functor de inducción parabólica.
3. Subcategorías Ventana: Para cada $\lambda$, se define una "subcategoría ventana" $W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$. Estas son subcategorías plenas determinadas por condiciones de peso relativas a la acción de $\mathbb{G}_m$ sobre $X_\lambda$, centradas por una función lineal $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$ y una norma cuadrática $q$ sobre el retículo.
4. Argumento de Local a Global:
   • Caso Lineal: La descomposición se establece primero para pilas cociente lineales $V/G$ donde $V$ es una representación cuasi-simétrica (Teorema 2.1.6).
   • Caso Suave: Utilizando el hecho de que las pilas suaves con buenos espacios de módulos están modeladas localmente en el sentido étale por cocientes lineales, el resultado se globaliza mediante argumentos de descenso (Teorema 3.2.3).
   • Caso Cuasi-Suave: Para pilas cuasi-suaves (que son modelos locales para pilas simplécticas desplazadas en $(-1)$), los autores utilizan la dualidad de Koszul para relacionar $\text{Coh}(X)$ con categorías de factorizaciones de matrices $\text{MF}(Y, f)$ sobre pilas suaves. La descomposición para factorizaciones de matrices (Teorema 3.5.4) se transfiere luego al entorno cuasi-suave (Teorema 4.1.3).
5. Soportes Singulares: La construcción se refina para incluir subcategorías de objetos con soporte singular contenido en un subconjunto cerrado saturado $Z \subset |T^*[-1]X|$ (Teorema 4.3.3).

Contribuciones y Resultados Clave
El artículo proporciona una construcción unificada de SODs para una amplia gama de pilas de módulos. Los resultados principales son:

• Descomposición General (Teorema 4.1.3): Para una pila derivada qca, cuasi-simétrica y cuasi-suave $X$ con un buen espacio de módulos, existe una SOD:
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  Los sumandos están indexados por el retículo de componentes, ordenados por la norma $q$ de $\lambda$. Los funtores $\star_\lambda$ son plenamente fieles, y sus imágenes son admisibles y $\text{Perf}(X)$-lineales.

• Descomposición por Soporte Singular (Teorema 4.3.3): Existe una descomposición paralela para $\text{Coh}_Z(X)$, la subcategoría de haces coherentes con soporte singular en un subconjunto saturado $Z$. Esto es particularmente relevante para el cono nilpotente.

• Factorizaciones de Matrices (Teorema 3.5.4): Se construye una SOD para la categoría de factorizaciones de matrices $\text{MF}(X, f)$ sobre una pila suave, que sirve como modelo local para categorías críticas en la teoría DT.

• Aplicaciones Concretas: La teoría se aplica para obtener SODs explícitas para:

  • Pilas de módulos de $G$-fibrados semiestables ($\text{Bun}^{ss}_G$), haces de Higgs $G$-Higgs ($\text{Higgs}^{ss}_G$) y conexiones $G$-conexiones ($\text{Conn}_G$) sobre curvas.
  • Pilas de módulos de sistemas locales $G$-local ($\text{Loc}_G$) sobre 2-variedades.
  • Pilas de módulos de representaciones semiestables de quivers y álgebras preproyectivas.
  • Pilas de módulos de haces coherentes semiestables sobre superficies.

En estos ejemplos, los sumandos están indexados por subgrupos de Levi $L \subset G$ y parámetros de peso específicos, generalizando resultados anteriores que a menudo se restringían a $GL(n)$ o requerían condiciones de ordenamiento complejas.

Significado y Afirmaciones
El artículo afirma proporcionar una construcción sistemática y general que elimina las restricciones anteriores sobre el tipo de grupo reductivo (permitiendo grupos no de tipo $A$) y la naturaleza de la pila (pasando de categorías lineales a pilas intrínsecas de DT).

• Simplificación del Ordenamiento: Los autores señalan que su enfoque produce una descripción mucho más simple del ordenamiento de los sumandos en comparación con trabajos anteriores (p. ej., [64; 68; 71]). El orden está determinado por la norma $q$ de los elementos del retículo, mientras que los métodos anteriores a menudo requerían refinamientos de estabilidad intrincados o desigualdades complicadas.
• Teoría Categórica de DT: Las descomposiciones se presentan como análogos categóricos de la integralidad cohomológica. Los sumandos, denominados categorías cuasi-BPS, tienen la intención de categorificar los invariantes BPS. El artículo señala que, aunque los invariantes aditivos (como la homología cíclica periódica) no recuperan directamente la descomposición de integralidad cohomológica, se espera que la estructura de estas categorías sea fundamental para comprender la teoría categórica de DT y las estructuras BPS.
• Langlands Geométrico: Las descomposiciones para pilas como $\text{Conn}_G$ y $\text{Loc}_G$ están vinculadas al programa de Langlands geométrico. Los autores formulan una versión refinada de la conjetura de Langlands geométrica de Dolbeault y una conjetura similar para el entorno de de Rham (Conjetura 4.4.9), sugiriendo que las subcategorías ventana corresponden a categorías microlocales específicas de módulos D bajo la equivalencia de Langlands.
• Limitaciones: Los autores declaran modestamente que no prueban la equivalencia de estas descomposiciones categóricas con la descomposición de la cohomología BPS mediante invariantes aditivos, ni caracterizan completamente la estructura de las categorías cuasi-BPS (por ejemplo, si son resoluciones no conmutativas). Estos se identifican como direcciones para trabajos futuros.

En resumen, el artículo establece un marco combinatorio robusto para descomponer categorías derivadas de haces coherentes sobre pilas cuasi-suaves, unificando diversos resultados conocidos y extendiéndolos a un contexto geométrico más amplio central para la geometría enumerativa moderna y la teoría de representaciones.