アフィン多様体

代数幾何学において，代数閉体 上のアフィン多様体（あふぃんたようたい，）とは， 次元アフィン空間 において， 係数の 変数の多項式の素イデアルを生成する有限族の零点集合である．素イデアルを生成するという条件を外したときの集合は（アフィン）代数的集合と呼ばれる．アフィン多様体のザリスキ開部分多様体はと呼ばれる．
 が素イデアル によって定義されるアフィン多様体のとき，商環
は の座標環と呼ばれる．この環はちょうど 上のすべての正則関数がなす集合である．言い換えると， の構造層の大域切断の空間である．はアフィン多様体のコホモロジー的特徴づけを与える．定理により代数多様体がアフィンであることと
がすべての と 上のすべての準連接層 に対して成り立つことは同値である（cf. カルタンの定理 B）．したがってアフィン多様体のコモロジーの研究は存在せず，直線束のコホモロジー群が中心的関心事である射影多様体とは非常に対照的である．
アフィン多様体は代数多様体の局所チャートの役割を果たす，つまり，射影多様体のような一般の代数多様体はアフィン多様体を貼り合わせることで得られる．多様体に付随する線型構造も（自明に）アフィン多様体である．例えば，接空間や，のファイバーなど．
アフィン多様体は，圏同値の違いを除いて，アフィンスキームすなわち環のスペクトルの特別な場合である．複素幾何学において，アフィン多様体はシュタイン多様体の類似である．
導入.
アフィン代数多様体を記述する最も具体的な視点は，代数閉体 に係数を持つ多項式方程式系の での解の集合と考えるものである．より正確には，formula_3個の 係数の多項式をformula_4 とすると，それらはアフィン多様体（あるいはアフィン代数的集合）
を定義する．ヒルベルトの零点定理により，多様体の点は，その座標環すなわち 代数 formula_6 の極大イデアルと，写像 formula_7 により1対1に対応する．ここで formula_8 は多項式 formula_9 の商環 における像を表す．スキーム論において，この対応は素イデアルに拡張されアフィンスキーム が定義され，これは圏同値を通して多様体と同一視できる．
座標環 の元は多様体上の正則関数や多項式関数とも呼ばれる．それらは多様体上の正則関数環 (ring of the regular functions) あるいは単に多様体の環 (ring of the variety) をなす．実際，元 formula_10 は多項式 formula_11 の像であり， は から への関数を定義する． の多様体への制限は，商によって formula_12 に写される多項式 の取り方に依らない．
多様体の次元は任意の多様体や代数的集合に付随する整数であり，その重要性はその同値な定義の多さにある（を参照）．
構造層.
アフィン多様体は以下に記述する構造層を備えて局所環付き空間である．
アフィン多様体 とその座標環 が与えられると， 代数の層 formula_13 を formula_14 を 上の正則関数の環とすることで定義する．
 の各元 に対して とおく．それらは の位相の基底をなすので，formula_13 は開集合 での値によって決まる（加群の層#加群に付随する層も参照）．
重要な事実は，本質的にヒルベルトの零点定理による次の主張である：
主張は，まず第一に， が「局所環付き」空間であることを導く，なぜならば
だからである，ただし formula_17. 第二に，主張は formula_13 が層であることを導く．実際，関数が 上（点ごとに）正則であれば，主張により の座標環に属さなければならない．つまり，「正則性」は貼り合わせることができる．
したがって，formula_19 は局所環付き空間である．
参考文献.
The original article was written as a partial human translation of the corresponding French article.