(Quasi-)affineness of perverse character varieties

Resumen Técnico: (Casi-)Afinedad de Variedades de Carácter Perversas

Enunciado del Problema
El artículo aborda la naturaleza geométrica de las variedades de carácter perversas, que sirven como espacios de móduli para haces perversos semisimples en un espacio estratificado $X$. Si bien las variedades de carácter clásicas (que parametrizan representaciones semisimples de un grupo fundamental) se sabe que son esquemas afines, la afinedad de sus generalizaciones a haces perversos —específicamente los "buenos espacios de móduli" asociados a los pilares de carácter perverso— no había sido establecida de manera puramente de pilares. El problema central es determinar si estos espacios de móduli son cuasi-afines, lo que significa que pueden ser incrustados como subesquemas abiertos de esquemas afines.

Metodología
Los autores emplean un enfoque puramente de pilares, evitando las construcciones de la Teoría de Invariantes Geométricos (GIT). Su metodología se basa en los siguientes pilares:

1. Buenos Espacios de Móduli: Utilizan la teoría de buenos espacios de móduli para pilares algebraicos (Alper, Halpern-Leistner, Heinloth). Un buen espacio de móduli $q: \mathcal{X} \to X$ es un espacio algebraico que se comporta como un cociente categórico, donde los puntos de $X$ corresponden a clases de isomorfismo de objetos poliestables en $\mathcal{X}$.
2. Criterio de Cuasi-Afinedad: Establecen que un buen espacio de móduli $X$ es cuasi-afín si y solo si su haz estructural $\mathcal{O}_X$ separa puntos poliestables (Corolario 2.1.6). Esto reduce el problema geométrico a uno algebraico: construir suficientes secciones globales del haz estructural para distinguir entre objetos semisimples no isomorfos.
3. Homología de Hochschild y Secciones Globales: La innovación técnica central es el uso de la homología de Hochschild ($HH$) de la categoría $\infty$-estable de haces constructibles, denotada $\text{Cons}_P(X; \text{Mod}_k)$. Siguiendo el marco de Toën-Vaquié y Antieau-Gepner, los autores utilizan el morfismo canónico:
   $$HOC: HH(\mathcal{C}) \to R\Gamma(\mathcal{M}_{\mathcal{C}}, \mathcal{O}_{\mathcal{M}_{\mathcal{C}}})$$
   donde $\mathcal{M}_{\mathcal{C}}$ es el pilar de móduli de objetos en $\mathcal{C}$. Este mapa permite la construcción de secciones globales del haz estructural del pilar de móduli directamente a partir de la homología de Hochschild de la categoría subyacente.
4. Recolección y Estratificación: Para manejar la naturaleza estratificada del espacio $X$, los autores utilizan el formalismo de recolección para haces constructibles. Esto les permite descomponer la homología de Hochschild de la categoría global en una suma directa de homologías de Hochschild de sistemas locales en los estratos (Lema 4.3.1).
5. Mapas de Trazo: Las secciones globales construidas mediante $HOC$ se describen explícitamente como trazas de monodromía. Para un lazo $\gamma$ en un estrato, la sección asociada evalúa un haz perverso semisimple $F$ en la traza de la monodromía de la restricción de $F$ a ese estrato (Corolario 4.3.2).

Contribuciones y Resultados Clave

• Teorema Principal (Corolario 5.2.6): Los autores demuestran que las variedades de carácter perversas son cuasi-afines. Específicamente, para un espacio estratificado de Whitney complejo $X$ y una función de perversidad $p$, el morfismo canónico
  $${}^p\text{Perv}_P(X) \to \text{Spec}(\Gamma({}^p\text{Perv}_P(X), \mathcal{O}_{{}^p\text{Perv}_P(X)}))$$
  es una inmersión abierta cuasi-compacta. Aquí, ${}^p\text{Perv}_P(X)$ denota el buen espacio de móduli (la variedad de carácter perversa).
• Separación de Puntos (Teorema 5.2.5): El artículo demuestra que las secciones globales derivadas de la homología de Hochschild son suficientes para separar puntos en el pilar de móduli. Específicamente, si dos haces perversos semisimples no son isomorfos, existe una sección global (construida a partir de trazas de monodromía en los estratos) que toma valores diferentes en ellos.
• Contexto Derivado: Los resultados se establecen dentro del marco de la geometría algebraica derivada. Los autores señalan que, por los resultados de Lurie, las afirmaciones derivadas y no derivadas son equivalentes, pero trabajar en el contexto derivado proporciona un marco natural para construir las secciones necesarias.
• Generalización a Haces Constructibles: Las técnicas se extienden al caso de la "perversidad trivial" (estructura t estándar), demostrando que el buen espacio de móduli de haces constructibles con estambres planos es también una unión disjunta de esquemas cuasi-afines (Corolario 5.2.7).

Significado y Afirmaciones
El artículo afirma que su contribución principal es proporcionar una manera efectiva e intrínseca de construir secciones globales del haz estructural de las variedades de carácter perversas sin depender de la GIT.

• "Más allá de la GIT": Los autores enfatizan que sus técnicas caen dentro de la teoría de móduli "Más allá de la GIT" (haciendo referencia a Alper-Halpern-Leistner), ofreciendo un enfoque más intrínseco a los problemas de móduli que no requiere una acción de grupo reductivo ni una linealización específica.
• Construcción Explícita: A diferencia de las pruebas de existencia abstractas, el artículo proporciona una descripción concreta de las secciones separadoras: son trazas de monodromía asociadas a lazos en los estratos del espacio subyacente.
• Alcance: Los resultados se aplican a cualquier perversidad para la cual existe la correspondiente variedad de carácter perversa, incluyendo la perversidad media (central en la teoría de módulos D y la correspondencia de Riemann-Hilbert) y la perversidad trivial.

El artículo no propone nuevas aplicaciones experimentales ni direcciones futuras más allá del contexto matemático inmediato de establecer la cuasi-afinedad de estos espacios de móduli. Se posiciona como un resultado fundamental en la geometría de haces perversos, cerrando la brecha entre la descripción de móduli mediante pilares y sus propiedades afines.