On a counterexample to a conjecture of J. Harris for octic surfaces

Sintesi Tecnica: Su un Controesempio alla Congettura di J. Harris per Superfici Ottiche

Enunciato del Problema
Il saggio affronta una congettura di J. Harris (anni '80) riguardante il luogo di Noether-Lefschetz $NL_d$ nello spazio dei parametri $T$ delle superfici lisce di grado $d \geq 4$ in $\mathbb{P}^3$. Harris congetturava che il numero di componenti "speciali" di $NL_d$ (quelle con codimensione strettamente minore della codimensione generale $h^{2,0} = \binom{d-1}{3}$) debba essere finito. Sebbene controesempi siano stati trovati da C. Voisin per $d$ elevati, la congettura rimane aperta per gradi inferiori. Nello specifico, per $d=6$ e $d=7$, il numero di componenti ridotte speciali è noto essere finito. Il focus di questo lavoro è il caso $d=8$ (superfici ottiche), dove la codimensione generale è 35. Un lavoro precedente dell'autore ([Mov21b]) suggeriva l'esistenza di un numero infinito di componenti di codimensione 31, il che contraddirebbe la congettura di Harris. Questo saggio mira a raccogliere prove più forti per tale affermazione.

Metodologia
L'autore investiga il luogo locale di Noether-Lefschetz $V_{\delta_0}$ associato a una specifica classe di coomologia $\delta_0 = [C_1] + r[C_2]$ sulla superficie ottica di Fermat $X_0$. Qui, $C_1$ è una retta (intersezione completa di tipo $(1,1)$) e $C_2$ è un'intersezione completa di tipo $(3,3)$, scelte in modo da non intersecarsi. Il parametro $r$ è un numero razionale non nullo.

La metodologia prevede:

1. Setup Geometrico: Definizione dello spazio di deformazione $T$ delle superfici ottiche lisce e di specifici sottospazi $\check{T}$ e $\check{S}$ con dimensioni ridotte per facilitare il calcolo.
2. Integrali di Periodo e Teoria di Hodge: Utilizzo della connessione di Gauss-Manin e delle mappe di residuo per esprimere la condizione che una classe di coomologia rimanga di tipo $(1,1)$ come la vanishing (annullamento) degli integrali di periodo $\int_{\delta_t} \omega_\beta$.
3. Analisi della Smoothness (Regolarità): Investigazione della "smoothness" del luogo di Noether-Lefschetz. Un luogo è definito $N$-smooth se la sua approssimazione infinitesima fino all'ordine $N$ corrisponde a una varietà liscia. Il saggio dimostra la smoothness per vari ordini ($N=2, 5, 6, 9$) su diversi sottospazi.
4. Calcoli dello Spazio Tangente: Calcolo delle codimensioni degli spazi tangenti $T_0 V$ per i loci associati a $C_1$, $C_2$ e alla loro combinazione lineare.
5. Algebra Computazionale: Vengono eseguiti estesi calcoli utilizzando il sistema di algebra computazionale Singular (specificamente la libreria foliation.lib) per calcolare i ranghi delle matrici derivate dagli integrali di periodo e per verificare le condizioni di smoothness fino ad ordini elevati.
6. Scoperta (e Verifica) Assistita da LLM: L'autore nota che un Modello di Linguaggio di Grandi Dimensioni (LLM) è stato inizialmente utilizzato per identificare un sottospazio specifico di dimensione 11 $\check{S}$ dove la smoothness di ordine superiore potesse essere verificata, sebbene le prove finali e il codice siano stati generati indipendentemente dall'autore.

Contributi Chiave e Risultati

• Congettura 1: Il saggio propone che per tutti ma un numero finito di $r \in \mathbb{Q}$, i loci locali di Noether-Lefschetz $V_{[C_1]+r[C_2]}$ sono spazi analitici lisci e distinti di codimensione 31. Questi loci si intersecano tra loro in una varietà comune di codimensione 32.
• Analisi della Codimensione:
  • Le componenti generali di $NL_8$ hanno codimensione 35.
  • Le componenti associate a $C_1$ (rette) hanno codimensione 5.
  • Le componenti associate a $C_2$ (curve di tipo $(3,3)$) hanno codimensione 27.
  • Le componenti associate alla somma $[C_1] + r[C_2]$ sono mostrate avere codimensione 31 nello spazio parametrico completo $T$.
• Prove di Smoothness:
  • Proposizione 3: Dimostra che $V_{[C_1]+r[C_2]}$ è 2-smooth nello spazio completo $T$.
  • Proposizione 4: Dimostra che la restrizione a un sottospazio specifico $\check{T}$ (dimensione 149) produce un fascio generale, con codimensioni dello spazio tangente di 9 per la somma e 10 per l'intersezione.
  • Proposizione 5: Dimostra che su un sottospazio specifico $\check{S}$ di dimensione 11, il locus è 6-smooth (per una famiglia con 10 monomi) e 9-smooth (per una famiglia con un singolo monomio).
• Implicazione di Componenti Infiniti: Combinando la Proposizione 4 e la Proposizione 2 (che mette in relazione la geometria degli spazi tangenti con il numero di componenti irriducibili), l'autore conclude che i loci $V_{[C_1]+r[C_2]}$ per $r$ variabile possiedono un numero infinito di componenti irriducibili di codimensione $\geq 31$.
• Potenziale di Controesempio: Poiché la codimensione massima per le componenti in questo caso specifico è 35 (il caso generale), e l'autore fornisce prove per componenti di codimensione 31, l'esistenza di queste componenti costituirebbe un controesempio alla congettura di Harris per $d=8$.

Significato
Il saggio fornisce "forti evidenze" piuttosto che una prova definitiva che la congettura di Harris fallisca per le superfici ottiche ($d=8$). La significatività risiede nel:

1. Sfida alla Congettura di Finitezza: Suggerisce che il numero di componenti speciali per $d=8$ sia infinito, contrariamente all'aspettativa che la congettura di Harris valga per i bassi gradi.
2. Struttura Geometrica: Elucida la struttura del luogo di Noether-Lefschetz per specifici cicli algebrici, mostrando che essi formano un fascio di varietà distinte, lisce, di codimensione 31 che si intersecano in una varietà di codimensione 32.
3. Integrazione Metodologica: Il lavoro dimostra l'utilità di combinare la classica teoria di Hodge, la geometria algebrica e l'algebra computazionale (Singular) per affrontare problemi di moduli ad alta dimensione.

L'autore rimane cauto, notando che è ancora possibile che questi loci giaccano all'interno di una componente irriducibile più grande di codimensione inferiore a 31, sebbene ciò sia considerato una "questione difficile". Il saggio non sostiene di aver smentito definitivamente la congettura di Harris, ma presenta un quadro robusto e prove computazionali che suggeriscono che essa sia falsa per $d=8$.