優秀環

可換環論の優秀環（ゆうしゅうかん、）、またはエクセレント環とは、ネーターな可換環であって完備化の操作に関して振る舞いがよく、さらに強鎖状であるもののことをいう。また、強鎖状以外の条件を満たす環のことを準優秀環、または準エクセレント環という。優秀環は、数論や代数幾何学に現れるほとんどの環を含み、かつ振る舞いのよい自然な環のクラスを探求する中で生まれた。ネーター環がそのクラスだと考えられていた頃もあったようだが、一般のネーター環は必ずしも振る舞いがよくないことを示す奇妙な反例が永田雅宜らによって複数発見された。例えば、正規ネーター局所環は必ずしもではない。
優秀環のクラスは、振る舞いのよい環のクラスの候補としてアレクサンドル・グロタンディークによって1965年に定義された。準優秀環上では特異点解消問題を解くことができるだろうと予想されている。標数0の場合には広中平祐によってこれは示されているが、正標数の場合は大きな未解決問題として残されている（2016年）。基本的には、代数幾何学や数論に自然に現れるネーター環はすべて優秀である。優秀ではないネーター環の例を構成するのはかなり難しい。
定義.
優秀環の定義は非常に込み入っているため、まず優秀環の定義に必要な各種の技術的な条件を復習しなければならない。優秀環であるためには非常に多くの条件を満たす必要があるように見えるかもしれないが、実際にはほとんどの環は優秀である。例えば、体や多項式環、完備なネーター環、標数0のデデキント環（formula_1 など）、そしてこれらの商や局所化を取ったものは全て優秀である。
定義の準備.
最後に、環がであるとは、任意の有限型 formula_3 代数 formula_17 がJ-1であること、つまり正則部分スキーム
formula_18
が開であることをいう。
優秀環と準優秀環の定義.
環
formula_3
がG環かつJ-2環であるとき準優秀という。さらに、強鎖状であるとき優秀というpg 214。実際上のほとんどのネーター環は強鎖状なので、優秀環と準優秀環の差は大きくない。
スキームが優秀、または準優秀であるとは、この性質を持つ開アフィン部分スキームによる被覆を持つことをいう。このとき、任意の開アフィン部分スキームは同様の性質を持つ。
性質.
優秀環
formula_3
はG環なので、定義よりネーター環である。強鎖状なので、任意の2つの素イデアルを結ぶ素イデアルの極大鎖はすべて同じ長さを持つ。
スキーム.
優秀スキーム formula_21 に対して局所的に有限型な射 formula_22 があったとすると、formula_23 は優秀であるpg 217。
準優秀環.
準優秀環は。
準優秀かつ被約な局所環は。
準優秀かつ正規な局所環は。
例.
優秀環.
以下の例に示されるように、数論や代数幾何学に自然に現れるほとんどの可換環は優秀である。
G環ではないJ-2環.
標数 で次元がの離散付値環
でであるが環ではない、したがって準優秀でもない環の例を挙げる。 を標数
の体で
となるものとする。冪級数 で
が有限になるもの全体の環を
とする。 の形式的ファイバーは幾何学的に正則にならないので、
は環ではない。次元が以下の全てのネーター局所環は環なので、これは環である。また、これはデデキント環なので強鎖状である。ここで、 は
による
の像である。
J-2環ではないG環.
G環だがJ-2環ではなく、したがって準優秀でもない環の例を挙げる。無限に多くの不定元を持つ多項式環 の部分環
を、全ての不定元の2乗と3乗で生成されるものとして定義し、
で生成されるどのイデアルにも入らない元の逆元を
に付け加えた環を
とする。
は1次元ネーター整域でG環であるが、
の全ての閉点は尖型特異点なので特異点の集合が閉にならず、環ではない。この環も、任意の素イデアルでの局所化が正則環の商になるため、強鎖状である。
優秀ではない準優秀環.
鎖状だが強鎖状ではない2次元ネーター局所環の永田の例はG環で、任意の局所G環はJ-2環なのでJ-2環でもある。したがってこれは準優秀かつ鎖状な局所環だが優秀ではない環の例になっている。
特異点解消.
準優秀環は特異点解消の問題と密接に関係している。準優秀環を定義したグロタンディークの動機pg 218はこれだったと考えられる。グロタンディーク (1965) は、整な完備ネーター局所環の特異点を解消することが可能ならば、被約準優秀環の特異点を解消することも可能であることを観察した。広中平祐 (1964) は標数0の体上の整な完備ネーター局所環に対して特異点解消が可能であることを証明した。その結果、標数0の体上の優秀スキームの特異点は解消可能であることが示された。逆に、ネーター環 上の整な有限代数の の特異点を解消することが可能ならば、環 は準優秀である。