Wall And Chamber Structure For A Special Biserial Algebra Coming From Perverse Sheaves on $\mathbb{P}^n$

Resumen Técnico: Estructura de Muros y Cámaras para un Álgebra Biserial Especial de Perverse Sheaves en $\mathbb{P}^n$

Planteamiento del Problema
El artículo aborda la estructura del espacio de condiciones de estabilidad de Bridgeland para la categoría derivada acotada de haces constructibles, $D^b_c(\mathbb{P}^n)$, en el espacio proyectivo complejo $\mathbb{P}^n$ con respecto a la estratificación de Schubert. Mientras que los espacios de estabilidad para las categorías derivadas de haces coherentes han sido ampliamente estudiados, el caso de los complejos constructibles ha recibido menos atención. Los autores se centran en la categoría abeliana de perverse sheaves medios en $\mathbb{P}^n$, la cual sirve como un corazón fiel para $D^b_c(\mathbb{P}^n)$. Se sabe que esta categoría es equivalente a la categoría de módulos de un álgebra finita dimensional específica, $B(n)$, que es un álgebra biserial especial. El objetivo principal es describir explícitamente la estructura de muros y cámaras de $B(n)$, lo que, por los resultados de Bridgeland, corresponde a la estructura de cámaras en un subconjunto abierto del espacio de estabilidad para $D^b_c(\mathbb{P}^n)$.

Metodología
Los autores emplean una combinación de la teoría de la representación de álgebras biseriales especiales y la teoría de cuerdas combinatoria.

1. Configuración Algebraica: Definen el quiver con relaciones $(Q(n), I(n))$ cuyo álgebra de caminos cociente $B(n) = kQ(n)/I(n)$ es biserial especial. El quiver tiene vértices $[0, n]$ y flechas $\alpha_i: i+1 \to i$ y $\beta_i: i \to i+1$, sujetas a relaciones monomiales y binomiales específicas.
2. Clasificación Combinatoria: Utilizando la clasificación de módulos indecomponibles para álgebras biseriales especiales (módulos de cuerda [string modules], módulos de banda [band modules] y módulos inyectivos-proyectivos no uniseriales), los autores analizan las cuerdas y bandas en $(Q(n), I(n))$. Prueban que no existen bandas para este álgebra específico, estableciendo así que $B(n)$ es de tipo de representación finita.
3. Módulos Delgados (Thin) vs. No Delgados: Los autores distinguen entre módulos "delgados" (donde el vector de dimensión tiene entradas $\le 1$) y módulos no delgados. Demuestran que los espacios de estabilidad (muros) asociados con módulos indecomponibles no delgados están contenidos dentro de los espacios de estabilidad de los módulos delgados. Por consiguiente, la estructura de muros y cámaras está determinada enteramente por los módulos indecomponibles delgados.
4. Descripción Explícita: Proporcionan una parametrización combinatoria explícita de los módulos indecomponibles delgados (correspondientes a caminos triviales y paseos alternantes) y derivan las desigualdades definitorias para sus espacios de estabilidad.
5. Interpretación Geométrica: Finalmente, traducen estos resultados algebraicos al lenguaje de los perverse sheaves, identificando los perverse sheaves específicos (construidos mediante extensiones iteradas de objetos simples, estándar y costándar) que corresponden a los muros de la estructura.

Contribuciones Clave y Resultados

• Tipo de Representación Finita: El artículo demuestra que el álgebra $B(n)$ asociada con los perverse sheaves medios en $\mathbb{P}^n$ es de tipo de representación finita. Esto se logra demostrando la ausencia de módulos de banda (Observación 3.8) y clasificando los módulos indecomponibles como módulos de cuerda o módulos proyectivos-inyectivos específicos que surgen de las relaciones binomiales.
• Reducción a Módulos Delgados: Un resultado central (Proposición 5.8) establece que la estructura de muros y cámaras de $B(n)$ está unívocamente determinada por los módulos indecomponibles delgados. Los módulos no delgados no generan nuevos muros; sus espacios de estabilidad son subespacios de aquellos generados por los módulos delgados.
• Descripción Explícita de los Muros: Los autores proporcionan una descripción completa y explícita de los muros en el Teorema 5.13.
  • Los muros correspondientes a los módulos simples $S_i$ son hiperplanos definidos por $v_i = 0$.
  • Los muros correspondientes a los módulos de cuerda delgados $M(a, b, \eta)$ están definidos por un sistema de igualdades y desigualdades lineales que involucran sumas de coordenadas $v_k$ sobre intervalos específicos, dependiendo de la paridad de los índices.
• Conteo de Cámaras: Como consecuencia de la descripción de los muros, se puede determinar combinatoriamente el número de cámaras (y, por tanto, el número de clases de isomorfismo de complejos 2-silting para $B(n)$). Por ejemplo, en el caso $n=2$, hay exactamente 20 cámaras.
• Realización Geométrica: La Proposición 6.7 construye explícitamente los perverse sheaves correspondientes a estos muros como extensiones iteradas de perverse sheaves simples ($IC_r$) y objetos estándar/costándar ($\Delta, \nabla$).

Significancia y Reivindicaciones
El artículo afirma proporcionar una descripción explícita y autónoma de la estructura de muros y cámaras para el álgebra que gobierna los perverse sheaves en $\mathbb{P}^n$. Al aprovechar la naturaleza combinatoria de las álgebras biseriales especiales, los autores evitan depender de teoremas generales externos siempre que sea posible, ofreciendo pruebas directas para la irrelevancia de los módulos no delgados y la descripción facial de los muros.

La significancia de este trabajo radica en su contribución a la comprensión del espacio de estabilidad de Bridgeland para los haces constructibles, un dominio con menos resultados que el caso de los haces coherentes. Los autores señalan que su teorema principal permite el control de los fenómenos de cruce de muros (wall-crossing) en el espacio de estabilidad de $D^b_c(\mathbb{P}^n)$. Además, destacan que las cámaras en esta estructura están en bijección con los complejos 2-silting para $B(n)$, convirtiendo el problema de contar estos complejos en un problema de conteo combinatorio de conos maximales en un fan poliédrico. Los autores declaran explícitamente que no investigan las consecuencias para la teoría de silting más allá de esta bijección, dejando las propiedades detalladas de estos complejos para trabajos futuros.

El artículo no pretende resolver el problema de estabilidad para toda la categoría derivada de haces constructibles en variedades arbitrarias, sino que proporciona un caso concreto y resuelto para $\mathbb{P}^n$ con estratificación de Schubert, sirviendo como un modelo para espacios estratificados similares.