数学において、次元論(じげんろん、: dimension theory)は可換環論の一分野であり、可換環次元の概念や、より一般にスキームのそれを研究する分野である。

理論はアフィン環、すなわち体上有限生成多元環である整域に対しては、はるかに単純である。ネーターの正規化定理英語版により、そのような環のクルル次元は基礎体上の超越次数であり、理論は代数幾何学と並行して進む。代数多様体の次元英語版を参照。一般的な理論は幾何学的でなくなる傾向がある。特に、ネーター的でない環に対して知られていることはほとんどない。(Kaplansky の commutative rings は非ネーターのケースに詳しい。)今日、標準的なアプローチは本質的にブルバキとEGAのアプローチである。これは次数付き加群を本質的に使い、他のものの中で射影多様体の次数の一般化である重複度の役割を強調する。このアプローチでは、クルルの単項イデアル定理は系として現れる。

この記事を通して、 は環のクルル次元を表し、 は素イデアルのクルル次元(すなわちその素イデアルにおける局所化のクルル次元)を表す。

基本的な結果

編集

R をネーター環または付値環とする。すると

 

である。R がネーター環であるときは、これは下記の基本定理(特に、クルルの単項イデアル定理)から従う。しかしそれはまたより精密な結果からも従う。R の任意の素イデアル   に対して以下が成り立つ。

 .
  に縮小する   の任意の素イデアル   に対して、 

これは基本的な環論の範囲で証明できる(cf. Kaplansky, commutative rings)。ところで、これは特に次のことを言っている。  の各ファイバーにおいて、長さ   の素イデアルの列は存在しえない。

アルティン環(例えば体)の次元は 0 なので、帰納的に次の公式を得る。アルティン環 R に対して

 

基本定理

編集

  をネーター局所環とし、I -準素イデアル(すなわち   のあるベキと   の間にある)とする。 associated graded ring  ポワンカレ級数とする。つまり、

 

ただし   は(アルティン環   上の)加群の長さを意味する。 I を生成するとすれば、それらの   における像は次数 1 をもち   -多元環として生成する。ヒルベルト・セールの定理によって、F は位数   の極を   にちょうど1つもつ有理関数である。

 ,

であるので、  における   の係数は

 

の形であることがわかる。つまり、 n の次数   の多項式   である。P ヒルベルト多項式と呼ばれる。

  とおく。また、 R -準素イデアルを生成できる、R の元の最小個数とする。我々の目標は次の基本定理を証明することである。

 

s  であるようにとることができるから、既に上記から   である。次に    についての帰納法で証明する。 R の素イデアルの列とする。  とし、x を 0 でも単元でもない D の元とする。x は零因子でないので、完全列

 

がある。さて、Hilbert-Samuel 多項式の次数のboundによって   である。(これは本質的にアルティン・リースの補題から従う。ステートメントと証明はヒルベルト・サミュエル関数を参照。)  において、列   は長さ   の列になり、したがって、帰納法の仮定と再び次数の評価によって、

 

である。主張が従う。  を示すことが残っている。正確には、次のことを示す。

補題: R は、任意の i に対して   を含む任意の素イデアルの高さは   であるような元   を含む。

(注意:このとき   -準素である。)証明は省略する。例えば、Atiyah–MacDonald に証明がある。しかし証明は個人でもできる。アイデアは prime avoidance を使うことだ。

基本定理から得られる結果

編集

  をネーター局所環とし、  とおく。すると、

  •  , なぜならば   の基底は中山の補題によって   の生成集合に持ちあがるからである。等号が成り立つならば、R正則局所環と呼ばれる。
  •  , なぜならば  .
  • クルルの単項イデアル定理)ネーター環において元   で生成されるイデアルの高さは高々 s である。逆に、高さ s の素イデアルは s 個の元で生成できる。(証明:   をそのようなイデアルの上にある極小素イデアルとする。すると   である。逆は基本定理の証明の途中で示されている。)

  がネーター局所環の射であれば、

 

である[1]。等号は  平坦であれば、あるいはもっと一般的に上昇定理が成り立てば、成り立つ。(ここで、 特別ファイバー英語版と考える。)

