Families of singular algebraic varieties that are rationally elliptic spaces

Technische Samenvatting: Families van Singuliere Algebraische Variëteiten die Rationeel Elliptische Ruimtes zijn

Probleemstelling
Het artikel behandelt de classificatie en existentie van rationeel elliptische algebraische variëteiten. Een rationeel elliptische ruimte is gedefinieerd als een simpel samenhangende topologische ruimte $X$ die voldoet aan de eindelijkheidscondities $\dim H^*(X, \mathbb{Q}) < \infty$ en $\dim \pi_*(X) \otimes \mathbb{Q} < \infty$. Hoewel gladde rationeel elliptische manifolds goed bestudeerd zijn (bijv. homogene ruimtes, Fano-variëteiten), onderzoekt het artikel of er oneindige families van dergelijke ruimtes bestaan binnen het domein van singuliere algebraische variëteiten, specifiek hypersurfaces met geïsoleerde singulariteiten.

Een centrale motivatie is de relatie tussen geometrische eigenschappen (zoals de nefheid van de canonieke of anti-canonieke klasse) en homotopietypes. De auteur merkt op dat voor gladde variëteiten in dimensies 2 en 3, er slechts eindig veel deformatie-types van rationeel elliptische variëteiten zijn met nef canonieke of anti-canonieke klassen. Het artikel onderzoekt of deze eindigheid standhoudt voor singuliere variëteiten of dat er oneindige families van verschillende homotopietypes bestaan onder vergelijkbare geometrische beperkingen.

Methodologie
De auteur construeert expliciete families van singuliere projectieve hypersurfaces gedefinieerd door specifieke polynoomvergelijkingen in gewogen projectieve ruimtes en standaard projectieve ruimtes. De methodologie omvat:

1. Expliciete Constructie: Het definiëren van drie families van hypersurfaces:

   • Familie (1): $H(a_0, \dots, a_{n+1})$ in een gewogen projectieve ruimte $\mathbb{P}(w_0, \dots, w_{n+1})$, gegeven door $z_0^{a_0}z_1 + z_1^{a_1}z_2 + \dots + z_{n+1}^{a_{n+1}}z_0 = 0$ (voor $n$ oneven).
   • Familie (2): $V^d_n$ in $\mathbb{P}^{n+1}$, gegeven door $z_1^d + z_0 z_2^{d-1} + z_2 z_3^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$.
   • Familie (3): $W^d_n$ in $\mathbb{P}^{n+1}$, gegeven door $z_0 z_1^{d-1} + z_1 z_2^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$.

2. Topologische Analyse:

   • Homologie en Cohomologie: Het berekenen van de rationale homologie- en cohomologieringen van deze variëteiten. Voor de Families (1) en (2) toont de auteur aan dat zij de rationale homologie van projectieve ruimtes ($\mathbb{P}^n$) bezitten. Voor Familie (3) toont de auteur aan dat zij de rationale homologie hebben van gladde even-dimensionale quadrics.
   • Monodromie en Milnor-getallen: Door gebruik te maken van de theorie van geïsoleerde singulariteiten, berekent de auteur de karakteristieke polynomen van de lokale monodromie ($\Phi^d_n(t)$) en de Milnor-getallen voor de singuliere punten. Dit omvat recursieve relaties afgeleid van de Thom-Sebastiani-stelling en eigenschappen van gewogen homogene singulariteiten.
   • Formaliteit: Het vaststellen dat deze singuliere variëteiten "formele" ruimtes zijn (in de zin van Sullivan). Deze eigenschap garandeert dat de isomorfisme van hun rationale cohomologieringen een isomorfisme van hun Sullivan-minimale modellen induceert, waarmee hun rationale homotopietypes worden bevestigd.

3. Geometrische Eigenschappen: Het analyseren van de canonieke bundels van deze variëteiten om te bepalen of ze een nef of anti-nef canonieke klasse hebben, en het berekenen van zelfdoorsnijdingsgetallen.

Belangrijkste Bijdragen en Resultaten

• Oneindige Families van Distincte Homotopietypes: Het artikel bewijst het bestaan van oneindige families van singuliere rationeel elliptische hypersurfaces in elke dimensie $n > 1$.

  • Stelling 2.1 & 2.2: Families (1) en (2) zijn rationeel homotopisch equivalent aan $\mathbb{P}^n$. Ondanks dat ze rationeel elliptisch zijn en de rationale homologie van $\mathbb{P}^n$ hebben, vertegenwoordigen ze oneindig veel distincte integrale homotopietypes (hoewel ze binnen twee reële homotopietypes vallen).
  • Stelling 3.1 & Propositie 3.6: Familie (3) ($W^d_n$ voor even $n$) levert singuliere hypersurfaces die rationeel elliptisch zijn en het reële homotopietype hebben van een gladde even-dimensionale quadric. Echter, ze zijn niet rationeel homotopisch equivalent aan elkaar voor verschillende parameters, wat duidt op distincte rationale homotopietypes.

• Geometrische Beperkingen en Nefheid:

  • De geconstrueerde singuliere variëteiten bezitten ofwel een nef canonieke klasse ofwel een nef anti-canonieke klasse.
  • Het artikel benadrukt een contrast met het gladde geval: terwijl er voor gladde rationeel elliptische 3-folds met nef canonieke klassen een eindig aantal types bestaat (een resultaat geciteerd uit [1]), vormen de hier gepresenteerde singuliere voorbeelden oneindige families met deze eigenschappen.

• Appendix Resultaat (Gladde Geval): De auteur voegt een appendix toe waarin wordt aangetoond dat een oneindige familie van gladde rationeel elliptische 3-folds met een nef canonieke klasse niet bestaat. Dit versterkt de betekenis van de singuliere voorbeelden in de hoofdtekst.

• Cirkelacties: Het artikel merkt op dat de links van de affiene conussen over deze singuliere hypersurfaces voorbeelden opleveren van cirkelacties op gestratificeerde ruimtes die homologie-sferen zijn (voor Familie 2) of rationale producten van sferen (voor Familie 3), wat aansluit bij het Montgomery-Yang probleem.

Betekenis
Het artikel claimt betekenis door de eerste expliciete voorbeelden te bieden van oneindige families van singuliere algebraische variëteiten die rationeel elliptisch zijn en nef (of anti-nef) canonieke klassen bezitten, maar toch oneindig veel distincte homotopietypes vertonen. Dit daagt de intuïtie uit die voortvloeit uit het gladde geval, waar dergelijke eindigheid vaak wel geldt.

Het werk overbrugt de kloof tussen algebraïsche meetkunde en rationale homotopietheorie door aan te tonen dat singulariteiten de "rationeel elliptische" eigenschap kunnen behouden terwijl ze een enorme diversiteit aan topologische structuren mogelijk maken. De resultaten sluiten aan bij Hodge-theoretische eigenschappen besproken in gerelateerde literatuur (bijv. [24], [37]), specifiek met betrekking tot het feit dat gemengde Hodge-structuren van Hodge-Tate type zijn.

De auteur stelt expliciet dat deze voorbeelden dienen om de vraag te beantwoorden of de eindigheid van homotopietypes zich uitstrekt tot singuliere variëteiten met nef canonieke klassen, waarbij geconcludeerd wordt dat dit niet het geval is. Het artikel claimt niet de algemene classificatie van alle rationeel elliptische variëteiten op te lossen, maar stelt eerder de existentie van deze specifieke, oneindige families van singuliere tegenvoorbeelden van de verwachtingen van eindigheid in het gladde geval vast.