Moduli Space of Sheaves and Categorified Commutator of Functors

Technische Samenvatting: Moduliruumte van Bundels en Gecategoriseerde Commutator van Functoren

Probleemstelling
Dit artikel behandelt het probleem van het construeren van een zwakke categorificatie van de actie van de kwantum toroidale algebra $U_{q_1,q_2}(\ddot{\mathfrak{gl}}_1)$ op de K-theorie van de moduliruumte van stabiele bundels over een glad projectief algebraïsch oppervlak $S$. Terwijl Negut eerder een actie op de Grothendieckgroep (K-theorie) had geconstrueerd en een zwakke categorificatie voor het positieve deel van de algebra had geleverd (het optillen van de relaties van de $e_i$-generatoren naar afgeleide categorieën), bleef de categorificatie van de volledige algebra, specifiek de commutatorrelaties tussen de $e_i$- en $f_j$-generatoren, een openstaand probleem. De centrale uitdaging ligt in het optillen van deze commutatorrelaties naar het niveau van de afgeleide categorieën van coherente bundels, wat een precieze geometrische kennis vereist van de interactie tussen geneste moduliruumten van bundels.

Methodologie
De auteur maakt gebruik van technieken uit de afgeleide algebraïsche meetkunde en de intersectietheorie om de geometrie van geneste, triple en quadruple moduliruumten van bundels te analyseren. De methodologie verloopt via de volgende stappen:

