Białynicki-Birula Decompositions of Nakajima Quiver Varieties, Quiver Chains and Star-Shaped Quivers

Technische Samenvatting: Białynicki–Birula-decomposities van Nakajima-quivervariëteiten, quiverketens en ster-vormige quivers

Probleemstelling
Het artikel behandelt de geometrische en topologische structuur van Nakajima-quivervariëteiten, $M_\theta(Q, d)$, die semiprojectieve hyperkähler-variëteiten zijn centraal in de geometrische representatietheorie en de mathematische fysica. Specifiek onderzoekt het werk de Białynicki–Birula (BB) decompositie geassocieerd met de natuurlijke $\mathbb{C}^*$-actie op deze variëteiten. Deze actie schaalt de afbeeldingen langs de omgekeerde pijlen van de verdubbelde quiver, terwijl de afbeeldingen langs de oorspronkelijke pijlen behouden blijven. Het primaire doel is om de vaste-punt-locus van deze actie te karakteriseren, de geometrie van de resulterende BB-stratificatie te beschrijven (specifiek de dimensies van de aantrekkende vezels) en de motivische klasse van de variëteit te berekenen in termen van de moduli-ruimten van deze vaste punten.

Methodologie
De auteur hanteert een systematische aanpak die hyperkähler-reductie, Geometrische Invariantentheorie (GIT), deformatietheorie en motivische integratietechnieken combineert:

1. Identificatie van Vaste Punten: Het artikel stelt vast dat vaste punten van de $\mathbb{C}^*$-actie op $M_\theta(Q, d)$ overeenkomen met quiverketens. Een quiverketen wordt gedefinieerd als een representatie van een hulp-quiver $Q_\ell$ (geconstrueerd door de knopen en randen van $Q$ te repliceren over $\ell$ "niveaus") die voldoet aan specifieke relaties afgeleid van de complexe moment-map conditie.
2. Stabiliteitsequivalentie: Gebruikmakend van technieken aangepast van het werk van King over quiver-moduli en het werk van Álvarez-Cónsul en García-Prada over Higgs-bundels, bewijst de auteur dat de stabiliteit van een quiverketen met betrekking tot een specifieke stabiliteitsparameter $\theta_\ell$ equivalent is aan de stabiliteit van de geassocieerde gecomprimeerde Nakajima-quiver-representatie met betrekking tot $\theta$. Dit maakt de constructie van de moduli-ruimte van de quiverketens als een fijne moduli-ruimte mogelijk.
3. BB-stratificatie en Deformatietheorie: Het artikel maakt gebruik van de deformatietheorie van de moduli-ruimte om de raakruimte in de vaste punten te analyseren. Door de deformatiecomplex te decomponeren in gewichtsruimten onder de $\mathbb{C}^*$-actie, berekent de auteur de dimensies van de aantrekkende en afstotende vezels (de "opwaartse" en "neerwaartse" stromen). Dit omvat het analyseren van de cohomologie van gewicht-gegradeerde deformatiecomplexen.
4. Motivische Berekening: Om de motivische klasse $[M_\theta(Q, d)]$ in de Grothendieck-ring van variëteiten te berekenen, past het artikel de BB-decompositieformule toe, die de klasse van de totale ruimte uitdrukt als een som van de klassen van de vaste-punt-componenten vermenigvuldigd met de klassen van affiene ruimten (de vezels). Voor het specifieke geval van ster-vormige quivers gebruikt de auteur een motivisch analoog van Fei's formule (gebaseerd op het werk van Reineke over Harder-Narasimhan-filtraties) om de klassen van de quiverketen-moduli-ruimten te berekenen. Dit omvat het stratificeren van de ruimte van representaties met relaties op basis van rang-profielen en het benutten van eigenschappen van flag-variëteiten en vectorbundels.

Belangrijkste Bijdragen en Resultaten

• Karakterisering van Vaste Punten (Theorem 3.2, 3.15): De vaste-punt-locus $M_\theta(Q, d)^{\mathbb{C}^*}$ wordt getoond isomorf te zijn aan een disjuncte vereniging van moduli-ruimten van $\theta_\ell$-stabiele quiverketens, $M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)$. Dit generaliseert de identificatie van vaste punten in Higgs-bundel moduli-ruimten met holomorfe ketens.
• Geometrie van de Stratificatie (Proposition 4.6, 4.7): Het artikel biedt een formule voor de motivische klasse van de Nakajima-quivervariëteit:
  $$[M_\theta(Q, d)] = \sum_{d_\ell} [M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)] \cdot \mathbb{L}^{N_{d_\ell}}$$
  waarbij $\mathbb{L}$ de klasse van de affiene lijn is en $N_{d_\ell}$ de dimensie van de aantrekkende vezel is. Een significant resultaat is dat voor de ster-vormige quiver, $N_{d_\ell}$ onafhankelijk is van de specifieke component $d_\ell$ en gelijk is aan $1 - \langle d, d \rangle_Q$, wat impliceert dat de aantrekkende vezels Lagrangiaans zijn.
• Classificatie voor Ster-vormige Quivers (Theorem 5.5): Voor ster-vormige quivers met dimensievectoren van type $(1, \dots, 1)$ wordt de moduli-ruimte van de quiverketens expliciet geclassificeerd. Er wordt aangetoond dat deze isomorf is aan een product van projectieve ruimten $\mathbb{P}^{n_2-2} \times \dots \times \mathbb{P}^{n_\ell-2}$ (of leeg indien de dimensies te klein zijn).
• Expliciete Motivische Formule (Theorem 5.10): Het artikel leidt een gesloten formule af voor de volledige motivische klasse van de Nakajima-quivervariëteit voor ster-vormige quivers in een geschikte lokalisatie van de Grothendieck-ring. Deze formule wordt uitgedrukt als een som over decomposities van de dimensievector, waarbij termen gerelateerd aan algemene lineaire groepen, Grassmannia en rang-profielen betrokken zijn.

Betekenis
Het artikel beweert een systematische studie te bieden van de BB-decompositie voor Nakajima-quivervariëteiten, en biedt een nieuw perspectief dat verschilt van eerdere motivische benaderingen (zoals de methode van Wyss met motivische Hall-algebra's en arithmetische Fourier-transformaties). Door de vaste-punt-loci expliciet te analyseren via quiverketens, biedt het werk aanvullende geometrische informatie over de stratificatie van de moduli-ruimte. De resultaten verbinden de geometrie van Nakajima-variëteiten met de combinatoriek van quiverketens en flag-variëteiten, wat een concrete methode biedt om motivische invarianten voor ster-vormige quivers te berekenen, die gelinkt zijn aan parabolische Higgs-bundels en moduli-ruimten van hyperpolygonen. De classificatie van vaste punten en de expliciete berekening van motivische klassen dienen als instrumenten voor het begrijpen van de Betti-getallen en de topologische structuur van deze variëteiten.