Multiplicity of codimension 1 fibers in Lagrangian fibrations

Titel: Multipliciteit van Codimensie 1 Vezels in Lagrangiaanse Fibraties

Auteur: Yoon-Joo Kim

---

1. Het Probleem

Het artikel adresseert een fundamentele vraag binnen de meetkunde van compacte hyper-Kähler-variëteiten. Laat $\pi: X \to B$ een Lagrangiaanse fibratie zijn van een compacte hyper-Kähler-variëteit $X$. Een langdurig vermoeden, voor het eerst geformuleerd in [Mar96] en later expliciet gemaakt in [KV19], stelt dat er geen veelvoudige vezels (multiple fibers) van codimensie 1 bestaan in deze fibraties.

• Definitie: Een vezel van codimensie 1 is de pullback $\pi^*(D)$ van een priemdivisor $D \subset B$. Deze vezel heeft multipliciteit $m$ als $\pi^*(D) = m \cdot E$ voor een Weil-divisor $E$ met $m \geq 2$.
• Context: Voor dimensie $X=2$ (elliptische fibraties) is dit bekend en lokaal bewijsbaar via de formule voor de canonische bundel. Echter, voor $\dim X \geq 4$ faalt het lokale argument (zoals aangetoond in [HO11]), en is een globaal argument noodzakelijk.
• Impact: Veel bestaande resultaten in de literatuur (o.a. [KV19], [Voi25], [DMS24]) hebben dit vermoeden als onbewezen aanname gebruikt. Het doel van dit artikel is dit vermoeden te bewijzen, waardoor deze resultaten onvoorwaardelijk geldig worden.

2. Methodologie en Bewijsstrategie

De kern van het bewijs ligt in het gebruik van cyclische overdekkingen en de eigenschap van simpele connectiviteit van de variëteit $X$.

A. Generalisatie (Stelling 2.1)

Kim bewijst eerst een meer algemene stelling die niet afhankelijk is van de symplectische structuur, maar alleen van de topologische en algebraïsche eigenschappen van de fibratie:

• Stelling: Laat $\pi: X \to B$ een equidimensionale fibratie zijn tussen normale, samenhangende variëteiten. Als er een vezel van codimensie 1 is met multipliciteit $m$, dan bestaat er een surjectieve homomorfisme $\pi_1^{et}(X_{reg}) \to \mathbb{Z}/m\mathbb{Z}$.
• Consequentie: Als $X$ simpelweg samenhangend is (d.w.z. $\pi_1^{et}(X_{reg}) = 0$), dan moet $m=1$ zijn.

B. Het Constructieve Bewijs

Het bewijs van Stelling 2.1 verloopt via de volgende stappen:

1. Cyclische Overdekking: Stel dat de pullback van een divisor $D$ gelijk is aan $mE$. Er wordt een cyclische overdekking $\tilde{X} \to X$ van graad $m$ geconstrueerd, vertakt langs de Weil-divisor $mE$.
2. Normalisatie: De normalisatie $Y$ van $\tilde{X}$ wordt beschouwd. De samenstelling $q: Y \to X$ is een eindige morfisme.
3. Étale Eigenschap: Het wordt aangetoond dat $q$ étale is over het reguliere deel $X_{reg}$. Dit wordt lokaal bewezen door te laten zien dat de cyclische overdekking en normalisatie lokaal triviale overdekkingen zijn (isomorfismen op de componenten).
4. Connectiviteit: Het cruciale punt is om te bewijzen dat $Y$ samenhangend is.
   • De auteur gebruikt een lokaal argument op de basis $B$. Omdat $B$ normaal is, kan men een punt $b \in D$ kiezen waar $B$ en $D$ glad zijn.
   • Door een cyclische overdekking $\tilde{B} \to B$ van graad $m$ te nemen (vertakt langs $D$), en gebruik te maken van Lemma 2.5 (die stelt dat de pullback van een cyclische overdekking langs een morfisme weer een cyclische overdekking is), wordt een Cartesiaans diagram opgezet.
   • Hieruit volgt dat $Y$ een fibratie is over de samenhangende variëteit $\tilde{B}$. Omdat de basis samenhangend is en de vezels samenhangend zijn (via de fibratie-eigenschappen), is $Y$ zelf samenhangend.
5. Topologische Conclusie: Omdat $Y$ een samenhangende, eindige étale overdekking van graad $m$ is van $X_{reg}$, correspondeert dit met een niet-triviale element in de fundamentele groep $\pi_1^{et}(X_{reg})$ tenzij $m=1$.
6. Toepassing op Hyper-Kähler: Omdat compacte hyper-Kähler-variëteiten simpelweg samenhangend zijn ($\pi_1 = 0$), volgt direct dat $m$ niet groter dan 1 kan zijn.

3. Belangrijkste Resultaten

• Hoofdstelling (Theorem 1.1): Laat $X$ een compacte hyper-Kähler-variëteit zijn en $\pi: X \to B$ een Lagrangiaanse fibratie. Dan heeft $\pi$ geen vezels van codimensie 1 met multipliciteit groter dan 1.
• Versterking van bestaande theorie (Theorem 3.1): Voor projectieve irreducibele symplectische variëteiten wordt de multipliciteit van codimensie 1 vezels begrensd door de orde van de étale fundamentele groep $|\pi_1^{et}(X_{reg})|$. Als deze groep triviaal is, zijn er geen veelvoudige vezels.
• Onvoorwaardelijke geldigheid: De resultaten uit [KV19], [Voi25], en [DMS24] die afhankelijk waren van dit vermoeden, zijn nu volledig bewezen.
  • Bijvoorbeeld: De primitiviteit van de pullback van een generator van de Weil-divisorgroep van de basis (KV19) en de gereduceerdheid van singuliere vezels bij Picard-getal 2 (Voi25) zijn nu harde feiten.

4. Significatie en Impact

1. Oplossing van een Open Probleem: Het artikel lost een langdurig vermoeden op dat essentieel was voor de structuurtheorie van Lagrangiaanse fibraties. Het sluit de mogelijkheid uit dat de meetkunde van de basis $B$ "vervuild" wordt door veelvoudige vezels in codimensie 1.
2. Methodologische Innovatie: Het bewijs maakt geen gebruik van de complexe symplectische structuur van $X$, maar leunt puur op de topologische eigenschap van simpele connectiviteit en de algebraïsche constructie van cyclische overdekkingen. Dit maakt de techniek robuust en toepasbaar op bredere klassen van variëteiten (zoals irreducibele symplectische variëteiten).
3. Verwijdering van Aannames: Veel recente vooruitgang in het veld (tot aan 2025/2026 in de context van de referenties) was conditioneel. Dit artikel maakt deze resultaten onafhankelijk van onbewezen conjecturen.
4. Onafhankelijke Bevestiging: De auteur merkt op dat Kamenova en Verbitsky onafhankelijk een bewijs hebben gevonden met een andere methode, wat de belangrijkheid en juistheid van het resultaat onderstreept.

Conclusie:
Yoon-Joo Kim levert een scherp en elegant bewijs dat de multipliciteit van codimensie 1 vezels in Lagrangiaanse fibraties van compacte hyper-Kähler-variëteiten altijd 1 is. Dit resulteert in een fundamentele versterking van de theorie van hyper-Kähler-variëteiten en maakt een reeks recente belangrijke resultaten in de algebraïsche meetkunde onvoorwaardelijk geldig.