「ネータースキーム」の版間の差分
提供: miniwiki
ja>新規作成 (en:Noetherian scheme, oldid=566852935 の翻訳) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 16:56時点における最新版
代数幾何学において、ネータースキーム (noetherian scheme) は [math]A_i[/math] をネーター環として開アフィン部分集合 [math]\operatorname{Spec} A_i[/math] による有限被覆をもつスキームである。より一般に、スキームが局所ネーター (locally noetherian) であるとは、それがネーター環のスペクトルによって被覆されるということである。したがって、スキームがネーターであることと局所ネーターかつ準コンパクトであることは同値である。ネーター環と同様、概念はエミー・ネーター (Emmy Noether) にちなんで名づけられている。
局所ネータースキームにおいて、[math]\operatorname{Spec} A[/math] が開アフィン部分集合であれば、A はネーター環であるということを示すことができる。特に、[math]\operatorname{Spec} A[/math] がネータースキームであることと A がネーター環であることは同値である。X を局所ネータースキームとする。このとき局所環 [math]\mathcal{O}_{X, x}[/math] はネーター環である。
ネータースキームはネーター位相空間である。しかし逆は一般には間違いである。例えば、非ネーター付値環のスペクトルを考えよ。
定義は形式スキームに拡張する。
参考文献
- Robin Hartshorne, Algebraic geometry.