Modularity of a certain "rank-2 attractor" Calabi-Yau threefold

1. Il Problema e il Contesto

Il paper affronta la congettura sulla modularità di una specifica famiglia di varietà di Calabi-Yau tridimensionali ($X_\phi$), ottenute come quoziente di una famiglia di Hulek-Verrill ($X_a$) per un gruppo ciclico di ordine 10.

• Oggetto di studio: Una varietà di Calabi-Yau $X_{-1/7}$ (dove il parametro $\phi = -1/7$) con numeri di Hodge $h^{1,2}=1$.
• La Congettura: Candelas, de la Ossa, Elmi e van Straten [9], basandosi su evidenze numeriche calcolate tramite equazioni di Picard-Fuchs e metodi $p$-adici, hanno congetturato che la rappresentazione di Galois $\ell$-adica di dimensione 4 associata alla coomologia $H^3_{\text{\'et}}(X_{-1/7}, \mathbb{Q}_\ell)$ sia riducibile. Nello specifico, essa dovrebbe decomporsi in una somma diretta di due rappresentazioni di dimensione 2:
  $$\rho_{f, \ell} \oplus \rho_{g, \ell}(-1)$$
  dove $f$ e $g$ sono nuove forme cuspidali di peso 4 e 2 rispettivamente, per il gruppo $\Gamma_0(14)$ (etichettate 14.4.a.a e 14.2.a.a nel database LMFDB).
• Il "Rank-2 Attractor": Il punto $\phi = -1/7$ è identificato come un "punto attrattore di rango 2" nella teoria delle stringhe. In tali punti, la coomologia razionale ammette una decomposizione motivica $H^3_B = V \oplus W$, che implica una decomposizione corrispondente delle rappresentazioni di Galois.
• La Sfida: Mentre casi precedenti di Hulek e Verrill erano stati dimostrati tramite costruzioni algebrico-geometriche (superfici ellittiche regolate), per questo caso specifico non esisteva una dimostrazione rigorosa basata sulla geometria. L'obiettivo del paper è fornire una prova rigorosa della Congettura 1.1.

2. Metodologia

L'autore adotta un approccio ibrido che combina teoria dei numeri, teoria delle rappresentazioni di Galois e calcolo computazionale, evitando la dipendenza da congetture non provate sui metodi $p$-adici utilizzati negli studi precedenti.

A. Analisi della Monodromia Modulo 5

Il cuore della strategia è dimostrare la riducibilità della rappresentazione residua $\rho_5$ (azione di Galois su $H^3_{\text{\'et}}$ con coefficienti in $\mathbb{F}_5$).

1. Riduzione della Monodromia: Si analizza l'immagine del gruppo di monodromia $\pi_1(\mathbb{P}^1 \setminus \Sigma)$ nello spazio $U_\phi/5U_\phi$. Utilizzando calcoli al computer (Maple) sulle matrici di monodromia note, si dimostra che l'immagine è contenuta in un sottogruppo parabolico massimale $P$ di $GSp_4(\mathbb{F}_5)$.
2. Normalizzazione: Poiché l'azione di Galois normalizza l'immagine della monodromia, l'immagine di Galois deve anch'essa risiedere in $P$. Questo implica che $\rho_5$ è riducibile e possiede una filtrazione con fattori di composizione di dimensioni 1, 1 e 2.

B. Identificazione dei Fattori di Composizione

Una volta stabilita la riducibilità, l'autore identifica i fattori:

1. Fattori 1-dimensionali: Utilizzando i pesi di Hodge-Tate e la dualità di Poincaré, si dimostra che i fattori 1-dimensionali sono i caratteri banali ($id$) e il carattere ciclotomico elevato alla terza potenza ($\epsilon^{-3}$).
2. Fattore 2-dimensionale: Il fattore residuo è una rappresentazione irriducibile di dimensione 2. Si dimostra che è associata a una nuova forma modulare di peso 2 e livello 14 ($g$), utilizzando il teorema di Khare-Wintenberger-Kisin (ex Congettura di Serre) e confrontando i tracci di Frobenius con i dati numerici.

C. Dimostrazione della Riducibilità per Contraddizione (Metodo di Ribet-Brown)

Per provare che $\rho_5$ è effettivamente riducibile (e non irriducibile con una struttura parabolica nascosta), l'autore usa un argomento di contraddizione:

1. Si assume che $\rho_5$ sia irriducibile.
2. Si costruisce un elemento non nullo in un gruppo di Selmer di Bloch-Kato ($H^1_f$) associato a un'estensione non scissa tra i fattori.
3. Si utilizza la teoria dei funzioni L $p$-adiche e la teoria di Iwasawa per le curve ellittiche a riduzione supersingolare (poiché la curva associata a $g$ è supersingolare in $p=5$).
4. Si applica il teorema di Kitajima-Otsuki e le stime di Kato sui gruppi di Selmer. Si dimostra che l'ordine del gruppo di Selmer è limitato dal valore speciale $L(E, \eta, 1)$.
5. Calcolando esplicitamente il valore $L$-algebrico per la curva twistata, si trova che non è divisibile per 5, portando a una contraddizione. Quindi, $\rho_5$ deve essere riducibile.

D. Indipendenza dai Dati Numerici Non Provati

Una parte cruciale del lavoro (Sezione 5) consiste nel rimuovere la dipendenza dalla congettura non provata in [12, §4.4] riguardante la matrice $U(0)$ usata nei calcoli $p$-adici precedenti.

• L'autore utilizza il metodo di conteggio dei punti di Hulek e Verrill sulla varietà $X_a$.
• Si dimostra rigorosamente che il conteggio dei punti su $X_a$ (e sul suo quoziente $X_\phi$) per diversi primi $p$ conferma le formule per i tracci di Frobenius attese dalla congettura, rendendo i risultati unconditional (incondizionati).

3. Risultati Chiave

1. Dimostrazione della Congettura 1.1: È stato provato rigorosamente che la rappresentazione di Galois 4-dimensionale su $H^3_{\text{\'et}}(X_{-1/7}, \mathbb{Q}_\ell)$ è isomorfa a $\rho_{f, \ell} \oplus \rho_{g, \ell}(-1)$, con $f$ e $g$ forme nuove di peso 4 e 2 per $\Gamma_0(14)$.
2. Struttura della Decomposizione: La decomposizione è motivica, confermando l'esistenza di una struttura algebrica sottostante che giustifica la natura di "punto attrattore" del parametro $\phi = -1/7$.
3. Risoluzione del Problema della Riducibilità: È stato dimostrato che la rappresentazione residua mod 5 ha una filtrazione con fattori di composizione specifici ($id, \epsilon^{-3}, \rho_{g,5}(-1)$), e che la rappresentazione completa è la somma diretta delle forme modulari attese.
4. Validazione dei Metodi Numerici: I calcoli numerici precedenti sulla famiglia di Calabi-Yau sono stati confermati senza fare affidamento su congetture non dimostrate, utilizzando il conteggio diretto dei punti su varietà toriche.

4. Significato e Impatto

• Fondazione Matematica: Il lavoro pone su basi matematiche rigorose la scoperta di Candelas et al. dei "rank-2 attractor points", un concetto originario della fisica teorica (teoria delle stringhe e buchi neri).
• Avanzamento nella Teoria di Langlands: Dimostra un caso specifico e non banale della corrispondenza tra varietà di Calabi-Yau e forme modulari, estendendo i risultati noti per le varietà rigide a casi non rigidi con decomposizioni motiviche.
• Metodologia Innovativa: L'uso combinato della teoria della monodromia residua, della teoria di Iwasawa per punti supersingolari e del conteggio dei punti per bypassare congetture $p$-adiche offre un modello metodologico potente per lo studio di altre varietà di Calabi-Yau.
• Limiti e Prospettive: L'autore nota che la stessa tecnica non si applica immediatamente alla Congettura 1.2 (relativa a $\phi = 33 \pm 8\sqrt{17}$) a causa di ostacoli legati alla ramificazione del primo 5 nel campo $\mathbb{Q}(\sqrt{17})$, lasciando aperta una sfida futura.

In sintesi, il paper rappresenta un successo significativo nell'intersezione tra geometria aritmetica, teoria dei numeri e fisica matematica, fornendo la prima prova rigorosa della modularità per una classe specifica di varietà di Calabi-Yau non rigide.