Existence of holomorphic Lie algebroid connections in higher dimensions

Titel: Bestaan van Holomorfe Lie-Algebroid-Verbindingen in Hogere Dimensies

Auteurs: Indranil Biswas en Anoop Singh
Onderwerp: Complexe meetkunde, algebraïsche meetkunde, holomorfe vectorbundels, Lie-algebroiden.

---

1. Probleemstelling en Context

Het artikel behandelt het fundamentele probleem van het bestaan van holomorfe verbindingen op holomorfe vectorbundels over complexe projectieve variëteiten.

• Achtergrond: Holomorfe verbindingen op een vectorbundel $E$ over een variëteit $X$ werden geïntroduceerd door Atiyah. Het bestaan ervan is een zeer restrictieve voorwaarde. Voor een compact Riemann-oppervlak (dimensie 1) bestaat een holomorfe verbinding dan en slechts dan als de graad van elke onontleedbare component van de bundel nul is.
• Generalisatie: De auteurs generaliseren dit concept naar holomorfe Lie-algebroid-verbindingen. In plaats van de standaard raakbundel $(TX, \text{Id}_{TX})$ te gebruiken, wordt een willekeurige holomorfe Lie-algebroid $(V, \phi)$ over $X$ beschouwd, waarbij $\phi: V \to TX$ de "anker" (anchor) map is.
• Specifieke Uitdaging: Voor variëteiten met dimensie $d \geq 3$ is het lastig om criteria te vinden voor het bestaan van dergelijke verbindingen. Atiyah bewees reeds een criterium voor de standaard holomorfe verbindingen in dimensie $\geq 3$. Het doel van dit werk is om Atiyah's criterium te generaliseren naar het kader van Lie-algebroid-verbindingen in hogere dimensies.

2. Methodologie

De auteurs gebruiken een combinatie van cohomologische methoden, de theorie van Atiyah-klassen en restrictie-argumenten naar hypersurfaces.

• Lie-Algebroid Definitie: Een Lie-algebroid $(V, \phi)$ bestaat uit een holomorf vectorbundel $V$, een ankermap $\phi: V \to TX$, en een Lie-algebra structuur op de secties die voldoet aan de Leibniz-regel.
• Verbinding en Atiyah-klasse: Een $(V, \phi)$-verbinding op een bundel $E$ wordt gedefinieerd als een holomorf splitsen van de exacte rij van eerste-orde $V$-jetbundels:
  $$0 \to E \otimes V^* \to J^1_V(E) \to E \to 0$$
  Het bestaan van een dergelijke verbinding is equivalent met het verdwijnen van de $V$-Atiyah-klasse $at_V(E) \in H^1(X, \text{End}(E) \otimes V^*)$.
• Restrictie naar Hypersurfaces: De kern van de bewijsvoering ligt in het bestuderen van de restrictie van de bundel $E$ en de Lie-algebroid $(V, \phi)$ naar een snijding $X_n = X \cap H_n$, waarbij $H_n$ een algemene hypersurface van hoge graad $n$ is in de omringende projectieve ruimte $\mathbb{CP}^N$.
• Cohomologische Isomorfismen: Met behulp van de stellingen van Serre en de duaaliteit van Serre, tonen de auteurs aan dat voor voldoende grote $n$ (en dimensie $X \geq 3$), de cohomologiegroepen $H^1$ en $H^2$ van bepaalde getwiste bundels verdwijnen. Dit leidt tot isomorfismen tussen de cohomologie van $X$ en die van de restrictie $X_n$.

3. Belangrijkste Resultaten

Het artikel presenteert twee hoofdstellingen die de voorwaarden voor het bestaan van verbindingen karakteriseren.

Stelling 1.1 (Algemeen Geval)

Laat $X$ een irreducibele, gladde, complexe projectieve variëteit zijn met $\dim(X) \geq 3$. Laat $(V, \phi)$ een holomorfe Lie-algebroid zijn waarbij de ankermap $\phi: V \to TX$ surjectief is.

