Faithful perversities

Aquí se presenta un resumen técnico detallado del artículo "Faithful Perversities" de Alessio Cipriani y Jon Woolf.

1. Planteamiento del Problema y Contexto

El artículo investiga la relación entre la estructura algebraica de las categorías de haces perversos y las propiedades topológicas de los espacios estratificados subyacentes.

• Antecedentes: Los haces perversos, introducidos por Beilinson, Bernstein y Deligne (BBD), constituyen el corazón de una estructura $t$ acotada en la categoría derivada constructible $D_c(X)$ de un espacio estratificado $X$. Desempeñan un papel crucial en la topología singular, la teoría de representaciones y la teoría de Hodge.
• La Pregunta Central: ¿Bajo qué condiciones es la categoría de haces perversos, denotada $p\text{Perv}(X)$, un corazón fiel?
  • Un corazón $\mathcal{H} \subset \mathcal{D}$ es fiel si el funtor de realización $D^b(\mathcal{H}) \to \mathcal{D}$ es una equivalencia.
  • Significado: Si $p\text{Perv}(X)$ es fiel, la información topológica contenida en la categoría derivada $D_c(X)$ es totalmente accesible a través del álgebra de la categoría abeliana $p\text{Perv}(X)$ (específicamente, como módulos sobre un álgebra de dimensión finita). Esto permite calcular invariantes topológicos de manera algebraica y viceversa.
• Brecha: Si bien la fidelidad es conocida en casos específicos (por ejemplo, complejos simpliciales, variedades complejas lisas con estratificaciones afines), faltaba una caracterización general para espacios estratificados topológicamente y una comprensión sistemática de la dimensión global y los cálculos cohomológicos.

2. Metodología

Los autores emplean una síntesis de álgebra categórica y topología estratificada:

1. Marco Categórico:

   • Utilizan la teoría de las categorías de peso máximo y las colecciones excepcionales.
   • Introducen la noción de corazones fielmente seriados, definidos mediante una filtración gruesa admisible donde cada paso es un corazón fiel.
   • Aprovechan el concepto de corazones pegados (recolecciones) y pares duales de colecciones excepcionales (objetos estándar y costándard).
   • Se basan en la equivalencia entre la categoría derivada constructible y la categoría derivada de módulos sobre un álgebra de dimensión finita cuando el corazón es fiel.

2. Herramientas Topológicas:

   • Analizan espacios estratificados topológicamente (en el sentido de Goresky-MacPherson) con un número finito de estratos.
   • Utilizan enlaces pares ($L_{S<T}$) entre estratos para caracterizar obstrucciones topológicas locales.
   • Aplican teoremas de anulación de cohomología hiper e inducción sobre la profundidad de la estratificación.

3. Síntesis:

   • Los autores traducen condiciones topológicas (anulación de cohomología en enlaces) a condiciones categóricas (exactitud de functores, colecciones excepcionales) para caracterizar la fidelidad.
   • Utilizan resoluciones proyectivas del haz constante para calcular la cohomología hiper, cerrando la brecha entre resoluciones algebraicas e invariantes topológicos.

3. Contribuciones y Resultados Clave

A. Caracterización de Corazones de Peso Máximo Fieles (Teorema A)

El artículo establece una equivalencia fundamental para categorías trianguladas algebraicas $\mathcal{D}$. Para un corazón $\mathcal{H} \subset \mathcal{D}$, son equivalentes:

1. $\mathcal{H}$ es fiel y de peso máximo.
2. La secuencia de objetos estándar $(\Delta_0, \dots, \Delta_n)$ forma una colección excepcional completa, y la secuencia de objetos costándard $(\nabla_n, \dots, \nabla_0)$ es su par dual izquierdo.
3. $\mathcal{H}$ contiene un par dual de colecciones excepcionales completas.
4. $\mathcal{H}$ es fielmente seriado y pegado a lo largo de una colección excepcional.

Significado: Esto proporciona un criterio puramente algebraico para la fidelidad en el contexto de haces perversos, vinculándolo directamente con la existencia de colecciones excepcionales específicas.

B. Caracterización Topológica de Haces Perversos Fieles (Teorema B)

Para un espacio estratificado topológicamente $X$ con un número finito de estratos contractibles, la categoría $p\text{Perv}(X)$ es un corazón fiel de peso máximo si y solo si:

