# Congettura abc

La congettura abc (anche nota come congettura di Oesterle-Masser) è stata proposta per la prima volta da Joseph Oesterlé e David Masser nel 1985. La congettura è definita in funzione di tre numeri interi positivi $a,b,c$ (da cui deriva il nome), privi di fattori comuni diversi da $1$, e che soddisfino la relazione $a+b=c$. Se $d$ è definito come il prodotto dei fattori primi distinti di $abc$, la congettura, essenzialmente, afferma che raramente $d$ è molto più piccolo di $c$.
Sebbene non esista alcuna strategia elementare per risolvere il problema, la congettura è ritenuta molto importante per il numero di conseguenze interessanti che ne derivano. Dorian M. Goldfeld ha definito la congettura abc come "il più importante problema irrisolto dell'analisi diofantea".

## Formulazioni

Per un numero intero positivo $n$, il radicale di $n$, definito $\operatorname {rad} (n)$, è il prodotto dei distinti (non ripetuti, ovvero senza considerare l'esponente) fattori primi di $n$. Per esempio:
* $\operatorname {rad} (16)=\operatorname {rad} (2^{4})=2$,
* $\operatorname {rad} (17)=17$,
* $\operatorname {rad} (18)=\operatorname {rad} (2\cdot 3^{2})=2\cdot 3=6$.
Se $a$, $b$ e $c$ sono interi positivi coprimi tali che
    $a+b=c$
si scopre che "di solito"
    $c<\operatorname {rad} (abc)$

### 1

La congettura abc sostiene che, tranne poche eccezioni, per ogni infinitesimo ε > 0 esiste solo un numero finito di triplette $(a,b,c)$ di coprimi interi positivi con $a+b=c$ tali che:
    $c>\operatorname {rad} (abc)^{1+\varepsilon }.$

### 2

Una formulazione equivalente è che per ogni $\varepsilon >0$ esiste una costante $K$ tale che, per tutte le triplette di interi positivi coprimi $(a,b,c)$ che soddisfano $a+b=c$, la seguente disuguaglianza
    $c<K\cdot \operatorname {rad} (abc)^{1+\varepsilon }$
risulta vera.

### 3

Una terza formulazione della congettura implica la qualità $q(a,b,c)$ di una tripletta $(a,b,c)$, definita come:
    $q(a,b,c)={\frac {\log(c)}{\log(\operatorname {rad} (abc))}}.$
Per esempio:
* $q(4,127,131)={\frac {\log(131)}{\log(\operatorname {rad} (4\cdot 127\cdot 131))}}={\frac {\log(131)}{\log(2\cdot 127\cdot 131)}}=0,46820...$
* $q(3,125,128)={\frac {\log(128)}{\log(\operatorname {rad} (3\cdot 125\cdot 128))}}={\frac {\log(128)}{\log(30)}}=1,426565...$
Una tipica tripletta $(a,b,c)$ di interi positivi coprimi con $a+b=c$ avrà $c<\operatorname {rad} (abc)$, per esempio $q(a,b,c)<1$. Le triplette con $q>1$ come nel secondo esempio sono piuttosto speciali, poiché consistono in numeri divisibili per potenze elevate di piccoli numeri primi.
La congettura abc sostiene che, per ogni $\varepsilon >0$, esiste solo un numero finito di triplette $(a,b,c)$ di interi positivi coprimi con $a+b=c$ tale che:
    $q(a,b,c)>1+\varepsilon .$
Mentre è noto che esistono infinite triplette $(a,b,c)$ di interi positivi coprimi con $a+b=c$ tali che $q(a,b,c)>1$, la congettura predice che solo un numero finito di queste hanno $q>1,01$ oppure $q>1,001$ o perfino $q>1,0001$, ecc.

## Conseguenze

La congettura non è stata dimostrata, ma ha un vasto numero di interessanti conseguenze. Queste includono sia risultati già conosciuti, che congetture per le quali essa fornisce una dimostrazione condizionale:
* Il teorema di Thue–Siegel–Roth (dimostrato da Klaus Roth)
* L'ultimo teorema di Fermat per tutti gli esponenti abbastanza grandi (dimostrazione generale di Andrew Wiles)
* La congettura di Mordell (dimostrata da Gerd Faltings)
* La congettura di Erdős-Woods, tranne che per un numero finito di controesempi.
* L'esistenza di un numero infinito di non primi di Wieferich
* La versione debole della congettura di Hall.
* La congettura di Fermat–Catalan, una generalizzazione dell'Ultimo Teorema di Fermat, concernente potenze a loro volta somma di potenze.
* La funzione L di Dirichlet L(s,(−d/.)) formata con il simbolo di Legendre, non ha alcun zero di Siegel (questa conseguenza richiede una versione corrispondente della congettura abc nel campo di numeri, non solo la congettura abc così come formulata sopra per i numeri interi razionali).
* $P(x)$ ha solo una moltitudine finita di potenze perfette di interi $x$ per un polinomio $P$ con almeno tre zeri semplici..
* Una generalizzazione del teorema di Tijdeman.
* È equivalente alla congettura di Granville-Langevin.
* È equivalente alla congettura di Szpiro modificata.
Anche se il primo gruppo di queste conseguenze è ora stato dimostrato, la congettura abc stessa rimane di interesse a causa delle numerose profonde implicazioni che ha nella teoria dei numeri.

## Risultati parziali

Non è noto se $c$ può essere maggiorato da una funzione approssimativamente lineare del radicale di $abc$, come la congettura abc dichiara, o se può essere addirittura limitato da un $\operatorname {rad} (abc)$ polinomiale. Tuttavia, i limiti esponenziali sono noti. In particolare, sono state dimostrate le seguenti limitazioni:
    $c<\exp {(K_{1}\operatorname {rad} (abc)^{15})}$ (C. L. Stewart & R. Tijdeman 1986),
    $c<\exp {(K_{2}\operatorname {rad} (abc)^{{\frac {2}{3}}+\varepsilon })}$ (C. L. Stewart & Kunrui Yu 1991), e
    $c<\exp {(K_{3}\operatorname {rad} (abc)^{{\frac {1}{3}}+\varepsilon })}$ (C. L. Stewart & Kunrui Yu 1996).
In questi, $K_{1}$ è una costante che non dipende da $a$, $b$, o $c$; $K_{2}$ e $K_{3}$ sono costanti che dipendono da $\varepsilon$ (in un modo calcolabile) ma non da $a$, $b$, o $c$. Questi limiti si applicano a qualunque tripletta in cui $c>2$.

## Triplette con radicali piccoli

La condizione che $\varepsilon >0$ è necessaria per la validità della congettura, così come l'esistenza di una moltitudine infinita di triplette $a$, $b$, $c$ con $\operatorname {rad} (abc)<c$.
Per esempio, una tale tripletta può essere questa:
    $a=1$
    $b=2^{6n}-1$
    $c=2^{6n}$
Siccome $a$ e $c$ contribuiscono insieme solo per un fattore di due al radicale, mentre $b$ è divisibile per $9$, allora
    $\operatorname {rad} (abc)<{\frac {2c}{3}}$
per questi esempi. Sostituendo l'esponente $^{6n}$ agli altri esponenti costringendo $b$ ad avere fattori quadratici elevati, il rapporto fra il radicale e $c$ può essere arbitrariamente grande.
Un'altra tripletta con un radicale particolarmente piccolo fu trovata da Eric Reyssat:
    $a=2$
    $b=3^{10}\cdot 109=6436341$
    $c=23^{5}=6436343$
    $\operatorname {rad} (abc)=15042$

## Progetti di calcolo distribuito (grid computing)

Nel 2006, il Dipartimento di Matematica dell'Università di Leida, nei Paesi Bassi, insieme con l'istituto di scienze tedesco Kennislink, ha lanciato il progetto ABC@Home, un sistema grid computing che ambisce a trovare triplette addizionali $a$, $b$, $c$ con $\operatorname {rad} (abc)<c$. Sebbene nessun finito insieme di esempi o controesempi può risolvere la congettura abc, si spera che le caratteristiche delle triplette scoperte da questo progetto possano aiutare a comprendere meglio la congettura e la teoria dei numeri più in generale.
Il suo obiettivo attuale è di ottenere una lista completa di tutte le triplette $(a,b,c)$ con $c$ non più grande di 10$^{18}$.
Ad aprile 2011 il progetto dichiara di avere scoperto 21,1 milioni di triplette abc.

## Forme raffinate e generalizzazioni

Nel 1996 il matematico Alan Baker ha proposto un'importante disuguaglianza, sostenendo che nelle disuguaglianze con cui è stata formulata la congettura abc, il $\operatorname {rad} (abc)$ può essere sostituito da:
    $\epsilon ^{-\omega }\operatorname {rad} (abc),$
dove $\omega$ è il numero totale dei primi distinti che dividono $a$, $b$ e $c$. Una congettura correlata di Andrew Granville sostiene che nella parte destra della disuguaglianza possiamo mettere:
    $O(\operatorname {rad} (abc)\Theta (\operatorname {rad} (abc))),$
dove $\Theta (n)$ è il numero di interi fino a $n$ divisibile solo dai primi che dividono $n$.
Nel 1994, Jerzy Browkin e Juliusz Brzeziński formularono la congettura n, una versione della congettura abc che coinvolge gli interi $~n>2~$.

## Proposta di dimostrazione di Mochizuki

Nell'agosto 2012, Shinichi Mochizuki dell'Università di Kyoto ha affermato di aver risolto la congettura di Szpiro, e quindi anche la congettura abc, in una serie di articoli in cui viene sviluppata la "teoria di Teichmüller inter-universale". Nel 2020 è stato annunciato che la dimostrazione verrà pubblicata sulla rivista Publications of the Research Institute for Mathematical Sciences (RIMS), di cui Mochizuki è editore. Vari matematici, quali Peter Scholze e Jakob Stix, hanno tuttavia dichiarato di non credere alla correttezza della dimostrazione che è vista con forte scetticismo dalla comunità matematica.
La pubblicazione della dimostrazione, suddivisa in 4 articoli di una lunghezza totale pari a quasi 650 pagine e piena di riferimenti ad articoli precedenti dello stesso Mochizuki, è avvenuta nel 2021.