On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

De auteurs onderzoeken algebraïsch co-isotrope deelvariëteiten in holomorf symplectische projectieve variëteiten en bewijzen dat, wanneer de canonieke bundel semi-ample is, deze deelvariëteit onder bepaalde voorwaarden Lagrangiaans is of een productstructuur bezit, met name in het geval van abelse variëteiten.

De kern

De dans van de wiskunde: Een verhaal over coïsoptrope subvariëteiten

Stel je voor dat je een enorme, perfect symmetrische dansvloer hebt. In de wiskundige wereld noemen we deze dansvloer een holomorf symplectisch manifold. Het is een ruimte met een heel speciale structuur (een "symplectische vorm") die zorgt dat alles er perfect in evenwicht is, alsof er een onzichtbare muziek speelt die elke beweging regelt.

De auteurs van dit artikel, Ekaterina Amerik en Frédéric Campana, kijken naar bepaalde figuren die op deze dansvloer staan. Ze noemen deze figuren algebraïsch coïsoptrope subvariëteiten. Dat is een lange naam voor een simpel idee: het zijn vormen die op een specifieke manier "meebewegen" met de muziek van de dansvloer.

Hier is wat ze hebben ontdekt, vertaald naar alledaagse taal:

1. De Grote Vraag: Is het een kopie?

De auteurs stellen een interessante vraag: Als je zo'n vorm op de dansvloer hebt die niet uit één stuk bestaat (wiskundig: "niet uniruled", wat betekent dat je er niet zomaar met rechte lijnen doorheen kunt snijden), is het dan eigenlijk gewoon een combinatie van twee losse dingen?

Stel je voor dat je een grote doos hebt. De vraag is: Is deze doos eigenlijk gewoon een doos met een doos erin?

• De ene doos is een kleinere versie van de grote dansvloer (een symplectisch manifold).
• De andere doos is een heel specifiek, plat stukje dat perfect in de eerste doos past (een "Lagrangiaanse" subvariëteit).

De auteurs vragen zich af of elke complexe vorm op de dansvloer eigenlijk maar een combinatie is van zo'n plat stukje en een andere, onafhankelijke dansvloer.

2. Het Bewijs: Wanneer de "grond" stevig is

Ze hebben bewezen dat dit idee klopt in een heel specifiek geval: als de hele dansvloer een Abelse variëteit is.

• Wat is dat? Denk aan een oneindig uitgerekt, perfect rooster, zoals een gigantisch schaakbord dat in alle richtingen doorgaat.
• Het resultaat: Als je op zo'n schaakbord een vorm tekent die voldoet aan de regels, dan is die vorm inderdaad een combinatie van een "plat" stukje (Lagrangiaans) en een ander stukje van het schaakbord. Het is alsof je een sticker plakt op een muur, en die sticker is eigenlijk gewoon een stukje van een andere muur dat er perfect op past.

3. De "Zware" Vormen

De auteurs kijken ook naar vormen die "zwaar" zijn (wiskundig: als hun "kanoonbundel" groot is).

• De analogie: Stel je voor dat je een vorm hebt die zo zwaar is dat hij niet kan "drijven" of "dansen" in de lucht. Hij moet plat op de grond liggen.
• Het resultaat: Als zo'n vorm zwaar genoeg is, dan is hij altijd een "Lagrangiaans" stukje. Dat betekent dat hij precies half zo groot is als de dansvloer en perfect plat ligt, zonder dat er ruimte is om te bewegen. Het is alsof je een vel papier perfect plat op een tafel legt; het kan niet meer omhoog.

4. Het Verschil tussen Soorten Dansvloeren

Een van de belangrijkste ontdekkingen is het contrast tussen twee soorten dansvloeren:

1. De Hyperkähler-dansvloer: Dit is een zeer complexe, rijke dansvloer (zoals een K3-oppervlak). Hier kun je heel veel verschillende "platte" vormen vinden. Het is een levendige wereld vol mogelijkheden.
2. De Abelse variëteit (het schaakbord): Hier is het veel moeilijker. Als het schaakbord "genereel" genoeg is (d.w.z. heel willekeurig en niet speciaal opgebouwd), dan bestaan er geen complexe, niet-triviale platte vormen.
   • De les: Op een heel willekeurig schaakbord kun je geen complexe sticker plakken die perfect plat ligt, tenzij het een heel simpele lijn of punt is. De "muziek" van zo'n schaakbord is te complex om door een ander complex patroon te worden nagevolgd.

5. Een Raar Voorbeeld (Niet-projectief)

Aan het einde van het artikel geven ze een raar voorbeeld van een dansvloer die niet projectief is (dus niet in de gewone ruimte past, maar wel in de complexe wiskunde).

• Ze bouwen een torus (een vorm als een donut) die een automorfisme (een draaiing) heeft die de muziek verandert met een getal dat geen "wortel" is van 1.
• Dit klinkt als wiskundig jargon, maar het betekent simpelweg: ze vinden een manier om een dansvloer te maken waar je een heel specifieke, perfecte sticker op kunt plakken die je op een gewone, normale dansvloer niet zou vinden. Het is een "exotische" dansvloer.

