Geometria algebrica

Questa superficie di Togliatti è una superficie algebrica di grado 5. La figura rappresenta una porzione del suo luogo reale.

La geometria algebrica è un campo della matematica, che, come il nome stesso suggerisce, unisce l'algebra astratta (soprattutto l'algebra commutativa) alla geometria. Oggetto principale di studio della geometria algebrica sono le varietà algebriche, oggetti geometrici definiti come soluzioni di equazioni algebriche.

Zeri simultanei di polinomi

In geometria algebrica gli oggetti geometrici studiati sono definiti come zeri di un certo numero di polinomi: si tratta dell'insieme degli zeri in comune o equivalentemente delle soluzioni di una o più equazioni polinomiali. Per esempio, la sfera di dimensione due nello spazio euclideo R³ di dimensione tre è definita come l'insieme di punti (x, y, z) che verificano:

x² + y² + z² -1 = 0.

Un cerchio "storto" in R³ è definito come l'insieme di punti (x, y, z) che verificano entrambe le equazioni:

x² + y² + z² -1 = 0

x + y + z = 0.

Varietà affini

Per definire una varietà affine, si comincia considerando un campo k. Nella geometria algebrica classica, il campo considerato era sempre quello complesso C, ma molti risultati sono ugualmente veri se assumiamo soltanto che k sia algebricamente chiuso. Definiamo lo spazio affine di dimensione n su k come Aⁿ(k)=kⁿ (o più semplicemente Aⁿ, quando k risulta chiaro dal contesto). Il proposito di questa apparentemente superflua notazione è di enfatizzare che ci si "dimentica" la struttura di spazio vettoriale che porta con sé kⁿ. Parlando in modo astratto, Aⁿ è, per il momento, un semplice insieme di punti.

Una funzione f : Aⁿ → A¹ viene detta regolare se può essere scritta come un polinomio, ovvero, se c'è un polinomio p in k[x₁,...,x_n] tale che f(t₁,...,t_n) = p(t₁,...,t_n) per ogni punto (t₁,...,t_n) di Aⁿ.

Le funzioni regolari sullo spazio affine n-dimensionale sono quindi esattamente la stessa cosa dei polinomi su k in n variabili. Denoteremo l'insieme delle funzioni regolari su Aⁿ con k[Aⁿ].

Diciamo che un polinomio si annulla in un punto se valutato in quel punto restituisce zero. Sia S un insieme di polinomi in k[Aⁿ]. Il luogo degli zeri di S è l'insieme V(S) di tutti i punti in Aⁿ sui quali tutti i polinomi di S si annullano. In altre parole,

$V(S)=\{(t_{1},\dots ,t_{n})|\forall p\in S,p(t_{1},\dots ,t_{n})=0\}.$

Un sottoinsieme di Aⁿ che si può scrivere come V(S) per qualche S viene chiamato insieme algebrico. La V sta per varietà algebrica (un tipo specifico di insieme algebrico che definiremo tra poco).

Dato un sottoinsieme U di Aⁿ, è possibile recuperare l'insieme dei polinomi che lo generano? Se U è un qualunque sottoinsieme di Aⁿ, definiamo I(U) come l'insieme di tutti i polinomi il cui luogo degli zeri contiene U. La I sta per ideale: se due polinomi f e g si annullano entrambi su U, allora f+g si annulla su U, e se h è un qualunque polinomio, allora hf si annulla su U, quindi I(U) è sempre un ideale di k[Aⁿ].

Due domande naturali da porsi sono:

• Dato un sottoinsieme U di Aⁿ, quando vale U = V(I(U))?
• Dato un insieme S di polinomi, quando vale S = I(V(S))?

La risposta alla prima domanda è immediata dopo aver introdotto la topologia di Zariski, una topologia su Aⁿ che riflette direttamente la struttura algebrica di k[Aⁿ]. Allora U = V(I(U)) se e solo se U è un insieme Zariski-chiuso (più precisamente, si ha che V(I(U)) è proprio la chiusura di U secondo la topologia di Zariski). La risposta alla seconda domanda viene data dal teorema degli zeri di Hilbert. In una delle sue forme equivalenti, questo teorema afferma che I(V(S)) è il radicale dell'ideale generato da S.

Per varie ragioni potremmo non volere sempre lavorare con l'intero ideale che corrisponde a un insieme algebrico U. Grazie al teorema della base di Hilbert sappiamo che gli ideali in k[Aⁿ] sono sempre finitamente generati, quindi possiamo considerare un insieme finito di polinomi che genera I(U). In particolare U è l'intersezione di un numero finito di insiemi algebrici del tipo V(f), con f polinomio.

Un insieme algebrico viene detto irriducibile se non può essere scritto come unione di due insiemi algebrici più piccoli. Un insieme algebrico irriducibile viene anche detto varietà algebrica. Si può dimostrare che un insieme algebrico è una varietà algebrica se e solo se i polinomi che lo definiscono generano un ideale primo dell'anello dei polinomi.

Anello delle coordinate di una varietà

Proprio come le funzioni continue sono le applicazioni naturali su uno spazio topologico e le funzioni lisce sono le applicazioni naturali su una varietà differenziabile, c'è una classe naturale di applicazioni su un insieme algebrico, chiamate funzioni regolari. Una funzione regolare su un insieme algebrico V contenuto in Aⁿ è definito come la restrizione di una funzione regolare su Aⁿ, nel senso che abbiamo definito sopra.

