Families of singular algebraic varieties that are rationally elliptic spaces

Sintesi Tecnica: Famiglie di Varietà Algebriche Singolari che sono Spazi Razionalmente Ellittici

Enunciato del Problema
Il saggio affronta la classificazione e l'esistenza di varietà algebriche razionalmente ellittiche. Uno spazio razionalmente ellittico è definito come uno spazio topologico semplicemente connesso $X$ che soddisfa le condizioni di finitezza $\dim H^*(X, \mathbb{Q}) < \infty$ e $\dim \pi_*(X) \otimes \mathbb{Q} < \infty$. Sebbene le varietà lisce razionalmente ellittiche siano ampiamente studiate (ad esempio, spazi omogenei, varietà di Fano), il saggio indaga se esistano infinite famiglie di tali spazi nell'ambito delle varietà algebriche singolari, specificamente ipersuperfici con singolarità isolate.

Una motivazione centrale è la relazione tra le proprietà geometriche (come la nefità della classe canonica o anti-canonica) e i tipi di omotopia. L'autore osserva che per le varietà lisce in dimensioni 2 e 3, esistono solo finiti tipi di deformazione di varietà razionalmente ellittiche con classi canoniche o anti-canoniche nef. Il saggio esplora se questa finitezza si applichi alle varietà singolari o se esistano infinite famiglie di tipi di omotopia distinti sotto simili vincoli geometrici.

Metodologia
L'autore costruisce esplicite famiglie di ipersuperfici proiettive definite da specifiche equazioni polinomiali in spazi proiettivi pesati e spazi proiettivi standard. La metodologia prevede:

1. Costruzione Esplicita: Definizione di tre famiglie di ipersuperfici:

   • Famiglia (1): $H(a_0, \dots, a_{n+1})$ in uno spazio proiettivo pesato $\mathbb{P}(w_0, \dots, w_{n+1})$, data da $z_0^{a_0}z_1 + z_1^{a_1}z_2 + \dots + z_{n+1}^{a_{n+1}}z_0 = 0$ (per $n$ dispari).
   • Famiglia (2): $V^d_n$ in $\mathbb{P}^{n+1}$, data da $z_1^d + z_0 z_2^{d-1} + z_2 z_3^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$.
   • Famiglia (3): $W^d_n$ in $\mathbb{P}^{n+1}$, data da $z_0 z_1^{d-1} + z_1 z_2^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$.

2. Analisi Topologica:

   • Omologia e Coomologia: Calcolo degli anelli di omologia e coomologia razionale di queste varietà. Per le Famiglie (1) e (2), l'autore dimostra che possiedono l'omologia razionale degli spazi proiettivi ($\mathbb{P}^n$). Per la Famiglia (3), l'autore mostra che hanno l'omologia razionale delle quadriche lisce di dimensione pari.
   • Monodromia e Numeri di Milnor: Utilizzando la teoria delle singolarità isolate, l'autore calcola i polinomi caratteristici della monodromia locale ($\Phi^d_n(t)$) e i numeri di Milnor per i punti singolari. Ciò comporta relazioni di ricorrenza derivate dal teorema di Thom-Sebastiani e dalle proprietà delle singolarità omogenee pesate.
   • Formalità: Stabilire che queste varietà singolari sono spazi "formali" (nel senso di Sullivan). Questa proprietà garantisce che l'isomorfismo dei loro anelli di coomologia razionale induca un isomorfismo dei loro modelli minimi di Sullivan, confermando così i loro tipi di omotopia razionale.

3. Proprietà Geometriche: Analisi dei fasci canonici di queste varietà per determinare se siano nef o anti-nef, e calcolo dei numeri di auto-intersezione.

Contributi Chiave e Risultati

• Infinite Famiglie di Tipi di Omotopia Distinti: Il saggio dimostra l'esistenza di infinite famiglie di ipersuperfici singolari razionalmente ellittiche in ogni dimensione $n > 1$.

  • Teoremi 2.1 & 2.2: Le Famiglie (1) e (2) sono razionalmente omotopicamente equivalenti a $\mathbb{P}^n$. Nonostante siano razionalmente ellittiche e abbiano l'omologia razionale di $\mathbb{P}^n$, esse rappresentano infiniti tipi di omotopia integra distinti (sebbene rientrino in due tipi di omotopia reale).
  • Teorema 3.1 & Proposizione 3.6: La Famiglia (3) ($W^d_n$ per $n$ pari) fornisce ipersuperfici singolari che sono razionalmente ellittiche e hanno il tipo di omotopia reale di una quadrica liscia di dimensione pari. Tuttavia, non sono razionalmente omotopicamente equivalenti tra loro per diversi parametri, rappresentando tipi di omotopia razionale distinti.

• Vincoli Geometrici e Nefità:

  • Le varietà singolari costruite possiedono o una classe canonica nef o una classe anti-canonica nef.
  • Il saggio evidenzia un contrasto con il caso liscio: mentre le varietà lisce razionalmente ellittiche di dimensione 3 con classi canoniche nef sono finite in numero (un risultato citato da [1]), gli esempi singolari qui forniti formano infinite famiglie con queste proprietà.

• Risultato dell'Appendice (Caso Liscio): L'autore include un'appendice che dimostra come non possa esistere una famiglia infinita di 3-varietà lisce razionalmente ellittiche con una classe canonica nef. Ciò rafforza l'importanza degli esempi singolari trovati nel testo principale.

• Azioni del Cerchio: Il saggio nota che i legami dei coni affini su queste ipersuperfici singolari producono esempi di azioni del cerchio su spazi stratificati che sono sfere omologiche (per la Famiglia 2) o prodotti razionali di sfere (per la Famiglia 3), collegando i risultati al problema di Montgomery-Yang.

Significatività
Il saggio rivendica la propria significatività fornendo i primi esempi espliciti di infinite famiglie di varietà algebriche singolari che sono razionalmente ellittiche e possiedono classi canoniche nef (o anti-nef), pur presentando infiniti tipi di omotopia distinti. Ciò sfida l'intuizione derivata dal caso liscio, dove tale finitezza spesso si verifica.

Il lavoro colma il divario tra geometria algebrica e teoria dell'omotopia razionale mostrando che le singolarità possono preservare la proprietà "razionalmente ellittica" consentendo al contempo una vasta diversità di strutture topologiche. I risultati si allineano con le proprietà della teoria di Hodge discusse nella letteratura correlata (ad esempio, [24], [37]), specificamente riguardo alle strutture di Hodge miste che sono di tipo Hodge-Tate.

L'autore dichiara esplicitamente che questi esempi servono a rispondere alla domanda se la finitezza dei tipi di omotopia si estenda alle varietà singolari con classi canoniche nef, concludendo che non è così. Il saggio non pretende di risolvere la classificazione generale di tutte le varietà razionalmente ellittiche, ma piuttosto di stabilire l'esistenza di queste specifiche, infinite famiglie di controesempi singolari alla finitezza attesa nel caso liscio.