Samenvatting in één zin

De auteurs hebben bewezen dat op bepaalde complexe, symmetrische ruimtes (zoals Abelse variëteiten), elke vorm die niet uit losse lijnen bestaat, eigenlijk gewoon een combinatie is van een plat stukje en een ander stukje van de ruimte zelf, tenzij de ruimte zo "willekeurig" is dat zulke vormen er simpelweg niet kunnen bestaan.

Het is een beetje alsof ze zeggen: "Als je een complexe figuur tekent op een perfect rooster, en die figuur is niet zomaar een lijn, dan is die figuur eigenlijk maar een combinatie van een rechte lijn en een ander stuk van het rooster. Maar als het rooster te willekeurig is, kun je zo'n figuur er helemaal niet op tekenen."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On algebraically coisotropic submanifolds of holomorphic symplectic manifolds" van Ekaterina Amerik en Frédéric Campana, geschreven in het Nederlands.

Titel: Op algebraisch co-isotrope deelvariëteiten van holomorf symplectische variëteiten

Auteurs: Ekaterina Amerik en Frédéric Campana
Publicatie: Épijournal de Géométrie Algébrique (Speciale editie ter ere van Claire Voisin), 2023.

---

1. Probleemstelling en Achtergrond

Het artikel onderzoekt de structuur van algebraïsch co-isotrope deelvariëteiten $X$ binnen een projectieve holomorf symplectische variëteit $M$.

• Context: $M$ is een complexe projectieve variëteit van dimensie $2n$uitgerust met een holomorf symplectische vorm$\sigma$.
• Definitie: Een deelvariëteit $X$ is co-isotroop als de rang van de restrictie $\sigma|_X$ gelijk is aan $2(n-c)$, waarbij$c$de codimensie van$X$is. Dit betekent dat de kern van$\sigma|_X$een reguliere foliatie$\mathcal{F}$van rang$c$op$X$ definieert, de zogenaamde karakteristieke foliatie.
• Algebraïsche integrabiliteit: $X$ is algebraïsch co-isotroop als de karakteristieke foliatie algebraïsch is, d.w.z. de bladeren zijn algebraïsche deelvariëteiten. Dit induceert een fibratie $f: X \to B$ met de bladeren als vezels.
• De centrale vraag: Als $X$ niet-uniruled is (d.w.z. niet bedekt door rationale krommen), kan $X$ dan worden beschreven als een product van Lagrangiaanse en symplectische componenten? Specifiek vragen de auteurs of er, na een eindige étale overdekking, een decompositie bestaat van de vorm:
  $$(X, M) \cong (Z \times Y, N \times Y)$$
  waarbij $N$ en $Y$ holomorf symplectisch zijn, $Z \subset N$ een Lagrangiaanse deelvariëteit is, en $X = Z \times Y$.

De auteurs onderzoeken deze vraag in het bijzonder voor het geval dat $M$ een Abelse variëteit is, en voor het geval dat de canonieke bundel $K_X$ semi-ample of van algemeen type is.

---

2. Methodologie

De auteurs combineren technieken uit de complexe meetkunde, de theorie van foliaties en de classificatie van subvariëteiten van Abelse variëteiten.

• Karakteristieke fibraties en Sawon's Lemma: Ze gebruiken het feit dat voor een gladde algebraïsch co-isotrope variëteit $X$, de karakteristieke fibratie $f: X \to B$ een symplectische vorm $\eta$ op de basis $B$ induceert (via pullback van $\sigma$).
• Kodaira-dimensie en Isotrivialiteit: Ze analyseren de relatie tussen de Kodaira-dimensie $\kappa(X)$ en die van de vezels $F$. Ze maken gebruik van resultaten uit eerdere werken (o.a. [AC17]) en recente publicaties (Taji [Taj23]) om te bewijzen dat onder bepaalde voorwaarden (zoals $K_X$ semi-ample) de fibratie isotriviaal is (d.w.z. alle vezels zijn isomorf).
• Classificatie van Abelse variëteiten: Voor het geval $M$ een Abelse variëteit is, maken ze gebruik van Ueno's classificatie van subvariëteiten van Abelse variëteiten. Dit stelt hen in staat de structuur van $X$ te ontleden in een product van een Abelse deelvariëteit en een variëteit van algemeen type.
• Hodge-theorie: In het geval van "Hodge-generieke" Abelse variëteiten gebruiken ze eigenschappen van de Hodge-groep en de irreducibiliteit van de primitieve cohomologie om de niet-bestaansresultaten voor Lagrangiaanse deelvariëteiten af te leiden.

---

3. Belangrijkste Resultaten en Bijdragen

A. Algemene Resultaten voor $K_X$ semi-ample

