Invisible singularities in complex algebraic geometry

Technische Samenvatting: Onzichtbare Singulariteiten in Complexe Algebraïsche Meetkunde

Probleemstelling
Het artikel behandelt een centrale vraag in de equisingulariteitstheorie: de relatie tussen algebraïsche, analytische en topologische begrippen van singulariteit. Terwijl de concepten van Zariski voor equisingulariteit werden verwacht overeen te komen in hogere dimensies, bevatten eerdere tegenvoorbeelden door Fernández de Bobadilla totale ruimtes die singulier waren. Een heersende overtuiging, ondersteund door resultaten in dimensies 2 en 3, was dat als $Y$ een glad complexe projectieve variëteit is en $g: Y \to C$ een eigentijdige morfisme naar een curve is, de topologische structuur van $Y$ de aanwezigheid van kritieke punten (singuliere vezels) moet detecteren. Specifiek werd vermoed dat als het morfisme topologisch glad lijkt (bijv. een homotopie-vezelbundel of heeft constante cohomologie-sheaves), het ook algebraïsch glad moet zijn (een submorfisme).

De auteurs onderzoeken of "onzichtbare" singulariteiten bestaan: morfismen $g: Y \to \mathbb{P}^1$ van een gladde variëteit $Y$ die singuliere vezels bezitten maar topologisch glad lijken te zijn. Deze verkenning richt zich op vier specifieke open problemen:

1. Het gladheidscurje van Fernández de Bobadilla en Kollár [FdBK12].
2. Een vraag van Kollár en Pardon [KP12] betreffende de homotopietype van universele dekkingen van variëteiten gefibreerd over curves.
3. Kotschicks vermoeden [Kot22] over de equivalentie van het toestaan van een holomorfe één-vorm zonder nulpunten versus een reële gesloten één-vorm zonder nulpunten.
4. Een vermoeden van Schreieder [Sch21] betreffende de exactheid van Aomoto-complexen en het bestaan van niet-verdwijnende vormen.

Methodologie
De auteurs construeren expliciete tegenvoorbeelden met behulp van een combinatie van quotientconstructies, blow-ups en topologische smoothing technieken.

1. Quotient Constructie (Lokaal Model): De kern van de constructie begint met een projectief morfisme $\pi: Z \to \Delta$ (over een schijf) met geïsoleerde kritieke punten. Door een quotient te nemen van $Z \times A$ (waarbij $A$ een abelse variëteit is) door een diagonale actie van een eindige cyclische groep, creëren de auteurs een nieuw morfisme $\pi_Y: Y \to \Delta$. Door de automorfisme $\gamma$ van $Z$ en de translatie $\tau$ van $A$ zorgvuldig te selecteren zodat het karakteristieke polynoom van de monodromie-actie op de Milnor-vezel voldoet aan $\chi(1) = \pm 1$, verzekeren zij dat de resulterende afbeelding een $\mathbb{Z}$-homologie-vezelbundel is maar geen homotopie-vezelbundel (Sectie 2).

2. Blow-up en Eenvoudig Verbonden Vezels: Om eenvoudig verbonden vezels te bereiken (een vereiste voor de globale stellingen), embedden de auteurs de singuliere quotient $Y$ in een gladde projectieve bundel $P$ met eenvoudig verbonden vezels en voeren een blow-up uit $X = \text{Bl}_Y P$. Met behulp van Proposition 17 tonen zij aan dat de geïnduceerde afbeelding $X \to \Delta$ een $\mathbb{Z}$-homologie-vezelbundel blijft maar geen submorfisme is. Omdat de vezels eenvoudig verbonden zijn, impliceert de stelling van Whitehead dat $X \to \Delta$ een homotopie-vezelbundel is (Sectie 3).

3. Globalisering en Smoothing: De lokale voorbeelden worden geglobaliseerd naar morfismen $g: Y \to \mathbb{P}^1$. Om te bewijzen dat deze afbeeldingen er topologisch glad uitzien, gebruiken de auteurs de $h$-cobordisme stelling van Smale en de pseudo-isotopie stelling van Cerf (Sectie 4). Zij demonstreren dat voor morfismen naar Riemann-oppervlakken met eenvoudig verbonden vezels, indien de afbeelding een $\mathbb{Z}$-homologie-vezelbundel is, deze homotiep is aan een $C^\infty$-submorfisme dat overeenkomt met de oorspronkelijke afbeelding buiten een kleine omgeving van de singuliere vezels.

