The derived moduli of perverse sheaves

Resumen Técnico: El Moduli Derivado de las Fibras Perversas

Planteamiento del Problema
El artículo aborda la construcción de espacios de módulos para fibrados perversos en variedades algebraicas complejas y variedades analíticas reales compactas. Mientras que los variedades de caracteres clásicas (que parametrizan representaciones de grupos fundamentales) y sus generalizaciones de tipo stack están bien comprendidas, extender estas construcciones de módulos al ámbito de los fibrados constructibles y perversos presenta desafíos significativos.

Los enfoques previos, como los de Gelfand, MacPherson y Vilonen [GMV96], se basan en representar los fibrados perversos como representaciones de un cuásicamino (quiver) específico con relaciones $Q(X, P)$. Este método sufre de dos limitaciones primarias:

1. Pobre Functorialidad: El cuásicamino $Q(X, P)$ depende de elecciones auxiliares (por ejemplo, embebimientos proyectivos), lo que dificulta controlar la dependencia del espacio de módulos respecto al espacio estratificado subyacente $(X, P)$ o variar la estratificación misma.
2. Ausencia de una Estructura Derivada Canónica: Los métodos estándar para construir mejoras derivadas de espacios de módulos (vía el corazón de una $t$-estructura en una $\infty$-categoría estable de tipo finito) fallan aquí. La categoría derivada de las representaciones de $Q(X, P)$ generalmente no es de tipo finito (por ejemplo, puede tener dimensión homológica infinita), e incluso cuando lo es, la estructura derivada resultante no coincide con la geométricamente esperada, la cual es sensible a la cohomología de la estratificación.

Metodología
Los autores emplean una síntesis de alto nivel entre la teoría de homotopía estratificada y la teoría de módulos de objetos en $\infty$-categorías estables.

1. La Teoría de Homotopía Estratificada como una Caja Negra: El artículo utiliza el marco de los espacios estratificados exodrómicos desarrollado en [HPT26]. En lugar de depender de representaciones de cuásicaminos, los autores utilizan la $\infty$-categoría de trayectorias de salida (exit-paths) $\Pi_\infty(X, P)$. Para espacios estratificados "buenos" (subanalíticos o algebraicos), la $\infty$-categoría de hiper-hiper-fibrados (hyperconstructible hypersheaves) es equivalente a la categoría de functores desde $\Pi_\infty(X, P)$ hacia la categoría de coeficientes.
2. Módulos de Objetos: Siguiendo a Toën y Vaquié [TV07], los autores construyen el stack de módulos de objetos para la gran $\infty$-categoría estable de complejos constructibles, $\text{Cons}_P(X; \text{Mod}_k)$. Una clave técnica fundamental es que, si bien esta categoría es a priori muy grande, las propiedades de finitud de la $\infty$-categoría de trayectoras de salida $\Pi_\infty(X, P)$ (probadas en [HPT26]) aseguran que la categoría de complejos constructibles con estigmas (stalks) perfectos sea de "tipo finito" en el sentido requerido para la representabilidad.
3. $t$-Estructura Perversa y Planitud: Los autores definen una $t$-estructura perversa en la categoría de hiper-fibrados constructibles relativa a una función de perversidad $p: P \to \mathbb{Z}$. Establecen que la condición de ser "perverso" corresponde a una condición de planitud relativa al anillo base. Crucialmente, demuestran que esta condición de planitud es una condición abierta (Teorema 3.3.5), lo que permite la extracción de los módulos de fibrados perversos como un sub-stack abierto del mayor módulo de complejos constructibles.

Contribuciones Clave y Resultados

• Construcción del Stack de Módulos Constructibles: El artículo construye un stack derivado geométrico $\text{Cons}_P(X)$ que parametriza complejos de fibrados $P$-constructibles con estigmas perfectos.

  • Teorema 3: Para un espacio estratificado subanalítico o algebraico compacto $(X, P)$, $\text{Cons}_P(X)$ es un stack derivado geométrico localmente de presentación finita.
  • Teorema 4: Los autores generalizan esto para permitir que la estratificación varíe, construyendo un stack derivado $\text{Cons}(X)$ que parametriza fibrados constructibles con respecto a alguna estratificación subanalítica (o algebraica).

• El Stack de Caracteres Perversos: Al recortar el sub-stack abierto de familias planas con respecto a la $t$-estructura perversa, los autores obtienen los módulos de fibrados perversos.

  • Resultado Principal: Para cualquier función de perversidad $p$, existe un sub-stack de Artin 1-abierto $\text{}_p\text{Perv}_P(X) \subset \text{Cons}_P(X)$.
  • Propiedades: Este stack es localmente de presentación finita y generaliza los stacks de caracteres habituales. A diferencia del enfoque de cuásicaminos, esta construcción es canónica y su complejo tangente es sensible a la cohomología de los estratos y sus enlaces (links).

• Álgebras de Cohomología de Hall (CoHA): Como demostración de la utilidad de la estructura derivada, los autores construyen un álgebra de cohomología de Hall perversa.

  • Aplicación: Para una superficie de Riemann con puntos marcados $X$, la homología de Borel–Moore del stack derivado de fibrados perversos admite un producto asociativo natural (convolución de Hall). Este resultado se apoya en la propiedad de compacidad de los esquemas Quot relevantes (establecida en [Lam25]) y las propiedades específicas del stack derivado construido en este trabajo.

Significancia y Reivindicaciones
El artículo afirma proporcionar una mejora derivada robusta y canónica para los módulos de fibrados perversos que supera las limitaciones de los enfoques basados en cuásicaminos.

• Estructura Derivada Canónica: La estructura derivada es intrínseca a la geometría de la estratificación. El complejo tangente en un punto refleja la cohomología de los estratos y los enlaces, una característica que no captura la categoría derivada de las representaciones de cuásicaminos.
• Generalidad: La construcción prescinde de la necesidad de supuestos de proyectividad y de estratificaciones de Whitney, trabajando en su lugar con espacios estratificados subanalíticos o algebraicos. También es aplicable a funciones de perversidad arbitrarias, no solo a la perversidad media.
• Fundamento para Trabajos Futuros: Los autores posicionan este trabajo como un paso fundacional. Señalan que la existencia de una estructura de Poisson desplazada canónica en estos stacks (mostrada recientemente por Christ–Lampetti [CL26]) y la construcción de buenos espacios de módulos (Lam [Lam25]) son continuaciones de los resultados presentados aquí. El artículo establece explícitamente que la construcción de la CoHA es una "primera pieza de evidencia" de que la estructura derivada es robusta.

Los autores enfatizan que su método depende de los teoremas de finitud de las $\infty$-categorías de trayectorias de salida de [HPT26] en lugar de la finitud homológica de cuásicaminos específicos, lo que les permite proceder en casos donde la segunda es desconocida o falla.