Semiorthogonal decompositions for stacks

Technische Samenvatting: Semiorthogonale Decomposities voor Stacks

Probleemstelling
Het artikel behandelt de constructie van systematische semiorthogonale decomposities (SOD's) voor de afgeleide categorieën van coherent schoven, $\text{Coh}(X)$, op quasi-smooth afgeleide algebraïsche stacks $X$ over $\mathbb{C}$. Hoewel SOD's voor lineaire quotiëntstacks en specifieke moduli-ruimten (zoals die voor quiver-representaties of vectorbundels op krommen) in eerdere werken van Ballard–Favero–Katzarkov, Halpern-Leistner, Špenko–Van den Bergh en Pădurariu–Toda zijn vastgesteld, berustten deze constructies vaak op specifieke lineaire structuren of vereisten restrictieve stabiliteitsvoorwaarden. De uitdaging bestaat erin deze decomposities te generaliseren naar een brede klasse van niet-lineaire, quasi-smooth stacks die voortkomen uit intrinsieke Donaldson–Thomas (DT)-theorie, inclusief moduli- stacks van $G$-bundels, Higgs-bundels, connecties en lokale systemen voor algemene reductieve groepen $G$ (niet beperkt tot type $A$).

Methodologie
De auteurs maken gebruik van het raamwerk van intrinsieke Donaldson–Thomas-theorie (ontwikkeld in [17–19]) om een combinatorische structuur te definiëren die het componentenrooster wordt genoemd, aangeduid als $\text{CL}_\mathbb{Q}(X)$. Dit rooster codeert de cocharacteren en Weyl-groepen van de automorfismegroepen van punten in $X$.

De methodologie verloopt via de volgende stappen:

1. Componentenrooster en Gegradeerde Punten: De decompositie wordt geïndexeerd door het gerationaliseerde componentenrooster $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$. Elk element $\lambda$ correspondeert met een stack van gegradeerde punten $X_\lambda$ en een stack van gefilterde punten $X^+_\lambda$.
2. Hall-Inductie: De auteurs maken gebruik van de Hall-inductiefunctor $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$, gedefinieerd via de correspondentie $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$. Deze functor generaliseert de parabolische inductiefunctor.
3. Venstersubcategorieën: Voor elk $\lambda$ wordt een "venstersubcategorie" $W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$ gedefinieerd. Dit zijn volledige subcategorieën die worden bepaald door gewichtsvoorwaarden ten opzichte van de $\mathbb{G}_m$-actie op $X_\lambda$, gecentreerd door een lineaire functie $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$ en een kwadratische norm $q$ op het rooster.
4. Lokaal-naar-Globaal Argument:
   • Lineair Geval: De decompositie wordt eerst vastgesteld voor lineaire quotiëntstacks $V/G$ waarbij $V$ een quasi-symmetrische representatie is (Stelling 2.1.6).
   • Smooth Geval: Met gebruik van het feit dat smooth stacks met goede moduli-ruimten étale lokaal gemodelleerd zijn op lineaire quotiënten, wordt het resultaat geglobaliseerd via descendentieargumenten (Stelling 3.2.3).
   • Quasi-Smooth Geval: Voor quasi-smooth stacks (die lokale modellen zijn voor $(-1)$-geschoven symplectische stacks) maken de auteurs gebruik van Koszul-dualiteit om $\text{Coh}(X)$ te relateren aan categorieën van matrixfactoren $\text{MF}(Y, f)$ op smooth stacks. De decompositie voor matrixfactoren (Stelling 3.5.4) wordt vervolgens teruggevoerd naar de quasi-smooth setting (Stelling 4.1.3).
5. Singuliere Dragers: De constructie wordt verfijnd om subcategorieën van objecten met singuliere dragers opgenomen in een verzadigde gesloten deelverzameling $Z \subset |T^*[-1]X|$ te omvatten (Stelling 4.3.3).

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een geünificeerde constructie van SOD's voor een breed scala aan moduli- stacks. De belangrijkste resultaten zijn:

• Algemene Decompositie (Stelling 4.1.3): Voor een quasi-symmetrische, quasi-smooth, qca afgeleide stack $X$ met een goede moduli-ruimte, bestaat er een SOD:
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  De sommanden worden geïndexeerd door het componentenrooster, geordend volgens de $q$-norm van $\lambda$. De functors $\star_\lambda$ zijn volledig getrouw, en de beelden zijn toelaatbaar en $\text{Perf}(X)$-lineair.

• Decompositie van Singuliere Dragers (Stelling 4.3.3): Een parallelle decompositie bestaat voor $\text{Coh}_Z(X)$, de subcategorie van coherent schoven met singuliere dragers in een verzadigde deelverzameling $Z$. Dit is bijzonder relevant voor de nilpotente kegel.

• Matrixfactoren (Stelling 3.5.4): Er wordt een SOD geconstrueerd voor de categorie van matrixfactoren $\text{MF}(X, f)$ op een smooth stack, die dient als lokaal model voor kritische categorieën in DT-theorie.

• Concrete Toepassingen: De theorie wordt toegepast om expliciete SOD's te verkrijgen voor:

  • Moduli- stacks van semistabiele $G$-bundels ($\text{Bun}^{ss}_G$), $G$-Higgs-bundels ($\text{Higgs}^{ss}_G$) en $G$-connecties ($\text{Conn}_G$) op krommen.
  • Moduli- stacks van $G$-lokale systemen ($\text{Loc}_G$) op 2-variëteiten.
  • Moduli- stacks van semistabiele representaties van quivers en preprojectieve algebra's.
  • Moduli- stacks van semistabiele coherent schoven op oppervlakken.

In deze voorbeelden worden de sommanden geïndexeerd door Levi-subgroepen $L \subset G$ en specifieke gewichtsparameters, waarmee eerdere resultaten worden gegeneraliseerd die vaak beperkt waren tot $GL(n)$ of complexe ordingsvoorwaarden vereisten.

Betekenis en Beweringen
Het artikel beweert een systematische en algemene constructie te bieden die eerdere restricties op het type reductieve groep (toestaan van niet-type $A$ groepen) en de aard van de stack (overgang van lineaire categorieën naar intrinsieke DT-stacks) wegneemt.

• Vereenvoudiging van Ordening: De auteurs merken op dat hun aanpak een veel eenvoudigere beschrijving oplevert van de ordening van sommanden in vergelijking met eerdere werken (bijv. [64; 68; 71]). De volgorde wordt bepaald door de $q$-norm van de roosterelementen, terwijl eerdere methoden vaak ingewikkelde stabiliteitsverfijningen of complexe ongelijkheden vereisten.
• Categorische DT-theorie: De decomposities worden gepresenteerd als categorische analogieën van cohomologische integraliteit. De sommanden, aangeduid als quasi-BPS-categorieën, zijn bedoeld om de BPS-invarianten te categorificeren. Het artikel merkt op dat hoewel additieve invarianten (zoals periodieke cyclische homologie) de decompositie van cohomologische integraliteit niet direct herstellen, de structuur van deze categorieën fundamenteel wordt geacht voor het begrijpen van categorische DT-theorie en BPS-structuren.
• Geometrische Langlands: De decomposities voor stacks zoals $\text{Conn}_G$ en $\text{Loc}_G$ zijn gekoppeld aan het geometrische Langlands-programma. De auteurs formuleren een verfijnde versie van de Dolbeault-geometrische Langlands-vermoeden en een soortgelijk vermoeden voor de de Rham-setting (Vermoeden 4.4.9), wat suggereert dat de venstersubcategorieën corresponderen met specifieke microlokale categorieën van D-modules onder de Langlands-equivalentie.
• Beperkingen: De auteurs geven bescheiden toe dat ze niet het equivalent bewijzen van deze categorische decomposities met de BPS-cohomologie-decompositie via additieve invarianten, noch dat ze de structuur van quasi-BPS-categorieën volledig karakteriseren (bijvoorbeeld of het niet-commutatieve resoluties zijn). Deze worden geïdentificeerd als richtingen voor toekomstig werk.

Kortom, het artikel vestigt een robuust combinatorisch raamwerk voor het ontbinden van afgeleide categorieën van coherent schoven op quasi-smooth stacks, waarbij diverse bekende resultaten worden geünificeerd en uitgebreid naar een bredere geometrische context die centraal staat in de moderne enumeratieve meetkunde en representatietheorie.