• Stelling 1.7 & 1.8: Als $X$ algebraïsch co-isotroop is en $K_X$ semi-ample is (of meer algemeen als de gladde vezels goede minimale modellen hebben), dan is de karakteristieke fibratie $f: X \to B$ isotriviaal en geldt $\kappa(X) = \kappa(F)$.
• Corollarium 1.9: Als $K_X$ nef en big is (of $X$ van algemeen type is), dan is $X$ noodzakelijk Lagrangiaans in $M$. Dit is een hogere-codimensie-analoon van de stelling van Hwang-Viehweg voor hypersurfaces.

B. Het Geval van Abelse Variëteiten (Hoofdresultaat)

• Stelling 1.11: Dit is het kernresultaat van het artikel. Als $M$ een Abelse variëteit is en $X \subset M$ algebraïsch co-isotroop, dan bestaat er na een eindige étale overdekking een decompositie:
  $$M = D \times C \times N \times P$$
  waarbij $D, C, N, P$ deel-tori zijn, en $X$ de vorm heeft:
  $$X = D \times C \times Z$$
  met de volgende eigenschappen:

  1. $Z \subset N$ is een Lagrangiaanse deelvariëteit van $N$ (waarbij $N$ zelf symplectisch is).
  2. $Z$ is van algemeen type en genereert $N$.
  3. De karakteristieke fibratie van $X$ is de projectie op $D$ met vezels $C \times Z$.
  4. $\dim(C) = \dim(P)$.
  5. De symplectische vorm $\sigma$ op $M$ splitst op een specifieke manier die compatibel is met deze decompositie.

  Dit bevestigt de centrale vraag (Question 1.4) positief voor Abelse variëteiten: $X$ is inderdaad een product van een Lagrangiaanse component en een symplectische component.

C. Lagrangiaanse deelvariëteiten op Abelse variëteiten

• Corollarium 1.10: Als $M$ een simpele Abelse variëteit is, dan is elke algebraïsch co-isotrope deelvariëteit $X$ Lagrangiaans.
• Niet-bestaan op generieke Abelse variëteiten (Stelling 5.5): Voor een "Hodge-generieke" Abelse variëteit (waar de Hodge-groep maximaal is, d.w.z. $Sp(V, \phi)$) bestaan er geen Lagrangiaanse deelvariëteiten van dimensie $\ge 2$.
  • Redenering: Op een Lagrangiaanse variëteit moet elke holomorphe 2-vorm verdwijnen. Op een Hodge-generieke Abelse variëteit zijn er echter te veel lineair onafhankelijke 2-vormen om dit te laten gebeuren voor een variëteit van dimensie $\ge 2$.
  • Dit staat in schril contrast met het geval van irreducibele hyperkähler (IHS) variëteiten, waar Lagrangiaanse deelvariëteiten veel voorkomen (bijv. vezels van Lagrangiaanse fibraties).

D. Niet-projectieve voorbeelden

• Propositie 6.1 & Corollarium 6.3: De auteurs construeren een niet-projectief complex torus $T$ met een automorfisme $g$ dat een symplectische vorm schaalt met een factor $\lambda$ (geen eenheidswortel). Hieruit volgt dat er op $T \times T$ gladde Lagrangiaanse oppervlakken bestaan voor de vorm $(s, \lambda s)$. Dit toont aan dat de projectiviteit een cruciale beperking is in de eerdere resultaten.

---

4. Significatie en Conclusie

Dit artikel levert een belangrijke bijdrage aan het begrip van de meetkunde van holomorf symplectische variëteiten:

1. Structuurtheorema voor Abelse variëteiten: Het biedt een volledige classificatie van algebraïsch co-isotrope subvariëteiten in Abelse variëteiten, wat een fundamenteel verschil blootlegt met het geval van irreducibele hyperkähler variëteiten.
2. Contrast tussen IHS en Abelse Variëteiten: Het artikel benadrukt dat terwijl IHS-variëteiten vaak bedekt zijn door Lagrangiaanse deelvariëteiten, dit voor "generieke" Abelse variëteiten onmogelijk is. Dit heeft implicaties voor de zoektocht naar Lagrangiaanse fibraties en de moduli-ruimten van deze objecten.
3. Verband met Minimal Model Program (MMP): De resultaten verbinden de eigenschappen van co-isotrope variëteiten met de Kodaira-dimensie en de structuur van minimale modellen, en bevestigen dat voor variëteiten van algemeen type de co-isotrope conditie impliceert dat ze Lagrangiaans zijn.
4. Open vragen: Het artikel laat zien dat het construeren van Lagrangiaanse oppervlakken in simpele Abelse variëteiten van dimensie $\ge 4$ zeer moeilijk is (en mogelijk niet bestaat voor dimensie $\ge 6$), en stelt nieuwe vragen over de fundamentele groepen van dergelijke subvariëteiten.

Samenvattend generaliseren Amerik en Campana eerdere resultaten over hypersurfaces naar hogere codimensies en leveren ze een scherp inzicht in hoe de symplectische structuur de geometrie van deelvariëteiten beperkt, afhankelijk van het type van de omringende variëteit (Abels vs. Hyperkähler).