Indecomposable extensions of perverse sheaves over a closed stratum

Resumen Técnico: Extensiones Indecomponibles de Perverse Sheaves sobre un Estrato Cerrado

Planteamiento del Problema
El artículo aborda la clasificación de los perverse sheaves indecomponibles en un espacio estratificado topológicamente $X$. Si bien se sabe que la categoría de perverse sheaves, $p\text{Perv}(X)$, es Krull–Schmidt (se descompone en sumas directas finitas de objetos indecomponibles) bajo ciertas condiciones, una clasificación estructural general de estos objetos indecomponibles sigue siendo difícil. Específicamente, el problema radica en comprender cómo los perverse sheaves definidos en el complemento abierto $U = X \setminus S$ de un estrato cerrado $S$ pueden extenderse a todo el espacio $X$. El trabajo previo de MacPherson y Vilonen [MV86] proporcionó un marco para tales extensiones bajo supuestos homotópicos restrictivos ($\pi_1(S) = \pi_2(S) = 0$) y para una perversidad específica (la perversidad media). El objetivo de este trabajo es generalizar esta teoría de extensión a perversidades arbitrarias y espacios estratificados más generales, reemplazando las restricciones homotópicas por restricciones categóricas.

Metodología
El autor desarrolla un marco categórico para las extensiones de un perverse sheaf fijo $F \in p\text{Perv}(U)$ sobre un estrato cerrado $S \subset X$. La metodología se basa en los siguientes componentes estructurales:

1. Supuestos Categóricos: El artículo reemplaza los supuestos homotópicos de [MV86] con el supuesto de que la categoría de sistemas locales en el estrato cerrado $S$, denotada como $\text{Loc}(S)$, es semisimple. Esta condición se cumple, por ejemplo, cuando $S$ tiene un grupo fundamental finito y la característica del cuerpo de coeficientes no divide el orden del grupo.
2. Functores de Proyección: Se definen dos functores aditivos, $P_!$ y $P_*$, en $p\text{Perv}(X)$ como las imágenes de los morfismos naturales $p\jmath_! p\jmath^* \to \text{id}$ y $\text{id} \to p\jmath_* p\jmath^*$, respectivamente. Estos functores aíslan la "parte" de un perverse sheaf soportada en el complemento $U$.
3. Extensiones $S$-pequeñas (S-small extensions): El autor introduce la noción de una extensión $S$-pequeña, definida como un objeto $E \in p\text{Perv}(X)$ en el núcleo del functor de restricción intermedio $p\iota_{!*}$. Estas se caracterizan como extensiones que no tienen sumandos soportados en $S$.
4. Pares de Extensión (Extension Pairs): Se introduce una nueva categoría auxiliar, $\text{EP}(X \setminus S)$. Sus objetos son pares $(A, B)$ de perverse sheaves en $X$ que extienden a $F$, donde $A$ no tiene cociente soportado en $S$ y $B$ no tiene subobjeto soportado en $S$, sujetos a una condición de nulidad sobre un producto específico de clases de extensión en la categoría derivada.

Contribuciones Clave y Resultados

• Equivalencia de Categorías (Teorema A y B): El resultado principal establece una biyección, y posteriormente una equivalencia de categorías aditivas, entre la categoría de extensiones $S$-pequeñas de $F$ (denotada $\text{SES}(F)$) y la categoría de pares de extensión relativos a $F$ (denotada $\text{EP}(X \setminus S)$).

  • La correspondencia viene dada por la asignación $E \mapsto (P_!E, P_*E)$.
  • La construcción inversa utiliza el axioma octaédrico en la categoría derivada constructible para construir una extensión a partir de un par $(A, B)$, apoyándose en la nulidad de una clase $\text{Ext}^2$ específica derivada del producto de dos clases $\text{Ext}^1$.
  • Esta equivalencia se mantiene bajo el único supuesto de que $\text{Loc}(S)$ es semisimple, eliminando la necesidad de $\pi_2(S)=0$ o elecciones de perversidad específicas.

• Functor de Extensión Máxima (Definición 3.18): El artículo define un functor de extensión máxima generalizado, $p\Xi$, que mapea un perverse sheaf $F$ en $U$ a una extensión $S$-pequeña específica en $X$. Esto generaliza la extensión máxima de Beilinson (originalmente definida para variedades algebraicas con perversidad media) a perverse sheaves de espacios topológicamente estratificados arbitrarios y perversidades arbitrarias, siempre que $\text{Loc}(S)$ sea semisimple.

• Clasificación de Indecomponibles (Teorema C): El artículo proporciona una clasificación estructural de todos los perverse sheaves indecomponibles en $X$. Todo objeto indecomposable es:

  1. Una extensión por cero de un sistema local indecomposable en el estrato cerrado $S$; o
  2. Una extensión $S$-pequeña que surge de un par de extensión $(A, B)$ donde el morfismo canónico $A \to B$ es indecomposable (no puede escribirse como una suma directa de morfismos).

Significancia y Reivindicaciones
El artículo afirma extender la descripción de MacPherson–Vilonen de los perverse sheaves a un entorno estrictamente más general. Al desplazar el enfoque de las restricciones topológicas del estrato (nulidad de $\pi_1$ y $\pi_2$) hacia la propiedad algebraica de semisimplicidad de los sistemas locales, el marco es aplicable a una clase más amplia de espacios estratificados y perversidades arbitrarias.

El trabajo ofrece un "resultado de reducción" para el problema de clasificación: reduce el estudio de los perverse sheaves indecomponibles en $X$ al estudio de:

1. Sistemas locales indecomponibles en los estratos.
2. Pares de extensión de perverse sheaves en el complemento, sujetos a una condición de no división en su morfismo canónico.

El autor señala que, si bien sus resultados generalizan la construcción de Beilinson y el teorema de MacPherson–Vilonen, el marco no asume que $p\text{Perv}(X)$ sea equivalente a una categoría de módulos sobre un álgebra de dimensión finita, ni requiere que la propiedad de Krull–Schmidt se cumpla globalmente, apoyándose únicamente en la semisimplicidad de los sistemas locales en el estrato cerrado específico. El artículo concluye con ejemplos (incluyendo $\mathbb{CP}^1$, $S^1$ y $\mathbb{CP}^2$) que ilustran cómo funciona la clasificación en escenarios específicos de dos estratos, incluyendo casos donde la extensión máxima no es única o donde las condiciones estándar para los pares de extensión fallan.