Nilpotent cohomological Hall algebras of surfaces

Dit artikel vestigt een raamwerk voor cohomologische Hall-algebra's geassocieerd met coherente schoven ondersteund op een vaste curve binnen een gladde oppervlakte, waarbij een gegeneraliseerde moduli-stack wordt geconstrueerd en een functoriële algebra wordt gedefinieerd die enkel afhangt van de formele buurt van de curve om Hecke-operatoren te bestuderen en vragen met betrekking tot Kleiniaanse singulariteiten op te lossen.

De kern

Stel je voor dat je naar een glad, plat stuk stof kijkt (een wiskundig "oppervlak"). Stel je nu voor dat je een specifieke lijn of vorm op die stof tekent. Deze vorm kan een eenvoudige cirkel zijn, of een rommelige, verstrengelde knoop waarbij de stof over zichzelf heen vouwt (een "singuliere" of "reduceerbare" curve).

Dit artikel gaat over het bouwen van een nieuw soort wiskundige machine (een algebra) die ons helpt te begrijpen hoe we die stof specifiek langs die getekende lijn kunnen aanpassen of "modificeren", zonder dat we ons zorgen hoeven te maken over wat er ver van de lijn af gebeurt.

Hier is een uitsplitsing van de belangrijkste ideeën van het artikel met behulp van alledaagse analogieën:

1. Het Probleem: Te Veel Mogelijkheden

In de wiskunde, wanneer je bestudeert hoe je een stof verandert langs een lijn, moet je meestal naar de hele stof kijken. Maar soms zijn de veranderingen waar je om geeft zo specifiek voor die lijn dat het perspectief van de "hele stof" te rommelig en oneindig is. Het is alsof je probeert te begrijpen hoe een specifieke draad in een trui geknoopt is door naar de gehele oceaan te kijken.

De auteurs wilden een systeem creëren dat zich alleen richt op de omgeving van die specifieke lijn, en de rest van het universum negeert. Ze noemen dit de "formele buurt" (formal neighborhood).

2. De Oplossing: Een "Inzoom"-machine

Het artikel construeert een nieuw wiskundig object genaamd een Nilpotente Cohomologische Hall-algebra (COHA).

• Het "Hall"-gedeelte: Beschouw dit als een regelboek voor het combineren van dingen. Als je twee verschillende manieren hebt om de stof langs de lijn te modificeren, vertelt dit regelboek je hoe je deze "vermenigvuldigt" om een derde manier te krijgen.
• Het "Nilpotente" gedeelte: Dit is het cruciale filter. Het betekent dat de machine alleen geïnteresseerd is in modificaties die "nul" of "triviaal" zijn als je ze te ver van de lijn af beweegt. Het is als een spotlight die alleen de lijn zelf verlicht; alles buiten het licht vervaagt tot niets.
• Het "Cohomologische" gedeelte: Dit is de meetlat. Het telt niet alleen de modificaties; het meet hun "vorm" en "draaiingen" met behulp van geavanceerde meetkunde.

3. De Grote Ontdekking: Het "Lokale" Geheim

De belangrijkste bevinding in het artikel is dat deze nieuwe machine alleen afhankelijk is van de directe omgeving van de lijn, en niet van het hele oppervlak.

• De Analogie: Stel je voor dat je een wereldkaart hebt. Normaal gesproken heb je, om een specifieke stad te begrijpen, de hele land nodig. Dit artikel bewijst dat voor deze specifieke soorten modificaties van de stof, je de kaart kunt verscheuren, alleen het kleine vierkante inchje met de stad kunt houden, en dat je dan exact hetzelfde wiskundige resultaat krijgt.
• Waarom het ertoe doet: Dit stelt wiskundigen in staat om "lokale" berekeningen te doen (die makkelijker zijn) en te weten dat deze ook gelden voor de "globale" situatie. Het verandert een enorme, onmogelijke puzzel in een kleine, beheersbare puzzel.

4. De "Moduli Stack": Een Catalogus van Alle Mogelijkheden

Om deze machine te bouwen, moesten de auteurs eerst een enorme catalogus maken (een "moduli stack") van elke mogelijke manier om de stof langs die lijn te modificeren.

• Ze hebben bewezen dat hoewel deze catalogus oneindig groot is, deze een zeer georganiseerde structuur heeft. Het is als een bibliotheek die oneindig hoog is, maar als je naar de "gereduceerde" versie kijkt (waarbij de complexe, vage details worden weggestreept), ziet het eruit als een standaard, goed georganiseerd gebouw.
• Deze structuur maakt het mogelijk om de "Borel-Moore homologie" te definiëren, wat essentieel een manier is om de "gaten" en "lussen" in deze oneindige bibliotheek te tellen en te meten.

5. De Connectie met Andere Wiskunde

Het artikel vermeldt dat deze nieuwe machine verbinding maakt met andere beroemde wiskundige instrumenten:

