A result on the generic Picard number of surfaces in fake weighted projective 3-spaces

1. Enunciato del Problema e Contesto

Il lavoro affronta una specifica questione in geometria algebrica riguardante il numero di Picard ($\rho$) delle ipersuperfici generiche in "falsi" spazi proiettivi pesati 3-dimensionali.

• L'Impostazione: Sia $\Delta$ un simplettico reticolare tridimensionale. Sia $P_\Delta$ la varietà torica proiettiva associata al ventaglio normale di $\Delta$. Se $\Delta$ non è il simplettico standard, $P_\Delta$ è un "falso spazio proiettivo pesato 3-dimensionale". Sia $f$ un polinomio di Laurent non degenere con poliedro di Newton $\Delta$, e sia $Z_{\Delta, f}$ la chiusura dell'insieme degli zeri di $f$ in $P_\Delta$.
• La Congettura: Si congettura generalmente (analoga al teorema di Noether-Lefschetz) che per una scelta "molto generale" (generico) di $f$, il numero di Picard della superficie $Z_{\Delta, f}$ sia minimo, ovvero $\rho(Z_{\Delta, f}) = 1$. Ciò implica che tutti i cicli algebrici sulla superficie sono proporzionali al divisore canonico (o alla restrizione del divisore dello spazio ambiente).
• L'Obiettivo: L'autore cerca di identificare condizioni specifiche sul poliedro di Newton $\Delta$ sotto le quali questa congettura fallisce, dimostrando specificamente che $\rho(Z_{\Delta, f}) > 1$ per certe superfici generiche. Le superfici in questione sono di tipo generale.

2. Metodologia

Il lavoro impiega una strategia basata sulla teoria della degenerazione e sulla teoria di Hodge. Invece di analizzare direttamente la fibra generica, l'autore studia una degenerazione della superficie lungo un bordo del poliedro di Newton.

A. Impostazione Geometrica e Sussuddivisione

• Ipotesi: Il simplettico $\Delta$ deve soddisfare:
  1. $l^*(\Delta) > 0$ (assicurando che il genere geometrico $p_g > 0$).
  2. $\dim F(\Delta) \in \{2, 3\}$ (assicurando che la superficie sia di tipo generale, ovvero $K^2 > 0$).
  3. Esistenza di un bordo $e \subset \Delta$ tale che $l^*(e) > 0$ (dove $l^*(F)$ denota il numero di punti reticolari nell'interno relativo di $F$).
• Sussuddivisione: Il bordo $e$ è utilizzato per sussuddividere $\Delta$ in $r$ simplettici più piccoli $\Delta_1, \dots, \Delta_r$ lungo il bordo. L'intersezione di simplettici adiacenti $\Delta_i \cap \Delta_{i+1}$ forma una faccia bidimensionale.

B. Degenerazione Semistabile

L'autore costruisce una famiglia a un parametro di superfici $X_t$ su un disco unitario $B$, dove $X_t$ corrisponde alla superficie definita da $f$ per $t \neq 0$, e la fibra centrale $X_0$ è una superficie singolare che nasce dalla sussuddivisione.

• Risoluzione: Tramite un cambiamento di base e mappe birazionali, si ottiene una degenerazione semistabile. La fibra centrale $X_0$ consiste in un'unione di superfici lisce $V_i$ (chiusure di ipersuperfici nelle varietà toriche dei sotto-simplettici) che si intersecano trasversalmente lungo curve doppie $C_{i, i+1}$.
• Tracciamento del Genere Geometrico: Una formula chiave mette in relazione il genere geometrico della fibra generica con le componenti della fibra centrale:
  $$p_g(X_t) = \sum_{i=1}^r p_g(V_i) + \sum_{i=1}^{r-1} g(C_{i, i+1})$$
  Utilizzando i conteggi dei punti reticolari, questo si traduce in:
  $$l^*(\Delta) = \sum_{i=1}^r l^*(\Delta_i) + \sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1})$$

C. Analisi Cohomologica (Sequenza di Clemens-Schmid)

Il nucleo della dimostrazione si basa sulla sequenza esatta di Clemens-Schmid e sulla teoria della coomologia di vanishing.

