Meromorphic Group Actions and the Support Theorem for Lagrangian Fibrations

Technische Samenvatting: Meromorfe Groepswerkingen en de Ondersteuningsstelling voor Lagrangiaanse Fibraties

Probleemstelling
Het artikel behandelt de geometrische en cohomologische structuur van Lagrangiaanse fibraties $f: X \to B$ op holomorfe symplectische complexe ruimten. Terwijl de Liouville–Arnold-stelling de dynamica van dergelijke systemen beschrijft over de reguliere locus (waar de vezels compacte tori zijn), blijft het gedrag over de singuliere vezels en de gehele basis $B$ complex. Specifiek onderzoeken de auteurs of een familie van commutatieve Lie-groepen kan worden geconstrueerd die faithful op de totale ruimte $X$ werkt over de gehele basis $B$, inclusief singuliere vezels, en hoe deze groepswerking de topologie van de fibratie bepaalt.

Een centraal doel is het bewijzen van een "Ondersteuningsstelling" (Support Theorem) voor de Decompositiestelling van het direct beeldcomplex $Rf_* \mathbb{R}_X[\dim X]$ (of $Rf_* IC_X$ in het singuliere geval). Deze stelling relateert de mogelijke ondersteuningen (irreducibele subvariëteiten $Z \subseteq B$) die voorkomen in de decompositie aan de geometrie van de vezels van de groepenfamilie, specifiek hun maximale compacte torus-quotiënten.

Methodologie
De auteurs maken gebruik van een synthese van complexe analytische geometrie, Hodge-theorie en de theorie van Hopf-algebra's. De methodologie verloopt in drie hoofdfasen:

1. Constructie van Meromorfe Groepswerkingen:

   • Vertrekkend vanuit de Liouville–Arnold-stelling, integreren de auteurs verticale Hamiltoniaanse vectorfelden om een holomorfe werking van de cotangente bundel $T^*B$ op de reguliere locus te definiëren.
   • Ze breiden dit uit naar de gehele ruimte $X$ door gebruik te maken van de relatieve Douady-ruimte van $X \times_B X$. Door de irreducibele component te analyseren die de afbeelding van de classificatiemorfisme bevat, construeren ze een familie van meromorfe groepen $G \to B$ (in de zin van Fujiki).
   • Een cruciaal technisch resultaat is het bewijs dat deze constructie een gladde familie van commutatieve Lie-groepen oplevert die meromorf op $X$ werken, zelfs wanneer $X$ singulier of niet-compact is, mits $X$ Kähler is en $B$ een complexe variëteit is. Dit verwijdert de afhankelijkheid van eerdere algebraïsche aannames of voorwaarden op de kritische locus.

2. Cohomologische Vrijheid via Hopf-modules:

   • De auteurs stellen een "Vrijheidstelling" (Freeness Theorem) vast voor de cohomologie van de vezels. Ze maken gebruik van de structuur van meromorfe groepen, die een decompositie $1 \to L \to G \to T \to 1$ bezitten (waarbij $L$ lineair-algebraïsch is en $T$ een compacte torus).
   • Met behulp van gemengde Hodge-theorie tonen ze aan dat de cohomologie $H^*(X_b)$ van een vezel een vrije comodule is over de Hopf-algebra $H^*(T_b)$.
   • Cruciaal is dat ze Deligne's splitsingsconstructie voor de decompositiestelling aanpassen om aan te tonen dat de perverse filtratie op de cohomologie van de vezels compatibel is met de comodule-structuur. Dit maakt het mogelijk om de cohomologie van het direct beeldcomplex te behandelen als een vrije module over de cohomologie van de maximale compacte quotient.

3. Bewijs van de Ondersteuningsstelling:

   • Door de vrijheid van de cohomologische modules te combineren met de $\delta$-regulariteitsvoorwaarde (een bovengrens aan de dimensie van het lineaire deel van de groep over de basis), beperken de auteurs de mogelijke ondersteuningen in de Decompositiestelling.
   • Ze demonstreren dat als $Z \subseteq B$ een ondersteuning is, de codimensie ervan wordt bepaald door de dimensie van de maximale compacte torus-quotient $T_b$ van de groepvezel over een algemeen punt van $Z$.

