Obstructions to Deformation Quantization of Bundles

Technische Samenvatting: Obstructies voor de Deformatiequantisering van Bundels

Probleemstelling
Het artikel behandelt het probleem van het uitbreiden van een deformatiequantisering van een vectorbundel $E$ over een gladde algebraïsche variëteit of complexe variëteit $M$ (uitgerust met een symplectische of holomorfe vorm $\omega$) van een eindige orde $k$ naar een hogere orde $\ell$ ($\ell > k$). Gegeven een orde $k$ quantisering $E_k$ (een lokaal vrije scheef van modules over de gekwantiseerde structuur-scheef $\mathcal{O}_\hbar / \hbar^{k+1}\mathcal{O}_\hbar$), onderzoeken de auteurs de cohomologische obstructies voor het vinden van een orde $\ell$ quantisering $E_\ell$ die $E_k$ uitbreidt. De studie maakt onderscheid tussen twee regimes: de "abeliaanse" range waar $k+1 \leq \ell \leq 2k+1$, en de "niet-abeliaanse" range waar $\ell \geq 2k+2$ (inclusief het oneindige orde geval $\ell = \infty$).

Methodologie
De auteurs maken gebruik van een geometrische benadering gebaseerd op Harish-Chandra torsoren en formele Darboux-stellingen.

1. Lokale trivialisering en torsoren: Door gebruik te maken van een formele Darboux-lemma (Theorem 7), stellen de auteurs vast dat de paar $(\mathcal{O}_\hbar, E_k)$ lokaal isomorf is aan een standaard paar bestaande uit de formele Weyl-algebra $D$ en een vrije module $M_k = (D/\hbar^{k+1}D)^{\oplus e}$. De collectie van al dergelijke lokale isomorfismen vormt een torsor $P(k)$ over $M$ met de structuurgroep $F_k = \text{Aut}(D, M_k)$.
2. Harish-Chandra structuur: Deze torsor wordt uitgebreid tot een transitieve Harish-Chandra torsor over het paar $(F_k, \mathfrak{g}_k)$, waarbij $\mathfrak{g}_k$ de Lie-algebra is van de infinitesimale automorfismen van het paar. Deze structuur voorziet geassocieerde vectorbundels van vlakke algebraïsche verbindingen.
3. Lie-algebra extensies: Het probleem van het uitbreiden van de quantisering wordt vertaald naar het probleem van het liften van de torsor $P(k)$ naar een torsor $P(\ell)$ over een uitgebreide Harish-Chandra-paar. Dit houdt het analyseren van extensies van de Lie-algebra's $\mathfrak{g}_k \to \mathfrak{g}_\ell$ in.
   • Voor $k+1 \leq \ell \leq 2k+1$ is de kernel van de extensie abeliaans, wat leidt tot een standaard cohomologische obstructie in $H^2$.
   • Voor $\ell \geq 2k+2$ is de kernel niet-abeliaans. De auteurs abelianiseren de kernel door de commutator-subalgebra weg te delen om een noodzakelijke voorwaarde (een "abeliaanse schaduw") voor het bestaan van de lift af te leiden.
4. Gelfand-Fuchs Map: De auteurs gebruiken de Gelfand-Fuchs map om Lie-algebra cohomologieklassen (die de extensie-cocycli representeren) te relateren aan de de Rham cohomologieklassen van de geassocieerde vlakke bundels op $M$.
5. Fedosov-verbindingen: In het holomorfe geval worden de resultaten geherinterpreteerd met behulp van Fedosov-type verbindingen op jet-bundels, wat een concrete differentiaalgeometrische realisatie biedt van de obstructieklassen.

Belangrijkste Bijdragen en Resultaten

