I}U_{i}}がある。V_{j}}はアフィン代数多様体の射(の下にある連続写像)である。ことと定義する[6]。V_{i}}がアフィン代数多様体の射になるとき、代数多様体の射であるという。Y}が(アフィン代数多様体を定義域としてもつ)代数多様体の射になるとき、代数多様体の射であるという。代数多様体の間の同型の概念もアフィン代数多様体の場合と同じく、明らかな方法で定義される。代数多様体の開部分集合は代数多様体になる。これを開部分多様体という。代数多様体の既約な閉部分集合は代数多様体になる。内容については射影代数多様体も参照。_{k}^{n}}である(射影空間の多様体の構造を参照)。射影空間には、アフィン空間の場合と同様に射影代数的集合を閉集合とする位相が入り[7]、「概説」の節で定義された射影代数多様体にはここから誘導される位相を入れる(ザリスキー位相)。代入)で与えられる方程式系で定義されるアフィン代数多様体と同一視できる。射影代数多様体は前節の意味での代数多様体になっている。これはアフィン代数多様体の開集合であるから前節の意味での代数多様体になる。これはアフィン代数多様体にはならない[8]。アフィン代数多様体は準射影代数多様体である。上の節一般の代数多様体で与えた定義は自然ではあるが、いくつか不満足な点がある。ひとつは、定義に現れたアフィン代数多様体による「代数的チャート」の定義である。多様体の場合とは異なり、アフィン代数多様体と同相な2つの開集合の交わりでの貼り合わせを、そこに含まれる任意のアフィン開部分多様体に制限して定義しなければならなかった。これは、前節でも出てきたアフィン代数多様体の開部分集合でアフィン代数多様体にはならないものを定義域に持つ代数多様体の射が直接定義できない事に起因している(代数多様体上の正則関数(多項式関数)の定義の先天的非局所性)。シャファレビッチの本の第1巻(参考文献参照)では、この煩雑さを回避するために準射影代数多様体をそこで定義される代数多様体の最も広いクラスとして取っている[9]。ならない重要な代数多様体が存在する事から、抽象的な貼り合わせによる代数多様体の定義は避けて通る事が出来ない。代数的に閉を仮定してきた。これは、ヒルベルトの零点定理が理論の構成の鍵になっていたからである。0-環になってしまう。これは、ヒルベルトの零点定理が成り立たないために起こる現象である。代数的閉でない体上では、「方程式の性質を十分に反映するには点が不足している」のである。代数的閉体である状況に戻ってアフィン代数多様体について反省すると、ヒルベルトの零点定理は、多項式の連立方程式系で定まる点集合の幾何学的(集合論的)情報は、その多項式系が生成するイデアルから定まる座標環の環論的情報と等価(圏同値)であることを意味している。代数的閉でない体上では「点が足りない」ために点集合としての代数的集合は十分な情報を持たないが、座標環は純代数的に定義できるので、体が代数的閉であるか否かにかかわらず多項式系の情報を正しく反映する。以上のような状況から、グロタンディークは、点集合としての代数的集合を環のスペクトラムとよばれる、環の素イデアル全体のなす位相空間に置き換えることによって、閉体上の有限生成整域だけでなく、任意の可換環に対して代数幾何学の対象となりうる図形を定義した(アフィンスキーム)。一般のスキームはアフィンスキームの貼り合わせとして定義される。アフィンスキーム上の関数(すなわちもとの可換環の元)はアプリオリには局所的に定義されたものではないが、局所化の理論を用いて可換環の層を対応させ、アフィンスキームの貼り合わせである一般のスキームを環付き空間として定義する多変数複素解析のアイデアが用いられた。このことにより、代数幾何学の幾何学的アイデアが整数論の問題にまで(原理的には)直接適用可能になるなど、代数幾何の応用範囲が大きく広がる事となった。詳しくは概型の項を参照。上の既約で被約な有限型スキーム」と定義される[11]。上の代数多様体を考える場合でさえも、今日ではスキーム論の枠組み・概念を用いるのが最も効率的であると信じられており、また、しばしば本質的でさえある。