• Monodromia: L'operatore di monodromia $T$ su $H^2(X_t, \mathbb{Q})$ è analizzato. L'operatore $N = \log(T)$ misura la parte "di vanishing" della coomologia.
• Classi di Vanishing: Lo spazio delle classi di coomologia di vanishing è definito come $H^2(X_t, \mathbb{Q})_{van} \cong H^2(X_t, \mathbb{Q}) / \ker(N)$.
• Ortogonalità: Queste classi di vanishing sono ortogonali alle classi di coomologia provenienti dalla fibra centrale (il nucleo di $N$) rispetto al prodotto di intersezione.
• Decomposizione di Hodge: L'autore analizza la posizione di queste classi di vanishing all'interno della decomposizione di Hodge $H^2(X_t, \mathbb{C}) = H^{2,0} \oplus H^{1,1} \oplus H^{0,2}$.

3. Contributi e Risultati Chiave

Il lavoro stabilisce un criterio preciso affinché il numero di Picard superi 1.

Il Teorema Principale (Teorema 1.2 / Teorema 2.10)

Sia $\Delta$ un simplettico tridimensionale che soddisfa le condizioni sopra, con una sussuddivisione $\Delta = \bigcup \Delta_i$ lungo un bordo $e$. Se vale la seguente disuguaglianza:
$$\sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1}) > \sum_{i=1}^{r} l^*(\Delta_i)$$
Allora, per un $f$ sufficientemente non degenere, il numero di Picard della superficie è strettamente maggiore di 1:
$$\rho(Z_{\Delta, f}) > 1$$

Meccanismo della Dimostrazione

1. Conteggio delle Classi di Vanishing: Il numero di classi di coomologia di vanishing nella degenerazione semistabile è calcolato come $2 \cdot \sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1})$.
2. Argomento Dimensionale: Lo spazio $H^{2,0}(X_t) \oplus H^{0,2}(X_t)$ ha dimensione $2 \cdot p_g(X_t) = 2 \cdot \sum l^*(\Delta_i)$.
3. Esistenza di una Classe Razionale (1,1): Se il numero di classi di vanishing (numeratore) supera la dimensione della parte $(2,0)+(0,2)$ (denominatore), deve esistere una classe di coomologia di vanishing $V$ che non è in $H^{2,0} \oplus H^{0,2}$.
4. Razionalità: Poiché $V$ è una classe razionale e ortogonale al nucleo di $N$ (che contiene il divisore canonico $K_{X_t}$), la sua proiezione $w$ su $H^{1,1}(X_t)$ è una classe di Picard razionale.
5. Indipendenza: Poiché $w$ è ortogonale a $K_{X_t}$ e $K_{X_t}^2 > 0$ (tipo generale), $w$ non può essere proporzionale a $K_{X_t}$. Pertanto, il gruppo di Picard è generato da almeno due classi indipendenti.

Controesempio alla Congettura

Il lavoro dimostra che la congettura $\rho=1$ è falsa per superfici generiche negli spazi proiettivi pesati falsi se il poliedro di Newton soddisfa la specifica disuguaglianza sui punti reticolari derivata sopra. Ciò evidenzia che la geometria del poliedro di Newton (in particolare la distribuzione dei punti reticolari interni rispetto alla sussuddivisione) determina il numero di Picard.

4. Significato

• Raffinamento della Teoria di Noether-Lefschetz: Mentre il classico teorema di Noether-Lefschetz afferma che le superfici generiche in $\mathbb{P}^3$ hanno $\rho=1$, questo lavoro mostra che nel contesto degli spazi proiettivi pesati falsi (varietà toriche con singolarità), la geometria del poliedro di Newton può forzare il numero di Picard a essere più alto anche per membri generici.
• Insight Metodologico: Il lavoro fornisce un'applicazione concreta delle tecniche di degenerazione (riduzione semistabile) e delle strutture di Hodge miste per calcolare invarianti di varietà algebriche generiche. Colma il divario tra dati combinatori (punti reticolari nei poliedri) e invarianti geometrici complessi (numeri di Picard).
• Vincoli sul Tipo Generale: Il risultato sottolinea l'importanza della condizione $K^2 > 0$ (tipo generale). L'autore nota nella Osservazione 2.11 che per le superfici K3 (dove $K^2=0$), degenerazioni simili non necessariamente producono $\rho > 1$ per membri generici, poiché la struttura di Hodge si comporta in modo diverso.
• Direzioni Future: Il lavoro suggerisce che il comportamento "generico" dei numeri di Picard nelle varietà toriche è più sfumato rispetto allo spazio proiettivo standard, dipendendo pesantemente dalle proprietà combinatorie del poliedro definitorio.

In sintesi, Giesler dimostra che per classi specifiche di superfici negli spazi proiettivi pesati falsi, il numero di Picard generico è strettamente maggiore di 1, fornendo un criterio combinatorio basato sulla sussuddivisione del poliedro di Newton e sul conteggio dei punti reticolari interni.