1. Los functores $i_{S*}$ e $i_{S!}$ (inclusión de un estrato) son $t$-exactos.
2. Anulación Cohomológica: Para cualquier par de estratos distintos $S \subset T$, el enlace par $L_{S<T}$ satisface:
   $$H^{>p(S)-p(T)}(L_{S<T}) = 0 \quad \text{y} \quad H^{<p(S)-p(T)-1}_c(L_{S<T}) = 0$$
   donde $p$ es la función de perversidad.

Significado: Esto proporciona una prueba topológica concreta para la fidelidad. Generaliza resultados anteriores (por ejemplo, de Polischuk y Beilinson-Ginzburg-Soergel) y aclara que la fidelidad depende de la anulación de grupos de cohomología específicos de los enlaces entre estratos.

C. Límites sobre la Dimensión Global (Teorema C)

Los autores prueban límites sobre la dimensión global ($\text{gldim}$) de la categoría de haces perversos:

• Límite General: Para cualquier $E, F \in p\text{Perv}(X)$, $\text{Ext}^k_{D_c(X)}(E, F) = 0$ si $k < 0$ o $k > \dim(X)$.
• Caso Fiel: Si $p\text{Perv}(X)$ es fiel, entonces $\text{gldim}(p\text{Perv}(X)) \leq \dim(X)$.
• Caso Fiel de Peso Máximo: Si $p\text{Perv}(X)$ es fiel y de peso máximo, entonces $\text{gldim}(p\text{Perv}(X)) \leq 2 \cdot \text{depth}(X)$.

Significado: Esto resuelve la cuestión de la finitud de la dimensión global para categorías perversas fieles y proporciona límites explícitos relacionados con la geometría del espacio.

D. Cálculo de Cohomología Hiper mediante Resoluciones Proyectivas (Teorema D)

Asumiendo que $p\text{Perv}(X)$ es fiel y los estratos tienen grupos fundamentales finitos:

1. Cohomología Hiper desde Resoluciones: La cohomología hiper de un haz perverso $E$ puede calcularse como la cohomología del complejo $\text{Hom}(P_\bullet, E)$, donde $P_\bullet$ es una resolución proyectiva del haz constante $k_X$.
2. Multiplicidades como Números de Betti de Intersección: Si el haz constante (desplazado) es perverso, las multiplicidades de los proyectivos indecomponibles en su resolución proyectiva mínima corresponden a números de Betti de intersección (grupos de cohomología de intersección).
3. Caso Simplicial: Para un complejo simplicial $X$, el haz constante admite una resolución proyectiva finita indexada por la dimensión perversa de los símplices. Esto recupera la teoría de haces perversos celulares (Goresky), proporcionando un método combinatorio para calcular la cohomología hiper.

4. Significado e Impacto

1. Unificación de Álgebra y Topología: El artículo demuestra rigurosamente que, cuando un corazón perverso es fiel, los datos topológicos complejos de un espacio estratificado están codificados enteramente en la teoría de representaciones de un álgebra de dimensión finita.
2. Poder Computacional: Los resultados proporcionan un algoritmo práctico para calcular la cohomología hiper y la cohomología de intersección utilizando resoluciones proyectivas, que a menudo son más fáciles de manejar algebraicamente que los complejos topológicos.
3. Generalización: La caracterización de la fidelidad mediante la cohomología de enlaces pares extiende resultados conocidos de contextos geométricos específicos (como variedades algebraicas complejas) a espacios estratificados topológicamente generales.
4. Contraejemplos y Matices: Los autores proporcionan ejemplos que muestran que no todos los corazones pegados fieles son de peso máximo, y no todos los corazones de peso máximo son fieles, aclarando los límites precisos de estos conceptos.
5. Fundamento para Trabajos Futuros: La identificación de corazones perversos fieles con corazones pegados fielmente seriados abre la puerta a aplicar técnicas de la teoría de inclinación y objetos de silting (mediante la correspondencia König-Yang) al estudio de haces perversos en espacios estratificados.

En resumen, Cipriani y Woolf proporcionan una teoría estructural integral para haces perversos fieles, estableciendo criterios topológicos precisos para su existencia, acotando su complejidad homológica y ofreciendo nuevos métodos algebraicos para calcular invariantes topológicos.