Quintic surfaces with 18 cusps

Immagina di essere un architetto che progetta una scultura usando l'argilla matematica. Nel mondo della geometria algebrica, quest'argilla prende la forma di superfici che fluttuano in uno spazio a quattro dimensioni (sebbene noi possiamo vederne solo tre alla volta). Per secoli, i matematici sono stati affascinati dalle "crepe" e dalle "rientranze" che appaiono su queste sculture. Alcune rientranze sono semplici protuberanze chiamate "nodi", mentre altre sono punti più acuti e drammatici chiamati "cuspidi", che sembrano la punta di un ago o il punto in cui due fogli di carta si incontrano e si piegano in una punta affilata.

La grande domanda in questo campo è: quante di queste punte acuminate puoi inserire su una singola scultura prima che questa si sfaldi? Per forme più semplici, conosciamo le risposte. Ma per un tipo specifico di scultura chiamata "superficie quintica" (che è definita da un'equazione complessa con termini fino alla quinta potenza), il limite è rimasto un mistero. Sappiamo che non se ne possono avere più di 20, ma nessuno è mai riuscito a costruirne una perfetta con ben 20. I detentori del record finora sono riusciti a gestirne solo 16 o 17. È come cercare di impilare il maggior numero possibile di blocchi instabili: più ne aggiungi, più è probabile che l'intera struttura collassi in un disastro.

Questo articolo parla di due matematici, Lev Borisov e Carlos Rito, che hanno deciso di affrontare questo problema di impilamento. Non si sono limitati a indovinare; hanno costruito un nuovo tipo di impalcatura per tenere in posizione i blocchi. La loro scoperta principale è che sono riusciti a costruire una famiglia di queste superfici quintiche che solitamente presenta 17 punte acuminate. Ancora più impressionante, modificando il loro design, hanno trovato esempi specifici che riescono a sostenere 18 punte senza rompersi. Non li hanno trovati semplicemente in una simulazione al computer; hanno utilizzato un mix astuto di lavoro investigativo digitale e matematica ad alta precisione per sollevare uno di questi esempi dal mondo dei numeri semplici e portarlo nel mondo reale e complesso, provando che esiste con assoluta certezione.

Il Progetto: Trovare il Modello Nascosto

Per capire come ci siano riusciti, pensa alla superficie quintica come a un enorme puzzle invisibile. I matematici sapevano che se hai molte punte (cuspidi), queste non sono sparse casualmente; seguono un codice segreto. Questo codice è come un motivo in un copriletto dove determinati tasselli devono allinearsi perfettamente.

Hanno iniziato con un trucco noto chiamato "decomposizione di Barth–Rams". Immagina di avere una forma complessa e di poterla descrivere combinando due forme più semplici (come due cubi) e sottraendo una terza. In questo caso, le "punte" appaiono dove queste forme si toccano in un modo molto specifico. Di solito, questo trucco genera una superficie con 12 punte. Gli autori si sono resi conto che, se avessero potuto forzare la superficie ad avere due di questi schemi che accadono contemporaneamente, avrebbero potuto ottenere più punte.

Hanno impostato un sistema in cui la superficie doveva soddisfare due diverse regole di "Barth–Rims" simultaneamente. Quando hanno fatto questo, i due set di 12 punte si sovrapponevano in 7 punti. Inveve di avere 24 punte, ne avevano 17 uniche (12 + 12 - 7). Questo ha creato una massiccia famiglia di 6 dimensioni di superfici, tutte le quali presentano naturalmente 17 punte. Era come costruire una macchina che produce automaticamente sculture con 17 cuspidi.

La Svolta: Rompere la 18ª Punta

Avere una macchina che produce superfici con 17 cuspidi era un ottimo risultato, ma l'obiettivo era 18. Gli autori sapevano che aggiungere una punta in più richiedeva solo due condizioni extra (come stringere due viti specifiche). Hanno cercato di trovare queste superfici con 18 cuspidi guardando il problema attraverso la lente dei "campi finiti".

Pensa a un campo finito come a un mondo di videogiochi dove i numeri ricominciano da capo. Invece di contare 1, 2, 3, ... all'infinito, potresti contare 1, 2, 3, 4, 5, 1, 2... di nuovo. In questi piccoli mondi "ripetuti", la matematica è molto più veloce da calcolare. Il team ha scritto un programma per computer per cercare attraverso questi piccoli mondi digitali. Hanno trovato diversi esempi in cui la superficie aveva esattamente 18 punte.

Tuttamente, trovare una superficie in un mondo di videogiochi "ripetuto" non è la stessa cosa che dimostrare la sua esistenza nel mondo matematico reale e infinito. Per colmare questo divario, hanno usato una tecnica chiamata "sollevamento di Newton–Hensel". Immagina di avere una foto sfuocata di un volto. Sai che è una persona, ma i dettagli sono confusi. Il "sollevamento" è come prendere quella foto sfuocata e usare una lente d'ingrandimento super potente per renderla nitida, pixel per pixel, finché il volto non diventa cristallino. Sono partiti dal loro esempio a 18 cuspidi del campo finito e hanno usato questo metodo per "zoomare" con estrema precisione, raffinando i numeri finché non sono riusciti a descrivere la superficie esattamente.

La Prova Finale: Una Superficie di Pura Matematica

Una volta ottenuti i numeri esatti, hanno usato uno strumento potente chiamato LLL (un tipo di lavoro investigativo matematico che trova schemi nascosti nei numeri) per scoprire la ricetta algebrica esatta della superficie. Hanno scoperto che la superficie poteva essere descritta usando numeri da un "campo numerico" di grado 22. Questo è un modo elaborato per dire che i numeri coinvolti sono complessi, ma sono ben definiti e reali.

Infine, hanno messo la superficie sotto un microscopio. Hanno controllato ogni singolo punto per assicurarsi che ci fossero esattamente 18 cuspidi ordinarie e nient'altro — nessuna altra protuberanza, nessuna strana crepa, nessuna sorpresa nascosta. Hanno confermato che la superficie era stabile ed esattamente come avevano previsto.

Quindi, mentre il sogno ultimo di trovare una quintica con 20 cuspidi rimane un "forse" per il futuro, questo articolo dimostra che 18 è decisamente possibile. Non si sono limitati a suggerire che potesse essere vero; hanno costruito la superficie, l'hanno sollevata da un'approssimazione digitale a un oggetto matematico esatto e ci hanno mostrato esattamente come appare. È un passo concreto avanti nella comprensione dei limiti di quante punte acuminate una scultura matematica può sostenere.