Curve di ampiezza costante

Ricordiamo che, ata una curva piana chiusa $C$, regolare a tratti e che delimiti una regione convessa, una "retta di supporto" a $C$ è una retta che ha almeno un punto in comune con $C$ e nessun punto in comune con il suo interno.

Definizione.Una curva di ampiezza costante è una curva piana convessa tale che la distanza fra due coppie qualsiasi di rette di supporto parallele è indipendente dalle rette scelte. Tale distanza è appunto chiamata l'ampiezza della curva.

Intuitivamente, una curva di ampiezza costante è quindi una curva tale che può "essere fatta rotolare" fra due rette parallele senza alterarne la distanza. Un esempio immediato è la circonferenza: in tal caso vi è una sola retta di supporto in ogni punto (la retta tangente) e due rette di supporto sono parallele solo se i corrispondenti punti sono antipodali; pertanto la circonferenza ha ampiezza costante, pari al diametro. Questo è uno dei motivi per cui le ruote hanno forma circolare: se la loro forma fosse una curva di ampiezza non costante (ad esempio, un'ellisse) una piattaforma che si spostasse su di esse oscillerebbe su e giù durante il movimento.

Esistono curve di ampiezza costante diverse dalla circonferenza? Sorprendentemente, la risposta è affermativa, e l'esempio più famoso è dato dal cosiddetto triangolo di Rouleaux, così chiamato in onore del matematico e ingegnere F. Rouleaux (1829-1905), che insegnò alla Reale Scuola tecnica Superiore di Berlino. Esso si ottiene partendo da un triangolo equilatero e centrando col compasso in ciascuno dei vertici in modo da costruire tre archi di circonferenza che congiungono gli altri due vertici.

Il Triangolo di Rouleaux (il bordo della regione in giallo) è una curva ad ampiezza costante.

Come la circonferenza e ogni altra curva di ampiezza costante, il Triangolo di Rouleaux ruota esattamente all'interno di un quadrato (di lato pari all'ampiezza), mantenendosi in contatto con tutti e quattro i vertici durante la rotazione. Questa proprietà è stata sfruttata in ingegneria in modo sorprendente: nel 1914, H. J. Watts brevettò una punta per trapano, basata sul triangolo di Rouleaux, in grado di produrre fori quadrati!

Il trangolo di Rouleaux possiede molte altre interessanti proprietà. Una delle più importanti è che essa è la curva di ampiezza costante che ha la minima area per un'ampiezza data (questo è noto come teorema di Blaschke-Lebesgue); si noti che la diseguaglianza isoperimetrica implica che la curva di ampiezza costante che massimizza l'area è invece la circonferenza.

Il Triangolo di Rouleaux presenta tre punti angolosi nei vertici del triangolo equilatero di partenza; tali punti possono essere tuttavia "allisciati", ottendendo una curva di ampiezza costante e di classe $C^1$. Inoltre, è possibile costruire "poligoni di Rouleaux" partendo da poligoni regolari con più di tre lati: si ottengono in tal modo curve di ampiezza costante il cui gruppo di simmetria è il gruppo diedrale del poligono di partenza. Curiosamente, le monete britanniche da 20p e 50p sono eptagoni di Rouleaux.

Ancora più sorprendente del triangolo di Rouleaux è l'esistenza di curve di ampiezza costante asimmetriche. Una loro costruzione è spiegata nel bell'articolo di M. Gardner [Gard]. Gardner nota anche, opportunamente, che l'esistenza di simili curve impedisce che si possa verificare la circolarità della chiglia di un natante (ad esempio, di un sottomarino) controllando esclusivamente l'ampiezza in ogni suo punto: una chiglia potrebbe essere infatti mostruosamante sbilenca e superare tuttavia tale controllo. Per questo motivo, il controllo di circolarità viene effettuato applicando opportuni profili sagomati.

Esistono anche curve di ampiezza costante algebriche, cioè definite da un'equazione polinomiale della forma $f(x, \, y)=0$. Un esempio è presentato in [Rab] e la corrispondente equazione (di grado $8$) può essere trovata nella pagina Wikipedia dedicata all'argomento.


Riferimenti:

[Gard] M. Gardner: Curve di Ampiezza Costante, in Enigmi e Giochi Matematici, Vol. 4
[Rab] S. Rabinowitz: A Polynomial Curve of Constant Width, Missouri Journal of Mathematical Sciences 9 (1997), 23–27.

Il teorema dell'Esagramma Mistico di Pascal

Il seguente notevole risultato venne scoperto nel 1639 dall'allora sedicenne matematico e filosofo francese Blaise Pascal (1623-1662):

Teorema. Si considerino nel piano proiettivo una conica $C$ e un esagono $X$ i cui vertici giacciono su $C$. Allora le tre coppie di rette che individuano lati opposti di $X$ si incontrano in tre punti che giacciono su una retta, detta la "retta di Pascal" dell'esagono $X$.

Esagono inscritto in una conica. La retta di Pascal è quella tratteggiata

Dati sei punti $\{P_1, \ldots, P_6\}$ non ordinati su una conica, essi possono essere congiunti per formare un esagono in $60$ modi distinti, e di conseguenza esistono $60$ rette di Pascal; l'insieme di tali rette è detto l'Esagramma Mistico relativo a $\{P_1, \ldots, P_6\}$, e per tale motivo il teorema di Pascal è anche detto teorema dell'Esagramma Mistico.

