Anello eccellente
In matematica e in particolare in algebra commutativa, un anello quasi eccellente è un anello noetheriano commutativo che si comporta bene rispetto all'operazione di completamento ed è chiamato anello eccellente se è anche universalmente catenaria. Gli anelli eccellenti sono la risposta al problema di trovare classi naturali di anelli con "buone proprietà" che contengano la maggior parte degli anelli che sorgono nello studio della teoria dei numeri e della geometria algebrica. Inizialmente sembrò che la classe degli anelli noetheriani potesse rispondere a questo problema, ma Nagata e altri trovarono diversi peculiari controesempi mostranti che non sempre gli anelli noetheriani hanno le proprietà desiderate: per esempio un anello noetheriano locale normale non è necessariamente analiticamente normale. La classe degli anelli eccellenti è stata definita da Alexander Grothendieck (1965) come candiadata per tale classe di anelli con buone proprietà. Si congettura che gli anelli quasi eccellenti siano gli anelli base per cui il problema della risoluzione delle singolarità possa essere risolto; Heisuke Hironaka l'ha dimostrato in caratteristica 0[1][2], ma il caso di caratteristica positiva è ancora un grande problema aperto. Praticamente tutti gli anelli noetheriani che compaiono naturalmente in geometria algebrica o in teoria dei numeri sono eccellenti; in effetti è abbastanza difficile costruire esempi di anelli noetheriani che non sono eccellenti.
Definizioni
- Un anello contenente un campo è detto geometricamente regolare su se per ogni estensione finita di l'anello è regolare.
- Un omomorfismo di anelli da a è detto regolare se è piatto e per ogni la fibra è geometricamente regolare sul campo residuo di
- Un anello è detto -anello (o anello di Grothendieck) se è noetheriano e le sue fibre formali sono geometricamente regolari; ossia se per ogni la funzione dall'anello locale al suo completamento è regolare nel senso suddetto.
- Un anello è detto anello J-2 se per ogni -algebra finitamente generata, i punti singolari di formano un sottoinsieme chiuso.
- Un anello è detto quasi eccellente se è un -anello e un anello J-2.
- Un anello è detto eccellente se è quasi eccellente e universalmente catanaria. In pratica quasi tutti gli anelli noetheriani sono universalmente catenaria, quindi c'è ben poca differenza tra anelli eccellenti e anelli quasi eccellenti.
- Uno schema è eccellente o quasi eccellente se ha un ricoprimento di sottoschemi affini aperti con la stessa proprietà, che implica che ogni sottoschema affine aperto ha questa proprietà.
Esempi
Anelli eccellenti
La maggior parte degli anelli commutativi in teoria dei numeri o in geometria algebrica sono eccellenti. In particolare:
- Tutti gli anelli locali noetheriani completi, per esempio i campi e gli anelli degli interi -adici sono eccellenti.
- Tutti i domini di Dedekind in caratteristica 0 sono eccellenti. In particolare l'anello degli interi è eccellente. I domini di Dedekind su campi con caratteristica positiva non sono necessariamente eccellenti.
- Gli anelli di serie di potenze convergenti con un numero finito di variabili su o sono eccellenti.
- Ogni localizzazione di un anello eccellente è eccellente.
- Ogni algebra finitamente generata su un anello eccellente è eccellente.
Un anello J-2 che non è un G-anello
Sia un campo con caratteristica con dove è l'immagine di rispetto all'endomorfismo di Frobenius, e sia l'anello delle serie di potenze tali che sia finito. Allora le fibre formali di non sono tutte geometricamente regolari e quindi non è un -anello. Ma è un anello J-2 poiché tutti gli anelli noetheriani locali di dimensione al più 1 sono anelli J-2. Poiché è un dominio di Dedekind, è anche universalmente catenaria.
Un G-anello che non è un anello J-2
Sia il sottoanello dell'anello dei polinomi in infinite variabili generato dai quadrati e dai cubi delle variabili e sia ottenuto da aggiungendo gli inversi di tutti gli elementi che non appartengono a nessun ideale generato da qualche Allora è un dominio noetheriano 1-dimensionale che non è un anello J-2 poiché ha una singolarità cuspidale in ogni punto chiuso, quindi l'insieme dei punti singolari non è chiuso sebbene sia un -anello. L'anello è anche universalmente catenaria poiché la localizzazione in ogni ideale primo è un quoziente di un anello regolare.
Un anello quasi eccellente che non è eccellente
L'esempio di Nagata[3] di anello locale noetheriano 2-dimensionale che è catenaria ma non universalmente catenaria è un -anello ed è anche un anello J-2 poiché ogni -anello locale è un anello J-2. Quindi è un anello locale catenaria quasi eccellente che non è eccellente.
Proprietà
- Ogni anello quasi eccellente è un anello di Nagata.
- Ogni anello locale ridotto quasi eccellente è analiticamente ridotto.
- Ogni anello locale normale quasi eccellente è analiticamente normale.
Risoluzione di singolarità
Gli anelli quasi eccellenti sono strettamente correlati con il problema della risoluzione delle singolarità, e questo sembra essere stata la motivazione di Grothendieck nel definirli. Grothendieck (1965) ha osservato che se è possibile risolvere le singolarità di tutti gli anelli noetheriani locali interi completi, allora è possibile risolvere le singolarità di tutti gli anelli ridotti quasi eccellenti. Hironaka (1964) l'ha dimostrato per tutti gli anelli noetheriani locali interi completi su un campo di caratteristica 0. Questo implica che ogni singolarità di uno schema eccellente su un campo di caratteristica 0 può essere risolta. Viceversa se è possibile risolvere tutte le singolarità dello spettro di ogni algebra finita intera su un anello noetheriano allora è quasi eccellente.
Note
- ^ (EN) Heisuke Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero: I., in Annals of Mathematics (2), vol. 79, n. 1, gennaio 1964, pp. 109-203.
- ^ (EN) Heisuke Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero: II., in Annals of Mathematics (2), vol. 79, n. 2, marzo 1964, pp. 205-326.
- ^ (EN) Masayoshi Nagata, On the chain problem of prime ideals, in Nagoya Math. J., vol. 10, 1956, pp. 51–64.
Bibliografia
- (EN) Hideyuki Matsumura, Commutative algebra, 1970.
- (FR) Alexandre Grothendieck e Jean Dieudonné, Eléments de géométrie algébrique IV, in Publications Mathématiques de l'IHÉS, vol. 24, 1965, pp. 5-231.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)