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

Résumé Technique : Structure de Murs et de Chambres pour une Algèbre Biseriale Spéciale issue des Faisceaux Pervers sur $\mathbb{P}^n$

Énoncé du Problème
L'article traite de la structure de l'espace des conditions de stabilité de Bridgeland pour la catégorie dérivée bornée des faisceaux constructibles, $D^b_c(\mathbb{P}^n)$, sur l'espace projectif complexe $\mathbb{P}^n$ par rapport à la stratification de Schubert. Alors que les espaces de stabilité pour les catégories dérivées de faisceaux cohérents ont été largement étudiés, le cas des complexes constructibles a reçu moins d'attention. Les auteurs se concentrent sur la catégorie abélienne des faisceaux pervers du milieu sur $\mathbb{P}^n$, qui sert de cœur fidèle pour $D^b_c(\mathbb{P}^n)$. Cette catégorie est connue pour être équivalente à la catégorie des modules d'une algèbre spécifique de dimension finie, $B(n)$, qui est une algèbre biseriale spéciale. L'objectif principal est de décrire explicitement la structure de murs et de chambres de $B(n)$, ce qui, par les résultats de Bridgeland, correspond à la structure de chambres dans un sous-ensemble ouvert de l'espace de stabilité pour $D^b_c(\mathbb{P}^n)$.

Méthodologie
Les auteurs emploient une combinaison de la théorie des représentations des algèbres biseriales spéciales et de la théorie des cordes combinatoires.

1. Configuration Algébétique : Ils définissent le quiver avec relations $(Q(n), I(n))$ dont l'algèbre de chemin quotient $B(n) = kQ(n)/I(n)$ est biseriale spéciale. Le quiver possède des sommets $[0, n]$ et des flèches $\alpha_i: i+1 \to i$ et $\beta_i: i \to i+1$, soumises à des relations monomiales et binomiales spécifiques.
2. Classification Combinatoire : Utilisant la classification des modules indécomposables pour les algèbres biseriales spéciales (modules de cordes (string modules), modules de bandes (band modules) et modules injectifs-projectifs non uniseriels), les auteurs analysent les cordes (strings) et les bandes (bands) sur $(Q(n), I(n))$. Ils prouvent qu'aucune bande n'existe pour cette algèbre spécifique, établissant ainsi que $B(n)$ est de type de représentation fini.
3. Modules Fins vs Non-Fins : Les auteurs distinguent les modules « fins » (thin modules, où le vecteur de dimension possède des entrées $\le 1$) des modules non-fins. Ils démontrent que les espaces de stabilité (murs) associés aux modules indécomposables non-fins sont contenus dans les espaces de stabilité des modules fins. Par conséquent, la structure de murs et de chambres est entièrement déterminée par les modules indécomposables fins.
4. Description Explicite : Ils fournissent une paramétrisation combinatoire explicite des modules indécomposables fins (correspondant aux chemins triviaux et aux marches alternées) et dérivent les inégalités définissantes pour leurs espaces de stabilité.
5. Interprétation Géométrique : Enfin, ils traduisent ces résultats algébriques dans le langage des faisceaux pervers, en identifiant les faisceaux pervers spécifiques (construits via des extensions itérées d'objets simples, standards et costandards) qui correspondent aux murs de la structure.

Contributions Clés et Résultats

• Type de Représentation Fini : L'article prouve que l'algèbre $B(n)$ associée aux faisceaux pervers du milieu sur $\mathbb{P}^n$ est de type de représentation fini. Ceci est réalisé en montrant l'absence de modules de bandes (Remarque 3.8) et en classant les modules indécomposables comme étant soit des modules de cordes, soit des modules projectifs-injectifs spécifiques découlant des relations binomiales.
• Réduction aux Modules Fins : Un résultat central (Proposition 5.8) établit que la structure de murs et de chambres de $B(n)$ est uniquement déterminée par les modules indécomposables fins. Les modules non-fins ne génèrent pas de nouveaux murs ; leurs espaces de stabilité sont des sous-espaces de ceux générés par les modules fins.
• Description Explicite des Murs : Les auteurs fournissent une description complète et explicite des murs dans le Théorème 5.13.
  • Les murs correspondant aux modules simples $S_i$ sont des hyperplans définis par $v_i = 0$.
  • Les murs correspondant aux modules de cordes fins $M(a, b, \eta)$ sont définis par un système d'égalités et d'inégalités linéaires impliquant des sommes de coordonnées $v_k$ sur des intervalles spécifiques, dépendant de la parité des indices.
• Comptage des Chambres : En conséquence de la description des murs, le nombre de chambres (et donc le nombre de classes d'isomorphisme de complexes 2-silting pour $B(n)$) peut être déterminé de manière combinatoire. Par exemple, dans le cas $n=2$, il y a exactement 20 chambres.
• Réalisation Géométrique : La Proposition 6.7 construit explicitement les faisceaux pervers correspondant à ces murs comme des extensions itérées de faisceaux pervers simples ($IC_r$) et d'objets standards/costandards ($\Delta, \nabla$).

Signification et Revendications
L'article revendique de fournir une description auto-contenue et explicite de la structure de murs et de chambres pour l'algèbre régissant les faisceaux pervers sur $\mathbb{P}^n$. En exploitant la nature combinatoire des algèbres biseriales spéciales, les auteurs évitent de s'appuyer sur des théorèmes généraux externes autant que possible, offrant des preuves directes pour l'irrélevance des modules non-fins et la description faciale des murs.

La signification de ce travail réside dans sa contribution à la compréhension de l'espace de stabilité de Bridgeland pour les faisceaux constructibles, un domaine doté de moins de résultats que le cas des faisceaux cohérents. Les auteurs notent que leur théorème principal permet de contrôler les phénomènes de franchissement de murs (wall-crossing) dans l'espace de stabilité de $D^b_c(\mathbb{P}^n)$. De plus, ils soulignent que les chambres dans cette structure sont en bijection avec les complexes 2-silting pour $B(n)$, transformant le problème du comptage de ces complexes en un problème de comptage combinatoire de cônes maximaux dans un faisceau polyédrique. Les auteurs déclarent explicitement qu'ils n'étudient pas les conséquences pour la théorie des silting au-delà de cette bijection, laissant les propriétés détaillées de ces complexes pour des travaux futurs.

L'article ne prétend pas résoudre le problème de stabilité pour l'ensemble de la catégorie dérivée des faisceaux constructibles sur des variétés arbitraires, mais propose plutôt un cas concret et résolu pour $\mathbb{P}^n$ avec la stratification de Schubert, servant de modèle pour des espaces stratifiés similaires.