1. Geometrische Opzet: Het artikel fixeert een glad projectief oppervlak $S$ met een ample lijnbundel $H$ en beschouwt de moduliruumte $M_k$ van Gieseker $H$-stabiele bundels met vaste rang $r$ en eerste Chern-klasse $c_1$, waarbij alleen de tweede Chern-klasse $k$ varieert. De auteur gaat uit van $\gcd(r, c_1 \cdot H) = 1$ en specifieke condities op de canonieke bundel $q = K_S$ om zuiverheid en stabiliteitseigenschappen te waarborgen.
2. Geneste Moduliruumten: De studie richt zich op de geneste moduliruumte $Z_{k,k+1}$, bestaande uit paren $(F_{-1} \subset_x F_0)$ waarbij $F_0 \in M_k$ en $F_0/F_{-1} \cong \mathbb{C}_x$. Deze ruimte wordt geïdentificeerd met een projectivering van een universele bundelcomplex.
3. Triple en Quadruple Ruimten: De auteur introduceert triple moduliruumten $Z^\bullet_{k-1,k,k+1}$ (triples van bundels met een gemeenschappelijk steunpunt) en quadruple moduliruumten $Y$ (quadruples die twee tussenliggende bundels $F_0$ en $F'_0$ omvatten).
4. Intrinsieke Blow-ups: Een belangrijke technische innovatie is de beschrijving van de quadruple moduliruumte $Y$ via intrinsieke blow-ups. De auteur bewijst dat $Y$ isomorf is met de intrinsieke blow-up van de triple moduliruumten $Z_-$ en $Z_+$ langs hun respectieve diagonalen. Deze isomorfie wordt vastgesteld door de tangentieruimten en normaalbundels te analyseren, waarbij wordt aangetoond dat de morfismen van $Y$ naar de blow-ups bijejecties zijn op gesloten punten en dat de ruimten glad zijn.
5. Afgeleide Categorieën en Fourier-Mukai Transformaties: Het artikel maakt gebruik van Fourier-Mukai transformaties met kernen gedefinieerd op producten van moduliruumten en het oppervlak $S$. De functoren $e_i$ en $f_i$ worden gedefinieerd als kernen die lijnbundels op de geneste moduliruumten bevatten. De commutatoren $e_i f_j$ en $f_j e_i$ worden geanalyseerd door de pushforwards van deze kernen door de geometrische afbeeldingen die in de vorige stappen zijn vastgesteld te berekenen.
6. Constructie van Complexen: De auteur construeert expliciete complexen $C^{a,b}_{i,j}$ en $h^{a\pm}_i$ in de begrensde afgeleide categorie van coherente bundels. Deze complexen zijn opgebouwd met behulp van Koszul-complexen en afkortingen (truncations) geassocieerd met de exceptionele divisoren van de blow-ups.

Belangrijkste Bijdragen en Resultaten

• Theorem 3.1 (Geometrische Isomorfie): Het artikel stelt vast dat de quadruple moduliruumte $Y$ isomorf is met de intrinsieke blow-up van de triple moduliruumten $Z_-$ en $Z_+$ langs de diagonale schema's. Dit biedt een nieuwe intersectietheoretische beschrijving van $Y$ die cruciaal is voor het berekenen van afgeleide pushforwards.
• Theorem 4.1 (Gecategoriseerde Commutator): Het hoofdbestanddeel is de constructie van een zwakke categorificatie van de actie van Negut voor de volledige kwantum toroidale algebra. Specifiek biedt het artikel expliciete decomposities voor de compositie van functoren $f_i e_j$ en $e_i f_j$ in de afgeleide categorie.
  • Voor $i+j \neq 0$ worden de composities getoond te isomorf te zijn met specifieke objecten $C^{a,b}_{i,j}$ geconstrueerd uit de universele bundel $U_k$ en haar afgeleide duale.
  • Voor $i+j = 0$ bewijst het artikel de decompositie:
    $$f_i e_i \cong R\iota_* e_i f_i \oplus \bigoplus_{a=-r+1}^{0} R\Delta_{S*}(q^{-a} \det(U_k)^{-1} \mathcal{O}_{M_k \times S})[1 - 2a - r]$$
    waarbij $\iota$ een involutie is en $\Delta_S$ de diagonale inbedding.
  • De conussen van de morfismen die $e_i f_j$ en $f_j e_i$ relateren, zijn gefiltreerd door combinaties van symmetrische en exterior machten van de universele bundel $U_k$ en haar afgeleide duale.
• Expliciete Formules: Het artikel geeft expliciete formules voor de complexen $h^{a\pm}_i$ die voorkomen in de exacte driehoeken, uitgedrukt in termen van symmetrische en exterior machten van de universele bundel getensoreerd met de canonieke bundel en de determinant.

Betekenis
Het artikel beweert de zwakke categorificatie van de actie van Negut op de K-theorie van moduliruumten van stabiele bundels te voltooien. Hoewel Negut eerder de relaties van het positieve deel van de kwantum toroidale algebra naar afgeleide categorieën had getild, breidt dit werk dat resultaat uit naar de volledige algebra door de commutatorrelaties tussen de $e_i$- en $f_j$-generatoren op te tillen.

De betekenis ligt in:

1. Generalisatie: Het generaliseert de categorificatie van Heisenberg-algebra acties (bestudeerd door Nakajima, Grojnowski en Baranovsky in cohomologie) naar de kwantum toroidale algebra in de K-theoretische setting.
2. Geometisch Inzicht: De nieuwe intersectietheoretische beschrijvingen van de quadruple moduliruumte via blow-ups bieden een robuust geometrisch kader voor het behandelen van afgeleide categorieën in deze context, met name wanneer de rang $r > 1$ is en de moduliruumten niet equidimensionaal of Cohen-Macaulay zijn.
3. Fundament voor Toekomstig Werk: De auteur merkt op dat hoewel de commutatorrelaties nu gecategoriseerd zijn, verdere relaties in de kwantum toroidale algebra (specifiek die voortvloeien uit de presentatie via de elliptische Hall-algebra) nog gecategoriseerd moeten worden. Dit werk legt de noodzakelijke geometrische en categorische basis voor dergelijk toekomstig onderzoek.

Het artikel claimt niet de categorificatie van de elliptische Hall-algebra relaties of de $A_{q,t}$ algebra relaties op te lossen, noch stelt het nieuwe experimentele toepassingen voor. De reikwijdte is strikt beperkt tot de geometrische constructie van de gecategoriseerde commutatoren voor de kwantum toroidale algebra actie op de afgeleide categorie van de moduliruumte.