Kernbijdragen en Resultaten

• Stelling A (Bestaan van Groepswerking): Voor een Lagrangiaanse fibratie $f: X \to B$ met $X$ Kähler (mogelijk singulier) en $B$ glad, bestaat er een gladde familie $G \to B$ van commutatieve Lie-groepen die faithful en meromorf op $X$ werken. Dit generaliseert eerdere resultaten die algebraïsche settings of specifieke voorwaarden op de kritische locus vereisten.
• Stelling B (Vrijheidstelling): De singuliere cohomologie $H^*(X_b, \mathbb{R})$ van een vezel is een vrije module over de cohomologie-algebra $H^*(T_b, \mathbb{R})$, waarbij $T_b$ de maximale compacte torus-quotient is van de identiteitscomponent van de groepvezel. Dit resultaat geldt voor constructibele complexen onder de groepswerking, inclusief de intersectiecomplex $IC_X$ voor singuliere $X$.
• Stelling C (Ondersteuningsstelling): Als $Z \subseteq B$ een ondersteuning is in de Decompositiestelling voor $Rf_* IC_X$, dan geldt $\dim Z = \dim T_b$ voor een algemeen $b \in Z$. Verder wordt de directe som van eenvoudige perverse sheaves ondersteund op $Z$ geconstrueerd uit de cohomologie van de compacte torus-quotiënten en een lokaal systeem met eindige monodromie.
• Generalisatie naar Singuliere Ruimten: De resultaten worden uitgebreid naar singuliere holomorfe symplectische ruimten (in de zin van Beauville) door gebruik te maken van Poisson-geometrie en functoriele resoluties van singulariteiten, waarbij bewezen wordt dat de equidimensionaliteit en vlakheidseigenschappen die nodig zijn voor het bewijs ook in deze bredere context standhouden.

Betekenis en Claims

Het artikel claimt een volledige en intrinsieke beschrijving te bieden van de ondersteuningen in de Decompositiestelling voor Lagrangiaanse fibraties, waarbij de algebraïsche en Kähler-settings worden verenigd.

• Eliminatie van Voorwaarden: De auteurs benadrukken dat hun constructie van de groepswerking de noodzaak voor "voorwaarde (1)" (surjectiviteit van de niet-kritische locus) gebruikt in eerder werk, wegneemt, en dat het niet vereist dat de fibratie algebraïsch is.
• Hodge-theoretische Compatibiliteit: Het gebruik van reële coëfficiënten wordt gemotiveerd door de noodzaak dat de module-structuur canoniek en compatibel is met gemengde Hodge-structuren. De auteurs merken op dat hoewel de resultaten gelden over $\mathbb{Q}$, de module-structuur in dat geval niet canoniek is.
• Geometrische Interpretatie: De Ondersteuningsstelling biedt een geometrische karakterisering van de decompositie: de "omvang" van de ondersteuningen wordt direct geregeerd door de "omvang" van de compacte torus-quotiënten van de werkende groepenfamilie. Dit koppelt de topologie van het direct beeldcomplex direct aan de geometrie van de groepswerking die via het Liouville–Arnold-mechanisme is geconstrueerd.
• Toepasbaarheid: Het kader is toepasbaar op zowel gladde als singuliere Lagrangiaanse fibraties, inclus\n bij Hitchin-systemen en moduli-ruimten, wat een robuust instrument biedt voor het analyseren van de topologie van deze ruimten zonder afhankelijk te zijn van specifieke algebraïsche modellen.

De auteurs positioneren hun werk als een belangrijke stap in het begrijpen van de globale structuur van integreerbare systemen in de complexe geometrie, waarbij zij de brug slaan tussen het lokale Liouville–Arnold-beeld en het globale singuliere gedrag van de fibratie.