Le curve ellittiche non rappresentano delle ellissi, ma si chiamano così perché sono descritte da equazioni cubiche, simili a quelle usate un tempo per il calcolo dei perimetri delle ellissi e delle lunghezze delle orbite dei pianeti. Esse sono curve algebriche di grado 3 nel piano proiettivo (dove non esistono rette parallele) complesso (dove tutte le equazioni corrispondenti alle curve “sono accettabili” e le curve possiedono sempre dei punti). Infatti il piano proiettivo complesso è ottenuto completando il piano usuale (reale) con punti “all’infinito” e punti a coordinate complesse; esso contiene il piano usuale. Per le curve ellittiche l'insieme dei punti (x; y) soddisfa l'equazione f (x; y) = 0, più un punto O, detto “punto all'infinito" o punto zero.
Ogni curva ellittica può essere scritta come la curva algebrica piana definita da un’equazione la cui forma semplificata (forma normale di Weiestrass) è:
y2 = x3 + ax + b
La quantità Δ= 4a3 + 27b è la discriminante della equazione ellittica. Se Δ≠0 la curva ellittica ha 3 radici distinte (reali o complesse). Se Δ=0 la curva ellittica è singolare, cioè presenta punti di singolarità. Ebbene, la curva deve essere nonsingolare, cioè non deve avere cuspidi o nodi (in ogni punto deve essere definita in modo univoco la sua tangente). Il numero delle radici determina la forma della curva, che comunque è sempre simmetrica rispetto all’asse x.
Vediamo qualche esempio:
Per y2 = x3 – x; (Δ= –4), con 3 radici, si avrà:
Per y2 = x3 + x + 1; (Δ= +31), con una radice, si avrà:
Per y2 = x3; (Δ=0) si ottiene una “parabola cuspidata di Newton”, con una singolarità (cuspide), in cui non esistono tangenti: non è una curva ellittica nonsingolare.
Nel piano (proiettivo) ogni retta interseca la cubica in tre punti, contati con “molteplicità” (la secante ha in comune con la curva tre punti distinti; la tangente ha due punti per la tangenza più un terzo punto; la tangente in un punto di flesso ha tre punti coincidenti).
L’interesse per le curve ellittiche nacque nel 1901, quando Henri Poincarè dimostrò che ad ogni curva ellittica è associato un particolare gruppo. Gli elementi del gruppo sono i punti della curva che hanno per coordinate dei numeri razionali. Indichiamo con E(Q) l’insieme della curva i cui elementi (x,y)∈ Q, ai quali dobbiamo aggiungere il punto all’infinito che giace su tutte le rette verticali. Affinché E(Q) sia un gruppo è necessario definire un operazione somma.
In effetti è possibile addizionare i punti della curva ellittica come si fa per i numeri interi. Scegliamo due punti P e Q sulla curva e tracciamo la retta che passa per entrambi. Essa interseca la curva in un terzo punto R. Tracciamo ora la retta che passa per R e il punto O posto all’infinito. Questa seconda retta individua il punto R’, che è la somma di P+Q. E’ chiaro che P+Q=Q+P (vale la proprietà commutativa dell’addizione).
Se P≡Q, tracciamo la tangente nel punto, che incontra la curva nel punto R. Come fatto in precedenza, tracciamo poi la retta verticale che passa per R e il punto O posto all’infinito. Questa seconda retta individua il punto R’, che è la somma di P+P, perciò R’=2P.
Se si somma P a Q=(–P), la retta che li congiunge è perpendicolare all’asse, quindi “manda” al punto O, che è la somma. Si ottiene R’=P+(–P)=O.
Avendo definito l’addizione, possiamo dire che (E(Q),+) è un gruppo abeliano.
Le curve ellittiche sono molto importanti in crittografia e soprattutto nella teoria dei numeri, dove costituiscono uno dei campi privilegiati della ricerca attuale. Esse furono utilizzate da Andrew Wiles per la dimostrazione del cosiddetto “ultimo teorema di Fermat”, di cui è meglio parlare un’altra volta, perché non può essere contenuta nel margine troppo stretto di questa pagina.
E' una lezione eccezionale che riguarda un argomento complesso perchè è stata utilizzato una simbologia e un linguaggio comprensibile a molti. Mi ha fornito la certezza che è possibile separare le cubiche in razionali ed irrazionali con metodi di calcoli facili, senza ricorre a quelli suggeriti da Birch e Swinnerton-Dier.
RispondiElimina