Il teorema di Pascal può essere visto come una generalizzazione del classico teorema di Pappo: infatti, quest'ultimo si ottiene nel caso limite in cui la conica $C$ degenera nell'unione $L_1+L_2$ di due rette. Si noti inoltre che è possibile dare un enunciato del teorema di Pascal anche nel piano affine, trattando opportunamente i casi in cui una o più coppie di rette diventino parallele; ad esempio, se due coppie di lati opposti definiscono rette parallele, allora lo stesso vale per tutte e tre le coppie di lati opposti, e non esiste nessuna retta di Pascal affine (in tal caso la retta di Pascal è la retta all'infinito).

L'inverso del teorema di Pascal è detto teorema di Braikenridge e Maclaurin:

Se le tre coppie di rette definite dai lati opposti di un esagono $X$ si incontrano in tre punti allineati, allora i vertici $\{P_1, \ldots, P_6\}$ di $X$ giacciono su una conica $C$ (che può essere degenere). Variando il sesto punto $P_6$, ciò permette di dare una costruzione proiettiva della conica determinata dai cinque punti $\{P_1, \ldots, P_5\}$.

Esistono numerose dimostrazioni del teorema di Pascal, sia sintetiche che analitiche. Qui ci limitiamo ad esporne una che si trova spesso nei testi introduttivi di Geometria Algebrica.

Dimostrazione. Siano $P_1, \,  P_2, \ldots, P_6$ i sei vertici ordinati dell'esagono $X$, e siano $l_1$,  $l_2$, $l_3$ le rette dei lati $P_1P_2$, $P_3P_4$, $P_5P_6$ e $m_1$, $m_2$, $m_3$ le rette dei lati $P_2P_3$, $P_4P_5$, $P_6P_1$. Sia $f$ la forma cubica $l_1l_2l_3$ e $g$ la forma cubica $m_1m_2m_3$, e si scelga uno scalare $\lambda$ tale che la forma cubica $f+\lambda g$ si annulli su un ulteriore punto $P$ di $C$ (che per semplicità consideriamo irriducibile, ma la dimostrazione può essere adattata anche nel caso di $C$ riducibile). Allora la cubica piana $D$ definita da $f+\lambda g=0$ e la conica $C$ hanno almeno sette punti in comune, dunque per il teorema di Bézout esse devono avere in comune una intera componente. Ciò vuol dire che $D$ si spezza nell'unione della conica $C$ e di una retta $L$, che risulta essere la retta di Pascal di $X$.

$\square$

Il teorema di Pascal può essere anche ottenuto come una conseguenza del teorema di Cayley-Bacharach per le cubiche piane: si veda il corrispondente articolo Wikipedia per ulteriori dettagli sull'argomento.

L'algoritmo di Strassen

Quanto è dispendioso, dal punto di vista computazionale, moltiplicare due matrici $n \times n$?

La risposta che viene subito in mente è che servono al più $O(n^3)$ operazioni, dato che l'algoritmo standard (insegnato nei corsi base di Algebra Lineare) richiede $n \times n \times n=n^3$ moltiplicazioni e possiamo trascurare il contributo dato delle addizioni, computazionalmente irrilevante.

Nel 1969 V. Strassen, mentre cercava di dimostrare che l'algoritmo standard è ottimale, fece l'inaspettata scoperta che è possibile moltiplicare due matrici $2 \times 2$ utilizzando solo sette moltiplicazioni invece di otto. In suo onore, questo metodo di moltiplicazione matriciale è oggi chiamato algoritmo di Strassen.

V. Strassen nel 1979 (fonte Wikipedia)

L'algoritmo di Strassen può essere generalizzato a matrici $n \times n$, e permette di moltiplicare due tali matrici utilizzando $O(n^{\log_2(7)+o(1)}) = O(n^{2,8074})$ operazioni, invece delle $O(n^3)$ richieste dall'algoritmo standard. Con l'architettura dei moderni processori, implementare l'algoritmo di Strassen invece di quello usuale permette un guadagno in efficienza di circa il 20%, almeno per quanto riguarda matrici non strutturate e di grossa taglia ($n>2000$).

Essendo la moltiplicazione di matrici uno strumento centrale in ogni branca dell'Analisi Numerica, la scoperta di nuovi algoritmi di bassa complessità computazionale ha evidentemente un impatto drammatico sulla disciplina. Infatti, l'algoritmo di Strassen inaugurò un nuovo settore di ricerca noto come Fast Matrix Multiplication.

Al momento, uno degli algoritmi più veloci è quello di Coppersmith–Winograd, che ha una complessità computazionale pari a $O(n^{2,375477})$. Esistono anche algoritmi asintoticamente più efficienti, ma in pratica essi sono raramente implementati a causa delle enormi costanti che compaiono nell'espressione esplicita del tempo di esecuzione richiesto [2].

Notiamo che, in ogni caso, conoscere una matrice $n \times n$ richiede la conoscenza di tutti i suoi $n^2$ elementi, quindi la complessità computazionale di un'operazione binaria fra matrici deve essere almeno $O(n^2)$. Una sorprendente congettura (al momento non dimostrata) è che per ogni numero naturale $n$ e per ogni numero reale $\epsilon >0$ esiste un algoritmo capace di moltiplicare due matrici $n \times n$ con complessità computazionale $O(n^{2+ \epsilon})$. In altre parole, almeno asintoticamente, moltiplicare due matrici non dovrebbe essere più dispendioso che sommarle.

L'algoritmo di Strassen ha una moderna interpretazione nell'ambito della Geometria Algebrica e della Teoria delle Rappresentazioni. Le tecniche utilizzate hanno la loro origine nei lavori della scuola italiana sulle Varietà delle Secanti (inizio '900), si veda [1] per una trattazione sistematica dell'argomento.


Riferimenti:

[1] J. M. Landsberg: Geometry and Complexity Theory, Cambridge Studies in Advanced Mathematics 169, Cambridge University Press 2017.
[2] S. Robinson: Toward an Optimal Algorithm for Matrix Multiplication, SIAM News, 38 (9), 2005.

Il gioco del 15

Tutti noi da bambini abbiamo giocato a quello che viene comunemente chiamato il gioco del 15. Si tratta di una cornice di legno o plastica di forma quadrata, nella quale vi sono $15$ blocchi quadrati uguali (numerati da $1$ a $15$) che possono scorrere in alto, in basso, a destra e a sinistra utilizzando lo spazio fornito dal quadrato mancante. Lo scopo del gioco è partire da una configurazione in cui i blocchi sono disordinati e arrivare alla configurazione di partenza in cui essi sono numerati consecutivamente e lo spazio vuoto è in basso a destra.

Le origini del rompicapo non sono completamente chiare. Sebbene l’enigmista Sam Loyd (1841-1911) ne reclamò spesso la paternità, sembra che sia stato in realtà inventato da un certo Noyes Palmer Chapman a New York nel 1874. Esso divenne estremamente popolare in America ed Europa a partire dal 1880.

Nel 1889 Loyd offrì un premio di 1000 dollari a chiunque fosse stato in grado di risolvere la configurazione in cui tutti i numeri sono al loro posto, tranne il $14$ e il $15$ che sono scambiati fra loro.

In realtà Loyd era sicuro di non dover sborsare nulla, dato che nel 1879 Johnson e Story avevano completato l’analisi matematica del gioco, scoprendo che un invariante completo che distingue le configurazioni ammissibili da quelle non ammissibili è costituito dalla parità della corrispondente permutazione e dalla taxicab distance (numero di righe più numero di colonne) del quadrato vuoto dal quadrato in basso a destra. Questo segue dal fatto che ogni mossa effettuata cambia contemporaneamente sia la parità della configurazione che la taxicab distance.

Di conseguenza, se lo spazio vuoto si trova in basso a destra, una configurazione è ammissibile se e solo se essa corrisponde ad una permutazione pari di $\{1, \ldots,15\}$. In particolare, la configurazione proposta da Loyd non è ammissibile, dato che corrisponde alla trasposizione $(14 \; 15)$, che è una permutazione dispari. Questo è un esempio tipico in cui un semplice controllo di parità permette di risolvere elegantemente un problema che sembra a prima vista intrattabile senza l'uso della forza bruta (enumerazione di tutte le configurazioni).

La configurazione impossibile di Sam Loyd

Esistono anche versioni del rompicapo con più di $15$ tasselli, e in generale ha senso chiedersi quale sia il massimo numero di mosse necessarie per risolvere una configurazione nel caso con $n^2-1$ tasselli. Al crescere di n questo è un problema NP-difficile.

Nel caso del gioco del $15$, il massimo numero di mosse necessarie è $80$ (vi sono esattamente $17$ configurazioni che richiedono $80$ mosse). Per il gioco con $24$ tasselli, si sa che il numero massimo di mosse è compreso fra $152$ e $208$. Per $35$ o più tasselli, limitare il numero massimo di mosse necessarie è al momento un problema aperto.


Riferimenti:

A. F. Archer: A modern treatment of the 15 puzzle, The American Mathematical Monthly 106 (1999), 793–799.

J. J. Rotman: Advanced Modern Algebra (Second Edition), Chapter I. Graduate Studies in Mathematics 114, American Mathematical Society (2010).

Gundlagenstreit, parte II. Frosch-Mäuse Krieg

Non intendo prendere posizione in questa guerra fra rane e topi
A. Einstein (lettera a M. Born, 1928)

Il 30 ottobre 1928, C. Carathéodory rese visita a Brouwer nella sua casa a Laren, nei pressi di Amsterdam, e gli consegnò una lettera scritta da Hilbert in persona nelle quale gli veniva comunicata la sua estromissione dall'editorial board dei Mathematische Annalen, sulla base di "incompatibilità riguardo a questioni fondamentali".

Brouwer, individuo nervoso ed emotivamente instabile, non era tipo da lasciar correre quella che considerava una intollerabile offesa alla sua persona e alla sua professionalità. Dopo essersi congedato in maniera turbolenta da Carathéodory, cominciò a preparare la contromossa.

I Mathematische Annalen erano all'epoca già pubblicati da Springer, che li aveva rilevati dall'editore originale Teubner, e il frontespizio della rivista elencava due tipi di redattori: i redattori capo ("Herausgeber") D. Hilbert, A. Einstein, O. Blumenthal, C. Carathéodory e i collaboratori ("Mitarbeiter") L. Bieberbach, H. Bohr, L. E. J. Brouwer, R. Courant, W. v. Dyck, O. Hölder, T. von Karman, A. Sommerfeld. Il contratto stipulato con la casa editrice non spiegava in dettaglio la distinzione fra i due tipi di redattori, nè chiariva se un redattore capo potesse arrogarsi il diritto di licenziare un collaboratore, per cui Brouwer minacciò di portare la contesa in tribunale.

Hilbert aveva messo tutto il peso del suo prestigio e della sua autorità, che erano immensi, nella crociata contro Brouwer. Quest'ultima non era originata soltanto dalla disputa sui fondamenti, ma nasceva anche da profonde differenze personali e politiche fra i due. All'inizio le loro relazioni erano amichevoli, e Hilbert rispettava i contributi matematici di Brouwer a tal punto da offrirgli una cattedra a Gottinga (che Brouwer non accettò). Successivamente, tuttavia, Brouwer (pur essendo olandese) appoggiò le tesi del nazionalismo germanico, e giunse al punto di criticare aspramente la partecipazione della delegazione dei matematici tedeschi, guidata da Hilbert, al congresso di Bologna del 1928.

Ad Hilbert, per il quale nazionalismi e politica non dovevano avere nulla a che fare con la scienza, questo tipo di atteggiamento risultava semplicemente odioso. Inoltre, Hilbert era all'epoca malato di anemia perniciosa, e temeva che Brouwer potesse approfittare della sua debolezza fisica per impadronirsi della direzione degli Annalen. Sembra invece senza fondamento l'accusa (citata ad esempio in [R70]) secondo cui Brouwer voleva essere referee esclusivo per i lavori dei matematici olandesi spediti alla rivista, che teneva poi per anni sulla scrivania prima di formulare un giudizio.

Il maggiore alleato di Brouwer nel comitato editoriale era Bieberbach, che già molto prima dell'avvento al potere dei nazisti aveva manifestato le sue ferventi posizioni nazionaliste; ma anche Blumenthal e Carathéodory, per quanto venerassero Hilbert e non volessero contrastarlo, erano legati da sentimenti di amicizia verso Brouwer, e desideravano una soluzione della vicenda che concedesse a quest'ultimo l'onore delle armi. Essi arrivarono al punto di consigliare a Brouwer di presentare volontariamente le sue dimissioni in modo da evitare lo scandalo dell'estromissione, ma il matematico olandese fu irremovibile e ribadì che, se necessario, Hilbert e i suoi fedelissimi avrebbero dovuto rispondere al giudice delle loro azioni.

L'ago della bilancia nella contesa era Einstein: il suo prestigio scientifico e i suoi standard morali erano tali che chiunque l'avesse avuto dalla sua parte sarebbe stato quasi sicuro di vincere la partita. Nelle sue lettere private a Hilbert, Einstein afferma che Brouwer "...è, con il dovuto rispetto per la sua mente di prim'ordine, uno psicopatico" e che, dunque, "sarebbe meglio lasciarlo libero di fare il giullare", definendone l'estromissione dagli Annalen "un procedimento che non posso nè approvare nè giustificare". Pertanto, Einstein era deciso a mantenere nella faccenda la più ferma neutralità, non volendo mischiarsi in quella che, con malcelato disprezzo, chiamava "una guerra fra rane e topi" (Frosch-Mäuse Krieg).

L'impasse venne infine superata con uno stratagemma suggerito da Carathéodory: visto che Brouwer non intendeva dimettersi, e che non era chiaro se potesse essere legalmente licenziato, la soluzione migliore era sciogliere l'intero comitato editoriale e costituirne uno nuovo. La cosa era possibile da contratto, essendo giunti al Volume 100 della rivista; infatti, il Volume 101 mostra un nuovo frontespizio, nel quale compaiono solo tre redattori: D. Hilbert, O. Blumenthal e E. Hecke. Per confrontare i frontespizi dei volumi 100 e 101, si guardino i link alle rispettive versioni digitalizzate [MathAnn100] e [MathAnn101].

Apparentemente, Brouwer reagì a questa soluzione di compromesso con una certa mitezza. Per un po' continuò a lamentarsi, poi capì che la guerra era finita e che erano andati tutti a casa, e nel 1935 fondò una nuova rivista, Compositio Mathematica, ancora oggi attiva e prestigiosa. Sarebbe morto solo nel 1966, ma la sua carriera scientifica era terminata: il rinnovamento del comitato editoriale dei Mathematische Annalen sancì di fatto la fine della Grundlagenstreit.

Riferimenti:

[MathAnn100] https://gdz.sub.uni-goettingen.de/id/PPN235181684_0100
[MathAnn101] https://gdz.sub.uni-goettingen.de/id/PPN235181684_0101
[vanDalen2011] D. van Dalen: The Selected Correspondence of L.E.J. Brouwer, Springer 2011
[vanDalen2013] D. van Dalen: L.E.J. Brouwer – Topologist, Intuitionist, Philosopher, Springer 2013
[R70] C. Reid: Hilbert, Springer 1970.

Nota: Il testo [vanDalen2013] è una completa biografia di L. E. J. Brouwer, mentre [vanDalen2011] è una raccolta della sua corrispondenza privata e scientifica.

Grundlagenstreit, parte I. Formalismo e intuizionismo.

Nessuno potrà cacciarci dal paradiso che Cantor ha creato per noi
(D. Hilbert)

Nel 1899, D. Hilbert aveva pubblicato il suo fortunato libro sui fondamenti della Geometria [H99]. In esso, oltre a dare un risistemazione logica al contenuto degli Elementi di Euclide che ne correggeva le imprecisioni, egli presentava la sua visione della materia, che poteva essere racchiusa in una parola: formalismo.

“Ogni teoria può essere applicata a infiniti sistemi di enti fondamentali”, spiegava Hilbert illustrando il carattere assiomatico della nuova matematica. Per la geometria usava una battuta fortunata: “Invece di punti, rette, piani dobbiamo ugualmente poter dire tavoli, sedie, boccali di birra” [L16]. In altre parole, e in aperto contrasto con la visione platonista della disciplina, ciò che definisce una teoria non è l'"essenza" degli oggetti matematici, ma solo gli assiomi che essi soddisfano.

L'impostazione filosofica di Hilbert era ben chiara fin dai suoi primi lavori sulla teoria degli invarianti (1888), nei quali aveva dimostrato l'esistenza di un sistema finito di generatori per l'anello degli invarianti delle forme $n$-arie in un qualsiasi numero di variabili per mezzo di un procedimento puramente esistenziale e non costruttivo, che aveva incontrato (almeno all'inizio) l'opposizione dei matematici più tradizionalisti come P. Gordan e L. Kronecker. Quest'ultimo era anche un acerrimo avversario della teoria degli insiemi di Cantor e un propugnatore di una filosofia costruttivista, opposta a quella formalista di Hilbert, che era sintetizzata dalla sua famosa frase "Dio ha creato i numeri naturali, tutto il resto è opera dell'uomo". Per Kronecker, la dimostrazione per assurdo con cui Cantor aveva dimostrato che $\mathbb{R}$ non è equipotente a $\mathbb{N}$ era pura eresia.

Kronecker morì nel 1891, dunque il suo ruolo diretto nelle vicende che seguono fu marginale; tuttavia, le sua posizioni vennero adottate e sistematizzate dalla scuola intuizionista, il cui fondatore e principale apostolo fu il famoso matematico olandese L. E. J. Brouwer (1881-1966).

L.E.J. Brouwer

Giovanissimo, Brouwer aveva ottenuto fama internazionale per i suoi profondi risultati in Topologia, fra i quali il Teorema di Punto Fisso che oggi porta il suo nome, il Teorema di Invarianza della Dimensione e quello di Invarianza del Grado Topologico, che gli avevano permesso a soli 31 anni di essere eletto membro della Royal Netherlands Academy of Arts and Sciences.

Brouwer raccolse il testimone di Kronecker e, con la sua filosofia intuizionista, si oppose fermamente al formalismo di Hilbert e dei suoi collaboratori P. Bernays, W. Ackermann e J. von Neumann. Semplificando al massimo, si può dire che l'intuizionismo si opponeva all'uso del principio del terzo escluso in logica ("non è possibile che due proposizioni contraddittorie siano entrambe non vere") in ogni ragionamento che coinvolgesse insiemi infiniti. In particolare, la scuola intuizionista considerava non valide le dimostrazioni non costruttive che sfruttavano la tecnica per assurdo, come ad esempio il procedimento diagonale di Cantor e la dimostrazione di Hilbert del suo Teorema della Base.

Come ci si può aspettare, le posizioni filosofiche di Brouwer vennero accolte con irritazione da Hilbert e dalla sua scuola (a parte H. Weyl, che ne fu invece affascinato, con sdegno del suo maestro). Hilbert affermò con veemenza che "impedire ad un matematico di usare il principio del terzo escluso è come impedire ad un pugile di usare i pugni", e che l'intuizionismo rischiava di privare la matematica di molti dei suoi risultati più importanti e di farla precipitare nella barbarie.

Un aneddoto famoso narra di Brouwer che, invitato a tenere un seminario a Gottinga, affermò (per dare un esempio delle posizioni intuizioniste) che non si può sapere se esiste una stringa di dieci $9$ consecutivi nello sviluppo decimale di pi greco, finché tale stringa non venga effettivamente trovata mediante il calcolo dello sviluppo stesso. Qualcuno del giro di Hilbert obiettò "Magari noi non lo possiamo sapere, ma Dio si!", al che Brouwer replicò seccamente "Non dispongo di una linea diretta con Dio" [R70].

Sia Hilbert che Brouwer avevano una forte e carismatica personalità, ed entrambi erano sinceramente convinti che dalla vittoria della loro posizione dipendessero il destino e la salvezza della Matematica. La guerra esplose nel 1928, quando Hilbert portò il conflitto sul piano personale, decidendo che le loro differenze erano tali che non potevano più lavorare insieme. Pertanto si adoperò per estromettere Brouwer dall'Editorial Board dei Mathematische Annalen, di cui lui era Managing Editor. Era il culmine della cosiddetta Grundlagenstreit, la "disputa sui fondamenti" [continua].

Riferimenti:

[H99] D. Hilbert: Grundlagen der Geometrie (1899)
[L16] G. Lolli: Tavoli, sedie, boccali di birra (David Hilbert e la matematica del '900), Cortina editore (2016).
[R70] C. Reid: Hilbert, Springer (1970)

Il teorema dei Quattro Colori

Immaginiamo di avere una mappa piana costituita da un numero finito di regioni. Quanti colori sono al massimo necessari per colorarla in modo che due regioni adiacenti (cioè, con un confine in comune) non abbiano lo stesso colore?

Non è difficile costruire una mappa che necessita di quattro colori: si pensi ad una mappa costituita da un cerchio centrale e una corona circolare divisa in tre parti uguali intorno ad esso, come nella figura sotto: 

Una mappa che necessita di quattro colori (a sinistra) e il corrispondente grafo duale (a destra)

Sorge dunque naturale il seguente

Problema dei quattro colori. E' sempre possibile colorare una mappa piana con quattro colori, in modo che due regioni adiacenti abbiano colore differente? Oppure esiste una mappa che necessita di almeno $5$ colori? Equivalentemente, è vero che il numero cromatico del grafo duale di una mappa piana è sempre minore o uguale a $4$?

Si potrebbe pensare che l'origine del problema risalga allo studio della cartografia, ma in realtà le carte geografiche che necessitano di quattro colori sono piuttosto rare (tre colori bastano quasi sempre), e non si è trovata traccia di esso in nessun libro antico sull'argomento. L'origine del Problema dei Quattro Colori sembra in realtà risalire a F. Guthrie, uno studente ad Edimburgo che lo enunciò nel 1852. Guthrie ne parlò al suo insegnante A. De Morgan, il quale ne scrisse a sua volta come segue:

"A student of mine [Guthrie] asked me to day to give him a reason for a fact which I did not know was a fact—and do not yet. He says that if a figure be any how divided and the compartments differently colored so that figures with any portion of common boundary line are differently colored—four colors may be wanted but not more—the following is his case in which four colors are wanted. Query cannot a necessity for five or more be invented…"

Nel 1879, A. Kempe pubblicò una dimostrazione del Teorema dei Quattro Colori [K1879]. L'argomento di Kempe venne ritenuto corretto fino al 1890, quando P. J. Heawood scoprì al suo interno un errore fatale. I tentativi di Heawood di riparare la dimostrazione di Kempe non ebbero successo, tuttavia egli riuscì ad adattarne le tecniche per far vedere che cinque colori sono sempre sufficienti [H1890].

Dopodiché, molti matematici famosi si cimentarono nella dimostrazione del Teorema dei Quattro Colori, ma tutti i loro tentativi furono votati al fallimento. Nella sua biografia di D. Hilbert, C. Reid narra di H. Minkowski che (in un raro moto di arroganza) sostenne durante il suo corso di topologia a Goettingen che per un matematico di prim'ordine come lui ci sarebbe voluto ben poco per produrre una dimostrazione, salvo ritrattare poche settimane dopo spiegando che il suo argomento era fallace e che "il Cielo aveva punito la sua boria". Analogamente, nella sua autobiografia "Ex-prodigy", il pioniere della cibernetica N. Wiener descrive il suo sgomento nel vedere la dimostrazione da lui fornita "sbriciolarsi davanti ai suoi occhi" [Gard3].

La cosa era resa ancora più frustrante dal fatto che, paradossalmente, si conosceva la risposta per mappe disegnate per superfici in apparenza più complicate del piano, come il toro (dove sette colori sono necessari e sufficienti per colorare ogni mappa), la bottiglia di Klein, il nastro di Moebius o il piano proiettivo (dove sei colori sono necessari e sufficienti).

La dimostrazione del Teorema dei Quattro Colori arrivò nel 1976, ad opera di K. Appell e W. Haken [AH77]. Oltre che per il risultato in sé, la dimostrazione di Appell e Haken è storicamente importante in quanto si tratta del primo enunciato di rilievo dimostrato con l'ausilio del computer. La strategia della prova, infatti, consiste dapprima in un lungo e difficile procedimento di riduzione del problema originario ad un problema finito, che coinvolge $1936$ mappe. Tali mappe vengono poi analizzate una per una con l'aiuto del calcolatore, facendo vedere che ognuna di esse può essere colorata con quattro colori e deducendo da ciò che ogni mappa piana ha la stessa proprietà.

Siccome era impossibile verificare a mano i calcoli di Appell e Haken, molti matematici avanzarono dubbi sulla validità del metodo usato, o per lo meno lo trovarono insoddisfacente dal punto di vista epistemologico. Addirittura, il New York Times rifiutò di pubblicare un articolo sulla dimostrazione, temendo che potesse essere sbagliata come molte altre annunciate in precedenza.

Nel 1996, N. Robertson, P. Sanders, P. Seymour e R. Thomas diedero una nuova dimostrazione, basata sulle stesse idee di quella di Appell e Haken ma più efficiente, in quanto richiedeva l'analisi di "sole" 633 configurazioni. Ancora una volta, però, risultò impossibile verificare con carta e penna tutti i passaggi, e si dovette ricorrere al computer [RSST97].

Infine, nel 2005, B. Werner and G. Gonthier hanno implementato la dimostrazione del Teorema dei Quattro Colori nel linguaggio di programmazione (o, meglio, "theorem proving software") Coq, verificando la validità di ciascuno dei passi che la compongono [Gon08].

Riferimenti:

https://en.wikipedia.org/wiki/Four_color_theorem
http://mathworld.wolfram.com/Four-ColorTheorem.html

[AH77] K. Appel; W. Haken: Solution of the Four Color Map Problem, Scientific American, 237 (4), pp. 108–121 (1977)
[Gard3] M. Gardner: Enigmi e giochi matematici, vol 3.
[Gon08] G. Gonthier: Formal Proof—The Four-Color Theorem, Notices of the American Mathematical Society 55 (11), pp. 1382-1393 (2008).
[H1890] P. J. Heawood: Map-Colour Theorem, Quarterly Journal of Mathematics 24, 332–338 (1890).
[K1879] A. B. Kempe (1879): On the Geographical Problem of the Four Colours, American Journal of Mathematics  2 (3): 193–220.
[RSST97] N. Robertson; D. Sanders; P. Seymour; R. Thomas: The Four-Colour Theorem, J. Combin. Theory Ser. B 70 (1), pp. 2–44 (1977)doi:10.1006/jctb.1997.1750,

Harald Bohr: teoria dei numeri e nazionale di calcio

Harald Bohr (Copenhagen, 1887 - Gentofte, 1951) era il fratello minore del fisico teorico Niels Bohr, Premio Nobel 1922 per i suoi fondamentali contributi alla Meccanica Quantistica.

Anche se meno conosciuto rispetto al celeberrimo fratello, Harald ebbe una carriera scientifica di tutto rispetto. Infatti fu un famoso matematico, professore all'Università di Copenhagen e noto per le sue ricerche in Teoria Analitica dei Numeri (funzioni quasi-periodiche, distribuzione degli zeri della funzione zeta di Riemann), che portarono a collaborazioni con mostri sacri del campo come E. Landau e G. Hardy. Uno dei suoi risultati più famosi è il

Teorema di Bohr-Mullerup: La funzione Gamma di Eulero può essere caratterizzata come l'unica funzione analitica $f$ definita su $x>0$ e avente le seguenti proprietà:
$\bullet$  $f(1)=1$
$\bullet$ $f(x+1)=xf(x)$
$\bullet$ $f$ è logaritmicamente convessa (cioè, $\log(f(x))$ è convessa).

Un altro suo importante contributo è il Teorema di Bohr-Landau, una versione debole dell'Ipotesi di Riemann che afferma che "quasi tutti" gli zeri della funzione Zeta sono contenuti in una piccola striscia verticale centrata sulla retta critica $\mathrm{Re}(z)=1/2$.

Ciò che rende peculiare la carriera di H. Bohr è tuttavia il fatto che è stato l'unico matematico professionista a vincere una medaglia alle Olimpiadi come membro della nazionale di calcio del suo paese. Infatti Bohr era un eccellente attaccante, che debuttò in prima divisione danese nel 1903, a soli 16 anni (per un breve periodo giocò insieme al fratello Niels, che era un buon portiere). Nell'era di Sky e del calcio miliardario è una cosa impensabile, ma all'epoca si potevano ottenere risultati sportivi di rilievo limitandosi a giocare a pallone nel proprio tempo libero.

Nel 1908, venne selezionato per la nazionale olimpica che doveva partecipare ai Giochi di Londra dello stesso anno. In semifinale la Danimarca battè la Francia per 17-1, punteggio che costituisce ancora oggi un record olimpico. In finale la Danimarca perse 2-0 con l'Inghilterra, ottenendo quindi la medaglia d'argento.

L'ultima partita giocata da Bohr in nazionale fu nel 1910. Nello stesso anno discusse la sua tesi di dottorato: le cronache dell'epoca narrano che la sua popolarità come calciatore era tale che in aula si contavano più tifosi che matematici.

Oltre che come matematico e atleta, H. Bohr si distinse anche per il suo impegno a favore di diritti umani. Egli stesso di origine ebraica da parte di madre, fu profondamente disgustato dalle politiche antisemite del regime hitleriano e si adoperò per aiutare i matematici ebrei tedeschi a fuggire dalla Germania. Nel 1934 uscì un articolo a sua firma, pubblicato sul giornale danese Berlingske Aften, che criticava le posizioni filo-naziste del matematico L. Bieberbach.

H. Bohr univa a grandi qualità scientifiche notevoli capacità didattiche, che lo rendevano molto amato dai suoi studenti. Ancora oggi, in suo onore, il premio annuale per l'eccellenza nell'insegnamento attribuito dall'Università di Copenhagen è chiamato "The Harald".

Ulteriori particolari sulla vita e l'opera di Bohr si possono trovare nella sua biografia sull'archivio MacTutor.

Harald Bohr (a sinistra) col fratello Niels (a destra) in una foto giovanile.

L'Ipotesi del Continuo

Nel 1874, G. Cantor aveva introdotto la sua celebre nozione di cardinalità, definendo due insiemi "equipotenti" quando è possibile stabilire una corrispondenza biunivoca fra essi. Era l'inizio di un modo radicalmente nuovo di pensare l'infinito, che avrebbe rivoluzionato i fondamenti della Matematica.

Due insiemi finiti sono equipotenti se e solo se contengono lo stesso numero di elementi, in particolare nessun insieme finito è equipotente ad un suo sottoinsieme proprio. Per insiemi infiniti, invece, la cosa è molto più sottile. Ad esempio, è immediato verificare che l'insieme $\mathbb{N}$ dei naturali è equipotente al sottoinsieme $2 \mathbb{N}$ dei numeri pari, tramite la funzione che associa ad ogni numero il suo doppio. Non è inoltre difficile dimostrare che $\mathbb{N}$ è anche equipotente a $\mathbb{Q}_+$, l'insieme dei numeri razionali positivi: basta enumerare questi ultimi ordinandoli in base alla somma del numeratore e denominatore come segue: $$\frac{1}{1}, \, \frac{1}{2}, \, \frac{2}{1}, \, \frac{1}{3}, \, \frac{2}{2}, \, \frac{3}{1}, \, \frac{1}{4}, \,   \frac{2}{3}, \frac{3}{2}, \, \frac{4}{1}, \cdots$$ Una semplice modifica di questa procedura mostra inoltre che $\mathbb{N}$ è equipotente a $\mathbb{Q}$, l'insieme di tutti i numeri razionali.

Al contrario, non è possibile mettere in corrispondenza biunivoca $\mathbb{N}$ con $\mathbb{R}$, l'insieme dei numeri reali. Per dimostrare questo fatto, Cantor utilizzò un metodo di dimostrazione per assurdo noto come procedimento diagonale. L'idea è quella di associare ad ogni numero reale il suo sviluppo decimale: allora, se i reali potessero essere numerati in una lista, potremmo scegliere un numero reale $r$ la cui prima cifra decimale è diversa dalla prima cifra del primo numero della lista, la seconda cifra decimale è diversa dalla seconda cifra del secondo numero e così via. Ciò implica che $r$ non è contenuto nella lista, contraddizione.

La domanda che ora sorge naturale, e che è il contenuto del primo problema presentato da D. Hilbert al congresso di Parigi del 1900, è la seguente:

Esiste un insieme la cui cardinalità sia strettamente compresa fra quella di $\mathbb{N}$ e quella di $\mathbb{R}$, cioè fra il "numerabile" e il "continuo"?

Il problema (o meglio la congettura che tale insieme non esistesse) divenne noto come Ipotesi del Continuo, e si guadagnò subito lo status di fondamentale questione aperta della Teoria degli Insiemi. Lo stesso Cantor comprese la sua importanza e vi lavorò a lungo, senza risultati.

La prima risposta parziale venne ottenuta nel 1940 da K. Gödel, il logico viennese che sette anni prima aveva stupito la comunità matematica con i suoi celebri Teoremi di Incompletezza. Egli dimostrò che, restringendosi ad una particolare classe di insiemi noti come "insiemi costruibili", si ottiene una teoria che verifica gli assiomi di Zermelo-Fraenkel e l'Assioma di Scelta (ZFC) e nella quale è anche valida l'Ipotesi del Continuo, deducendo che quest'ultima è consistente con ZFC. In altre parole, l'Ipotesi del Continuo non può essere confutata in ZFC, che è l'assiomatizzazione "standard" della teoria degli insiemi.

Il (difficile) passo successivo venne compiuto nel 1963 da P. Cohen. Quest'ultimo sviluppò una particolare tecnica dimostrativa, detta forcing, che permette di allargare la classe degli insiemi costruibili ad una classe più ampia, verificante ZFC ma non l'Ipotesi del Continuo. Come conseguenza, segue che

L'Ipotesi del Continuo non è dimostrabile in ZFC, e utilizzando il precedente risultato di Gödel si deduce quindi che essa è indecidibile in ZFC.

P. Cohen (fonte: Wikipedia)

Per questa sua spettacolare scoperta, Cohen ottenne la medaglia Fields al Congresso Internazionale di Mosca del 1966. Nel 2006, poco prima della sua morte, egli tenne una conferenza a Vienna in occasione dei cento anni dalla nascita di Gödel, nella quale descrisse la sua soluzione al problema del continuo. Il video della conferenza è disponibile online su YouTube.

Riferimenti:

https://en.wikipedia.org/wiki/Continuum_hypothesis

http://mathworld.wolfram.com/ContinuumHypothesis.html

P. J. Cohen: The Independence of the Continuum Hypothesis, Proc. Nat. Acad. Sci. USA. 50, 1143-1148, 1963.

K. Gödel: The Consistency of the Continuum-Hypothesis. Princeton, NJ: Princeton University Press, 1940.

P. Odifreddi: La matematica del Novecento. Einaudi, 2000

Il Postulato di Bertrand

Chebyshev said it, but I'll say it again: there's always a prime between $n$ and $2n.$
(N. J. Fine)

Nel 1845, J. Bertrand propose, verificandola sperimentalmente fino al valore $n=3000000$, la seguente congettura, che da allora divenne nota come

Postulato di Bertrand. Dato un numero naturale $n >1$, esiste sempre un numero primo $p$ tale che $n < p <  2n$.

Un immediato corollario è che il gap tra un numero primo e il successivo è minore del doppio del primo stesso; in altre parole, se $\{p_n\}$ indica la successione dei primi, si ha $p_{n+1} < 2p_n$. Un'altra interessante conseguenza è che la successione $\mathbb{P}$ formata da 1 e dai numeri primi è una "successione completa", nel senso che ogni numero naturale può scriversi come somma di elementi di $\mathbb{P}$, usando ogni elemento al più una sola volta.

Il Postulato di Bertrand può essere derivato dal Teorema dei Numeri Primi (TNP), osservando che, siccome $\log x$ è asintotico a $\log 2x$, allora il numero dei primi fra $1$ e $2n$ è asintoticamente il doppio del numero dei primi fra $1$ ed $n$, dunque il numero dei primi fra $n$ e $2n$ va asintoticamente come $2n/2 \log n=n/ \log n$, cioè vi sono in realtà molti più primi fra $n$ e $2n$ da quanto previsto dal Postulato. Tuttavia, quest'ultimo è un risultato molto meno difficile da dimostrare rispetto a TNP, e inoltre ha il suo interesse storico in quanto venne provato prima di esso. Il numero esatto di primi fra $n$ e $2n$ è tabulato nella successione OEIS A060715.

La prima dimostrazione del Postulato di Bertrand venne fornita nel 1852 da P. L. Chebyshev (la prima dimostrazione di TNP è del 1896), utilizzando metodi di Teoria Analitica dei Numeri [5]. Da allora il risultato è anche conosciuto come Teorema di Bertrand-Chebyshev. La dimostrazione di Chebyshev venne successivamente semplificata da S. Ramanujan, che fornì un argomento di una pagina basato su alcune proprietà della funzione Gamma, vedi [3].

P. L. Chebyshev (fonte: Wikipedia)

Nel 1932, nel suo primo articolo pubblicato (all'età di 19 anni) P. Erdős diede la prima dimostrazione elementare del Postulato di Bertrand. Qui "elementare" va inteso nel senso della Teoria dei Numeri, dove il termine non vuol dire "semplice", ma piuttosto "che non utilizza strumenti al di là dell'aritmetica".

Di fatto, la dimostrazione di Erdős  è piuttosto sofisticata, e si basa su una stima accurata dell'esponente con cui un primo $p$ divide il coefficiente binomiale $\binom{2n}{n}$. Tale stima permette di mostrare che, se non esistessero primi fra $n$ e $2n$, allora tale coefficiente crescerebbe asintoticamente meno di quanto atteso, giungendo ad una contraddizione per $n>4000$.

I dettagli possono essere trovati in [2] e nel bel libro [4], che raccoglie una serie di dimostrazioni brevi e particolarmente eleganti, nello stile amato da Erdős. Quest'ultimo pensava infatti che esistesse un Libro nel quale Dio aveva raccolto le dimostrazioni più belle, e che fosse compito dei matematici (ri)scoprirle. In realtà Erdős non era religioso, e a chi gli chiedeva se credesse in Dio soleva rispondere "You don't have to believe in God, but you should believe in The Book."

P. Erdős (fonte: Wikipedia) 

Il paradosso di Bertrand è stato nel corso del tempo generalizzato in varie direzioni. Ad esempio, oggi si sa che esiste sempre un primo fra $2n$ e $3n$ (M. El Bachraoui, 2006) e che esiste sempre un primo fra $3n$ e $4n$ (D. Hanson, 1973). Inoltre, è anche noto che quando $n$ tende all'infinito anche il numero di primi fra $3n$ e $4n$ tende all'infinito (A. Loo, 2011).

Un problema collegato è quello di determinare il minimo esponente $r$ tale che esista sempre un primo fra $n$ e $n+O(n^r)$, per $n$ sufficientemente grande. Il Postulato di Bertrand implica che $r$ è al più $1$, e il miglior risultato oggi disponibile è $r \leq 6/11$ (Lou-Yao, 1992).

E' interessante notare che problemi in apparenza simili al Postulato di Bertrand sono ancora oggi (2018) irrisolti. Ad esempio, non è noto se esista sempre un numero primo fra $n^2$ e $(n+1)^2$; si pensa che la risposta sia affermativa, e questa è nota come congettura di Legendre.

Riferimenti:

[1] https://en.wikipedia.org/wiki/Bertrand%27s_postulate
[2] https://en.wikipedia.org/wi…/Proof_of_Bertrand%27s_postulate
[3] http://mathworld.wolfram.com/BertrandsPostulate.html
[4] M. Aigner, G. M. Ziegler, K. H. Hofmann: Proofs from THE BOOK, Fourth edition, Springer, 2009. ISBN 978-3-642-00855-9.
[5] P. L. Chebychev. Mémoire sur les nombres premiers. Journal de mathématiques pures et appliquées, Sér. 1, 366-390 (1852). (Proof of the postulate: 371-382)
[6] S. Ramanujan "A Proof of Bertrand's Postulate." J. Indian Math. Soc. 11, 181-182 (1919).

Il Problema di Burnside

Un gruppo $G$ si dice "periodico" se ogni elemento di $G$ ha ordine finito, cioè se per ogni $g \in G$ esiste $n=n(g)$ tale che $g^n=1$. Chiaramente ogni gruppo finito è periodico, ma il viceversa non è vero: un controesempio è il gruppo di Prüfer $\mathbb{Z}(p^{\infty})$, ossia il sottogruppo di $\mathbb{C}^{\ast}$ formato da tutte le radici $n$-esime dell'unità, al variare di $n \in \mathbb{N}$.

È facile vedere che il gruppo di Prüfer non può essere finitamente generato. Nel 1902, W. Burnside pose la seguente domanda, che era destinata a diventare uno dei problemi più importanti e fecondi della Teoria dei Gruppi:

Problema generale di Burnside. Sia $G$ un gruppo finitamente generato e periodico. È vero che $G$ è finito?

La risposta risultò essere negativa: infatti, nel 1964 Golod e Shafarevich costruirono un controesempio, ossia un gruppo infinito, finitamente generato e periodico. Più precisamente, essi dimostrarono che per ogni primo $p$ esiste un gruppo infinito con tre generatori in cui ogni elemento ha ordine una potenza di $p$. Tuttavia, in tale controesempio l'ordine di $g \in G$ non può essere uniformemente limitato.

Il controesempio descritto sopra portò a considerare una versione più debole del problema, in cui l'ordine di $g \in G$ è limitato da una costante fissata $n$, ossia $g^n=1$ con $n$ indipendente da $g$. Un tale gruppo è detto "gruppo di esponente $n$". Chiaramente, avere esponente finito implica essere periodico, ma il viceversa non è vero (il gruppo di Prüfer o quelli di Golod-Shafarevich forniscono controesempi). Si può dunque enunciare il

Problema di Burnside I. Sia $G$ un gruppo finitamente generato e di esponente finito. È vero che $G$ è finito?

Questo problema può essere riformulato in modo da considerare una particolare classe di gruppi finitamente generati, i cosiddetti gruppi di Burnside. Se $F_r$ è il gruppo libero su $r$ generatori e $n$ è un numero naturale fissato, definiamo il gruppo di Burnside $B(r, \, n)$ come il quoziente di $F_r$ per le infinite relazioni $\{x^n=1, \, x \in  F_r\}$.

È un esercizio standard di teoria dei gruppi verificare che ogni gruppo con $r$ generatori ed esponente $n$ è un'immagine omomorfa di $B(r, \ n)$, per cui possiamo riformulare il nostro problema come segue:

Problema di Burnside II. Per quali coppie $(r, \, n)$ il gruppo di Burnside $B(r, \, n)$ è finito?

La risposta generale a questo problema non è nota. Nel suo lavoro originale, Burnside notò che $B(1,\, n)$ è il gruppo ciclico di ordine $n$, mentre $B(r, \, 2)$ è il prodotto di $r$ copie di $\mathbb{Z}_2$, quindi in entrambi i casi si ottengono gruppi finiti. Più avanti, venne dimostrato che $B(r, \, 3)$, $B(r, \, 4)$ e $B(r, \, 6)$ sono gruppi finiti per ogni valore di $r$. Ad esempio, $B(r, \,3)$  è isomorfo al gruppo di Heisenberg sul campo con tre elementi, in particolare ha ordine $27$.

Si noti che al momento (2018) non si sa se $B(2, \, 5)$ sia un gruppo finito.

I primi controesempi al Problema di Burnside I vennero forniti da Novikov e Adian nel 1968: essi mostrarono che, per $n$ dispari e maggiore di $4381$, esistono gruppi di Burnside infiniti. Il bound sull'esponente venne poi abbassato da Adian a $665$. Per quanto riguarda il caso di esponente pari, che risultò notevolmente più difficile da trattare, i primi controesempi vennero forniti da S. V. Ivanov nel 1992: egli dimostrò che, per ogni $r >1$ e $n> 2^48$ e divisibile per $2^9$, il gruppo $B(r,\, n)$ è infinito.

Una importante variante del Problema di Burnside è il cosiddetto

Problema di Burnside ristretto. Sia $G$ un gruppo finito con $r$ generatori ed esponente $n$ (ad esempio, un gruppo finito della forma $B(r, \, n)$). È vero che l'ordine di $G$ può essere limitato da una costante che dipende solo da $r, \, n$?

In questo caso la risposta è affermativa, come dimostrato da E. Zelmanov nel 1991. Per questo suo importante risultato, a Zelmanov venne assegnata la medaglia Fields nel 1994.


Riferimenti:

[1] https://en.wikipedia.org/wiki/Burnside_problem

[2] http://www-history.mcs.st-and.ac.uk/H…/Burnside_problem.html

[3] http://mathworld.wolfram.com/BurnsideProblem.html

Il Teorema della Base di Hilbert

The theory of invariants came into existence about the middle of the nineteenth century somewhat like Minerva: a grown-up virgin, mailed in the shining armor of algebra, she sprang forth from Cayley's Jovian head.
(H. Weyl)

Uno dei campi di ricerca matematica più attivi alla fine dell'800 era la cosiddetta Teoria degli Invarianti, creata da A. Cayley con il suo seminale lavoro "On the Theory of Linear Transformations" (1845).

In termini moderni, il problema può essere enunciato come segue. Si consideri uno spazio vettoriale $V$ di dimensione finita $n$ su un campo $\mathbb{K}$, e sia $S^r(V)$ la parte in grado $r$ della sua algebra simmetrica. Considerata l'azione naturale del gruppo $\mathsf{SL}(V)$, si vogliono determinare gli elementi di $S^r(V)$ che sono invarianti per tale azione.

Cayley si limitava al caso $V=\mathbb{C}[x_1,\ldots ,x_n]$, per cui $S^r(V)$ era dato dai polinomi omogenei di grado $r$ a coefficienti complessi in $n$ indeterminate, e considerava la sottoalgebra dei polinomi che erano invarianti per l'azione naturale di $\mathsf{SL}_n(\mathbb{C})$. Nella sua terminologia, egli cercava "gli invarianti delle forme $n$-arie di grado $r$". Il primo caso da trattare era ovviamente quello delle forme binarie, ossia dei polinomi omogenei di grado $r$ in $2$ variabili.

Il "re della teoria degli invarianti" era da tutti considerato P. Gordan, che nel 1868 aveva dimostrato, per mezzo di un complesso argomento computazionale, che l'algebra degli invarianti per le forme binarie (di ogni grado) è finitamente generata. I tentativi di Gordan di adattare la sua dimostrazione alle forme con più di due variabili, però, fallirono a causa della enorme complessità dei calcoli da effettuare.

La svolta arrivò 20 anni dopo, nel 1890, quando il giovane D. Hilbert stupì la comunità matematica con l'articolo [Hilb90], nel quale dimostrava il celebre

Teorema di Finitezza di Hilbert. L'algebra degli invarianti delle forme $n$-arie di grado $r$ è finitamente generata per ogni valore di $n, \, r$. 

La dimostrazione di Hilbert giunse come un fulmine a ciel sereno, non solo per la potenza del risultato ma soprattutto per la tecnica utilizzata. Fino ad allora, infatti, tutti gli sforzi per provare la finita generazione degli invarianti erano rivolti alla determinazione di una base esplicita caso per caso. Hilbert, invece, "tagliò il nodo gordiano" dando una dimostrazione esistenziale e non costruttiva, che risolveva tutti gli infiniti casi in un colpo solo.

Il suo argomento si basava su un risultato molto generale e di indipendente interesse, e la cui dimostrazione originale (per assurdo) è sostanzialmente la stessa riportata nei moderni testi di Algebra. Si tratta del celebre

Teorema della Base di Hilbert. Se $\mathbb{K}$ è un campo, ogni ideale di $\mathbb{K}[x_1, \ldots , x_n]$ è finitamente generato.

L'approccio di Hilbert al problema originale fu di applicare il suo Teorema di Finitezza all'ideale $J$ di $\mathbb{C}[x_1, \ldots, x_n]$ generato dai polinomi invarianti di grado positivo, deducendo che deve esistere un insieme finito di invarianti che genera $J$. Dopodiché, utilizzando l'operatore che oggi è chiamato "proiettore di Reynolds", concludeva che questo insieme finito di generatori di $J$ (come ideale) genera di fatto l'intero sottoanello degli invarianti polinomiali.

All'inizio non tutti compresero la portata rivoluzionaria delle argomentazioni di Hilbert. Secondo quanto narrato in [R70],  sembra che lo stesso Gordan si trovò a disagio nei loro confronti, giungendo ad affermare

Das ist nicht Mathematik. Das ist Theologie
(Questa non è matematica. Questa è teologia).

Più tardi, tuttavia, cambiò idea, anche perché nel frattempo Hilbert aveva fornito [Hilb93] un approccio costruttivo al suo Teorema della Base. Gordan giunse anche a semplificare uno dei passaggi nella dimostrazione hilbertiana (infatti, secondo alcuni, il suo paragone  con la teologia non era tanto critico, quanto sottilmente ironico).

Chi capì subito la potenza dei nuovi metodi fu invece F. Klein, secondo il quale il lavoro di Hilbert sugli invarianti era l'articolo più importante mai pubblicato fino ad allora su Mathematische Annalen. Da quel momento, Klein si adoperò in modo che Hilbert ottenesse una cattedra a Gottinga, cosa che avvenne nel 1895.

Dopo questo grande successo, Hilbert cambiò settore di ricerca, dedicandosi alla Teoria dei Numeri. A suo parere, infatti, la teoria degli invarianti era ormai morta. Effettivamente, l'argomento smise di essere soggetto di ricerca per quasi un secolo, e per trovare qualcuno che lo riportasse in vita bisognerà attendere gli anni '60 del '900 con D. Mumford e la sua Geometric Invariant Theory. Ma questa è un'altra storia.


Riferimenti:

[Hilb90] D. Hilbert: Ueber die Theorie der algebraischen Formen, Math. Ann. 36 (1890), 473–534.
[Hilb93] D. Hilbert: Ueber die vollen Invariantensysteme, Math. Ann. 42 (1893) pp. 313–373.
[R70] C. Reid: Hilbert, Springer (1970).

Sfere esotiche

In Matematica, il termine "esotico" viene spesso utilizzato per indicare una l'esistenza di una struttura la cui esistenza è inaspettata, e differente da una ben nota struttura "standard" dello stesso tipo.

Un esempio tipico è quello delle cosiddette sfere esotiche, ovvero varietà differenziabili che sono omeomorfe ma non diffeomeomorfe alla $n$-sfera $S^n$.

I primi esempi vennero costruiti da J. Milnor nel 1957: egli dimostrò che esistono almeno $7$ strutture differenziabli sulla $7$-sfera. La scoperta fu assolutamente sorprendente, come spiega lo stesso Milnor:

"When I came upon such an example in the mid-50s, I was very puzzled and didn't know what to make of it. At first, I thought I'd found a counterexample to the generalized Poincaré conjecture in dimension seven. But careful study showed that the manifold really was homeomorphic to $S^7$. Thus, there exists a differentiable structure on $S^7$ not diffeomorphic to the standard one."

J. Milnor

Gli esempi di Milnor vennero costruiti come $S^3$-fibrazioni su $S^4$. Inoltre, egli fu in grado di dimostrare che le classi di diffeomorfismo di $n$-sfere esotiche con l'operazione di somma connessa formano (gli elementi non banali di) un monoide abeliano finito, indicato con $\Theta_n$, e che tale monoide è un gruppo se $n \neq 4$.

Successivamente, ancora Milnor, insieme a M. Kervaire, dimostrò che $\Theta_7$ è il gruppo ciclico di ordine $28$, in altre parole che esistono $27$ classi di diffeomorfismo di $7$-sfere esotiche (1963). 

Una costruzione esplicita di tali classi venne fornita da E. Brieskorn nel modo seguente (1966). Si consideri l'ipersuperficie affine  $X \subset \mathbb{C}^5$ definita da $$x^2+y^2+z^2+v^2+w^{6k-1}=0.$$ Allora, per $k=1, \, 2, \ldots, 28$, l'intersezione di $X$ con una sfera di raggio sufficientemente piccolo centrata nell'origine fornisce tutte le $28$ strutture differenziabili su $S^7$. Questo fu il primo esempio di quelle che oggi sono note come varietà di Brieskorn.

Un problema naturale è come classificare le sfere esotiche in ogni dimensione, ossia come calcolare l'ordine del gruppo $\Theta_n$. Per $n \neq 4$, esso coincide con l'ordine del gruppo delle classi di cobordismo di (classi di omotopia di) $n$-sfere, e tale ordine fino a $n=63$ è tabulato nella successione OEIS A001676.

Per $n \leq  6$ e $n=12$ non esistono sfere esotiche (ossia l'unica strutture differenziabile su $S^n$ è quella standard, in altre parole $\Theta_n$ è il gruppo banale) mentre in altri casi vi sono milioni di sfere esotiche: ad esempio, l'ordine di $\Theta_{63}$ è $$142211872163171481167115958878208.$$ Non è al momento possibile dare una descrizione completa della struttura di $\Theta_n$ per ogni $n$, dato che non possediamo la conoscenza completa di tutti i gruppi di omotopia di $S^n$.

L'esistenza di strutture esotiche su $S^4$ non è attualmente nota. Si sa che $\Theta_4$ è un monoide abeliano finito o al più numerabile, e in molti sospettano che sia infinito, ma il problema è al momento completamente aperto.

Il Terzo problema di Hilbert (equiscomponibilità dei poliedri)

È noto sin dai tempi dei geometri greci che due poligoni piani di eguale area sono anche equiscomponibili, ossia è possibile decomporre uno di essi in un numero finito di poligoni che, ricomposti, formano l'altro. La dimostrazione è un po' macchinosa ma elementare, e si basa essenzialmente su tre fatti:

$(1)$ ogni poligono si decompone in triangoli;
$(2)$ un triangolo è equiscomponibile con un rettangolo avente stessa base e metà altezza;
$(3)$ l'equiscomponibilità è una relazione d'equivalenza.

Durante la sua famosa conferenza al Congresso di Parigi (1900), D. Hilbert osservò che tutte le dimostrazioni note del fatto che il volume di una piramide è $1/3$ del volume di un parallelepipedo con stessa base e stessa altezza si basano sul principio di Cavalieri o su qualche metodo equivalente (esaustione, calcolo integrale). Egli pose pertanto la seguente domanda, che figurava al terzo posto nella sua famosa lista di $23$ problemi irrisolti e divenne nota come

Terzo Problema di Hilbert. Dati un cubo e un tetraedro aventi lo stesso volume, è possibile decomporre uno di essi in un numero finito di poliedri che, ricomposti, formano l'altro?

Dunque Hilbert chiedeva, sostanzialmente, se poliedri equivalenti fossero anche equiscomponibili, cioè se il risultato noto per i poligoni potesse essere esteso in dimensione $3$.

La risposta negativa arrivò quasi immediatamente (prima ancora che gli atti del congresso di Parigi fossero stampati) ad opera di uno studente di di dottorato di Hilbert, destinato a diventare uno dei più importanti topologi del '900: M. Dehn.

La dimostrazione di Dehn era basata su un argomento molto ingegnoso, che può essere riassunto come segue. Se un poliedro viene tagliato in un numero finito di parti e ricomposto, il volume è chiaramente una quantità che si conserva, ossia un "invariante". Dehn osservò che è possibile definire un'altra quantità che si conserva, una particolare combinazione di lunghezze di spigoli e valori di angoli diedri (misurati in radianti) che oggi si chiama in suo onore invariante di Dehn.

È facile vedere che ogni cubo ha invariante di Dehn pari a zero, mentre l'invariante di Dehn di un tetraedro regolare è non nullo. Pertanto, un cubo e un tetraedro di egual volume non possono mai essere equiscomponibili.

La dimostrazione originale di Dehn, pubblicata in [Dehn1901], venne poco dopo semplificata da Kagan (1903). La risposta definitiva al terzo problema di Hilbert arrivò nel 1965, quando J. P. Sydler dimostrò in [Syd65] che due poliedri in $\mathbb{R}^3$ sono equiscomponibili se e solo se hanno lo stesso volume e lo stesso invariante di Dehn.


Nota biografica. M. Dehn (1878-1952) ricevette il suo dottorato a Gottinga nel 1900, sotto la supervisione di D. Hilbert. Fra i suoi numerosi contributi in topologia, oltre alla risoluzione del Terzo Problema di Hilbert, possiamo annoverare la classificazione topologica delle superfici, la soluzione del problema della parola per i loro gruppi fondamentali e la costruzione del sistema di generatori per il loro Mapping Class Group oggi noto come Dehn twists. Egli introdusse quella che oggi è chiamata la Dehn surgery per produrre nuovi esempi di homology spheres oltre a quello di Poincaré, e fu il primo a dimostrare che il nodo a trifoglio destro non è equivalente a quello sinistro.

Nel 1935, dopo l'avvento al potere dei nazisti, Dehn dovette abbandonare il suo posto di professore a Francoforte e fuggire, prima in Norvegia, poi in Svezia e infine negli Stati Uniti, dove concluse la sua carriera come professore al Black Mountain College (North Carolina).

M. Dehn (fonte: Wikipedia)

Riferimenti:

[Dehn1901] M. Dehn: Ueber den Rauminhalt, Mathematische Annalen 55 (3)(1901), 465–478. doi:10.1007/BF01448001
[Syd65] J-P. Sydler: Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimension, Comment. Math. Helv. 40 (1965), 43–80. doi:10.5169/seals-30629

Il Problema della Parola

Come è ben noto, ogni gruppo $G$ è quoziente di un gruppo libero $F = F(S)$, pertanto è possibile darne una descrizione in termini di generatori e relazioni, in simboli $$G =\langle S \;| \; R \rangle.$$ Gli elementi di $G$ sono parole nei generatori $S$, soggette alle relazioni imposte dall'insieme $R$. Questa è detta una "presentazione" di $G$, e il gruppo si dice "finitamente presentato" se esiste almeno una presentazione tale che $S$ e $R$ hanno entrambi cardinalità finita.

Chiaramente, ogni gruppo finito è finitamente presentato. Ad esempio, il gruppo ciclico di ordine $n$ e il gruppo diedrale di ordine $2n$ hanno rispettive presentazioni $$C_n = \langle x \;| \; x^n=1 \rangle, \quad D_{2n} = \langle x, \, y \;| \; x^n=y^2=(xy)^2=1 \rangle.$$

Lo studio dei gruppi tramite le loro presentazioni costituisce quella che si chiama teoria combinatoria dei gruppi, e uno dei problemi più importanti in tale area è il famoso

Problema della parola. Dato un gruppo finitamente presentato, esiste un algoritmo che permetta di stabilire se due parole rappresentino lo stesso elemento (o, equivalentemente, se una parola rappresenta l'elemento neutro)?

Se gli elementi di $G$ ammettono una unica "forma normale", allora il problema della parola ha risposta affermativa, dato che per stabilire se due parole sono uguali basta confrontarne le rispettive forme normali. Ad esempio, ogni parola nel gruppo diedrale può essere ricondotta alla forma $x^ky^m$, con $k \in \{0, \ldots, n-1\}$ e $m \in \{0, \, 1\}$, e due parole $x^ky^m$,  $x^hy^n$ sono uguali se e solo se $k=h$ e $m=n$.

Il primo a rendersi conto che il problema della parola è importante di per sé, indipendentemente dal particolare gruppo a cui viene applicato, fu M. Dehn (già famoso per avere risolto in senso negativo il terzo problema di Hilbert sull'equiscomponibilità dei poliedri di egual volume) che, nel 1912, fornì anche un algoritmo (basato su tecniche di geometria iperbolica) per risolvere il problema della parola nel caso del gruppo fondamentale di una superficie chiusa, compatta e orientabile di genere almeno $2$.

Quasi quarant'anni dopo, nel 1955, P. Novikov dimostrò che, in generale, il problema della parola è indecidibile anche nel caso di gruppi finitamente presentati [5]; tre anni dopo, un'altra dimostrazione dello stesso fatto venne fornita da W.W. Boone [2]. Si trattava di un risultato sorprendente, in quanto esso forniva il primo esempio di indecidibilità che appariva non in Logica o in Informatica, ma in una branca centrale della matematica come l'Algebra. Successivamente, vari altri autori hanno esplorato i profondi legami che intercorrono fra la teoria combinatoria dei gruppi e quella della decidibilità algoritmica.

Un esempio esplicito di gruppo finitamente presentato avente problema della parola indecidibile si può trovare nella voce [1] linkata in fondo: esso ha $10$ generatori e $27$ relazioni (ma esistono anche esempi con sole $14$ o $12$ relazioni).

Si noti che il risultato di indecidibilità di Novikov non esclude che il problema della parola sia decidibile per particolari classi di gruppi finitamente presentati. Infatti,  si conoscono vari esempi per cui ciò accade: i gruppi finiti, i gruppi iperbolici, i gruppi di trecce, i gruppi euclidei, i gruppi liberi, i gruppi liberi abeliani, i gruppi con una sola relazione (questo è un risultato di Magnus che estende quello di Dehn) e i gruppi residualmente finiti.


Riferimenti.

[1] https://en.wikipedia.org/wiki/Word_problem_for_groups
[2] W. W. Boone (1958): The word problem, Proceedings of the National Academy of Sciences 44 (1958), 1061–1065
[3] W. W. Boone, F. B. Cannonito, and R. C. Lyndon: Word Problems: Decision Problem in Group Theory, North-Holland, 1973.
[4] R. C. Lyndon, P. E. Schupp: Combinatorial Group Theory, Springer, 2001.
[5] P. S. Novikov: On the algorithmic unsolvability of the word problem in group theory, Proceedings of the Steklov Institute of Mathematics (in Russian), 1955.

Il Teorema di Perron-Frobenius

L'oggetto di questo post  è  un fondamentale risultato di Algebra Lineare, dimostrato da O. Perron nel 1907 e successivamente generalizzato da G. Frobenius nel 1912.

Esso ha svariate applicazioni alla Probabilità (ergodicità delle catene di Markov), alla Teoria dei Sistemi dinamici, alla Teoria dei Giochi, alla Teoria dei Grafi, ai Modelli di Popolazione, all'Economia e (in quella che è forse la sua più spettacolare applicazione) negli algoritmi di Page-Rank per i motori di ricerca Web come Google.

Teorema (Perron-Frobenius). Sia $A$ una matrice reale $n \times n$ a coefficienti tutti positivi. Allora esiste un autovalore reale positivo $r$ di $A$, tale che ogni altro autovalore di $A$ ha modulo strettamente minore di $r$. Inoltre, $r$ è un autovalore semplice per $A$, dunque i corrispondenti autospazi (destro e sinistro) sono $1$-dimensionali. Inoltre, i generatori di tali autospazi possono essere scelti a componenti tutte positive.

L'autovalore $r$ è noto come "radice di Perron-Frobenius", e per definizione esso coincide con il raggio spettrale di $A$. Il comportamento asintotico delle potenze $A^k$ per $k$ che tende all'infinito è pertanto controllato da $r$. Inoltre, se i coefficienti di $A$ sono tutti numeri algebrici allora lo stesso vale per $r$, dato che l'insieme dei numeri algebrici è un sottocampo algebricamente chiuso di $\mathbb{C}$. Pertanto, nel caso in cui $r$ sia in modulo maggiore di $1$, esso è un numero di Perron (cioè, un numero algebrico reale e maggiore di $1$, tale che tutte le sue radici coniugate hanno modulo strettamente minore di $1$).

Esistono in letteratura varie dimostrazioni del teorema di Perron-Frobenius. Ci soffermeremo qui su un semplice e sorprendente argomento topologico, basato sul teorema del punto fisso di Brouwer, che permette di dedurre l'esistenza di un autovalore reale positivo di $A$.

Sia $S^{n-1}$ la sfera $n$-dimensionale in $\mathbb{R}^n$, e consideriamo il sottoinsieme $D$ di $S^{n-1}$ dato dai punti a coordinate tutte non negative. È immediato verificare che $D$ è omeomorfo al disco chiuso $D^{n-1}$: ad esempio, se $n=3$ allora $D$ è il triangolo sferico dato dall'intersezione di $S^2$ con il primo ottante di $\mathbb{R}^3$.

Prendiamo ora l'applicazione lineare $\mathbb{R}^n \to \mathbb{R}^n$ data da $\mathbb{x} \mapsto A \mathbb{x}$. Se $\mathbb{x}$ è un elemento di $D$, allora le sue componenti sono tutte non-negative, e almeno una è positiva; pertanto lo stesso vale per le componenti di $A \mathbb{x}$, dato che stiamo supponendo che $A$ sia una matrice ad elementi positivi.

Ciò dimostra che la funzione continua $T(\mathbb{x}):=\frac{A\mathbb{x}}{|A \mathbb{x}|}$ manda $D$ in sè, dunque per il teorema del punto fisso di Brouwer esiste $\mathbb{v} \in D$ tale che $T(\mathbb{v})=\mathbb{v}$. In altre parole $$A \mathbb{v} = |A \mathbb{v}| \cdot \mathbb{v},$$ cioè $\mathbb{v}$ è autovettore per $A$ avente autovalore positivo $|A \mathbb{v}|$.

Bounded gaps between primes

Pure maths is a young man's game.
(G. H. Hardy)

La ben nota Congettura dei Primi Gemelli asserisce che esistono infinite coppie di numeri primi la cui differenza è $2$, come $$(3, \, 5), \; (5, \, 7), \; (11, \, 13), \; (17, \,19), \; (29, \, 31), \; (41, \, 43),  \, (59, \, 61), \ldots$$ Fino a poco tempo fa, la congettura era completamente aperta e nessuno aveva una precisa idea su come affrontarla: ad esempio, non era neanche noto se esistessero infinite coppie di numeri primi la cui differenza fosse limitata superiormente da una costante fissata.

Per tale motivo, la comunità matematica fu fortemente impressionata dai risultati del matematico americano di origine cinese Yitan Zhang, che nel 2013 pubblicò sulla prestigiosa rivista Annals of Matematics l'articolo l'articolo [Zhang14], nel quale dimostrava che esistono infinite coppie di numeri primi che distano fra loro meno di 70 milioni. Per quanto evidentemente molto più debole della congettura dei primi gemelli, il teorema di Zhang rappresentava evidentemente un progresso spettacolare. La tecnica dimostrativa era basata su precedenti risultati di Goldston, Pintz and Yıldırım, e su un raffinamento di un crivello del tipo Bombieri-Vinogradov.

La storia di Zhang è per molti versi peculiare. Innanzitutto, nel 2013 Zhang aveva 58 anni, un'età inusualmente alta per contributi rivoluzionari in Matematica, e l'articolo pubblicato sugli Annals era il suo primo lavoro dal 2001. Inoltre, fino ad allora la sua carriera accademica era stata molto difficoltosa.

Durante la Rivoluzione Culturale in Cina, lui e sua madre vennero spediti per 10 anni a lavorare nei campi. Trasferitosi negli Stati Uniti e ottenuto il suo dottorato a Purdue nel 1991, sotto la direzione di Tzuong-Tsieng Moh, i rapporti con il suo advisor si deteriorarono fino al punto che quest'ultimo rifiutò di scrivergli le "recommendation letters", essenziali nel sistema universitario americano per ottenere una tenure track.  Solo nel 1999, dopo aver svolto anche lavori umili come cameriere in un ristorante e impiegato di motel, riuscì finalmente ad ottenere un impiego come lecturer all'Università del New Hampshire.

I risultati rivoluzionari di Zhang gli garantirono subito fama internazionale e una moltitudine di premi e riconoscimenti. Oltre ad una cattedra come full professor all'università di California Santa Barbara (2015), gli vennero assegnati l'Ostrowski Prize (2013), il Cole Prize (2014), il Rolf Schock Prize (2014), una MacArthur Fellowship (2014) e venne eletto fellow dell'Academia Sinica (2014).

La storia ha una conclusione ugualmente interessante. Il valore di 70 milioni ottenuto da Zhang venne quasi immediatamente abbassato a 600 da J. Maynard, che combinò le idee di Zhang con tecniche dimostrative differenti. Successivamente, venne avviato un progetto di "matematica collettiva", proposto da T. Gowers e noto come Polymath. Il progetto Polymath 8, nel quale erano coinvolti sia Maynard che T. Tao, riuscì ad abbassare il gap da $600$ a $246$, vedi [Polymath 2014a], [Polymath 2014b].

Le tecniche oggi disponibili (2017), sotto l'ipotesi che valga la cosiddetta Congettura di Elliott–Halberstam, permettono di dimostrare che esistono infinite coppie di numeri primi che distano fra loro meno di $6$. Dunque, nonostante gli impressionanti progressi degli ultimi quattro anni, la dimostrazione della Congettura dei Primi Gemelli sembra al momento ancora fuori portata.

Yitan Zhang (fonte Wikipedia)

Riferimenti:

[Zhang14] Y. Zhang: Bounded gaps between primes, Annals of Mathematics 179 (3): (2014), 1121–1174.
[Polymath 2014a] New equidistribution estimates of Zhang type, Algebra & Number Theory 8, 2067–2199 (2014)
[Polymath2014b] Variants of the Selberg sieve, and bounded intervals containing many primes, Research in the Mathematical Sciences, Springer (2014)

Inter-universal Teichmüller theory (ovvero, un mistero matematico)

The product of mathematics is clarity and understanding.
(W. Thurston)

Nel 2012, il matematico giapponese S. Mochizuki, dell'Università di Kyoto, pubblicò sulla sua pagina web una serie di quattro preprint nei quali introduceva una serie di nuove costruzioni in geometria aritmetica, da lui chiamate Inter-Universal Teichmüller theory (IUT), o Arithmetic Deformation Theory.

Secondo l'autore, la teoria è una generalizzazione della Geometria Anabeliana, che a sua volta è una delle tre grandi estensioni della Class Field Theory (le altre due sono la Teoria di Langlands e la Higher Class Field Theory). La IUT non usa la teoria analitica dei numeri, ma la sostituisce con la teoria delle funzioni Theta étale (anch'essa sviluppata da Mochizuchi), e lavora con l'intero gruppo di Galois assoluto e i suoi completamenti profiniti.

L'attenzione rivolta dalla comunità matematica alla IUT fu subito elevatissima, in quanto Mochizuchi forniva nei suoi lavori, come applicazione di essa, una dimostrazione della congettura abc, uno dei più importanti problemi aperti in Geometria Diofantea, che a sua volta implica una dimostrazione dell'Ultimo Teorema di Fermat indipendente da quella di Wiles.
Sembrava essere di fronte ad un'altra situazione in cui un singolo individuo costruisce una nuova e potente teoria in grado di risolvere un famoso problema aperto, in modo simile a quanto fatto da Wiles con la sua dimostrazione di FLT, da Perelman con quella della Congettura di Poincaré e da Y. Zhang per i suoi lavori sui primi a distanza limitata.

Tuttavia, ci si rese subito conto che il paragone non reggeva. I lavori di Wiles, Perelman, Zhang, per quanto tecnicamente molto complicati, erano comunque basati su Matematica ben nota agli esperti, e vennero subito studiati in dettaglio e alla fine accettati come corretti. In relativamente poco tempo, altri matematici li generalizzarono e ne semplificarono alcune parti, scrivendo dei survey e rendendoli, almeno nelle loro linee generali, accessibili anche ai matematici non specialisti. Inoltre, sia Wiles che Zhang che Perelman (quest'ultimo, almeno all'inizio) tennero numerose conferenze e seminari in giro per il mondo per spiegare il significato dei loro risultati, disseminare le loro tecniche e soprattutto delucidare la strategia di fondo alla base della loro dimostrazione.

Nel caso di Mochizuki, la situazione appare ben diversa. Sin dall'inizio, leggendo i suoi preprint, gli esperti di teoria dei numeri si trovarono di fronte ad una giungla impenetrabile di nuove definizioni e concetti ("Hodge Theaters", "Frobenoids", "theta-links"), differente da tutto quanto avessero visto fino ad allora. Alcuni parlarono a tal proposito di "matematica aliena". La strategia di fondo della dimostrazione (complessivamente, 500 pagine densissime) rimaneva elusiva, e il rifiuto di Mochizuki a partecipare a qualsiasi conferenza fuori dal Giappone rendeva le cose ancora più difficili.

Il matematico russo I. Fesenko (Università di Nottingham) organizzò due grandi workshop sulla teoria, uno a Oxford (dicembre 2015) e uno a Kyoto (luglio 2016), ai quali parteciparono molti dei maggiori esperti in geometria diofantea. Entrambi gli incontri furono sostanzialmente un flop: a Oxford, Mochizuki non si presentò, ma si limitò a rispondere alle domande via Skype (si veda il resoconto di B. Conrad pubblicato in questo blog post). A Kyoto invece era presente, ma non riuscì tuttavia a spiegare in modo convincente l'idea alla base della sua nuova teoria.

Fesenko sostiene che oggi "almeno quattro matematici" hanno studiato a fondo la IUT, trovandola corretta; tuttavia, non è ben chiaro chi siano gli altri due (a parte Mochizuki e Fesenko stesso). Inoltre, è di pochi giorni fa la notizia che la "dimostrazione" di Moschizuki è stata accettata per la pubblicazione su Publications of the RIMS, di cui lo stesso Mochizuki è Editor in Chief. Questo non è necessariamente un segnale negativo, ma sicuramente è considerata una procedura inusuale e poco elegante.

A conti fatti, sembra che sia veramente troppo presto per dire che la congettura $abc$ è stata risolta.

S. Moshizuki (fonte: NewScientist)