Quot spaces in tilted hearts and Hall algebra modules

Resumen Técnico: Espacios Quot en corazones inclinados y módulos de álgebras de Hall

Planteamiento del Problema
El artículo aborda la construcción de una acción categórica bilateral de un álgebra de Hall asociada con la categoría de haces semiestables de pendiente $\beta$ fija sobre una curva proyectiva compleja suave $X$. Si bien las Álgebras de Hall Cohomológicas (CoHA) son bien comprendidas como álgebras asociativas que actúan sobre la cohomología de los stacks de módulos, construir un "doble" (una acción simultánea por izquierda y derecha) que respete la estructura algebraica es un desafío significativo. La propiedad geométrica requerida para codificar tal acción es un "patrón de Hecke", donde los objetos estables permanecen estables bajo extensiones por otros objetos. Tales patrones son raros en configuraciones geométricas generales. La dificultad específica radica en que la categoría de haces semiestables sobre una curva tiene dimensión homológica 1 pero no es finitaria, lo que complica los enfoques algebraicos estándar de los dobles.

Metodología
El autor emplea una estrategia arraigada en la geometría algebraica derivada y la teoría de condiciones de estabilidad de Bridgeland, siguiendo la filosofía establecida en los trabajos de Diaconescu, Porta y Sala [8]. La metodología procede a través de varias etapas clave:

1. Construcción del Álgebra de Hall Categórica: El artículo utiliza el lenguaje de stacks derivados y espacios 2-Segal para construir el álgebra de Hall categorificada (CatHA) para la categoría $\text{Coh}^{ss}_\beta(X)$. Esto implica definir un stack derivado simplicial de extensiones y aplicar una construcción de Waldhausen para dotar a la $\infty$-categoría estable de haces coherentes sobre el stack de una estructura monoidal $E_1$.
2. Inclinación y Pares de Torsión: Para definir el espacio de módulos, el autor introduce una familia de corazones inclinados (tilted hearts) $\mathcal{A}_\beta \subset D^b(\text{Coh}(X))$. Esto se logra mediante la inclinación de la estructura t estándar con respecto a un par de torsión $(\mathcal{F}_\beta, \mathcal{T}_\beta)$ definido por la pendiente $\beta$. El corazón $\mathcal{A}_\beta$ permite la definición de "espacios Quot" dentro de una categoría abeliana no estándar.
3. Comparación de Espacios de Módulos: Un componente técnico crucial es la identificación del stack derivado de pares-$V$ $\beta$-estables (definidos vía secuencias fibradas en el corazón inclinado) con otros espacios de módulos. Específamente, el artículo establece que, para un haz de líneas $L$ de pendiente menor que $\beta$, el espacio Quot $\text{Quot}_\beta(X, L[1])$ en el corazón inclinado coincide con la truncación clásica del stack derivado de pares estables y es un subesquema abierto del espacio de módulos de pares de Bradlow semiestables.
4. Construcción del Patrón de Hecke: La acción es inducida por stacks de correspondencia que parametrizan extensiones.
   • Acción por Izquierda: Construida a través de un stack de extensiones donde un par estable es extendido por un haz semiestable en la categoría desplazada $\text{Coh}^{ss}_\beta(X)[1]$. La asociatividad depende de la propiedad de que, si el cociente de un par es estable y el término de extensión es semiestable, el par resultante es estable.
   • Acción por Derecha: Construida a través de un stack de "copares" (secuencias fibradas rotadas). El autor define un patrón de Hecke dual donde la extensión ocurre en la dirección opuesta, requiriendo la estabilidad del copar resultante.
5. Verificación Geométrica: La validez de las operaciones de pull-push que definen la acción depende de demostrar que morfismos específicos en los diagramas de correspondencia son propios y de intersección completa local derivada (lci). Estas demostraciones dependen fuertemente de las propiedades de los corazones inclinados, particularmente la apertura de la planitud y el comportamiento de los pares de torsión bajo extensiones.

Contribuciones Clave y Resultados

• Teorema 1 (Resultado Principal): El artículo demuestra que la pro-$\infty$-categoría $\text{Coh}^b(\text{Quot}_\beta(X, L[1]))$ posee la estructura de un módulo categórico tanto por izquierda como por derecha sobre el CatHA de haces semiestables de pendiente $\beta$. Consecuentemente, la K-teoría $G_0$ y la homología de Borel-Moore $H^{BM}_*$ de estos espacios Quot heredan estructuras de módulo sobre los correspondientes álgebras de Hall.
• Identificación de Espacios de Módulos: El artículo conecta rigurosamente tres problemas de módulos distintos en curvas:
  1. Espacios Quot en el corazón inclinado $\mathcal{A}_\beta$.
  2. Pares-$V$ $\beta$-estables (en el sentido de [8]).
  3. Pares de Bradlow semiestables (derivados de ecuaciones de vórtice).
     Específicamente, muestra que $\text{Quot}_\beta(X, L[1])$ es un subesquema abierto del espacio de módulos grueso de pares de Bradlow semiestables.
• Acción Bidireccional vía Inclinación: La construcción demuestra que trabajar en diferentes estructuras t (el corazón estándar para las propiedades geométricas de la acción por derecha y el corazón inclinado para las condiciones de estabilidad de la acción por izquierda) es esencial para establecer las propiedades necesarias de properidad y lci para los mapas de correspondencia.
• Dinámica de las Acciones Izquierda vs. Derecha: El artículo clarifica el comportamiento topológico de las acciones: los operadores de la acción por izquierda disminuyen el tipo topológico (clase de Chern) de los objetos, mientras que los operadores de la acción por derecha lo aumentan.

Significancia y Reivindicaciones
El artículo afirma proporcionar una construcción sistemática de una acción categórica bidireccional para álgebras de Hall asociadas con haces semiestables en curvas, un entorno donde la categoría no es finitaria. Al establecer la conexión entre los espacios Quot en corazones inclinados, los pares estables y los pares de Bradlow, el autor crea el marco geométrico necesario (patrones de Hecke) para definir estas acciones.

La significancia reside en:

1. Extensión de la Construcción del Doble: Ofrece una realización geométrica del "doble" de un álgebra de Hall en un contexto que involucra curvas y categorías no finitarias, complementando resultados existentes para superficies y quivers.
2. Unificación de Espacios de Módulos: Une explícitamente la brecha entre la geometría algebraica de los esquemas Quot en corazones inclinados y la geometría analítica de los pares de Bradlow, mostrando que describen los mismos objetos geométicos subyacentes bajo condiciones de estabilidad específicas.
3. Marco Categórico: El trabajo opera al nivel de categorías derivadas y $\infty$-categorías, proporcionando una acción "categorificada" refinada que eleva las acciones cohomológicas clásicas.

El autor señala que, aunque la construcción es robusta para $\beta$ racional (donde el corazón inclinado es noetheriano), la properidad de los espacios Quot para $\beta$ irracional sigue siendo un punto técnico abierto, aunque la acción categórica se define mediante pro-categorías para manejar casos generales. El artículo no pretende calcular el álgebra doble resultante de forma explícita, sino que se enfoca en la existencia y las propiedades estructurales de la acción de módulo.