• Hecke-operatoren: Dit zijn als "schakelaars" die de staat van de stof veranderen. De auteurs laten zien dat hun nieuwe machine de "grootst mogelijke schakelbord" is voor deze veranderingen langs de lijn.
• Quantumgroepen en Yangians: Dit zijn complexe algebraïsche structuren die worden gebruikt in de natuurkunde (zoals kwantummechanica). Het artikel legt de basis voor het aantonen dat deze machines voor het modificeren van stof eigenlijk dezelfde zijn als deze natuurkundige machines, specifiek wanneer de stof een "minimale resolutie" is van een singulariteit (een manier om een scherp punt glad te strijken).

Samenvatting

In eenvoudige termen bouwt dit artikel een gespecialiseerde rekenmachine voor het bestuderen van hoe je een oppervlak kunt aanpassen langs een specifieke, mogelijk rommelige lijn.

1. Het bewijst dat je deze lijn in isolatie (lokaal) kunt bestuderen zonder de hele oppervlakte te hoeven kennen.
2. Het creëert een regelboek (een algebra) voor het combineren van deze aanpassingen.
3. Het laat zien dat dit regelboek robuust is en werkt of je nu naar het hele oppervlak kijkt of naar de kleine omgeving van de lijn.

Dit werk lost niet alleen een puzzel op; het biedt het fundament (het "framework") voor andere wiskundigen om deze instrumenten te gebruiken om nog moeilijkere problemen op te lossen, zoals het verbinden van meetkunde met kwantumfysica, wat de auteurs vermelden dat ze doen in een begeleidend artikel.

Technische samenvatting

Technische Samenvatting: Nilpotente Cohomologische Hall-algebra's van Oppervlakken

Probleem en Motivatie
Het artikel behandelt de systematische studie van cohomologische "Hecke-operatoren" geassocieerd met modificaties van coherente schablonen op een glad oppervlak $X$ langs een vaste eigentelijke kromme $Z \subset X$ (die mogelijk singulier en reducibel is). Hoewel Cohomologische Hall-algebra's (COHA's) voor gladde oppervlakken en preprojectieve algebra's van quivers goed gevestigd zijn, ontbrak er een algemeen kader voor "nilpotente" COHA's—specifiek die de schablonen regeren die set-theoretisch ondersteund worden op een subschema $Z$.

De auteurs beogen een moduli-stack van coherente schablonen op $X$ met set-theoretische ondersteuning op $Z$, genoteerd als $\text{Coh}(\widehat{X}_Z)$, te construeren en deze Borel-Moore-homologie te voorzien van een canonieke Hall-algebra structuur. Deze constructie wordt gemotiveerd door de noodzaak om de relatie te begrijpen tussen de COHA van een minimale resolutie van een Kleiniaanse singulariteit en de bijbehorende preprojectieve COHA (een vraag die wordt behandeld in het begeleidende artikel [DPS$^+$26]) en om een intrinsieke constructie te bieden van de "grootste" algebra van cohomologische Hecke-operatoren voor dergelijke modificaties.

Methodologie en Kader
De auteurs ontwikkelen een geavanceerd kader dat gecombineerd wordt met afgeleide algebraïsche meetkunde, motivische homotopietheorie en de theorie van ind-objecten.

1. Moduli-stacks en Ind-geometrische Structuren:
   Het centrale object is de moduli-stack $\text{Coh}(\widehat{X}_Z)$ van coherente schablonen op de formele voltooiing $\widehat{X}_Z$ van $X$ langs $Z$. Omdat deze categorie niet van eindig type is, is de stack niet een algebraïsche stack in de klassieke zin. De auteurs bewijzen dat $\text{Coh}(\widehat{X}_Z)$ een indgeometrische stack is (een gefilterde colimiet van Artin-stacks met gesloten immersie transitiekaarten).

   • Stelling A: Zij stellen vast dat de gereduceerde stack $\text{Coh}(\widehat{X}_Z)_{\text{red}}$ een quasi-gescheiden Artin-stack is die lokaal van eindig type is. Verder wordt $\text{Coh}(\widehat{X}_Z)$ geïdentificeerd als de formele voltooiing van de stack van alle coherente schablonen $\text{Coh}_{\text{ps}}(X)$ langs de gesloten substack van schablonen ondersteund op $Z$.
   • Admissibiliteit: Om de niet-quasi-compactheid te behandelen, introduceren de auteurs de klasse van admissibele indgeometrische stacks, gekenmerkt door het hebben van een geometrische gereduceerde stack. Zij construeren een expliciete admissible open uitputting voor deze stacks met behulp van Harder-Narasimhan strata.

2. Motivische Borel-Moore Homologie:
   Ter uitbreiding van het werk van A. Khan [Kha19] en het eerdere werk van de auteurs [DPS22], definiëren zij Borel-Moore-homologie voor admissible indgeometrische stacks.

   • Stelling C: Zij construeren een lax symmetrisch monoidale functor $H^{\text{BM}}_*(-; \mathbb{Q})$ van de categorie van correspondenties van admissible indgeometrische stacks naar pro-objecten in modules. Deze theorie accommodeert de niet-quasi-compactheid door homologiegroepen te behanden als topologische vectorruimten (limieten over quasi-compacte open uitputtingen) en breidt functorialiteit uit naar lokaal propere morfismen via een renormalisatieprocedure.

