アフィン多様体

代数幾何学において，代数閉体テンプレート:Mvar 上のアフィン多様体（あふぃんたようたい，テンプレート:Lang-en-short）とは，テンプレート:Mvar 次元アフィン空間テンプレート:Mvar において，テンプレート:Mvar 係数のテンプレート:Mvar 変数の多項式の素イデアルを生成する有限族の零点集合である．素イデアルを生成するという条件を外したときの集合は（アフィン）代数的集合と呼ばれる．アフィン多様体のザリスキ開部分多様体はテンプレート:Ill2と呼ばれる．

テンプレート:Mvar が素イデアルテンプレート:Mvar によって定義されるアフィン多様体のとき，商環

k [x_{1}, \dots, x_{n}] / I

はテンプレート:Mvar の座標環と呼ばれる．この環はちょうどテンプレート:Mvar 上のすべての正則関数がなす集合である．言い換えると，テンプレート:Mvar の構造層の大域切断の空間である．テンプレート:Ill2はアフィン多様体のコホモロジー的特徴づけを与える．定理により代数多様体がアフィンであることと

H^{i} (X, F) = 0

がすべてのテンプレート:Math とテンプレート:Mvar 上のすべての準連接層テンプレート:Mvar に対して成り立つことは同値である（cf. カルタンの定理 B）．したがってアフィン多様体のコモロジーの研究は存在せず，直線束のコホモロジー群が中心的関心事である射影多様体とは非常に対照的である．

アフィン多様体は代数多様体の局所チャートの役割を果たす，つまり，射影多様体のような一般の代数多様体はアフィン多様体を貼り合わせることで得られる．多様体に付随する線型構造も（自明に）アフィン多様体である．例えば，接空間や，テンプレート:仮リンクのファイバーなど．

アフィン多様体は，圏同値の違いを除いて，アフィンスキームすなわち環のスペクトルの特別な場合である．複素幾何学において，アフィン多様体はシュタイン多様体の類似である．

導入

アフィン代数多様体を記述する最も具体的な視点は，代数閉体テンプレート:Mvar に係数を持つ多項式方程式系のテンプレート:Mvar での解の集合と考えるものである．より正確には， $m$ 個のテンプレート:Mvar 係数の多項式を $f_{1}, \dots, f_{m}$ とすると，それらはアフィン多様体（あるいはアフィン代数的集合）

V (f_{1}, \dots, f_{m}) = {(a_{1}, \dots, a_{n}) \in k^{n} ∣ f_{1} (a_{1}, \dots, a_{n}) = \dots = f_{m} (a_{1}, \dots, a_{n}) = 0}

を定義する．ヒルベルトの零点定理により，多様体の点は，その座標環すなわちテンプレート:Mvar 代数 $R = k [x_{1}, \dots, x_{n}] / ⟨ f_{1}, \dots, f_{m} ⟩$ の極大イデアルと，写像 $(a_{1}, \dots, a_{n}) \mapsto ⟨ \overline{x_{1} - a_{1}}, \dots, \overline{x_{n} - a_{n}} ⟩,$ により1対1に対応する．ここで $\overline{x_{i} - a_{i}}$ は多項式 $x_{i} - a_{i}$ の商環テンプレート:Mvar における像を表す．スキーム論において，この対応は素イデアルに拡張されアフィンスキームテンプレート:Math が定義され，これは圏同値を通して多様体と同一視できる．

座標環テンプレート:Mvar の元は多様体上の正則関数や多項式関数とも呼ばれる．それらは多様体上の正則関数環 (ring of the regular functions) あるいは単に多様体の環 (ring of the variety) をなす．実際，元 $\overline{f} \in R$ は多項式 $f \in k [x_{1}, \dots, x_{n}]$ の像であり，テンプレート:Mvar はテンプレート:Mvar からテンプレート:Mvar への関数を定義する．テンプレート:Mvar の多様体への制限は，商によって $\overline{f}$ に写される多項式テンプレート:Mvar の取り方に依らない．

多様体の次元は任意の多様体や代数的集合に付随する整数であり，その重要性はその同値な定義の多さにある（テンプレート:仮リンクを参照）．

構造層

アフィン多様体は以下に記述する構造層を備えて局所環付き空間である．

アフィン多様体テンプレート:Mvar とその座標環テンプレート:Mvar が与えられると，テンプレート:Mvar 代数の層 $𝒪_{X}$ を $𝒪_{X} (U) = Γ (U, 𝒪_{X})$ をテンプレート:Mvar 上の正則関数の環とすることで定義する．

テンプレート:Mvar の各元テンプレート:Mvar に対してテンプレート:Math とおく．それらはテンプレート:Mvar の位相の基底をなすので， $𝒪_{X}$ は開集合テンプレート:Math での値によって決まる（加群の層#加群に付随する層も参照）．

重要な事実は，本質的にヒルベルトの零点定理による次の主張である：テンプレート:Math theorem

主張は，まず第一に，テンプレート:Mvar が「局所環付き」空間であることを導く，なぜならば

𝒪_{X, x} = \underset{f (x) \neq 0}{\lim_{\to}} A [f^{- 1}] = A_{𝔪_{x}}

だからである，ただし $𝔪_{x} = {f \in A | f (x) = 0}$ . 第二に，主張は $𝒪_{X}$ が層であることを導く．実際，関数がテンプレート:Math 上（点ごとに）正則であれば，主張によりテンプレート:Math の座標環に属さなければならない．つまり，「正則性」は貼り合わせることができる．

したがって， $(X, 𝒪_{X})$ は局所環付き空間である．

参考文献

The original article was written as a partial human translation of the corresponding French article.

テンプレート:Algebraic-geometry-stub

アフィン多様体

目次

導入

構造層

関連項目

参考文献

ナビゲーションメニュー

アフィン多様体

導入

構造層

関連項目

参考文献

ナビゲーション メニュー

検索

ナビゲーションメニュー