# Excellent ring

In commutative algebra, a **quasi-excellent ring** is a Noetherian commutative ring that behaves well with respect to the operation of completion, and is called an **excellent ring** if it is also universally catenary. Excellent rings are one answer to the problem of finding a natural class of "well-behaved" rings containing most of the rings that occur in number theory and algebraic geometry. At one time it seemed that the class of Noetherian rings might be an answer to this problem, but Nagata and others found several strange counterexamples showing that in general Noetherian rings need not be well behaved: for example, a normal Noetherian local ring need not be analytically normal. The class of excellent rings was defined by Alexander Grothendieck (1965) as a candidate for such a class of well-behaved rings. Quasi-excellent rings are conjectured to be the base rings for which the problem of resolution of singularities can be solved; Heisuke Hironaka (1964) showed this in characteristic 0, but the positive characteristic case is (as of 2016) still a major open problem. Essentially all Noetherian rings that occur naturally in algebraic geometry or number theory are excellent; in fact it is quite hard to construct examples of Noetherian rings that are not excellent.

## Definitions

- A ring
*R*containing a field*k*is called**geometrically regular**over*k*if for any finite extension*K*of*k*the ring*R*⊗_{k}*K*is regular. - A homomorphism of rings from
*R*to*S*is called**regular**if it is flat and for every*p*∈Spec(*R*) the fiber*S*⊗_{R}*k*(*p*) is geometrically regular over the residue field*k*(*p*) of*p*. - A ring
*R*is called a**G-ring**(or**Grothendieck ring**) if it is Noetherian and its formal fibers are geometrically regular; this means that for any*p*∈Spec(*R*), the map from the local ring*R*_{p}to its completion is regular in the sense above. - A ring
*R*is called a**J-2 ring**if for every finitely generated*R*-algebra*S*, the singular points of Spec(*S*) form a closed subset. - A ring
*R*is called**quasi-excellent**if it is a*G*-ring and a J-2 ring. - A ring is called
**excellent**if it is quasi-excellent and universally catenary. In practice almost all Noetherian rings are universally catenary, so there is little difference between excellent and quasi-excellent rings. - A scheme is called excellent or quasi-excellent if it has a cover by open affine subschemes with the same property, which implies that every open affine subscheme has this property.

## Examples

### Excellent rings

Most naturally occurring commutative rings in number theory or algebraic geometry are excellent. In particular:

- All complete Noetherian local rings, for instance all fields and the ring
**Z**of p-adic integers, are excellent._{p} - All Dedekind domains of characteristic 0 are excellent. In particular the ring
**Z**of integers is excellent. Dedekind domains over fields of characteristic greater than 0 need not be excellent. - The rings of convergent power series in a finite number of variables over
**R**or**C**are excellent. - Any localization of an excellent ring is excellent.
- Any finitely generated algebra over an excellent ring is excellent.

### A J-2 ring that is not a G-ring

Here is an example of a discrete valuation ring *A* of dimension 1 and characteristic *p*>0 which is J-2 but not a G-ring and so is not quasi-excellent. If *k* is any field of characteristic *p* with [*k*:*k*^{p}] = ∞ and *A* is the ring of power series Σ*a*_{i}*x*^{i} such that [*k*^{p}(*a*_{0},*a*_{1},...):*k*^{p}] is finite then the formal fibers of *A* are not all geometrically regular so *A* is not a G-ring. It is a J-2 ring as all Noetherian local rings of dimension at most 1 are J-2 rings. It is also universally catenary as it is a Dedekind domain. Here *k*^{p} denotes the image of *k* under the Frobenius morphism *a*→*a*^{p}.

### A G-ring that is not a J-2 ring

Here is an example of a ring that is a G-ring but not a J-2 ring and so not quasi-excellent. If *R* is the subring of the polynomial ring *k*[*x*_{1},*x*_{2},...] in infinitely many generators generated by the squares and cubes of all generators, and *S* is obtained from *R* by adjoining inverses to all elements not in any of the ideals generated by some *x*_{n}, then *S* is a 1-dimensional Noetherian domain that is not a J-1 ring as *S* has a cusp singularity at every closed point, so the set of singular points is not closed, though it is a G-ring.
This ring is also universally catenary, as its localization at every prime ideal is a quotient of a regular ring.

### A quasi-excellent ring that is not excellent

Nagata's example of a 2-dimensional Noetherian local ring that is catenary but not universally catenary is a G-ring, and is also a J-2 ring as any local G-ring is a J-2 ring (Matsumura 1980, p.88, 260). So it is a quasi-excellent catenary local ring that is not excellent.

## Properties

Any quasi-excellent ring is a Nagata ring.

Any quasi-excellent reduced local ring is analytically reduced.

Any quasi-excellent normal local ring is analytically normal.

## Resolution of singularities

Quasi-excellent rings are closely related to the problem of resolution of singularities, and this seems to have been Grothendieck's motivation for defining them. Grothendieck (1965) observed that if it is possible to resolve singularities of all complete integral local Noetherian rings, then it is possible to resolve the singularities of all reduced quasi-excellent rings. Hironaka (1964) proved this for all complete integral Noetherian local rings over a field of characteristic 0, which implies his theorem that all singularities of excellent schemes over a field of characteristic 0 can be resolved. Conversely if it is possible to resolve all singularities of the spectra of all integral finite algebras over a Noetherian ring *R* then the ring *R* is quasi-excellent.

## References

- V.I. Danilov (2001) [1994], "Excellent ring", in Hazewinkel, Michiel (ed.),
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 - Alexandre Grothendieck, Jean Dieudonné,
*Eléments de géométrie algébrique IV*Publications Mathématiques de l'IHÉS 24 (1965), section 7 - Heisuke Hironaka,
*Resolution of singularities of an algebraic variety over a field of characteristic zero.*I, II. Annals of Mathematics (2) 79 (1964), 109-203; ibid. (2) 79 1964 205-326. - Hideyuki Matsumura,
*Commutative algebra*ISBN 0-8053-7026-9, chapter 13.