証明:   -準素イデアルを生成するとし、  をそれらの像が  -準素イデアルを生成するようなものとする。するとある s について   である。両辺を何乗かすることにより、  のあるベキが   に含まれることがわかる。すなわち、後者のイデアルは  -準素である。したがって、  である。等号については going-down property から直ちに従う。

R がネーター局所環であれば、

 .

証明:  R の素イデアルの鎖であれば、   の素イデアルの鎖であるが、  は極大イデアルではない。したがって、  である。逆向きの不等号を言うために、   の極大イデアルとし、  とする。  は単項イデアル整域であるので、前の不等式によって   を得る。  は任意だったので、このことより   である。

正則環

編集

Rネーター環とする。有限 R-加群 M射影次元R射影分解の最短の長さ(無限でもよい)であり、  と表記される。  とおく。これは R大域次元と呼ばれる。

R は局所環で、その剰余体を k とする。

補題 ―   (無限でもよい).

証明: 次のことを主張する。任意の有限 R-加群 M に対して、

 .

dimension shifting (cf. 下記のセールの定理の証明)によって、  に対してこれを証明すれば十分である。するとしかし、平坦性の局所的判定法によって、  である。今、

 

であるので、証明が完了する。

補題 ―   とし、fR の非零因子とする。f が有限加群 M 上非零因子であれば、 .

証明:   であれば、MR-自由でありしたがって   -自由である。次に   と仮定する。すると、K がある自由加群から M への全射の核であるとき、  である。したがって、帰納法により、  の場合を考えれば十分である。このとき射影分解

 ,

が存在して、これより

 .

しかし、 M でテンソルすることで、最初の項が消えることがわかる。それゆえ、  は高々 1 である。

セールの定理 ― R が正則  

証明[2]R が正則であれば、  と書ける、ただし   はパラメータの正則系である。有限加群の完全列  f は極大イデアルのある元、  によって、

 

しかしここで fk を殺すので 0 である。したがって、  でありその結果   である。これを使って、次を得る。

 

逆の証明は   についての帰納法による。inductive step を先にやる。  をパラメータ系の元として   とおく。R が正則であることを示すためには、  が正則であることを示せば十分である。しかし、  であるので、帰納法の仮定と前の補題で   としたものによって、

 

basic step が残っている。  とする。  が有限であれば 0 であると主張する。(このことは R半単純環、すなわち体であることを意味している。)もしそうでないと仮定すると、ある有限加群   が存在して   であり、したがって実は   であるような M が存在する。中山の補題によって、全射   であって   が同型であるようなものが存在する。K でその核を表記すれば、

 .

  であるので、K は自由である。  であるので、極大イデアル  R素因子である。すなわち、ある sR に対して   である。  であるので、  である。K は 0 でないので、このことは   を意味し、矛盾である。証明が完了した。

深さ

編集

R を環とし M をその上の加群とする。R の元の列   は次のとき正則列と呼ばれる。   の零因子でなく、  は各   について   の零因子でない。

R を局所環とし、その極大イデアルを m とする。すると、M深さm における任意の極大正則列   の長さの上限である。  であることを(例えば帰納法によって)示すのは容易である。R の深さが次元に等しいとき、Rコーエン・マコーレー環と呼ばれる。

命題 ―  

Auslander–Buchsbaum formula は深さと射影次元を関係づける。

定理 ― M をネーター局所環 R 上有限加群であるとする。  であれば、

 

脚注

編集
  1. ^ Eisenbud, Theorem 10.10
  2. ^ Weibel 1994, Theorem 4.4.16

参考文献

編集
  • Part II of Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics, 150, New York: Springer-Verlag, ISBN 0-387-94268-8, MR1322960 .
  • Chapter 10 of Atiyah, Michael Francis; Macdonald, I.G. (1969), Introduction to Commutative Algebra, Westview Press, ISBN 978-0-201-40751-8 .
  • Kaplansky, Irving, Commutative rings, Allyn and Bacon, 1970.
  • Weibel, Charles A. (1995). An Introduction to Homological Algebra. Cambridge University Press