• Resultaat: Een holomorf vectorbundel $E$ over $X$ admiteert een holomorfe $(V, \phi)$-verbinding dan en slechts dan als de restrictie $E|_{X_n}$ een holomorfe $(V_n, \phi_n)$-verbinding admiteert voor een voldoende grote graad $n$.
• Constructie: Hierbij is $(V_n, \phi_n)$ de Lie-algebroid over de hypersurface $X_n$ die ontstaat als de kern van de gereduceerde ankermap naar de normaalbundel van $X_n$.

Stelling 3.2 (Logaritmische Geval / Divisoren)

De auteurs beschouwen ook het geval van een gereduceerde effectieve divisor $Z \subset X$. Hierbij wordt de Lie-algebroid $W = TX \otimes \mathcal{O}_X(-Z)$ beschouwd (de logaritmische tangentiebundel), met de inclusie als ankermap (niet-surjectief).

• Resultaat: Als $X_n$ een gladde hypersurface is van voldoende hoge graad die $Z$ "proper" (goed) snijdt, dan admiteert $E$ een $(W, j)$-verbinding over $X$ dan en slechts dan als $E|_{X_n}$ een $(W_n, j_n)$-verbinding admiteert over $X_n$.

4. Technische Kern van het Bewijs

Het bewijs rust op de volgende logische stappen:

1. Exacte Rijen: Er wordt een exacte rij geconstrueerd die de relatie beschrijft tussen de bundels op $X$ en hun restricties op $X_n$.
2. Vernietiging van Cohomologie: Voor $n \gg 0$ en $\dim(X) \geq 3$, geldt $H^1(X, F \otimes \mathcal{O}(-X_n)) = 0$ en $H^2(X, F \otimes \mathcal{O}(-2X_n)) = 0$ voor relevante coherentie schoven $F$.
3. Injectiviteit: Dit leidt tot een injectieve afbeelding van cohomologiegroepen:
   $$H^1(X, \text{End}(E) \otimes V^*) \hookrightarrow H^1(X_n, \text{End}(E|_{X_n}) \otimes V_n^*)$$
4. Functorialiteit: Omdat de Atiyah-klasse functorieel is onder restrictie ($i^\sharp(at_V(E)) = at_{V_n}(E|_{X_n})$), en de afbeelding injectief is, volgt dat $at_V(E) = 0$ equivalent is met $at_{V_n}(E|_{X_n}) = 0$.

5. Betekenis en Impact

• Generalisatie van Atiyah: Het werk breidt Atiyah's klassieke criterium voor holomorfe verbindingen uit naar een veel bredere klasse van objecten (Lie-algebroid-verbindingen).
• Unificatie van Concepten: Het artikel illustreert hoe diverse meetkundige objecten, zoals Higgs-bundels, logaritmische verbindingen en meromorfe verbindingen, allemaal als speciale gevallen van Lie-algebroid-verbindingen kunnen worden opgevat. De stellingen gelden dus voor al deze gevallen.
• Reductie van Dimensie: Een belangrijke implicatie is dat het bestaan van een verbinding in hoge dimensies kan worden gereduceerd tot het bestaan op een lagere-dimensionale snijding (hypersurface). Dit is een krachtige techniek in de algebraïsche meetkunde.
• Open Vraag: De auteurs merken op dat het vinden van vergelijkbare criteria voor willekeurige Lie-algebroiden (zonder de aanname van een surjectieve ankermap of specifieke structuren zoals bij divisors) nog een belangrijk open probleem blijft.

Conclusie:
Dit artikel levert een fundamenteel technisch resultaat op door de existentie van holomorfe verbindingen op complexe projectieve variëteiten van dimensie $\geq 3$ te koppelen aan hun restricties naar hypersurfaces. Het biedt een robuust kader voor het analyseren van veralgemeende verbindingen in de complexe meetkunde.