Il Teorema degli zeri di Hilbert e la geometria algebrica

More documents

Recommendations

Info

La (2) segue dal fatto che Z(T 1 ) ∪ Z(T 2 ) = Z(T 1 · T 2 ) per ogni coppia di sottoinsiemiT 1 , T 2 di C[x 1 , . . . , x n ] (dove T 1 · T 2 := {t 1 t 2 , ∀t i ∈ T i }).Infatti, sia a ∈ Z(T 1 ), allora f(a) = 0 per ogni f ∈ T 1 , quindi per ogni g ∈ T 2 abbiamofg(a) = f(a)g(a) = 0 e quindi a ∈ Z(T 1 · T 2 ). Dunque Z(T 1 ) ⊂ Z(T 1 · T 2 ); analogamentesi mostra che Z(T 2 ) ⊂ Z(T 1 · T 2 ) e quindi Z(T 1 ) ∪ Z(T 2 ) ⊂ Z(T 1 · T 2 ).Per l’inclusione opposta, sia a ∈ Z(T 1 · T 2 ); se a ∈ Z(T 1 ) abbiamo finito. Altrimentiesiste f ∈ T 1 tale che f(a) ≠ 0. Allora per ogni g ∈ T 2 , poiché 0 = (fg)(a) = f(a)g(a),otteniamo g(a) = 0 e quindi a ∈ Z(T 2 ).La (3) segue osservando che, se J è una qualsiasi collezione di indici, allora per ogniT j ⊂ C[x 1 , . . . , x n ] abbiamo ∩ j∈J Z(T j ) = Z(∪ j∈J T j ). Quest’ultima verifica è banale.Esercizio 2.1.1. Si dimostri che la topologia di Zariski su C non è di Hausdorff, dimostrandoche ogni aperto non vuoto di C è denso in C.La topologia di Zariski induce una topologia sulle varietà algebriche di C n per restrizione.Ovvero, data V ⊂ C n , i chiusi di V sono tutti e soli quelli ottenuti intersecando Vcon i chiusi (cioè le varietà ) di C n .Da ora in poi quindi le nostre varietà saranno dotate di una struttura topologica.Possiamo quindi considerare il concetto di funzioni e applicazioni continue. Il terminefunzione è di norma usato per denotare un’applicazione a valori nel campo di numeri di“base (il campo C nel nostro caso).Sulle nostre varietà possiamo considerare le funzioni determinate da polinomi.Consideriamo il caso di C n ; sia p ∈ C[x 1 , . . . , x n ], allora p definisce la funzione seguenteC n −→ Ca ↦→ p(a)è ovvio che due polinomi diversi definiscono funzioni diverse. Dunque C[x 1 , . . . , x n ] puòesser visto come un insieme di particolari funzioni su C n , dette funzioni regolari.Sia ora V ⊂ C n una varietà; un polinomio p definisce anche una funzione su V . Duepolinomi p e p ′ definiscono su V la stessa funzione se e solo se per ogni a ∈ V risultap(a) = p ′ (a), ovvero se e solo se p − p ′ ∈ I(V ). Sia I = I(V ); da quanto detto segueche l’anello quoziente C[x 1 , . . . , x n ]/I definisce un insieme di funzioni su V , dette funzioniregolari. Dunque l’anello quoziente C[x 1 , . . . , x n ]/I ha una sua interpretazione geometrica;introduciamo la notazioneC[V ] := C[x 1, . . . , x n ].I(V )Per caratterizzare gli anelli di tipo C[V ] premettiamoOsservazione 2.1.2. Sia I ⊂ C[x 1 , . . . , x n ] un ideale. Allora I è un ideale radicale se esolo se C[x 1 , . . . , x n ]/I è un anello ridotto, ovvero, un anello privo di elementi nilpotenti. Ladimostrazione è lasciata per esercizio (ricordiamo che un elemento nilpotente è un elementonon nullo f tale che esiste d ∈ N per cui f d = 0.Dunque la corrispondenza biunivoca descritta in 2.0.14 tra varietà in C n e ideali radicaliin C[x 1 , . . . , x n ] induce una corrispondenza biunivoca tra l’insieme di tutte le varietà in C n el’insieme di tutti i quozienti di C[x 1 , . . . , x n ] che siano privi di nilpotenti. Più precisamente,tale corrispondenza è infatti un’equivalenza di categorie che inverte i morfismi. Questosignifica che ad ogni omomorfismo λ : C[V ] −→ C[V ′ ] corrisponde un unico morfismo divarietà Φ : V ′ −→ V tale che λ coincide con il pull-back di funzione tramite Φ.8(5)
3 Geometria algebrica su anelli commutativi arbitrari.Sia adesso R un anello commutativo qualsiasi, tale che 1 ∈ R. Vogliamo associare ad Run oggetto geometrico, estendendo quanto fatto nel caso in cui R è un anello di polinomia coefficienti in C o, più in generale, una C-algebra finitamente generata. Chiameremoschema tale oggetto geometricoIl primo passo è quello di associare a R uno spazio, che costituisca l’insieme di puntisoggiacente allo “schema che vogliamo definire. Sul modello di quanto studiato, ispiratidal teorema degli zeri di Hilbert, un candidato naturale per tale spazio è l’insieme di tuttigli ideali massimali di R. Denotiamo Max(R) l’insieme di tutti gli ideali massimali di R.L’obiettivo finale è quello di ottenere una equivalenza di categorie tra la categoria deglianelli commutativi unitari, con gli omomorfismi di anelli, e la categoria di questi schemi(da definire) con i loro morfismi (anch’essi da definire).Tale equivalenza, come nel caso delle varietà , deve invertire le frecce, ovvero ad unomomorfismo λ : R −→ R ′ deve corrispondere un morfismo di schemi che vada dalloschema associato ad R ′ a quello associato ad R.Se i nostri schemi fossero supportati sull’insieme degli ideali massimali, dovremmo avereun morfismo φ : Max(R ′ ) −→ Max(R) associato a λ in modo funtoriale. In particolaredovremmo avere che φ(M ′ ) = λ −1 (M ′ ). C’è però un problema: se M ⊂ R ′ è un idealemassimale in R ′ , l’ideale λ −1 (M ′ ) non è necessariamente un ideale massimale di R.Per esempio, nell’inclusione λ : Z ↩→ Q[x] la preimmagine dell’ideale massimale (x) èl’ideale 0 in Z che certo non è massimale.Questo ci dice che Max(R) non è lo spazio giusto. Osserviamo ora che per ogni omomorfismoλ : R −→ R ′ , la preimmagine di un ideale primo di R ′ è un ideale primo diR. Il modo giusto di procedere è infatti proprio quello di considerare non solo gli idealimassimali (che ovviamente sono anche primi) ma tutti gli ideali primi di R. DefiniamoSpec R := {P R : P è un ideale primo }.(Ricordiamo che un ideale primo di un anello R è un ideale proprio P ⊂ R tale che l’anelloquoziente R/P è privo di divisori dello 0).Consideriamo questa definizione nel caso R = C[x], e confrontiamola con C, la varietàassociata ad R precedentemente. Notiamo che, come insiemi di punti, Spec C[x] contieneesattamente un punto in più rispetto a C. Sia infatti P ⊂ C[x] un ideale primo, allora cisono due possibilità , o P è l’ideale (0) oppure P è un ideale massimale. Sappiamo che gliideali massimali di C[x] sono in corrispondenza biunivoca con i punti di C; concludiamoquindi che, come insieme, Spec C[x] è come C con l’aggiunta del punto (0). Vedremo trapoco che questo comporta un’importante differenza geometrica (anzi, topologica).3.1 Spec R come spazio topologicoProcedendo in modo analogo a quanto fatto per le varietà , definiremo ora su Spec R unastruttura di spazio topologico, basata sulla definizione seguente: sia T ⊂ R,V (T ) := {P ∈ Spec R : T ⊂ P } ⊂ Spec ROvvero: V (T ) è il luogo di tutti gli ideali primi contenenti T . Definiamo ora su Spec R latopologia di Zariski, che ha come classe di insiemi chiusi la classe C definita qua sotto in9
Page 7: Sia V ⊂ C n una varietà algebric

Il Teorema degli zeri di Hilbert e la geometria algebrica

Create successful ePaper yourself

Delete template?

Save as template?