3. 2-Segal Structuren en Hall-multiplicatie:
   Om de Hall-multiplicatie te definiëren, maken de auteurs gebruik van de Waldhausen-constructie $S_\bullet \text{Coh}(\widehat{X}_Z)$, die een 2-Segal afgeleide stack vormt die de algebra-structuur in correspondenties codeert.

   • Stelling B: Zij bewijzen dat de relevante vierkanten betrokken bij extensie-stacks pullbacks zijn. Dit zorgt ervoor dat de correspondentie-afbeeldingen die de Hall-product definiëren, goed gedefinieerd zijn (representeerbaar door eindig verbonden, quasi-compacte, lci Artin afgeleide stacks).
   • Cruciaal is dat zij aantonen dat de Hall-algebra structuur alleen afhangt van de formele voltooiing $\widehat{X}_Z$ als een formeel schema, en niet van het omringende oppervlak $X$.

Belangrijkste Bijdragen en Resultaten

• Constructie van Nilpotente COHA: Het primaire resultaat is Stelling D, die de existentie van een unitaire associatieve topologische algebra structuur op de Borel-Moore-homologie $H^{\text{BM}}_*(\text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z); \mathbb{Q})$ vaststelt. De multiplicatie wordt gedefinieerd via de correspondentie:
  $$\text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z) \times \text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z) \xleftarrow{\partial_0 \times \partial_2} S_2 \text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z) \xrightarrow{\partial_1} \text{Coh}^{\text{nil}}_{\text{ps}}(\widehat{X}_Z)$$
  waarbij het product $p_* q^!$ is.

• Functorialiteit en Onafhankelijkheid:

  • De algebra is functorieel met betrekking tot gesloten immersies $Z' \subset Z$ en transformaties van de motivische formalisme.
  • Het is invariant onder isomorfismen van formele voltooiingen: een isomorfisme $\widehat{X}_Z \cong \widehat{X'}_{Z'}$ induceert een isomorfisme van topologische algebra's. Dit maakt het mogelijk om globale berekeningen te reduceren tot lokale berekeningen die enkel afhangen van de formele buurt.

• 0-Dimensionale Geval en W-Algebra's:
  In Sectie 6, onder de aanname dat de pushforward $H^{\text{BM}}_*(Z) \to H^{\text{BM}}_*(X)$ injectief is (voldaan in het geval van minimale resoluties van ADE-singulariteiten en bepaalde elliptische oppervlakken), bieden de auteurs een expliciete karakterisering van de 0-dimensionale nilpotente COHA.

  • Stelling 6.7: Zij bewijzen dat de 0-dimensionale nilpotente COHA isomorf is aan een specifieke sub-algebra van de W-algebra geassocieerd met het paar $(X, Z)$, specifiek $H_{X,Z;0} \cong W_+(\widehat{X}_Z)$. Dit verbindt de geometrische constructie met de algebraïsche structuren die in [MMSV23] worden bestudeerd.

Betekenis en Claims
Het artikel claimt het fundamentele kader te bieden voor nilpotente cohomologische Hall-algebra's, waarbij de constructie wordt gegeneraliseerd van quivers naar oppervlakken. De significantie ligt in:

1. Generalisatie: Het breidt de theorie van COHA's uit naar de setting van schablonen ondersteund op willekeurige eigentelijke krommen (mogelijk singulier) op gladde oppervlakken, wat de globale nilpotente kegel generaliseert.
2. Intrinsieke Constructie: Het biedt een intrinsieke constructie van de algebra van cohomologische Hecke-operatoren, onafhankelijk van de globale geometrie van het omringende oppervlak, rustend uitsluitend op de formele buurt van de kromme.
3. Brug naar Quantumgroepen: Door de link te leggen met W-algebra's in het 0-dimensionale geval en de relatie met preprojectieve COHA's (via [DPS$^+$26]) te vestigen, biedt dit werk een cruciaal instrument voor het begrijpen van de precieze relatie tussen oppervlakte-COHA's en quantumgroepen/Yangians.
4. Technische Vooruitgang: Het brengt de theorie van de motivische Borel-Moore-homologie voort naar de klasse van admissible indgeometrische stacks, waardoor het mogelijk wordt om niet-quasi-compacte moduli-problemen in een rigoureus afgeleid kader te behandelen.

De auteurs merken op dat de resultaten bedoeld zijn om gebruikt te worden in het begeleidende artikel [DPS$^+$26] om specifieke vragen te beantwoorden betreffende de relatie tussen de COHA's van Kleiniaanse singulariteiten en preprojectieve algebra's, maar zij claimen niet de volledige presentatieproblematiek voor willekeurige oppervlakken binnen deze tekst op te lossen, waarbij zij opmerken dat het 0-dimensionale geval het meest expliciet begrepen is.