Geometry of Holomorphic One-forms on Smooth Projective Varieties

Technische Samenvatting: Geometrie van Holomorfe 1-vormen op Gladde Projectieve Variëteiten

Probleemstelling
Het artikel onderzoekt de geometrie en topologie van irreguliere variëteiten door de lens van holomorfe 1-vormen. Specifiek behandelt het de relatie tussen het bestaan van overal niet-verdwijnende holomorfe 1-vormen en de gladheid van morfismen van gladde projectieve variëteiten naar abelse variëteiten. Verder tracht het de structuur te karakteriseren van de ruimtes van holomorfe 1-vormen die nulpunten bezitten. Een centrale vraag is of deze ruimtes, in het bijzonder hun "lagere niveausets" (subsets van vormen met nul-loci van codimensie $\leq i$), lineaire structuren vertonen (verenigingen van vectorsubruimten) of dat ze niet-lineair kunnen zijn, wat meer complexe algemeen-geometrische eigenschappen weerspiegelt.

Methodologie
De auteurs maken gebruik van een combinatie van differentiaal-geometrische technieken, algemene topologie en birationele geometrie:

1. Limiet Relatieve Conormale Vectoren: Om de singulariteiten van morfismen $f: X \to A$ (waarbij $A$ een abelse variëteit is) te analyseren, gebruiken de auteurs het concept van de relatieve conormale ruimte $T^*_f X$. Ze introduceren een conditie genaamd "zonder blow-up in codimensione 0", gedefinieerd door de equidimensionaliteit van de natuurlijke afbeelding van de relatieve conormale ruimte naar de doelvariëteit.
2. Topologische Beperkingen: Het bewijs maakt gebruik van de conditie dat de hogere directe beelden $R^i f_* \mathbb{Z}$ $\mathbb{Z}$-lokale systemen zijn (wat een $\mathbb{Z}$-homologie vezelbundel definieert). De auteurs bewijzen dat deze topologische conditie het morfisme dwingt om "zonder blow-up in codimensione 0" te zijn en, onder specifieke condities, glad te zijn.
3. Cohomologie Jump Loci en Formaliteit: De studie naar de lineariteit van nul-loci ruimtes steunt op de tangent kegel stelling voor cohomologie jump loci. De auteurs maken onderscheid tussen vormen die voortkomen uit cohomologie jump loci (die lineaire deelsets $V^i(X)$ vormen) en die welke dat niet doen ("niet-formele" vormen).
4. Expliciete Constructies: Om de grenzen van lineariteit aan te tonen, construeren de auteurs specifieke voorbeelden die betrokken zijn bij blow-ups van subvariëteiten in abelse variëteiten en hypervlakdoorsneden van producten van elliptische curven en abelse variëteiten.

Belangrijkste Bijdragen en Resultaten

• Karakterisering van Gladde Morfismen (Theorem 1.1 / 2.5):
  Het artikel stelt een noodzakelijke en voldoende voorwaarde vast voor een morfisme $f: X \to A$ van een gladde projectieve variëteit naar een eenvoudige abelse variëteit om glad te zijn. Het morfisme is glad als en slechts als er een holomorfe 1-vorm $\omega$ op $A$ bestaat zodanig dat de pullback $f^*\omega$ geen nulpunten heeft. Dit resultaat bevestigt een conjectuur van de tweede auteur [13] en breidt het eerdere werk van Church [5] over laag-dimensionale gevallen uit. De eenvoud van $A$ wordt aangetoond als een noodzakelijke conditie via een tegenvoorbeeld betreffende een blow-up van een product van elliptische curven.

• $\mathbb{Z}$-Homologie Vezelbundels en Flatheid (Theorem 1.2 / 2.2):
  Een belangrijk tussenresultaat bewijst dat als $f: X \to Y$ een eigentijdige morfisme is tussen een gladde variëteit en een normale variëteit, en de hogere directe beelden $R^i f_* \mathbb{Z}$ lokale systemen zijn, dan $Y$ glad is en $f$ "zonder blow-up in codimensione 0" is. Dit resultaat wordt gemotiveerd door de de Bobadilla-Kollár conjectuur betreffende de gladheid van dergelijke morfismen.

• Lineariteit van Ruimtes met Nulpunten (Theorem 1.3 / 3.2, 3.3, 3.7):
  De auteurs onderzoeken de ruimte $W^n(X)$ van holomorfe 1-vormen met nulpunten op een gladde projectieve variëteit $X$ van dimensie $n$. Zij bewijzen dat $W^n(X)$ een vereniging is van eindig veel vectorsubruimten (een "lineaire deelset") in de volgende gevallen:

  1. $X$ is een goede minimale model.
  2. $X$ heeft een eenvoudige Albanese variëteit.
  3. $\dim(X) \leq 3$.
     In deze gevallen wordt de structuur gecontroleerd door de birationele geometrie van $X$ of de eenvoud van de Albanese-afbeelding.

• Niet-lineariteit van Lagere Niveausets (Theorem 1.4 / 4.1):
  In tegenstelling tot de verwachting dat lagere niveausets $W^i(X)$ voor subvariëteiten van abelse variëteiten altijd lineair zijn, construeren de auteurs een tegenvoorbeeld. Zij tonen een gladde projectieve viervoud $X$ (een subvariëteit van een abelse zesvoud) aan waarvoor de derde lagere niveauset $W^3(X)$ niet lineair is. Dit beantwoordt een vraag gesteld in [9] en demonstreert dat de ruimte van vormen met nulpunten delicate, niet-lineaire algebraïsche structuren kan coderen die niet worden gevangen door cohomologie jump loci.

• Niet-formele 1-vormen (Sectie 4.2):
  Het artikel definieert "niet-formele" 1-vormen als die met nulpunten die niet voortkomen uit cohomologie jump loci. Zij bieden een cohomologisch criterium voor niet-formaliteit betreffende de exactheid van de Koszul-complex. De auteurs bestuderen oppervlakken die dergelijke vormen toelaten, waarbij zij aantonen dat voor oppervlakken met Albanese-dimensie 1, niet-formaliteit gekoppeld is aan het bestaan van niet-gereduceerde componenten in de vezels van de Albanese-afbeelding. Zij bewijzen verder dat dergelelijke oppervlakken niet gedomineerd kunnen worden door producten van curven van hogere genera.

Betekenis
Het artikel claimt een "fijne studie" te bieden van de ruimte van holomorfe 1-vormen, waarbij de kloof tussen topologische invarianten (lokale systemen) en geometrische eigenschappen (gladheid van morfismen) wordt overbrugd. Door de equivalentie te bewijzen tussen het bestaan van een overal niet-verdwijnende pullback-vorm en de gladheid van het morfisme naar een eenvoudige abelse variëteit, lossen de auteurs een specifieke conjectuur in het veld op.

Verder daagt de ontdekking van niet-lineaire lagere niveausets in subvariëteiten van abelse variëteiten de heersende intuïtie uit dat deze ruimtes uitsluitend worden beheerst door lineaire structuren afgeleid van cohomologie jump loci. De auteurs suggereren dat niet-formele 1-vormen de "diepe algemeen-geometrische aard" van variëteiten reflecteren, in het bijzonder met betrekking tot birationele modificaties en de structuur van minimale modellen. Het werk verfijnt het begrip van hoe de singulariteiten van Albanese-afbeeldingen de nulpunten van holomorfe 1-vormen controleren, en biedt nieuwe instrumenten (limiet relatieve conormale vectoren) om morfismen in de algemene geometrie te analyseren.