• Theorem 1 (Abeliaanse Range): Voor $k+1 \leq \ell \leq 2k+1$ definiëren de auteurs een scheef $\text{End}(E)^{(k, \ell]}$ (een quotient van endomorfismen van $E$). Zij bewijzen dat:

  • Er bestaat een obstructieklasse in $H^2(M, \text{End}(E)^{(k, \ell]})$.
  • Deze klasse verdwijnt dan en slechts dan als een extensie $E_\ell$ bestaat.
  • Indien de obstructie verdwijnt, is de verzameling isomorfieklassen van dergelijke extensies een torsor over $H^1(M, \text{End}(E)^{(k, \ell]})$.
  • Dit resultaat wordt vastgesteld via het verdwijnen van het beeld van de extensie-cocycle onder de Gelfand-Fuchs map.

• Theorem 2 (Niet-Abeliaanse Range): Voor $\ell \geq 2k+2$ definiëren de auteurs een scheef $\text{End}^+_{\mathcal{O}_\hbar}(E_k)$ gerelateerd aan de geabelianiseerde kernel van de extensie. Zij bewijzen dat:

  • Het bestaan van een extensie $E_\ell$ de verdwijning van een obstructieklasse in $H^2(M, \text{End}^+_{\mathcal{O}_\hbar}(E_k))$ impliceert.
  • Deze voorwaarde is noodzakelijk maar niet voldoende, aangezien het volledige probleem betrekking heeft op niet-abeliaanse cohomologie.

• Theorem 8: Stelt de equivalentie vast tussen de quantisering $E_k$ en de scheef van vlakke secties van de vectorbundel geassocieerd met de Harish-Chandra torsor $P(k)$. Het biedt een quasi-isomorfisme tussen de quantiserings-scheef en de de Rham complex van de geassocieerde bundel.

• Corollaria over Bestaan en Uniciteit:

  • Als $H^2(M, \text{End}(E)) = 0$ (bijv. $M$ is een vereniging van twee affiene open verzamelingen), dan breidt elke orde $k$ quantisering uit naar alle orden $\ell \geq k+1$.
  • Als $H^1(M, \text{End}(E)) = 0$ (bijv. $M$ is affien), dan is de extensie uniek.
  • Als $M$ affien is en $E$ triviaal is, dan is elke quantisering van orde $k \geq 1$ triviaal.

• Lifts van Morfismen (Sectie 7): Het artikel breidt de analyse uit naar het liften van morfismen $\phi_k: E_k \to F_k$ naar orde $\ell$. Een obstructie $O \in H^1(M, \text{Hom}_{\mathcal{O}_\hbar}(E_s, F_s))$ wordt geïdentificeerd. De auteurs tonen aan dat zelfs als $O$ niet verdwijnt, men de keuzes van de doel-quantiseringen $E_\ell$ en $F_\ell$ kan aanpassen (door elementen uit $H^1$ toe te voegen) om de obstructie te laten verdwijnen, waardoor het lift van het morfisme mogelijk wordt.

Betekenis en Claims
Het artikel claimt een volledige karakterisering te bieden van de obstructies voor het uitbreiden van deformatiequantiseringen van vectorbundels in de "abeliaanse" range ($\ell \leq 2k+1$), waar de obstructie zowel noodzakelijk als voldoende is. Voor de complexere niet-abeliaanse range biedt het een rigoureus kader voor het identificeren van noodzakelijke voorwaarden via abelianisering.

De auteurs benadrukken dat hun benadering de studie van quantiserings-obstructies verenigt door de lens van Harish-Chandra torsoren en vlakke verbindingen, wat een systematische manier biedt om de gekwantiseerde bundels terug te winnen uit hun geassocieerde geometrische data. Het werk generaliseert eerdere resultaten over de quantisering van de structuur-scheef naar het geval van vectorbundels en biedt een spectrale sequentie-benadering voor het analyseren van de cohomologie van de obstructie-sheaves. Het artikel claimt niet het volledige probleem van het bestaan in de niet-abeliaanse context op te lossen, maar isoleert de abeliaanse obstructies die moeten verdwijnen voor een oplossing te bestaan.