4. Toepassingen op Specifieke Vermoedens:

   • Kotschicks Vermoeden: Door een vezelproduct te nemen met een elliptische curve, construeren zij een variëteit $X$ waar de Albanese-afbeelding een homotopie-vezelbundel is (wat de aanwezigheid van niet-verdwijnende reële vormen impliceert) maar geen submorfisme (wat impliceert dat alle holomorfe vormen nulpunten hebben).
   • Aomoto Complexen: Gebruikmakend van een rationale cohomologie-torus constructie gebaseerd op Debarre–Jiang–Lahoz [DJL17], bouwen zij een variëteit waar het Aomoto-complex exact is voor alle eindelijke étale covers, terwijl geen enkele reële gesloten één-vorm niet-verdwijnend is.

Kernresultaten

• Stelling 1: Er bestaan morfismen $g: Y \to \mathbb{P}^1$ van gladde complexe projectieve variëteiten $Y$ (specifiek van dimensie 5) zodanig dat:

  • $g$ singuliere vezels heeft.
  • $R^i g_* \mathbb{Z}_Y$ constante sheaves zijn (topologisch constante cohomologie).
  • $g$ een homotopie-vezelbundel is met eenvoudig verbonden vezels.
  • Alle vezels PL-manifolds zijn, maar $g$ is geen $C^0$-vezelbundel.
  • $g$ homotiep is aan een lokaal triviale $C^\infty$-vezelbundel die overeenkomt met $g$ buiten de singulariteiten.
  • Betekenis: Dit weerlegt het Fernández de Bobadilla–Kollár gladheidscurje.

• Corollary 3 (Kollár–Pardon & Kotschick): Er bestaat een gladde projectieve variëteit $X$ (dimensie 5) zodanig dat:

  • De universele dekking $\tilde{X}$ het homotopietype heeft van een eindige CW-complex, maar de Albanese-afbeelding niet glad is.
  • Elke niet-nul klasse in $H^1(X, \mathbb{R})$ kan gerepresenteerd worden door een niet-verdwijnende reële gesloten één-vorm, maar de harmonische representant van elke dergelijke klasse heeft nulpunten. Bij consequentie heeft $X$ geen holomorfe één-vorm zonder nulpunten.
  • Betekenis: Dit geeft negatieve antwoorden op de vraag van Kollár–Pardon over universele dekkingen en op Kotschicks vermoeden.

• Theorem 4: Er bestaat een gladde projectieve variëteit $X$ zodanig dat voor elke eindelijke verbonden étale cover $\pi: X' \to X$ en elke niet-nul $\omega \in H^0(X', \Omega^1_{X'})$, het Aomoto-complex exact is, terwijl elke reële gesloten één-vorm op $X$ een nulpunt heeft.

  • Betekenis: Dit weerlegt het vermoeden van Schreieder dat exactheid van het Aomoto-complex de aanwezigheid van een niet-verdwijnende reële vorm impliceert.

• Theorem 40: Tegenvoorbeelden voor het gladheidscurje met eenvoudig verbonden vezels bestaan niet in dimensie 3. Indien $Y$ een gladde complexe projectieve driedimensionale variëteit is en $g: Y \to \mathbb{P}^1$ een morfisme is met eenvoudig verbonden vezels dat een $\mathbb{Q}$-homologie-vezelbundel is, dan is $g$ glad.

  • Betekenis: Dit vestigt een scherpe dimensionale grens voor het fenomeen van onzichtbare singulariteiten.

Betekenis en Claims
Het artikel claimt de eerste voorbeelden te bieden van "onzichtbare singulariteiten" waarbij de totale ruimte glad is, maar het morfisme singuliere vezels bezit die ondetecteerbaar zijn door standaard topologische invarianten (homologie, homotopietype, en zelfs $C^\infty$-smoothing tot homotopie).

De auteurs benadrukken dat hun constructie expliciet en eenvoudig is, waarbij het kleinste voorbeeld voorkomt in dimensie 5, waar de kritieke locus van het morfisme dimensie 1 heeft. Zij verduidelijken dat hoewel de algemene constructie hogere-dimensionale kritieke loci toestaat, het specifieke tegenvoorbeeld voor het gladheidscurje gepresenteerd in Theorem 1 een 1-dimensionale kritieke locus heeft. Het werk lost langlopende vragen in de complexe meetkunde op door aan te tonen dat algebraïsche gladheid niet een topologisch invariant is in dimensies $\geq 4$, zelfs niet onder sterke topologische restricties zoals eenvoudig verbonden vezels. Het artikel blijft bescheiden wat betreft dimensie 4 en merkt op dat de vraag in die dimensie open blijft.