On equations of fake projective planes with automorphism group of order $21$

Gli autori studiano le superfici ellittiche di Dolgachev con fibre doppie e triple per derivare equazioni esplicite di due nuove coppie di piani proiettivi finti con un gruppo di automorfismi di ordine 21, completando così la classificazione di tali varietà e includendo il caso scoperto da J. Keum.

L'essenziale

Immagina di essere un architetto che sta cercando di costruire una casa perfetta, ma con una regola strana: la casa deve avere le stesse "misure" (volume, numero di stanze, ecc.) di una sfera perfetta, ma non deve essere una sfera. In matematica, queste strutture si chiamano piani proiettivi falsi (fake projective planes). Sono oggetti geometrici molto complessi che esistono solo nella mente dei matematici da decenni, ma nessuno è mai riuscito a scrivere le "ricette" esatte (le equazioni) per costruirli.

Questo articolo di Lev Borisov è come un manuale di istruzioni che finalmente rivela le ricette per costruire due di queste case "falsamente perfette".

Ecco come funziona il processo, spiegato con metafore semplici:

1. Il Problema: Trovare la chiave per una porta chiusa

Per anni, i matematici sapevano che queste "case" esistevano (come se avessero visto l'ombra di un edificio), ma non sapevano come disegnarle su carta. Erano come ricette di cucina scritte in un codice segreto che nessuno riusciva a decifrare. L'obiettivo di Borisov era trovare le equazioni polinomiali (le istruzioni matematiche) per costruirle.

2. Il Metodo: Costruire una scala per arrivare al tetto

Invece di cercare di disegnare la casa finale direttamente (che è troppo complicata), l'autore ha usato un trucco intelligente: ha costruito una scala.

• La base della scala (Le superfici di Dolgachev): Immagina di costruire prima un edificio più semplice, una sorta di "torre" che ha delle caratteristiche specifiche (come avere due finestre speciali e una scala che gira). Questa torre è chiamata superficie di Dolgachev.
• Il piano di lavoro: L'autore ha creato una "fabbrica" di queste torri. Invece di costruirne una sola, ha creato una famiglia di torri con 9 parametri variabili (come se avesse 9 manopole da girare per cambiare forma alla torre).

3. Il Processo di Affinamento: Dalla massa di argilla alla statua

L'autore ha seguito questi passaggi, come uno scultore che toglie il marmo in eccesso:

• Passo 1: La famiglia generica. Ha scritto le equazioni per tutte le torri possibili con 9 manopole. È come avere un blocco di argilla enorme.
• Passo 2: Stringere le regole. Ha aggiunto condizioni specifiche: "La torre deve avere una finestra che tocca un certo punto" o "Due linee devono essere parallele". Questo ha ridotto le possibilità da 9 manopole a 5, poi a 2. È come scolpire via pezzi di argilla finché non rimane solo la forma che ti serve.
• Passo 3: La ricerca del numero magico (Il campo finito). Qui entra in gioco la magia dei computer. L'autore ha provato a costruire queste torri usando numeri "piccoli" (in un mondo matematico chiamato campo finito, come se contasse solo fino a 79). Ha cercato un numero specifico (il primo 79) dove la torre aveva difetti strani (punti singolari) esattamente dove doveva averli. È come cercare un pezzo di argilla che, se premuto in un certo punto, si spacchi nel modo giusto.
• Passo 4: Il salto nel mondo reale. Una volta trovato il numero magico (79), ha usato un trucco matematico (come un ponte) per "salire" dai numeri piccoli ai numeri complessi e reali. Ha trasformato la soluzione trovata nel mondo dei 79 in una soluzione vera e propria, con numeri che coinvolgono radici quadrate di -7.
• Passo 5: La casa finale. Una volta costruita la "torre" perfetta (la superficie Y0), ha usato un raggio laser matematico (un rivestimento di grado 7) per proiettare questa torre e ottenere la "casa" finale: il piano proiettivo falso.

4. Il Risultato: Due nuove case scoperte

Grazie a questo metodo, Borisov è riuscito a:

1. Trovare le equazioni esatte per un piano proiettivo falso già scoperto da un altro matematico (Keum), ma che non aveva mai avuto le sue "coordinate" scritte.
2. Scoprire una nuova coppia di piani proiettivi falsi che nessuno aveva mai visto prima.

5. Come fanno a sapere che è la casa giusta? (L'identikit)

Una volta costruita la casa, come fanno a sapere che non è un'imitazione? Hanno controllato le "impronte digitali" matematiche.
Hanno cercato dei "pacchetti torsionali" (immagina dei piccoli oggetti magici che si attaccano alla casa). Hanno scoperto che la loro casa aveva un numero specifico di questi oggetti, diverso da quello che ci si aspetterebbe per l'altra versione conosciuta. Questo ha confermato che avevano trovato la versione corretta, classificata come (C20, p=2, ∅, D327) nella grande mappa dei matematici.

In sintesi

Questo articolo è come se qualcuno avesse finalmente trovato la ricetta segreta per cucinare un piatto che sapevamo esistere, ma che nessuno era mai riuscito a replicare in cucina.

• L'ingrediente segreto: L'uso intelligente dei computer per cercare soluzioni in mondi numerici piccoli e poi "ingrandirle".
• Il risultato: Due nuove ricette matematiche precise per costruire oggetti geometrici che sfidano l'immaginazione, aprendo la strada a capire meglio la geometria dell'universo.

L'autore usa software potenti (come Mathematica) per fare calcoli che richiederebbero a un umano milioni di anni, dimostrando che oggi la matematica è una danza tra l'intuizione umana e la potenza di calcolo delle macchine.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "On equations of fake projective planes with automorphism group of order 21" di Lev Borisov, pubblicata su Épijournal de Géométrie Algébrique.

1. Il Problema

Il lavoro si inserisce nel contesto della classificazione delle piane proiettive false (fake projective planes), ovvero superfici di tipo generale con gli stessi numeri di Hodge del piano proiettivo complesso $\mathbb{CP}^2$. Sebbene la classificazione completa di tutte le 50 coppie coniugate di tali superfici sia stata ottenuta da Cartwright e Steger, questa rimane puramente teorica e basata su quozienti di gruppi aritmetici discreti del disco complesso bidimensionale. Non esistevano, al momento della pubblicazione, equazioni polinomiali esplicite per la maggior parte di queste superfici, inclusa quella originale scoperta da Mumford.

L'obiettivo specifico di questo articolo è trovare equazioni esplicite per due nuove coppie di piane proiettive false che possiedono un gruppo di automorfismi di ordine massimo possibile, ovvero 21. In particolare, l'autore mira a:

1. Costruire equazioni per la superficie scoperta da J. Keum (classe $(a=7, p=2, \{7\}, D_{327})$).
2. Scoprire e definire equazioni per un'altra coppia di piane proiettive false nella stessa classe di automorfismi (classe $(C_{20}, p=2, \emptyset, D_{327})$).

2. Metodologia

L'approccio metodologico è un ibrido sofisticato tra geometria algebrica teorica, teoria dei numeri computazionale e algebra computazionale (utilizzando software come Mathematica, Magma, Macaulay2 e C). Il processo si articola in diverse fasi chiave:

A. Studio delle Superfici di Dolgachev (2,3)

L'autore parte dall'osservazione che la risoluzione minima $Y$ del quoziente di una piana proiettiva falsa per il sottogruppo $C_7$ del suo gruppo di automorfismi è una superficie di Dolgachev con una fibrazione ellittica, due fibre multiple (una doppia e una tripla) e una sezione razionale $S$.

• Viene calcolata la dimensione graduata dell'anello delle sezioni $R = \bigoplus H^0(Y, \mathcal{O}(aF + bS))$.
• Si ipotizza una struttura di modulo libero su un sottogotto generato da variabili di pesi specifici.
• Si costruisce una famiglia a 9 parametri di superfici di Dolgachev definendole come intersezione di 9 quadriche in uno spazio proiettivo pesato. I coefficienti di queste quadriche sono determinati imponendo le condizioni di associatività dell'anello, risolvendo un sistema di oltre 1600 equazioni in 92 incognite.

B. Restrizione Geometrica e Ricerca di Singolarità

Per isolare le superfici specifiche desiderate, si impongono condizioni geometriche aggiuntive sulla fibra speciale (di tipo $I_9$):

1. Si riduce la famiglia a sottogruppi a 7, 5 e infine 2 parametri richiedendo che la fibra speciale contenga linee disgiunte con specifiche intersezioni nodali.
2. Si impone che la superficie $Y_0$ (il modello birazionale) abbia singolarità peggiori dei nodi in punti specifici della fibra speciale.

C. Ricerca Modulo $p$ e Sollevamento $p$-adico

Poiché le equazioni dirette sono computazionalmente intrattabili, l'autore utilizza un metodo di riduzione su campo finito:

• Si cerca una riduzione della superficie modulo un primo $p$ (inizialmente $p=79$) tale che le singolarità richieste siano presenti.
• Una volta trovati candidati in $\mathbb{F}_p$, si procede al sollevamento (lifting) a potenze di $p$ (sollevamento $p$-adico) per approssimare i parametri come numeri algebrici.
• Si utilizzano algoritmi di riduzione reticolare per riconoscere i numeri algebrici, ottenendo una definizione della superficie su un campo di numeri di grado 12, che poi viene trasformata nel campo $\mathbb{Q}(\sqrt{-7})$.

D. Costruzione della Piana Proiettiva Falsa

Una volta ottenuta la superficie $Y_0$, si costruisce la piana proiettiva falsa $P^2_{fake}$ come un rivestimento ciclico di grado 7 di $Y_0$, ramificato lungo le curve speciali.

• Si calcola il sistema lineare bicanonico di $P^2_{fake}$.
• Si ottengono le equazioni della piana proiettiva falsa come intersezione di 84 equazioni cubiche in $\mathbb{CP}^9$.

E. Identificazione

Per distinguere tra le diverse classi di Cartwright-Steger, l'autore analizza il gruppo di torsione del gruppo di Picard.

• Si cerca l'esistenza di elementi di torsione 2-invariante sotto l'azione di $C_3$.
• La presenza di un numero elevato di tali elementi (21 elementi non banali) permette di escludere la classe di Keum e identificare la nuova superficie come appartenente alla classe $(C_{20}, p=2, \emptyset, D_{327})$.
• Un processo analogo, applicato a un'altra famiglia di Dolgachev, conferma la costruzione della superficie di Keum.

3. Contributi Chiave e Risultati

1. Equazioni Esplicite: Il paper fornisce le prime equazioni polinomiali esplicite per la piana proiettiva falsa di Keum e ne scopre una nuova, la classe $(C_{20}, p=2, \emptyset, D_{327})$.
2. Metodo Computazionale: Viene sviluppato un metodo robusto che combina la costruzione di famiglie di superfici di Dolgachev con la ricerca su campi finiti e il sollevamento $p$-adico per gestire la complessità dei coefficienti.
3. Identificazione Precisa: L'uso sistematico dei fasci di linea di torsione per distinguere tra classi di superfici che condividono lo stesso gruppo di automorfismi è un contributo metodologico significativo.
4. Riduzione delle Equazioni: Vengono presentate le equazioni per le superfici $Y_0$ e per le piane proiettive false finali (in appendice e in repository esterni), inclusa una base ottimizzata per il sistema lineare bicanonico che riduce la grandezza dei coefficienti.

4. Significato e Implicazioni

• Avanzamento nella Classificazione: Questo lavoro colma un divario importante tra la classificazione teorica di Cartwright-Steger e la realizzazione geometrica esplicita. Fornisce strumenti concreti per studiare la geometria di queste superfici esotiche.
• Connessione con Mumford: La conoscenza delle equazioni della superficie di Keum (che è commensurabile a quella di Mumford) apre la strada alla speranza di trovare le equazioni per la superficie originale di Mumford. L'autore suggerisce che ciò potrebbe richiedere la comprensione di rivestimenti di grado 7 non galoisiani per le fibre della mappa $Y \to \mathbb{P}^1$.
• Strumenti per la Ricerca Futura: Il metodo sviluppato (ricerca su campi finiti + sollevamento) può essere applicato ad altri problemi di classificazione di superfici complesse con gruppi di automorfismi non banali, offrendo una via praticabile dove i metodi puramente simbolici falliscono a causa della complessità computazionale.

In sintesi, il paper rappresenta un trionfo della geometria algebrica computazionale, trasformando oggetti matematici astratti in entità calcolabili e verificabili, e aprendo nuove porte per l'esplorazione delle superfici di tipo generale.