次元論 (代数学)

次元論とは

次元論は数学の一分野であり、特に可換環論においてその重要性が高いです。この理論は、可換環やスキームなどの代数的構造の次元を研究します。次元の概念は、代数幾何学においても特に重要であり、代数多様体の次元を扱う際にも欠かせません。

アフィン環における次元論

アフィン環、すなわち体上の有限生成多元環である整域の次元論は、比較的単純なものです。ネーターの正規化定理によると、そのような環のクルル次元は基礎体上の超越次数に等しいことが知られています。これは、代数幾何学における基本的な知見の一つです。一般的な次元論は幾何学的な性質を失うことが多く、特にネーター的ではない環に関する研究はあまり進んでいないのが現状です。

Kaplanskyによる「可換環」は、非ネーターの場合の理論が詳述されている書籍として良く知られています。現代の研究では、ブルバキ派やEGA（Éléments de Géométrie Algébrique）などのアプローチが標準的です。このアプローチでは、次数付き加群の利用が不可欠であり、特に射影多様体の次数の一般化である重複度の役割が強調されます。クルルの単項イデアル定理もこの文脈で重要な役割を果たします。

基本的な結果

一般的に、ネーター環または付値環をRとした場合、以下のような関係が成り立ちます。

$$\text{dim} R[x] = \text{dim} R + 1$$

これはRがネーター環の場合、特にクルルの単項イデアル定理に由来します。ここで、任意の素イデアル$p$に対して次のような関係も成り立ちます。

$$\text{ht}(pR[x]) = \text{ht}(p)$$

R[x]において$p$に包含される任意の素イデアル$q$についても、以下が成り立ちます。

$$\text{ht}(q) = \text{ht}(p) + 1$$

これらの関係は、基本的な環論の枠の中で証明可能です（Kaplanskyの著書を参照）。

算法と定理

次に、ネーター局所環$(R, m)$のもとで、準素イデアル$I$があるとすると、次のようなポワンカレ級数が定義できます。

$$F(t) = \sum_{0}^{\infty} \ell(I^n / I^{n + 1}) t^n$$

ここで、$
ewline \ell$は加群の長さを示します。この定義に基づき、Rのハイポジション数$d(R)$や生成元の数$
ewline δ(R)$といった概念が導入され、その重要な結果が次のように表されることが知られています。

$$\delta(R) = d(R) = \text{dim} R$$

これにより、深さや射影次元との関連が明らかになり、Auslander–Buchsbaumの公式を通じて深さと射影次元の関係が示されます。また、Rが正則である場合、局所環における構造定理が成り立ちます。これにより、Rが局所環としての特性を持つことも示されます。

終わりに

次元論は可換環や代数幾何学の重要な側面を探索する理論であり、さまざまな代数的構造の理解に寄与します。さらに、深さや射影次元といった他の数学的概念との関連性も示され、現代数学の中で重要な分野として位置付けられています。今後もさまざまな研究が行われ、この理論の進展が期待されます。

もう一度検索