Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Technische Samenvatting: Secties van Lagrangiaanse Fibraties

Probleemstelling
Het artikel behandelt de existentie van secties voor Lagrangiaanse fibraties $\pi: M \to X$ op compacte hyperkähler-variëteiten $M$ met maximale holonomie (irreducibele holomorf symmetrische variëteiten). Hoewel de basis $X$ bekend staat als biholomorf aan $\mathbb{CP}^n$ (onder aannames van gladheid), vormt de existentie van een globale holomorfe of zelfs meromorfe sectie een niet-triviale topologische en geometrische obstructie.

Eerdere pogingen om dergelijke secties te construeren met louter topologische argumenten (bijv. het representeren van homologieklassen door subvariëteiten) faalden, in het bijzonder voor K3-oppervlakken en elliptische fibraties. Het centrale probleem is om te bepalen of men, onder specifieke condities, de complexe structuur van $M$ kan deformeren zodat er een meromorfe sectie ontstaat zonder het deformatie-type van de variëteit te veranderen.

Methodologie
De auteurs hanteren een meerfasige aanpak die algebraïsche meetkunde, homologische algebra en complexe differentiële meetkunde combineert:

1. Gedegenereerde Twistor-deformaties: Het kernmechanisme is het gebruik van "gedegenereerde twistor-deformaties" (of Tate-Shafarevich-twists). Gegeven een Lagrangiaanse fibratie $\pi: M \to X$ en een gesloten $(2,0)+(1,1)$-vorm $\eta$ op de basis $X$, kan men de complexe structuur van $M$ deformeren naar een nieuwe structuur $I_\eta$ zodanig dat de vorm $\Omega + \pi^*\eta$ holomorf symmetrisch wordt. Cruciaal is dat als een gladde sectie $S$ bestaat, de vorm $\eta = -S^*\Omega$ de sectie $S$ holomorf maakt in de gedefinieerde structuur.
2. Lokale Constructie via Middeling: De auteurs construeren eerst een gladde sectie over een algemene lijn $C \cong \mathbb{CP}^1 \subset X$. Dit berust op:
   • Thom's Stelling: Het representeren van een specifieke homologieklasse in de pre-image $\pi^{-1}(C)$ door een glad 2-dimensionaal subvariëteit.
   • Néron-modellen en Torsor-structuren: Het benutten van de fiberwijze abelse groepstructuur (of torsorstructuur) van de gladde vezels. Door de snijpunten van de subvariëteit met de vezels te "middelen" (met behulp van de groepsstructuur), construeren zij een gladde sectie $\sigma: C \to M$.
   • Primitiviteitsaanname: De constructie vereist dat de algemene vezel primitief is in de gehele homologie om de existentie van een multisectie met totale multipliciteit 1 te waarborgen.
3. Extensie via Dolbeault-stromen: De primaire obstructie voor het uitbreiden van de lokale deformatie van een omgeving van $C$ naar de gehele basis $X = \mathbb{CP}^n$ ligt in de cohomologiegroep $H^1(UC, \mathcal{O})$. De auteurs definiëren een "Dolbeault-klasse" geassocieerd met de sectie. Zij bewijzen dat deze klasse verdwijnt door deze te realiseren als een stroom en aan te tonen dat deze exact is, waardoor de gesloten vorm $\eta$ uitgebreid kan worden naar de gehele basis.
4. Holografisch Principe: Zodra een holomorfe sectie bestaat over een omgeving van een ample rationale curve $C$, passen de auteurs een "holografisch principe" toe (Stelling 5.12). Dit principe stelt dat elke holomorfe afbeelding van een omgeving van een ample rationale curve in $\mathbb{CP}^n$ naar een Kähler-variëteit uitbreidt tot een meromorfe afbeelding op de gehele $\mathbb{CP}^n$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Hoofdresultaat): Laat $\pi: M \to \mathbb{CP}^n$ een Lagrangiaanse fibratie zijn op een compacte hyperkähler-variëteit van maximale holonomie. Neem aan dat de algemene vezel primitief is in de gehele homologie en dat de vezels gereduceerd zijn buiten een deelverzameling van codimensie 2. Dan bestaat er een parameter $t_0 \in H^2(\mathbb{CP}^n, \mathbb{C})$ zodanig dat de gedegenereerde twistor-deformatie $(M, I_{t_0})$ een meromorfe sectie $\pi: (M, I_{t_0}) \to \mathbb{CP}^n$ toelaat.
• Verdwijnen van de Obstructie (Stelling 6.19): Het artikel bewijst dat de Dolbeault-klasse geassocieerd met de gladde sectie die over een lijn is geconstrueerd, verdwijnt. Dit is de cruciale stap die de lokale gedegenereerde twistor-deformatie mogelijk maakt om globaal uitgebreid te worden.
• Verfijning van Homologie-argumenten (Sectie 4): De auteurs behandelen de subtiliteiten met betrekking tot de homologieklasse van de geconstrueerde sectie. Zij demonstreren dat hoewel de "middelingsprocedure" de homologieklasse van de initiële multisectie wijzigt, de resulterende klasse uniek bepaald is en compatibel is met de globale structuur, wat de zorgen van J. Kollár over het behoud van homologieklassen wegneemt.
• Vergelijking met Tate-Shafarevich-twists: Het artikel onderscheidt hun aanpak van het recente werk van J. Kollár over Tate-Shafarevich-twists. Terwijl Kollár rationale secties voor abelse fibraties construeert via twists die mogelijk het deformatie-type van de variëteit niet behouden, zorgt het gebruik van gedegenereerde twistor-deformaties door de auteurs ervoor dat de resulterende variëteit deformatie-equivalent blijft aan het originele $M$.

Betekenis en Claims

Het artikel beweert het topologische probleem van het construeren van een gladde sectie voor Lagrangiaanse fibraties op te lossen door een robuuste algebraïsch-geometrische aanpak te ontwikkelen die de beperkingen van eerdere topologische methoden overwint.

• Deformatie-equivalentie: Een significante claim is dat de resulterende variëteit met een meromorfe sectie een gedegenereerde twistor-deformatie is van de oorspronkelijke variëteit. In tegenstelling tot andere constructies (zoals bepaalde Tate-Shafarevich-twists), behoudt deze deformatie het deformatie-type van de hyperkähler-variëteit.
• Noodzakelijkheid van Primitiviteit: De auteurs beargumenteren expliciet dat de primitiviteit van de algemene vezel een noodzakelijke conditie is voor de existentie van een bimeromorfe sectie, waarbij zij verwijzen naar voorbeelden (Hellmann's Mukai-systeem) waar niet-primitive vezels dergelijke secties verhinderen.
• Generaliteit: Het resultaat is van toepassing op alle Lagrangiaanse fibraties op hyperkähler-variëteiten die voldoen aan de primitiviteits- en gereduceerde vezelcondities, wat een verenigd kader biedt voor de existentie van secties in deze context.

Het artikel claimt niet dat zij secties construeren voor alle Lagrangiaanse fibraties zonder de primitiviteitsaanname, noch claimen zij dat de sectie holomorf is op de oorspronkelijke complexe structuur; in plaats daarvan vestigen zij de existentie van een sectie binnen een specifieke, goed gedefinieerde familie van deformaties van de complexe structuur.