Può sembrare eccessivamente restrittivo richiedere che una funzione regolare si possa sempre estendere allo spazio ambiente, ma la situazione è molto simile a quella di uno spazio topologico normale, dove il teorema di estensione di Tietze garantisce che una funzione continua su un insieme chiuso si può sempre estendere allo spazio topologico ambiente.

Proprio come le funzioni regolari sugli spazi affini, le funzioni regolari su V formano un anello, che denotiamo con k[V]. Questo anello è chiamato anello delle coordinate di V.

Poiché le funzioni regolari su V derivano da funzioni regolari su Aⁿ, dovrebbe esserci una relazione tra i loro anelli delle coordinate. Specificatamente, per ottenere una funzione in k[V] abbiamo preso una funzione in k[Aⁿ], e abbiamo detto che non la distinguiamo da un'altra funzione in k[Aⁿ] se esse restituiscono gli stessi valori su V. Questo equivale a dire che la loro differenza è zero su V. Da ciò possiamo vedere che k[V] è il quoziente k[Aⁿ]/I(V).

Teoria proiettiva

Invece di lavorare nello spazio affine Aⁿ(k), si lavora più spesso nello spazio proiettivo Pⁿ(k). Il vantaggio di questo approccio è che il numero di intersezioni può essere facilmente calcolato con il teorema di Bézout.

Punto di vista attuale sulla teoria

Nella visione moderna il rapporto tra varietà ed anello delle coordinate è invertito: si parte con un anello commutativo e si definisce la varietà corrispondente usando gli ideali primi. Gli ideali primi ottengono una struttura di spazio topologico, lo spettro dell'anello. Nella formulazione generale questo porta agli schemi di Alexander Grothendieck.

Un'importante classe di varietà sono le varietà abeliane, varietà i cui punti formano un gruppo abeliano. Un esempio di queste sono le curve ellittiche che si usano nella crittografia ellittica e sono servite per la dimostrazione dell'ultimo teorema di Fermat.

Mentre parte della geometria algebrica è interessata agli enunciati generali e astratti sulle varietà, sono stati sviluppati dei metodi per i calcoli su un insieme preciso di polinomi. Il più importante è la tecnica delle basi di Gröbner che sono alla base di tutta l'algebra computazionale.

La geometria algebrica è stata sviluppata largamente dai geometri italiani nella prima parte del XX secolo. Il loro lavoro sulla geometria birazionale era profondo, ma non si poggiava su una base abbastanza rigorosa. L'algebra commutativa fu sviluppata, anch'essa all'inizio del XX secolo da David Hilbert, Emmy Noether e altri avendo in mente delle applicazioni geometriche.

Negli anni 1930 e anni 1940 Oscar Zariski, André Weil e altri capirono la necessità di una geometria algebrica assiomatica su basi rigorose. Per un certo tempo furono usate diverse teorie.

Negli anni 1950 e anni 1960 Jean-Pierre Serre e Alexander Grothendieck rigettarono le fondamenta usando la teoria dei fasci. Dopo all'incirca il 1960 l'idea degli schemi fu raffinata, insieme ad un complesso apparato di tecniche omologiche. Dopo un decennio di rapidi sviluppi il campo si stabilizzò negli anni 1970 e vennero create delle applicazioni, sia alla teoria dei numeri sia a questioni più geometriche come varietà algebriche, singolarità e moduli.

Bibliografia

• Emil Artin (1968): Algebra geometrica, Feltrinelli
• David Cox, John Little, Donald O'Shea (1997): Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 2nd ed., Springer, ISBN 0-387-94680-2
• David Cox, John Little, Donald O'Shea (1997): Using Algebraic Geometry
• David Eisenbud (1995): Commutative Algebra with a view toward Algebraic Geometry, Springer, ISBN 0-387-94269-6
• David Eisenbud, Joe Harris (1998): The Geometry of Schemes, Springer, ISBN 0-387-98637-5
• Alexander Grothendieck (1971): Éléments de géométrie algébrique, vol. 1, 2nd ed., Springer, ISBN 3-540-05113-9
• Joe Harris (1995): Algebraic geometry: a first course, Springer, ISBN 0-387-97716-3
• Robin Hartshorne (1977): Algebraic geometry, Springer, ISBN 0-387-90244-9
• David Mumford (1999): Red book of varieties and schemes, 2nd ed., Springer, ISBN 3-540-63293-X
• Igor Rostislavovič Šafarevič (1995): Basic Algebraic Geometry II: Schemes and Complex Manifolds, 2nd ed., Springer, ISBN 0-387-54812-2

Voci correlate

• Varietà affine
• Scuola italiana di geometria algebrica
• 14-XX sigla della sezione della MSC dedicata alla geometria algebrica.

Altri progetti

Altri progetti

• Wikizionario
• Wikimedia Commons

• Wikizionario contiene il lemma di dizionario «geometria algebrica»
• Wikimedia Commons contiene immagini o altri file sulla geometria algebrica

Collegamenti esterni

• Ciro Ciliberto e Igor R. Shafarevich, Geometria algebrica, in Enciclopedia del Novecento, II Supplemento, Istituto dell'Enciclopedia Italiana, 1975-2004.
• Igor' Rostislavovič Šafarevič, Geometria algebrica, in Enciclopedia della scienza e della tecnica, Istituto dell'Enciclopedia Italiana, 2007-2008.
• Geometria algebrica, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Robert Alan Bix e Harry Joseph D'Souza, algebraic geometry, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Opere riguardanti Algebraic Geometry, su Open Library, Internet Archive.
• (EN) Eric W. Weisstein, Algebraic Geometry, su MathWorld, Wolfram Research.
• (EN) Algebraic geometry, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.