Spettro di un anello
In algebra astratta e geometria algebrica, lo spettro di un anello commutativo unitario , indicato con , è l'insieme di tutti gli ideali primi di . Viene comunemente dotato della topologia di Zariski e di una struttura di fascio, che lo rende uno spazio localmente anellato.
Struttura d'ordine
[modifica | modifica wikitesto]Lo spettro di un anello è dotato della struttura di ordine parziale indotta dal contenimento tra gli ideali primi. Sotto questo ordine, ha sempre elementi massimali (gli ideali massimali, la cui esistenza è garantita, assumendo l'assioma della scelta, dal lemma di Krull) e minimali; inoltre, ogni elemento di è minore di un elemento massimale e maggiore di un elemento minimale. Un'altra proprietà di quest'ordine è che, se , allora esistono sempre due elementi e tali che e non esistono primi contenuti tra e .
Kaplansky congetturò che qualsiasi insieme parzialmente ordinato che soddisfacesse queste due proprietà fosse isomorfo allo spettro di qualche anello; tale ipotesi venne in seguito confutata.[1] È possibile tuttavia trovare anelli il cui spettro è isomorfo ad un qualunque insieme ordinato finito, così come anelli il cui spettro è isomorfo ad un albero che possiede le due proprietà precedenti.[1]
Ulteriori proprietà discendono dalle proprietà algebriche dell'anello: ad esempio, se è un dominio d'integrità allora ha un solo elemento minimale, mentre se è un dominio di Prüfer allora è un albero. Se è noetheriano, allora soddisfa diverse altre proprietà: ad esempio, il numero di elementi minimali è finito, e se l'insieme dei primi contenuti propriamente tra e è vuoto oppure infinito (come conseguenza del teorema dell'ideale principale).
Struttura topologica
[modifica | modifica wikitesto]Lo spettro di un anello viene generalmente dotato di una struttura di spazio topologico, detta topologia di Zariski, in cui i chiusi sono tutti e soli gli insiemi nella forma , dove varia tra gli ideali di ; l'aperto è generalmente indicato con . Una base di questa topologia è costituita dagli insiemi , con che varia tra gli elementi di .
Il passaggio dagli ideali ai chiusi rovescia le inclusioni, nel senso che se , allora , in quanto ogni ideale primo che contiene contiene anche . I chiusi della topologia di Zariski soddisfano inoltre alcune proprietà in rapporto alle operazioni insiemistiche tra ideali: se , , sono ideali di , allora
- e
- .
Inoltre, se e solo se e hanno lo stesso radicale.
Proprietà
[modifica | modifica wikitesto]è sempre uno spazio compatto e di Kolmogorov (), ma in generale non è : infatti, un punto dello spettro è chiuso se e solo se è un ideale massimale, e quindi è se e solo se la dimensione di Krull di è 0. Quando questo avviene, è anche uno spazio di Hausdorff.
Lo spettro di è sconnesso se e solo se è isomorfo al prodotto diretto di due anelli non nulli. Più interessante è la scomposizione in componenti irriducibili: un chiuso di è irriducibile se e solo se è nella forma , dove è un ideale primo, e quindi le componenti irriducibili di sono i chiusi corrispondenti ai primi minimali di . In particolare, è irriducibile se e solo se ha un solo primo minimale, cioè se e solo se è un dominio d'integrità.
Se è un anello noetheriano, allora è uno spazio topologico noetheriano; in particolare, ha un numero finito di componenti irriducibili e quindi un numero finito di primi minimali. In generale, può essere uno spazio noetheriano anche se non è noetheriano: questo avviene, ad esempio, se è finito, come nel caso di un dominio d'integrità locale di dimensione 1.
Applicazioni
[modifica | modifica wikitesto]Dato un omomorfismo di anelli , ogni ideale primo di è tale che è primo. Di conseguenza, induce una mappa , che risulta essere continua nella topologia di Zariski. Tale passaggio è compatible con la composizione, nel senso che se è un altro omomorfismo, allora . Nel linguaggio della teoria delle categorie, questo vuol dire che è un funtore controvariante dalla categoria degli anelli commutativi unitari a quella degli spazi topologici.
Le proprietà topologiche della mappa sono legate alle proprietà algebriche di : ad esempio, se è aperta allora verifica la proprietà del going-down, mentre se è chiusa allora verifica la proprietà del going-up.
Spazi spettrali
[modifica | modifica wikitesto]Uno spazio topologico che è omeomorfo allo spettro di un anello commutativo (con la topologia di Zariski) è detto spazio spettrale. Uno spazio è spettrale se e solo se verifica tutte le seguenti condizioni:[2]
- è compatto e ;
- ogni chiuso irriducibile ha un punto generico (ovvero è la chiusura di un unico punto);
- esiste un base di aperti compatti che è chiusa per intersezioni finite.
Nel caso di , una base adatta è quella data dall'insieme , per che varia tra gli elementi di : infatti, , e è omeomorfo allo spettro della localizzazione (e quindi è compatto).
Struttura di fascio
[modifica | modifica wikitesto]La topologia di Zariski permette di definire su una struttura di fascio di anelli. Il fascio strutturale è definito inizialmente per gli aperti , a cui è associato l'anello , la localizzazione di rispetto alla parte moltiplicativa ; in particolare, se , allora e . La mappa di restrizione da a è la mappa di localizzazione.
Poiché i formano una base, si può poi definire, per ogni aperto di , come il limite diretto degli , con (ovvero ).
La spiga di nel primo risulta essere l'anello locale ; di conseguenza, è uno spazio localmente anellato.
Legame con la geometria algebrica
[modifica | modifica wikitesto]Se è un campo algebricamente chiuso, il teorema degli zeri di Hilbert afferma che l'insieme degli ideali massimali dell'anello dei polinomi è in corrispondenza biunivoca con i punti dello spazio affine di dimensione su , mentre ogni altro chiuso della topologia di Zariski corrisponde ad una sottovarietà algebrica di ; in particolare la varietà è irriducibile se e solo se è indotta da un chiuso irriducibile. Questa corrispondenza si estende poi ad ogni altra varietà affine su , sostituendo all'anello dei polinomi l'anello delle funzioni regolari sulla varietà, il cui spettro può essere quindi visto come un "arricchimento" della varietà.
Il linguaggio degli schemi abbraccia questo punto di vista: uno schema affine è infatti definito come uno spazio localmente anellato isomorfo a per qualche anello , dotato del fascio strutturale sopra definito, e stabilisce un'equivalenza controvariante tra la categoria degli anelli commutativi unitari e quella degli schemi affini. Uno schema è poi definito come uno spazio localmente anellato che può essere ricoperto da una famiglia di aperti, ognuno dei quali è uno schema affine. Questo permette di generalizzare i metodi della geometria algebrica fino a comprendere campi non algebricamente chiusi e anche oggetti che non sono definiti su alcun campo (come ).
Note
[modifica | modifica wikitesto]- ^ a b (EN) William J. Lewis, The Spectrum of a Ring as Partially Ordered Set, in Journal of Algebra, vol. 25, n. 3, 1973, pp. 491-434, DOI:10.1016/0021-8693(73)90091-4. URL consultato il 31 ottobre 2013.
- ^ (EN) Mel Hochster, Prime ideal structure in commutative rings, in Transactions of the American Mathematical Society, vol. 142, 1969, pp. 43-60, DOI:10.1090/S0002-9947-1969-0251026-X. URL consultato il 1° novembre 2013.
Bibliografia
[modifica | modifica wikitesto]- (EN) Michael Atiyah e Ian G. Macdonald, Introduction to Commutative Algebra, Westview Press, 1969, ISBN 0-201-40751-5.
- (EN) Irving Kaplansky, Commutative rings, The University of Chicago Press, 1974, ISBN 0-226-42454-5.
- (EN) Qing Liu, Algebraic Geometry and Arithmetic Curves, Oxford University Press, 2002, ISBN 0-19-850284-2.