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

Technische Samenvatting: Wand- en Kamerstructuur voor een Speciale Biseriale Algebra van Perverse Sheaves op $\mathbb{P}^n$

Probleemstelling
Het artikel behandelt de structuur van de ruimte van Bridgeland-stabiliteitstoestanden voor de begrensde afgeleide categorie van constructibele sheaves, $D^b_c(\mathbb{P}^n)$, op de complexe projectieve ruimte $\mathbb{P}^n$ met betrekking tot de Schubert-stratificatie. Terwijl stabiliteitsruimten voor afgeleide categorieën van coherente sheaves uitgebreid zijn bestudeerd, heeft het geval van constructibele complexen minder aandacht gekregen. De auteurs richten zich op de abelse categorie van middelste perverse sheaves op $\mathbb{P}^n$, die dient als een getrouwe hart voor $D^b_c(\mathbb{P}^n)$. Deze categorie staat bekend als equivalent aan de modulecategorie van een specifieke eindige dimensie algebra, $B(n)$, die een speciale biseriale algebra is. Het primaire doel is om expliciet de wand- en kamerstructuur van $B(n)$ te beschrijven, wat, volgens de resultaten van Bridgeland, overeenkomt met de kamerstructuur in een open deelverzameling van de stabiliteitsruimte voor $D^b_c(\mathbb{P}^n)$.

Methodologie
De auteurs maken gebruik van een combinatie van de representatietheorie van speciale biseriale algebra's en combinatorische stringtheorie.

1. Algebraïsche Opzet: Ze definiëren de quiver met relaties $(Q(n), I(n))$ waarvan de pad-algebra quotient $B(n) = kQ(n)/I(n)$ een speciale biseriale algebra is. De quiver heeft vertices $[0, n]$ en pijlen $\alpha_i: i+1 \to i$ en $\beta_i: i \to i+1$, onderworpen aan specifieke monomiale en binomiale relaties.
2. Combinatorische Classificatie: Met behulp van de classificatie van indecomposable modules voor speciale biseriale algebra's (string modules, band modules, en niet-uniseriele injectieve-projectieve modules), analyseren de auteurs de strings en bands op $(Q(n), I(n))$. Ze bewijzen dat er geen bands bestaan voor deze specifieke algebra, waarmee zij vaststellen dat $B(n)$ van eindige representatietype is.
3. Dun vs. Niet-Dun Modules: De auteurs maken onderscheid tussen "dunne" modules (waarbij de dimensievector enters $\le 1$ heeft) en niet-dunne modules. Ze demonstreren dat de stabiliteitsruimten (wanden) geassocieerd met niet-dunne indecomposable modules vervat zijn in de stabiliteitsruimten van dunne modules. Bijgevolg wordt de wand- en kamerstructuur volledig bepaald door de dunne indecomposable modules.
4. Expliciete Beschrijving: Ze bieden een expliciete combinatorische parametrisering van de dunne indecomposable modules (overeenkomend met triviale paden en alternerende wandelingen) en leiden de definiërende ongelijkheden voor hun stabiliteitsruimten af.
5. Geometrische Interpretatie: Ten slotte vertalen ze deze algebraïsche resultaten terug naar de taal van perverse sheaves, waarbij ze de specifieke perverse sheaves identificeren (geconstrueerd via iteratieve extensies van simpele, standaard en costandard objecten) die corresponderen met de wanden van de structuur.

Belangrijkste Bijdragen en Resultaten

• Eindig Representatietype: Het artikel bewijst dat de algebra $B(n)$ geassocieerd met middelste perverse sheaves op $\mathbb{P}^n$ van eindig representatietype is. Dit wordt bereikt door aan te tonen dat er geen band modules bestaan (Opmerking 3.8) en door de indecomposable modules te classificeren als ofwel string modules of specifieke projectief-injectieve modules voortvloeiend uit binomiale relaties.
• Reductie tot Dunne Modules: Een centraal resultaat (Propositie 5.8) stelt vast dat de wand- en kamerstructuur van $B(n)$ uniek wordt bepaald door de dunne indecomposable modules. Niet-dunne modules genereren geen nieuwe wanden; hun stabiliteitsruimten zijn deelruimten van de ruimten gegenereerd door dunne modules.
• Expliciete Wandbeschrijving: De auteurs bieden een volledige, expliciete beschrijving van de wanden in Stelling 5.13.
  • Wanden corresponderend met simpele modules $S_i$ zijn hypervlakken gedefinieerd door $v_i = 0$.
  • Wanden corresponderend met dunne string modules $M(a, b, \eta)$ worden gedefinieerd door een systeem van lineaire gelijkheden en ongelijkheden betrokken bij sommen van coördinaten $v_k$ over specifieke intervallen, afhankelijk van de pariteit van de indices.
• Tellen van Kamers: Als gevolg van de wandbeschrijving kan het aantal kamers (en dus het aantal isomorfieklassen van 2-silting complexen voor $B(n)$) combinatorisch worden bepaald. In het geval $n=2$ zijn er bijvoorbeeld precies 20 kamers.
• Geometrische Realisatie: Propositie 6.7 construeert expliciet de perverse sheaves die corresponderen met deze wanden als iteratieve extensies van simpele perverse sheaves ($IC_r$) en standaard/costandard objecten ($\Delta, \nabla$).

Betekenis en Claims
Het artikel claimt een zelfstandige, expliciete beschrijving te bieden van de wand- en kamerstructuur voor de algebra die perverse sheaves op $\mathbb{P}^n$ beheerst. Door gebruik te maken van de combinatorische aard van speciale biseriale algebra's, vermijden de auteurs het vertrouwen op externe algemene stellingen waar mogelijk, en bieden zij directe bewijzen voor de irrelevantie van niet-dunne modules en de faciale beschrijving van de wanden.

De betekenis van dit werk ligt in de bijdrage aan het begrijpen van de Bridgeland-stabiliteitsruimte voor constructibele sheaves, een domein met minder resultaten dan het geval van coherente sheaves. De auteurs merken op dat hun hoofdstelling hen in staat stelt om wand-crossing fenomenen in de stabiliteitsruimte van $D^b_c(\mathbb{P}^n)$ te beheersen. Bovendien benadrukken zij dat de kamers in deze structuur in bijeenhangende relatie staan met de 2-silting complexen voor $B(n)$, waardoor het probleem van het tellen van deze complexen verandert in een combinatorisch telprobleem van maximale kegels in een polyedrische fan. De auteurs verklaren expliciet dat zij de gevolgen voor de siltingtheorie buiten deze bijeenhangende relatie niet onderzoeken, waarbij zij de gedetailleerde eigenschappen van deze complexen aan toekomstig werk overlaten.

Het artikel claimt niet het stabiliteitsprobleem voor de gehele afgeleide categorie van constructibele sheaves op willekeurige variëteiten op te lossen, maar biedt in plaats daarvan een concreet, opgelost geval voor $\mathbb{P}^n$ met Schubert-stratificatie, dienend als een model voor vergelijkbare gestratificeerde ruimten.