Characterization of fiberwise bimeromorphism and specialization of bimeromorphic types I: locally Moishezon case

Titel en Context

Titel: Karakterisering van vezelsgewijze bimeromorfie en specialisatie van bimeromorfe typen I: Het lokaal Moishezon-geval.
Auteurs: Jian Chen, Sheng Rao, I-Hsun Tsai.
Domein: Complexe analytische meetkunde, birationale meetkunde, deformatietheorie.

1. Het Probleem

Het artikel adresseert het fundamentele probleem van de specialisatie van bimeromorfe typen in de complexe analytische setting.

• Achtergrond: In de algebraïsche meetkunde (schematheorie) hebben recente werken van Kontsevich-Tschinkel en Nicaise-Ottem bewezen dat voor gladde families de eigenschap "rationeel" of "birationeel equivalent" behouden blijft onder specialisatie (degeneratie). Ze gebruiken hiervoor specialisatiemorfismen die gebaseerd zijn op de structuur van functielichamen.
• De Uitdaging: In de complexe analytische setting ontbreekt een vergelijkbare algebraïsche structuur om dergelijke specialisatiemorfismen direct te construeren. Het is niet vanzelfsprekend dat een verzameling van bimeromorfe afbeeldingen tussen vezels (fibers) kan worden "gelijmd" tot een globale bimeromorfe afbeelding tussen de totale ruimtes.
• Specifieke Vraag: Gegeven twee deformatiefamilies over dezelfde basis, waarvan de vezels over een algemeen punt bimeromorf equivalent zijn, onder welke voorwaarden zijn de vezels over een speciaal punt (degeneratie) ook bimeromorf equivalent? Dit geldt zelfs voor families die niet glad zijn en vezels hebben die niet noodzakelijk irreducibel zijn.

2. Methodologie

De auteurs hanteren een unieke aanpak die verschilt van de algebraïsche benadering:

1. Constructie van een globale afbeelding: In plaats van te proberen een specialisatiemorfisme te definiëren, construeren ze eerst een globale bimeromorfe afbeelding $f: X \dashrightarrow Y$ tussen de totale ruimtes van de twee families.
2. Karakterisering van vezelsgewijze bimeromorfie: Het centrale technische probleem is om te bewijzen dat deze globale afbeelding $f$ "vezelsgewijs bimeromorf" is (d.w.z. dat $f$ restricties tot bimeromorfe afbeeldingen tussen de individuele vezels induceert).
3. Twee strategieën om obstakels te overwinnen:
   • Desingularisatie en Uiruledheid: Ze analyseren de uitzonderlijke divisors die ontstaan bij het elimineren van onbepaaldheidspunten (indeterminacy) van de bimeromorfe kaart. Als de totale ruimte glad is, kunnen ze aantonen dat deze uitzonderlijke divisors "uniruled" zijn (bedekt door rationale curven). Als de vezels zelf niet uniruled zijn, kunnen deze uitzonderlijke divisors niet de hoofdcomponenten van de vezels zijn.
   • Deformatiegedrag van Plurigenera: Voor singuliere totale ruimtes (waar de bovenstaande methode faalt) gebruiken ze de semi-continuïteit van plurigenera ($P_m$). Ze maken gebruik van resultaten van Takayama over de uitbreidbaarheid van pluricanonische vormen op lokaal Moishezon families. Door de gedrag van $P_m$ te vergelijken tussen de speciale vezel en de generieke vezels, kunnen ze aantonen dat de bimeromorfe structuur behouden blijft.
4. Relatieve Barlet-cyclusruimte: Om de specialisatie te bewijzen, combineren ze de resultaten over vezelsgewijze bimeromorfie met de theorie van de relatieve Barlet-cyclusruimte. Dit stelt hen in staat om een analytische familie van bimeromorfe grafen te construeren en te tonen dat deze familie over de gehele basis (inclusief singuliere punten) bestaat.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van Vezelsgewijze Bimeromorfie

De auteurs geven criteria wanneer een bimeromorfe kaart tussen twee families vezelsgewijs bimeromorf is:

• Stelling 3.1 & Corollary 3.2: Een bimeromorfe morfisme (niet alleen een kaart) tussen families over dezelfde basis is automatisch vezelsgewijs bimeromorf. Ramificatie is hier geen obstakel.
• Stelling 4.5 (Analoog aan Artin-Matsusaka-Mumford): Als de totale ruimte glad is en de vezels niet uniruled zijn, dan is een bimeromorfe kaart vezelsgewijs bimeromorf.
• Stelling 4.7 & Stelling 6.5 (Hoofdresultaat): Voor lokaal Moishezon families met vezels van niet-negatieve Kodaira-dimensie ($\kappa \geq 0$) en canonieke singulariteiten, is een bimeromorfe kaart vezelsgewijs bimeromorf.
  • Dit resultaat is optimaal: het vereist niet dat de families glad zijn en staat vezels toe die reducibel zijn.
  • Het is cruciaal dat $\kappa \geq 0$; voor $\kappa = -\infty$ (zoals bij rationale variëteiten) falen deze methoden (zie voorbeeld 2.17).

B. Specialisatie van Bimeromorfe Typen

• Stelling 7.13: Voor twee lokaal Moishezon families (met canonieke singulariteiten en $\kappa \geq 0$ voor de eerste familie), is de verzameling $U_b = \{t \in S \mid X_t \sim_{bir} Y_t\}$ ofwel een aftelbare unie van echte analytische deelverzamelingen van de basis $S$, ofwel de hele basis $S$.
  • Dit betekent dat als twee families op een "groot" deel van de basis bimeromorf equivalent zijn, ze dat overal zijn (specialisatie is behouden).
• Corollary 7.16 (Lokaal sterk bimeromorf isotroop): Als een familie vezels heeft die allemaal bimeromorf equivalent zijn aan een vaste projectieve variëteit (en voldoen aan de bovenstaande voorwaarden), dan is de familie lokaal sterk bimeromorf isotroop (d.w.z. na een basisverandering is de familie vezelsgewijs bimeromorf equivalent aan een triviale familie).

C. Verbinding tussen Klassieke Onderwerpen

Het artikel onthult een diepgaande connectie tussen vier klassieke thema's in de bimeromorfe meetkunde:

1. Het deformatiegedrag van plurigenera (of zelfs de 1-genus).
2. Vezelsgewijze bimeromorfie.
3. Specialisatie van een vaste bimeromorfe structuur.
4. Specialisatie van bimeromorfe typen.

De auteurs tonen aan dat:
$$\text{Deformatie van plurigenera} \implies \text{Vezelsgewijze bimeromorfie} \implies \text{Specialisatie van structuur} \iff \text{Specialisatie van typen}$$

4. Significatie en Impact

• Overbrugging van Luchten: Het artikel vult een belangrijke lacune in de complexe analytische meetkunde door resultaten over specialisatie (die eerder alleen in de algebraïsche categorie bewezen waren) te generaliseren naar de analytische categorie, inclusief singuliere gevallen.
• Verwijdering van Gladheidsvoorwaarde: In tegenstelling tot eerdere werken (zoals KT19), vereisen de resultaten hier niet dat de totale ruimtes of vezels glad zijn. Ze werken met lokaal Moishezon families en canonieke singulariteiten.
• Toepassing op Kollár's Vermoeden: De resultaten bieden een nieuw perspectief op Kollár's vermoeden over het bestaan van vezelsgewijze bimeromorfe modellen voor Moishezon families. De auteurs suggereren dat hun karakterisering van vezelsgewijze bimeromorfie een cruciale stap kan zijn in het oplossen van dit vermoeden.
• Methodologische Innovatie: De combinatie van desingularisatietechnieken, de theorie van Barlet-cyclusruimten en de uitbreiding van pluricanonische vormen (Takayama) biedt een krachtig nieuw gereedschapskist voor het bestuderen van degeneraties in de complexe meetkunde.

Conclusie:
Dit werk levert een fundamentele bijdrage aan het begrip van hoe bimeromorfe structuren zich gedragen onder degeneratie in de complexe analytische wereld. Het bewijst dat, onder redelijke voorwaarden (niet-negatieve Kodaira-dimensie en canonieke singulariteiten), de bimeromorfe "identiteit" van een vezel stabiel is onder specialisatie, zelfs wanneer de familie niet glad is.