射影多様体のソースを表示

[[File:Addition on cubic (clean version).svg|thumb|[[楕円曲線]]は種数 1 の滑らかな射影曲線である。]]

[[代数幾何学]]において、[[代数閉体]] {{mvar|k}} 上の'''射影多様体'''（しゃえいたようたい、{{lang-en-short|projective variety}}）とは、{{mvar|k}} 上の（{{mvar|n}} 次元）[[射影空間]] {{math|'''P'''<sup>''n''</sup>}} の部分集合であって、[[素イデアル]]を生成する {{mvar|k}} 係数 {{math|''n'' + 1}} 変数[[斉次多項式]]の有限族の零点集合として書けるものをいう。そのようなイデアルは多様体の定義イデアルと呼ばれる。あるいは同じことだが、[[代数多様体]]が射影的であるとは、{{math|'''P'''<sup>''n''</sup>}} の[[ザリスキ位相|ザリスキ閉]][[部分代数多様体|部分多様体]]として埋め込めるときにいう。

1次元の射影多様体は'''射影曲線'''と呼ばれ、2次元だと'''射影曲面'''、余次元 1 だと'''射影超曲面'''と呼ばれる。射影超曲面は単独の斉次式の零点集合である。

射影多様体 {{mvar|X}} が斉次素イデアル {{mvar|I}} によって定義されているとき、[[商環]]
:<math>k[x_0, \ldots, x_n]/I</math>
は {{mvar|X}} の[[斉次座標環]]と呼ばれる。[[代数多様体の次数|次数]]や[[代数多様体の次元|次元]]のような基本的な不変量は、この[[次数環]]の[[ヒルベルト多項式]]から読み取ることができる。

射影多様体は多くの方法で生じる。それらは{{仮リンク|完備代数多様体|label=完備|en|complete variety}}であり、荒っぽく言えば「抜けている」点がない。逆は一般には正しくないが、{{仮リンク|チャウの補題|en|Chow's lemma}}はこの2つの概念の近い関係を記述する。多様体が射影的であることは[[直線束]]や[[因子 (代数幾何学)|因子]]を調べることによって示される。

射影多様体の顕著な性質の1つは、層コホモロジーの有限性である。滑らかな射影多様体に対して、[[セール双対性]]は[[ポワンカレ双対性]]の類似と見なせる。それはまた射影曲線、すなわち{{仮リンク|代数多様体の次元|label=次元|en|dimension of an algebraic variety}} 1 の射影多様体に対する[[リーマン・ロッホの定理]]を導く。射影曲線の理論は特に豊かで、曲線の{{仮リンク|数論的種数|en|Arithmetic genus|label=種数}}による分類を含む。高次元の射影多様体の分類問題は自然に射影多様体のモジュライの構成を導く{{sfn|Kollár|Moduli|loc=Ch. I}}。[[ヒルベルトスキーム]]は所定のヒルベルト多項式をもつ {{math|'''P'''<sup>''n''</sup>}} の閉部分スキームをパラメトライズする。ヒルベルトスキームは、[[グラスマン多様体]]は特別な場合であるが、それ自身射影スキームでもある。[[幾何学的不変式論]]は別のアプローチを提供する。古典的なアプローチは[[タイヒミュラー空間]]や{{仮リンク|周多様体|en|Chow variety}}を含む。

古典にさかのぼる特に豊かな理論が、複素射影多様体、すなわち {{mvar|X}} を定義する多項式が[[複素数|複素]]係数を持つ場合にある。大まかには、[[代数幾何学と解析幾何学|GAGA の原理]]により、射影複素解析空間（あるいは多様体）の幾何学は射影複素多様体の幾何学と等しい。例えば、{{mvar|X}} 上の[[正則ベクトル束]]（より一般に[[連接層|連接解析的層]]）の理論は、代数的ベクトル束の理論と一致する。Chow の定理により、射影空間の部分集合が正則関数の族の零点集合であることと斉次多項式の零点集合であることは同値である。複素射影多様体に対する解析的な手法と代数的な手法の組合せは[[ホッジ理論]]のような分野に通じる。

== 多様体と概型の構造 ==

=== 多様体の構造 ===
{{mvar|k}} を代数閉体とする。射影多様体の定義の基本は射影空間 {{math|'''P'''<sup>''n''</sup>}} であり、これは異なるが同値な方法で定義できる：
* {{math|''k''<sup>''n'' + 1</sup>}} において原点を通るすべての直線（すなわち1次元部分ベクトル空間）の集合
* 組 <math>(x_0, \dots, x_n) \in k^{n+1}</math> を同値関係：任意の <math>\lambda \in k \backslash \{ 0 \}</math> に対して
:<math>(x_0, \dots, x_n) \sim \lambda (x_0, \dots, x_n)</math>
:で割った集合。そのような組の同値類は
:<math>[x_0: \dots: x_n]</math>
:と書かれ、[[斉次座標]]と呼ばれる。

'''射影多様体'''は、定義により、{{math|'''P'''<sup>''n''</sup>}} の[[ザリスキ位相]]で閉な部分多様体である<ref>{{citation|author=Shafarevich|first=Igor R.|authorlink=Igor Shafarevich|title=Basic Algebraic Geometry 1: Varieties in Projective Space|publisher=Springer|year=1994}}</ref>。一般に、ザリスキ位相での閉部分集合は、多項式関数の零点集合として定義される。多項式 <math>f \in k[x_0, \dots, x_n]</math> が与えられたとき、条件
:<math>f([x_0: \dots: x_n]) = 0</math>
は任意の多項式に対しては意味をなさず、{{mvar|f}} は[[斉次多項式|斉次]]、すなわちすべての[[単項式]]（和が {{mvar|f}}）の全次数が同じでなければならない。この場合、
:<math>f(\lambda x_0, \dots, \lambda x_n) = \lambda^{\deg f} f(x_0, \dots, x_n)</math>
が消えることは <math>\lambda (\ne 0)</math> の選択に依らない。

したがって、射影多様体は <math>k[x_0, ..., x_n]</math> の斉次[[素イデアル]] {{mvar|I}} から
:<math>X = \{[x_0: \dots: x_n] \in \mathbf P^n, f([x_0: \dots: x_n]) = 0 \text{ for all }f \in I\}</math>
として生じる。

さらに、射影多様体 {{mvar|X}} は代数多様体である、すなわち開アフィン部分多様体によって被覆され、分離公理を満たす。したがって、{{mvar|X}} の局所的な研究（例えば特異点）はアフィン多様体の研究に帰着される。明示的な構造は以下のようである。射影空間 {{math|'''P'''<sup>''n''</sup>}} は標準的な開アフィンチャート
:<math>U_i = \{[x_0: \dots: x_n], x_i \ne 0 \}</math>
によって被覆され、これ自身は座標環 <math>k[y^{(i)}_1, \dots, y^{(i)}_n], y^{(i)}_j = x_j/x_i</math> を持つアフィン {{mvar|n}} 空間である。表記の簡単のため {{math|1=''i'' = 0}} とし、上付き添え字 {{math|(0)}} を落とす。すると <math>X \cap U_0</math> は、すべての {{math|''f'' &isin; ''I''}} に対して
:<math>f(1, y_1, \dots, y_n)</math>
によって生成される <math>k[y_1, \dots, y_n]</math> のイデアルによって定義される、<math>U_0 \simeq \mathbb{A}^n</math> の閉部分多様体である。したがって、{{mvar|X}} は {{math|''n'' + 1}} 個の開アフィンチャート <math>X \cap U_i</math> によって被覆される代数多様体である。

{{mvar|X}} はアフィン多様体 <math>X \cap U_0</math> の {{math|'''P'''<sup>''n''</sup>}} における閉包であることに注意。逆に、閉（アフィン）多様体 <math>V \subset U_0 \simeq \mathbb{A}^n</math> から始めて、{{mvar|V}} の {{math|'''P'''<sup>''n''</sup>}} における閉包は {{mvar|V}} の'''{{vanchor|射影完備化}}'''と呼ばれる射影多様体である。<math>I \subset k[y_1, \dots, y_n]</math> が {{mvar|V}} を定義するとき、この閉包の定義イデアルは <math>k[x_0, \dots, x_n]</math> の斉次イデアルですべての {{math|''f'' &isin; ''I''}} に対する
:<math>x_0^{\operatorname{deg}(f)} f(x_1/x_0, \dots, x_n/x_0)</math>
によって生成されるものである<ref group="注">この斉次イデアルは {{mvar|I}} の斉次化と呼ばれることがある。</ref>。

例えば、{{mvar|V}} がアフィン平面において <math>y^2 = x^3 + ax + b</math> によって与えられるアフィン曲線であれば、射影平面におけるその射影完備化は <math>y^2 z = x^3 + ax z^2 + b z^3</math> によって与えられる。

=== 射影スキーム ===
様々な応用のため、射影多様体よりも一般的な代数幾何学的対象、すなわち射影スキームを考える必要がある。射影スキームへの最初のステップは、射影空間に次のようにスキーム構造を与えることである：代数多様体としての射影空間の上記の記述を洗練する、すなわち、{{math|'''P'''<sup>''n''</sup>(''k'')}} はアフィン {{mvar|n}} 空間 {{mvar|k<sup>n</sup>}} の {{math|(''n'' + 1)}} 個のコピーの合併であるスキームである。より一般に{{sfn|Mumford|1999|p=82}}、環 {{mvar|A}} 上の射影空間はアフィンスキーム
:<math>U_i = \operatorname{Spec} A[x_1/x_i, \dots, x_n/x_i], \quad 0 \le i \le n,</math>
が変数が期待通り協調的になるように貼り合わさったものである。すると、代数閉体 {{mvar|k}} に対し、<math>\mathbf{P}^n_k</math> の[[閉点]]の集合は、普通の意味での射影空間 {{math|'''P'''<sup>''n''</sup>(''k'')}} である。

同値だが簡素な構成は {{仮リンク|Proj 構成|en|Proj construction}}によって与えられ、これは[[アフィンスキーム]]を定義する[[環のスペクトル]] “{{math|Spec}}” の類似である{{sfn|Hartshorne|1977|loc=Section II.5}}。例えば、{{mvar|A}} が環のとき、
:<math>\mathbf{P}^n_A = \operatorname{Proj}A[x_0, \ldots, x_n]</math>
である。{{mvar|R}} が <math>k[x_0, \ldots, x_n]</math> の斉次イデアル {{mvar|I}} による[[商環|商]]であるとき、自然な全射は {{仮リンク|closed immersion|en|closed immersion}}
:<math>\operatorname{Proj} R \to \mathbf{P}^n_k</math>
を誘導する。射影多様体と比べて、イデアル {{mvar|I}} が素イデアルであるという条件が落ちている。これによりはるかに柔軟な概念が得られる：1つには、[[位相空間]] <math>X = \operatorname{Proj} R</math> は複数の[[既約成分]]を持ち得る。さらに、{{mvar|X}} 上の[[冪零]]関数が存在し得る。

<math>\mathbf{P}^n_k</math> の閉部分スキームは <math>k[x_0, \ldots, x_n]</math> の斉次イデアル {{mvar|I}} で {{仮リンク|saturated ideal|en|saturated ideal|label=saturated}} なもの、すなわち <math>I : (x_0, \dots, x_n) = I</math> なものと全単射に対応する{{sfn|Mumford|1999|p=111}}。この事実は{{仮リンク|射影零点定理|en|projective Nullstellensatz}}の洗練版と考えることができる。

上記の座標に依らない類似を与えることができる。すなわち、{{mvar|k}} 上の有限次元ベクトル空間 {{mvar|V}} が与えられたとき、
:<math>\mathbf{P}(V) = \operatorname{Proj} k[V]</math>
とおく、ただし <math>k[V] = \operatorname{Sym}(V^*)</math> は <math>V^*</math> の[[対称代数]]である<ref group="注">この定義は {{harvnb|Eisenbud–Harris|2000|loc=III.2.3}} とは異なるが、ウィキペディアの他の記事と整合的である。</ref>。それは {{mvar|V}} の{{仮リンク|射影化|en|projectivization}}である、すなわち、それは {{mvar|V}} 内の直線をパラメトライズする。自然な全射 <math>\pi \colon V - 0 \to \mathbf{P}(V)</math> があり、上述のチャートを用いて定義される<ref group="注">cf. the proof of {{harvnb|Hartshorne|1977|loc=Ch II, Theorem 7.1}}</ref>。この構成の1つの重要な利用は以下のようである（詳細は下を参照）。射影多様体 {{mvar|X}} 上の因子 {{mvar|D}} は直線束 {{mvar|L}} と対応する。
:<math>|D| = \mathbf{P}(\Gamma(X, L))</math>
とおき、これを {{mvar|D}} の {{仮リンク|complete linear system|en|complete linear system}} と呼ぶ。

[[ネータースキーム]] {{mvar|S}} 上の射影空間は[[ファイバー積]]
:<math>\mathbf{P}^n_S = \mathbf{P}_\mathbf{Z}^n \times_{\operatorname{Spec}\mathbf{Z}} S</math>
として定義される。<math>\mathcal{O}(1)</math> が <math>\mathbf{P}_\mathbf{Z}^n</math> 上の{{仮リンク|セールの捩り層|en|twisting sheaf of Serre}}であるとき、<math>\mathcal{O}(1)</math> で <math>\mathcal{O}(1)</math> の <math>\mathbf{P}^n_S</math> への{{仮リンク|引き戻し (数学)#ファイバー積|label=引き戻し|en|pullback#Fibre-product}}を表す。つまり、自然な写像 <math>g \colon \mathbf{P}^n_{S} \to \mathbf{P}^n_{\mathbf{Z}}</math> に対して <math>\mathcal{O}(1) = g^*(\mathcal{O}(1))</math> である。

スキーム {{math|''X'' → ''S''}} が {{mvar|S}} 上'''射影的'''であるとは、閉埋め込み
:<math>X \to \mathbf{P}^n_S</math>
と {{mvar|S}} への射影の合成として分解するときをいう。

== 完備多様体との関係 ==

定義により、多様体が{{ill2|完備代数多様体|label=完備|en|complete variety}}であるとは、{{mvar|k}} 上[[固有写像|固有]]であるときをいう。The {{ill2|valuative criterion of properness|en|valuative criterion of properness}} expresses the intuition that in a proper variety, there are no points "missing".

完備多様体と射影多様体の間には密接な関係がある：一方には、射影空間はしたがって任意の射影多様体は完備である。逆は一般には正しくない。しかしながら：
*{{仮リンク|特異点論#代数曲線の特異点|en|Singularity theory#Algebraic curve singularities|label=滑らかな曲線}} {{mvar|C}} が射影的であることと{{仮リンク|完備代数多様体|en|Complete variety|label=完備}}であることは同値である。これは {{mvar|C}} を {{mvar|k}} 上の[[代数多様体の関数体|関数体]] {{math|''k''(''C'')}} の[[離散付値環]]の集合たちと同一視することによって証明される。この集合は{{仮リンク|ザリスキー–リーマン空間|en|Zariski–Riemann space}}と呼ばれる自然なザリスキー位相を持つ。
* {{ill2|チャウの補題|en|Chow's lemma}}は、任意の完備多様体 {{mvar|X}} に対し、射影多様体 {{mvar|Z}} と[[双有理射]] {{math|''Z'' → ''X''}} が存在すると述べている{{sfn|Grothendieck|Dieudonné|1961|loc=5.6}}。（さらに、{{仮リンク|正規多様体|en|normal variety|label=正規化}}により、この射影多様体は正規とできる。）

射影多様体のいくつかの性質は完備性から従う。例えば、
:<math>\Gamma(X, \mathcal{O}_X) = k</math>
が {{mvar|k}} 上の任意の射影多様体 {{mvar|X}} に対して成り立つ{{sfn|Hartshorne|1977|loc=Ch II. Exercise 4.5}}。この事実は[[リュービルの定理 (複素解析)|リュービルの定理]]（連結コンパクト複素多様体上の任意の正則関数は定数である）の代数類似である。実は、複素射影多様体上の複素解析幾何と代数幾何の間には以下に説明されるようにはるかに大きな類似が成り立つ。

[[準射影多様体]]は、定義により、射影多様体の開部分多様体である多様体である。この多様体のクラスは[[アフィン多様体]]を含む。アフィン多様体はほとんど決して完備（あるいは射影的）ではない。実際、アフィン多様体の射影部分多様体の次元は 0 でなければならない。なぜならば、射影多様体上の大域的に[[正則写像|正則]]な関数は定数のみだからである。

== 例と基本的な不変量 ==

定義により、多項式環の任意の斉次イデアルは射影スキームを生じる（多様体を与えるには素イデアルでなければならない）。この意味で、射影多様体の例はたくさんある。以下のリストは、特に熱烈に研究されてきたために特筆すべき射影多様体の様々なクラスに言及している。複素射影多様体すなわち {{math|1=''k'' = '''C'''}} のときの重要なクラスはさらに下で議論される。
 
2つの射影空間の積は射影的である。実は、（{{仮リンク|セグレ埋め込み|en|Segre embedding}}と呼ばれる）明示的な埋め込みがある：
:<math>\mathbf{P}^n \times \mathbf{P}^m \to \mathbf{P}^{(n+1)(m+1)-1}, (x_i, y_j) \mapsto x_iy_j.</math> 
その結果、射影多様体の[[ファイバー積]]は再び射影的である。{{仮リンク|プリュッカー埋め込み|en|Plücker embedding}}は[[グラスマン多様体]]を射影多様体として表す。{{仮リンク|一般化旗多様体|en|Generalized flag variety|label=旗多様体}}、例えば[[一般線型群]] <math>GL_n(k)</math> を[[上三角行列]]のなす部分群で割った商、もまた射影的であり、これは[[代数群]]の理論において重要な事実である<ref>{{citation|author=Humphreys|first=James|title=Linear algebraic groups|publisher=Springer|year=1981}}, Theorem 21.3.</ref>。

=== 斉次座標環とヒルベルト多項式 ===
{{main|ヒルベルト級数とヒルベルト多項式}}
射影多様体 {{mvar|X}} を定義する素イデアル {{mvar|P}} は斉次だから、[[斉次座標環]]
:<math>R = k[x_0, \dots, x_n] / P</math>
は[[次数環]]である、すなわち、その次数成分の[[直和]]として書ける：
:<math>R = \bigoplus_{n \in \mathbf N} R_n.</math>
ある多項式 {{mvar|P}} が存在して、<math>\dim R_n = P(n)</math> が十分大きいすべての {{mvar|n}} に対して成り立つ。この多項式は {{mvar|X}} の[[ヒルベルト多項式]]と呼ばれる。それは {{mvar|X}} の外在的な幾何をエンコードする数値的不変量である。{{mvar|P}} の次数は {{mvar|X}} の{{仮リンク|代数多様体の次元|en|dimension of an algebraic variety|label=次元}} {{mvar|r}} であり、その頭係数に {{math|''r''!}} を掛けたものは多様体 {{mvar|X}} の{{仮リンク|代数多様体の次数|en|degree of an algebraic variety|label=次数}}である。{{mvar|X}} の{{仮リンク|数論的種数|en|arithmetic genus}}は {{mvar|X}} が滑らかなとき {{math|(−1)<sup>''r''</sup> (''P''(0) − 1)}} である。

例えば、{{math|'''P'''<sup>''n''</sup>}} の斉次座標環は <math>k[x_0, \ldots, x_n]</math> であり、そのヒルベルト多項式は <math>P(z) = \binom{z+n}{n}</math> である。その数論的種数は 0 である。

斉次座標環 {{mvar|R}} が[[整閉整域]]ならば、射影多様体 {{mvar|X}} は[[射影的に正規]]と言われる。正規性とは異なり、射影正規性は {{mvar|R}}, {{mvar|X}} の射影空間への埋め込みに依る。射影多様体の正規化は射影的である。実際、それは {{mvar|X}} のある斉次座標環の整閉包の Proj である。

=== 次数 ===
{{main|{{仮リンク|代数多様体の次数|en|Degree of an algebraic variety}}|{{仮リンク|ヒルベルト級数とヒルベルト多項式|en|Hilbert series and Hilbert polynomial}}}}
<math>X \subset \mathbb{P}^N</math> を射影多様体とする。{{mvar|X}} の次数をその埋め込みに対して定義する少なくとも2つの同値な方法がある。1つ目の方法はそれを有限集合
:<math>\# (X \cap H_1 \cap \cdots \cap H_d)</math>
の濃度として定義するものである。ここで {{mvar|d}} は {{mvar|X}} の次元で、{{mvar|H{{sub|i}}}} たちは「一般の位置」にある超平面である。この定義は次数の直観的なアイデアに対応する。実際、{{mvar|X}} が超曲面のとき、{{mvar|X}} の次数は {{mvar|X}} を定義する斉次多項式の次数である。「一般の位置」は、例えば[[交叉理論]]によって正確にできる；交叉が {{仮リンク|proper intersection|en|proper intersection|label=proper}} で、既約成分の重複度がすべて 1 であることを課す。

前の節で述べられた他の定義は、{{mvar|X}} の次数は {{mvar|X}} の[[ヒルベルト多項式]]の頭係数掛ける {{math|(dim ''X'')!}} である。幾何学的には、この定義は、{{mvar|X}} の次数は {{mvar|X}} 上のアフィン錐の頂点の重複度であることを意味する{{sfn|Hartshorne|loc=Ch. V, Exercise 3.4. (e).}}。

<math>V_1, \dots, V_r \subset \mathbb{P}^N</math> を proper に交わる純次元の閉部分スキームとする（それらは一般の位置にある）。{{mvar|m{{sub|i}}}} を交叉における既約成分 {{mvar|Z{{sub|i}}}} の重複度（すなわち{{仮リンク|交叉重複度|en|intersection multiplicity}}）とすると、[[ベズーの定理]]の一般化は次の主張である{{sfn|Fulton|1998|loc=Proposition 8.4.}}：
:<math>\sum_1^s m_i \operatorname{deg} Z_i = \prod_1^r \operatorname{deg} V_i.</math>
交叉重複度 {{mvar|m{{sub|i}}}} は {{math|'''P'''{{sup|''N''}}}} の{{仮リンク|チャウ環|en|Chow ring}}における交叉積 <math>V_1 \cdot {\dots} \cdot V_r</math> における {{mvar|Z{{sub|i}}}} の係数として定義できる。

特に、<math>H \subset \mathbb{P}^N</math> が {{mvar|X}} を含まない超曲面のとき、
:<math>\sum_1^s m_i \operatorname{deg} Z_i = \operatorname{deg}(X) \operatorname{deg}(H)</math>
である、ただし {{mvar|Z<sub>i</sub>}} たちは {{mvar|X}} と {{mvar|H}} の重複度（局所環の長さ）{{mvar|m{{sub|i}}}} の{{仮リンク|スキーム論的交叉|en|scheme-theoretic intersection}}の既約成分である。

=== 切断の環 ===
{{mvar|X}} を射影多様体とし、{{mvar|L}} をその上の直線束とする。このとき次数環
:<math>R(X, L) = \bigoplus_{n=0}^{\infty} H^0(X, L^{\otimes n})</math>
は {{mvar|L}} の{{仮リンク|切断の環|en|ring of sections}}と呼ばれる。{{mvar|L}} が[[豊富な直線束|豊富]]であれば、この環の {{math|Proj}} は {{mvar|X}} である。さらに、{{mvar|X}} が正規で {{mvar|L}} が非常に豊富ならば、{{math|''R''(''X'', ''L'')}} は {{mvar|L}} によって決定される {{mvar|X}} の斉次座標環の整閉包である、すなわち、<math>X \hookrightarrow \mathbb{P}^N</math> なので <math>\mathcal{O}_{\mathbb{P}^N}(1)</math> は {{mvar|L}} にプルバックする{{sfn|Hartshorne|loc=Ch. II, Exercise 5.14. (a)}}。

応用のためには、直線束だけでなく[[因子 (代数幾何学)|因子]]（あるいは {{mathbf|Q}} 因子）を許すことが有用である。{{mvar|X}} が正規と仮定して、得られる環は generalized ring of sections と呼ばれる。{{mvar|K{{sub|X}}}} を {{mvar|X}} 上の[[標準因子]]とすると、generalized ring of sections
:<math>R(X, K_X)</math>
は {{mvar|X}} の[[標準環]]と呼ばれる。標準環が有限生成のとき、環の Proj は {{mvar|X}} の[[標準模型]]と呼ばれる。標準環あるいは模型は {{mvar|X}} の[[小平次元]]を定義するのに使われる。

=== 射影曲線 ===
{{see|代数曲線}}
1次元の射影スキームは'''射影曲線'''と呼ばれる。射影曲線の理論の多くは滑らかな射影曲線についてである、なぜならば曲線の[[代数多様体の特異点|特異点]]は、正則関数環の[[整閉包]]を局所的にとる{{仮リンク|代数多様体の正規化|en|Normalization of an algebraic variety|label=正規化}}によって解消できるからである。滑らかな射影曲線が同型であることとそれらの[[代数多様体の関数体|関数体]]が同型であることは同値である。{{math|'''F'''{{sub|''p''}}(''t'')}} の有限拡大の研究、あるいは同じことであるが {{math|'''F'''{{sub|''p''}}}} 上の滑らかな射影曲線の研究は、[[代数的整数論]]の重要な分野である<ref>{{citation|author=Rosen|first=Michael|title=Number theory in Function Fields|year=2002|publisher=Springer}}</ref>。

種数 1 の滑らかな射影曲線は[[楕円曲線]]と呼ばれる。[[リーマン・ロッホ]]の定理の結果として、そのような曲線は {{math|'''P'''<sup>2</sup>}} 内の閉部分多様体として埋め込むことができる。一般に、任意の（滑らかな）射影曲線は {{math|'''P'''<sup>3</sup>}} に埋め込むことができる。逆に、{{math|'''P'''<sup>2</sup>}} 内の次数 3 の任意の滑らかな閉曲線は{{仮リンク|種数公式|en|genus formula}}によって種数 1 をもちしたがって楕円曲線である。

種数 2 以上の滑らかな完備曲線は、次数 2 の有限射 {{math|''C'' &rarr; '''P'''{{sup|1}}}} が存在するとき、[[超楕円曲線]]と呼ばれる{{sfn|Hartshorne|1977|Ch IV, Exercise 1.7.}}。

=== 射影超曲面 ===

{{math|'''P'''<sup>''n''</sup>}} の余次元 1 の任意の既約閉部分集合は[[超曲面]]である、すなわち、ある斉次既約多項式の零点集合である<ref>{{harvnb|Hartshorne|1977|loc=Ch I, Exercise 2.8}}; その理由は、{{'''P'''<sup>''n''</sup>}} の斉次座標環は[[一意分解整域]]であって、そのような環では高さ 1 の任意の素イデアルは単項イデアルだからである。</ref>。

=== アーベル多様体 ===
射影多様体 {{mvar|X}} の別の重要な不変量は {{mvar|X}} の[[ピカール群]] {{math|Pic(''X'')}}, {{mvar|X}} 上の直線束の同型類全体の集合、である。それは <math>H^1(X, \mathcal O_X^*)</math> に同型であり、したがって（埋め込みに依らない）内在的な概念である。例えば、{{math|'''P'''<sup>''n''</sup>}} のピカール群は次数写像により {{mathbf|Z}} に同型である。写像 {{math|deg: Pic(''X'') &rarr; '''Z'''}} の核は、単に抽象アーベル群であるだけでなく、{{mvar|X}} の[[ヤコビ多様体]] {{math|Jac(''X'')}} と呼ばれる多様体があり、この点たちはその群に等しい。（滑らかな）曲線のヤコビ多様体は曲線の研究において重要な役割を果たす。例えば、楕円曲線 {{mvar|E}} のヤコビ多様体は {{mvar|E}} 自身である。種数 {{mvar|g}} の曲線 {{mvar|X}} に対して、{{math|Jac(''X'')}} の次元は {{mvar|g}} である。

ヤコビ多様体のような完備かつ群構造を持つ多様体は、[[ニールス・アーベル]]に敬意を表して、[[アーベル多様体]]と呼ばれる。{{math|''GL{{sub|n}}''(''k'')}} のような[[アファイン代数群]]とは大いに異なって、そのような群は必ず可換であり、それでそのような名前がついている。さらに、アーベル多様体は豊富な[[直線束]]をもち、したがって射影的である。一方、[[アーベルスキーム]]は射影的とは限らない。アーベル多様体の例には楕円曲線やヤコビ多様体、[[K3曲面]]がある。

== 射影 ==
<math>E \subset \mathbb{P}^n</math> を線型部分空間とする、すなわち、ある線型独立な線型汎関数 {{mvar|s{{sub|i}}}} たちに対して <math>E = \{ s_0 = s_1 = \dots = s_r = 0 \}</math> である。このとき {{mvar|E}} '''からの射影'''は (well-defined な) 射
:<math>\phi \colon \mathbb{P}^n - E \to \mathbb{P}^r, \, x \mapsto [s_0(x) : \cdots : s_r(x)]</math>
である。
*この写像の幾何学的記述は以下のようである{{sfn|Shafarevich|1994|loc=Ch. I. § 4.4. Example 1.}}。<math>\mathbb{P}^r \subset \mathbb{P}^n</math> と見て、したがってそれは {{mvar|E}} と交わらない。すると、任意の <math>x \in \mathbb{P}^n - E</math> に対して、
*:<math>\phi(x) = W_x \cap \mathbb{P}^r</math>
:である、ただし {{mvar|W{{sub|x}}}} で {{mvar|E}} と {{mvar|x}} を含む最小の線型空間（{{mvar|E}} と {{mvar|x}} の{{仮リンク|結び (代数幾何学)|label=結び|en|join (algebraic geometry)}}と呼ばれる）を表した。
*<math>\phi^{-1}(\{ y_i \ne 0 \}) = \{ s_i \ne 0 \}</math>, ただし <math>y_i</math> は <math>\mathbb{P}^r</math> の斉次座標。
*{{mvar|E}} と交わらない任意の閉部分スキーム <math>Z \subset \mathbb{P}^n</math> に対して、制限
*:<math>\phi \colon Z \to \mathbb{P}^r</math>
:は[[有限射]]である{{sfn|Mumford|loc=Ch. II, § 7. Proposition 6.}}。

射影は、[[有限射]]の違いを除いて、射影多様体が埋め込まれている次元を減らすのに使うことができる。射影多様体 <math>X \subset \mathbb{P}^n</math> から始めよう。{{math|''n'' > dim ''X''}} ならば、{{mvar|X}} 上にない点からの射影は {{math|''&phi;'': ''X'' &rarr; '''P'''{{sup|''n'' &minus; 1}}}} を与える。さらに、{{mvar|&phi;}} はその像への有限射である、したがって、この手続きを繰り返して、有限射
:<math>X \to \mathbb{P}^d, \, d = \operatorname{dim} X</math>
があることが分かる。この結果は[[ネーターの正規化定理]]の射影類似である。（実は、それは正規化定理の幾何学的証明を与える。）

同じ手続きは以下の僅かにより正確な結果を示すのに使える：完全体上の射影多様体 {{mvar|X}} が与えられると、{{mvar|X}} から <math>\mathbb{P}^{d+1}</math> 内の超曲面 {{mvar|H}} への有限双有理射が存在する{{sfn|Hartshorne|loc=Ch. I, Exercise 4.9.}}。特に、{{mvar|X}} が正規ならば、それは {{mvar|H}} の正規化である。

== 直線束と因子 ==
{{main|豊富な直線束}}

射影多様体には著しい性質が多いため、与えられた多様体が射影的であることを示す有効な判定法があることが望ましい。そのような判定法は'''非常に豊富な直線束'''の概念を用いて定式化できる。

{{mvar|X}} を環 {{mvar|A}} 上のスキームとする。射
:<math>\phi \colon X \to \mathbf{P}^n_A = \operatorname{Proj} A[x_0, \dots, x_n]</math>
があるとする。このとき、この写像に沿って、{{仮リンク|セールの捩り層|en|Serre twisting sheaf}} <math>\mathcal{O}(1)</math> は {{mvar|X}} 上の[[直線束]] {{mvar|L}} にプルバックし、これは大域切断 <math>\phi^*(x_i)</math> によって生成される{{sfn|Hartshorne|1977|loc=Ch II, Theorem 7.1}}。逆に、大域切断 <math>s_0, ..., s_n</math> によって生成される任意の直線束 {{mvar|L}} は、斉次座標で <math>\phi(x) = [s_0(x): \dots : s_n(x)]</math> によって与えられる射
:<math>\phi \colon X \to \mathbf{P}^n_A</math>
を定義する。この写像 {{mvar|&phi;}} は <math>L \cong \phi^*(\mathcal{O}(1))</math> および <math>s_i = \phi^*(x_i)</math> を満たす。さらに、{{mvar|&phi;}} が closed immersion であることと、<math>X_i</math> たちがアファインで <math>\Gamma(U_i, \mathcal{O}_{\mathbf{P}^n_A}) \to \Gamma(X_i, \mathcal{O}_{X_i})</math> が全射であることと同値である{{sfn|Hartshorne|1977|loc=Ch II, Proposition 7.2}}。<!--
Let <math>\mathcal{M}_X</math> be the sheaf on ''X'' associated with <math>U \mapsto </math> the total ring of fractions of <math>\Gamma(U, \mathcal{O}_X)</math>. A global section of <math>\mathcal{M}_X^*/\mathcal{O}_X^*</math> (* means multiplicative group) is called a [[Cartier divisor]] on ''X''. The notion actually adds nothing new: there is the canonical bijection
:<math>D \mapsto \mathcal{L}(D)</math>
from the set of all Cartier divisors on ''X'' to the set of all line bundles on ''X''.-->

{{mvar|S}} 上のスキーム {{mvar|X}} 上の直線束（可逆層）<math>\mathcal{L}</math> が {{mvar|S}} に対して[[豊富な直線束|非常に豊富]]であるとは、
there is an [[Immersion (mathematics)|immersion]] (i.e., an open immersion followed by a closed immersion) 
:<math>i \colon X \to \mathbf{P}^n_S</math>
for some ''n'' so that <math>\mathcal{O}(1)</math> pullbacks to <math>\mathcal{L}</math>
ときにいう。このとき {{mvar|S}}-スキーム {{mvar|X}} が射影的であることと、
それが is [[proper morphism|proper]] and there exists a very ample sheaf on ''X'' relative to ''S''
であることは同値である。実際、{{mvar|X}} が proper ならば、非常に豊富な直線束に対応する immersion は閉でなければならない。逆に、{{mvar|X}} が射影的ならば、{{mvar|X}} の射影空間への closed immersion による <math>\mathcal{O}(1)</math> のプルバックは非常に豊富である。「射影」ならば「固有」は、より難しい{{dubious|date=November 2016}}：'''{{仮リンク|除去理論|en|elimination theory}}の主定理'''である。

== 連接層のコホモロジー ==
{{main|連接層}}
{{mvar|X}} を体（あるいはより一般にネーター環 {{mvar|A}}）上の射影スキームとする。{{mvar|X}} 上の{{仮リンク|連接コホモロジー|label=連接層 <math>\mathcal F</math> のコホモロジー|en|Coherent cohomology}} はセールによる以下の重要な定理を満たす。
#<math>H^p(X, \mathcal{F})</math> は任意の {{mvar|p}} に対して有限次元 {{mvar|k}} ベクトル空間である。
#次のような整数 {{math|''n''{{sub|0}}}}（<math>\mathcal{F}</math> に依存する；{{仮リンク|Castelnuovo–Mumford 正則性|en|Castelnuovo–Mumford regularity}}も参照）が存在する：
::<math>H^p(X, \mathcal{F}(n)) = 0</math>
::for all <math>n \ge n_0</math> and ''p'' > 0, where <math>\mathcal F(n) = \mathcal F \otimes \mathcal O(n)</math> is the twisting with a power of a very ample line bundle <math>\mathcal{O}(1)</math>
これらの結果は、同型
:<math>H^p(X, \mathcal{F}) = H^p(\mathbf{P}^r, \mathcal{F}), p \ge 0</math>
を用いて <math>X= \mathbf P^n</math> の場合に帰着することで示される。ここで右辺の <math>\mathcal{F}</math> は零拡張によって射影空間上の層と見る<ref group="注">これは難しくない{{harv|Hartshorne|1977|loc=Ch III. Lemma 2.10}}：<math>\mathcal{F}</math> の{{仮リンク|脆弱分解|en|flasque resolution}} とその射影空間全体への零拡張を考える。</ref>。すると結果は任意の整数 {{mvar|n}} に対する <math>\mathcal{F} = \mathcal{O}_{\mathbf{P}^r}(n)</math> に対する直接計算から従い、任意の <math>\mathcal F</math> に対しては大して難しくなくこの場合に帰着される{{sfn|Hartshorne|1977|loc=Ch III. Theorem 5.2}}。

上の 1 の系として、{{mvar|f}} がネータースキームからネーター環への射影射ならば、高次順像 <math>R^p f_* \mathcal{F}</math> は coherent である。同じ結果は固有射 {{mvar|f}} に対しても成り立ち、[[チャウの補題]]の助けを借りて示すことができる。

ネーター位相空間上の[[層コホモロジー]]群 {{mvar|H<sup>i</sup>}} は空間の次元よりも真に大きい {{mvar|i}} に対して消える。したがって、<math>\mathcal{F}</math> の[[オイラー標数]]と呼ばれる量
:<math>\chi(\mathcal{F}) = \sum_{i=0}^\infty (-1)^i \operatorname{dim} H^i(X, \mathcal{F})</math>
は（射影的な {{mvar|X}} に対して）well-defined な整数である。すると、<math>\chi(\mathcal{F}(n)) = P(n)</math> がある有理数体上の多項式 {{mvar|P}} に対して成り立つことを示すことができる{{sfn|Hartshorne|1977|loc=Ch III. Exercise 5.2}}。この手続きを構造層 <math>\mathcal{O}_X</math> に適用して、{{mvar|X}} のヒルベルト多項式が復元される。特に、{{mvar|X}} が既約で次元が {{mvar|r}} ならば、{{mvar|X}} の数論的種数は
:<math>(-1)^r (\chi(\mathcal{O}_X) - 1)</math>
で与えられ、これは明らかに内在的、すなわち埋め込みに依らない。

次数 {{mvar|d}} の超曲面の数論的種数は <math>\mathbf{P}^n</math> において <math>\binom{d-1}{n}</math> である。特に、{{math|'''P'''<sup>2</sup>}} 内の次数 {{mvar|d}} の滑らかな曲線の数論的種数は {{math|(''d'' − 1)(''d'' − 2)/2}} である。これが{{仮リンク|種数公式|en|genus formula}}である。

== 滑らかな射影多様体 ==
{{mvar|X}} を滑らかな射影多様体ですべての既約成分が {{mvar|n}} 次元であるものとする。この状況において、[[標準層]] {{mvar|ω<sub>X</sub>}} は、top degree の[[ケーラー微分]]（すなわち代数的 {{mvar|n}} 形式）の層として定義され、直線束である。

===セール双対性===
[[セール双対性]]は、{{mvar|X}} 上の任意の局所自由層 <math>\mathcal{F}</math> に対して
:<math>H^i(X, \mathcal{F}) \simeq H^{n-i}(X, \mathcal{F}^\vee \otimes \omega_X)'</math>
というものである、ただしプライムは双対空間を意味し、<math>\mathcal{F}^\vee</math> は
<math>\mathcal{F}</math> の双対層である。滑らかとは限らない射影スキームへの一般化は{{仮リンク|ヴェルディエ双対性|en|Verdier duality}}として知られている。

===リーマン・ロッホの定理===
（滑らかな射影）曲線 {{mvar|X}} に対し、{{math|''H''<sup>2</sup>}} および高次は次元の理由のため消え、構造層の大域切断の空間は 1 次元である。したがって {{mvar|X}} の数論的種数は <math>H^1(X, \mathcal{O}_X)</math> の次元である。定義により、{{mvar|X}} の{{仮リンク|幾何学的種数|en|geometric genus}}は {{math|''H''<sup>0</sup>(''X'', ''ω''<sub>''X''</sub>)}} の次元である。セール双対性はしたがって数論的種数と幾何学的種数が一致することを意味する。それらは単に {{mvar|X}} の種数と呼ばれる。

セール双対性は[[リーマン・ロッホの定理]]の証明の重要な要素でもある。{{mvar|X}} は滑らかだから、{{仮リンク|ヴェイユ因子|en|Weil divisor|label=（ヴェイユ）因子}}を主因子で割った群から直線束の同型類の群への群同型
:<math>\operatorname{Cl}(X) \to \operatorname{Pic}(X), D \mapsto \mathcal{O}(D)</math>
が存在する。{{mvar|ω<sub>X</sub>}} に対応する因子は標準因子と呼ばれ、{{mvar|K}} と書かれる。{{math|''l''(''D'')}} を <math>H^0(X, \mathcal{O}(D))</math> の次元とする。するとリーマン・ロッホの定理の主張は以下のようである。{{mvar|g}} が {{mvar|X}} の種数のとき、
:<math>l(D) -l(K - D) = \operatorname{deg} D + 1 - g</math>
が {{mvar|X}} 上の任意の因子 {{mvar|D}} に対して成り立つ。セール双対性により、これは
:<math>\chi(\mathcal{O}(D)) = \operatorname{deg} D + 1 - g</math>
と言っても同じであり、直ちに証明できる{{sfn|Hartshorne|1977|loc=Ch IV. Theorem 1.3}}。リーマン・ロッホの定理の高次元への一般化は[[ヒルツェブルフ・リーマン・ロッホの定理]]や遠大な{{仮リンク|グロタンディーク・リーマン・ロッホの定理|en|Grothendieck-Riemann-Roch theorem}}である。

== ヒルベルトスキーム ==

'''[[ヒルベルトスキーム]]'''は、{{mvar|H}} の（関手的な意味での）点が射影スキーム {{mvar|X}} の閉部分スキームに対応するという意味で、{{mvar|X}} のすべての閉部分多様体をパラメトライズする。そのようなものとして、ヒルベルトスキームは[[モジュライ空間]]、すなわち点が他の幾何学的対象をパラメトライズする幾何学的対象の例である。より正確には、ヒルベルトスキームは[[ヒルベルト多項式]]が所定の多項式 {{mvar|P}} に等しい閉部分多様体をパラメトライズする{{sfn|Kollár|1996|loc=Ch. I 1.4}}。グロタンディークによる深い定理によって、{{mvar|k}} 上のスキーム<ref group="注">To make the construction work, one needs to allow for a non-variety.</ref> <math>H_X^P</math> であって、任意の {{mvar|k}}-スキーム {{mvar|T}} に対して全単射
:{ 射 ''T'' &rarr; {{subsup|H|''X''|''P''}} } ↔ { ''T'' 上平坦な ''X'' ×{{sub|''k''}} ''T'' の閉部分スキームで、Hilbert 多項式が ''P'' であるもの }
があるようなものが存在する。恒等写像 <math>H_X^P \to H_X^P</math> に対応する <math>X \times H_X^P</math> の閉部分スキームは ''universal family'' と呼ばれる。

<math>P(z) = \binom{z+r}{r}</math> に対して、ヒルベルトスキーム <math>H_{\mathbf{P}^n}^P</math> は
is called the [[Grassmannian]] of ''r''-planes in <math>\mathbf{P}^n</math> and,
if ''X'' is a projective scheme, <math>H_X^P</math> is called the [[Fano scheme]] of ''r''-planes on ''X''.<ref>{{harvnb|Eisenbud|Harris|2000|loc=VI 2.2}}</ref>

== 複素射影多様体 ==
{{see also|複素射影空間}}

この節では、すべての代数多様体は複素代数多様体である。複素射影多様体の理論の重要な特徴は、代数的な手法と解析的な手法の交錯である。これらの理論の間の移行は次のつながりによってもたらされる：任意の複素多項式は正則関数でもあるから、任意の複素代数多様体 {{mvar|X}} は複素{{仮リンク|解析空間|en|analytic space}} <math>X(\mathbf C)</math> を生み出す。さらに、{{mvar|X}} の幾何学的な性質は <math>X(\mathbf C)</math> のそれによって反映される。例えば、後者が[[複素多様体]]であることと {{mvar|X}} が滑らかであることは同値であり、コンパクトであることと {{mvar|X}} が {{mathbf|C}} 上プロパーであることは同値である。

===複素ケーラー多様体との関係===
複素射影空間は[[ケーラー多様体]]である。したがって、任意の射影代数多様体 {{mvar|X}} に対し、{{math|''X''('''C''')}} はコンパクトケーラー多様体である。逆は一般には正しくないが、[[小平の埋め込み定理]]はケーラー多様体が射影的であるための判定法を与える。

低次元では以下の結果がある。
*(Riemann) {{仮リンク|コンパクトリーマン面|en|compact Riemann surface}}（すなわち1次元のコンパクト複素多様体）は射影多様体である。{{仮リンク|トレリの定理|en|Torelli theorem}}により、それはそのヤコビ多様体によって一意的に決定される。
*(Chow-Kodaira) 2つの代数独立な[[有理型関数]]を持つ2次元のコンパクト[[複素多様体]]は射影多様体である{{sfn|Hartshorne|1977|loc=Appendix B. Theorem 3.4.}}。

===GAGA とチャウの定理===
[[チャウの定理]]もう一方へ行く顕著な方法を提供する。それは複素射影空間の任意の解析的部分多様体は代数的であると述べている。定理は次のように解釈できる：ある増大条件を満たす[[正則関数]]は代数的でなければならない：「射影的」がこの増大条件を与える。定理から以下を結論できる：
* 複素射影空間上の有理型関数は有理関数である。
* 代数多様体の間の代数的写像が解析的同型ならば、（代数的）同型である（この部分は複素解析で基本的な事実である）。特に、チャウの定理は射影多様体の間の正則 (holomorphic) 写像が代数的であることを意味している（そのような写像のグラフを考えよ）。
* 射影多様体上の任意の[[正則ベクトル束]]は一意的な代数的ベクトル束から誘導される{{sfn|Griffiths-Adams|loc=IV. 1. 10. Corollary H}}。
* 射影多様体上の任意の正則直線束は因子の直線束である{{sfn|Griffiths-Adams|loc=IV. 1. 10. Corollary I}}。

チャウの定理はセールの [[代数幾何学と解析幾何学|GAGA 原理]]を用いて示すことができる。その主定理は以下である：
:{{mvar|X}} を {{math|'''C'''}} 上の射影スキームとする。このとき、{{mvar|X}} 上の連接層を対応する複素解析空間 {{math|''X''<sup>an</sup>}} 上の連接層に割り当てる関手は圏同値である。さらに、自然な写像
::<math>H^i(X, \mathcal{F}) \to H^i(X^\text{an}, \mathcal{F})</math>
はすべての {{mvar|i}} と {{mvar|X}} 上のすべての連接層 <math>\mathcal{F}</math> に対して同型である{{sfn|Hartshorne|1977|loc=Appendix B. Theorem 2.1}}。

===複素トーラス vs. 複素アーベル多様体===
{{mathbf|C}} 上のアーベル多様体 {{mvar|A}} に付随する複素多様体はコンパクト[[複素リー群]]である。これらは
:<math>\mathbb{C}^g/L</math>
の形であることを示すことができ、{{仮リンク|複素トーラス|en|complex torus}}とも呼ばれる。ここで {{mvar|g}} はトーラスの次元であり {{mvar|L}} は格子である（[[周期格子]]とも呼ばれる）。

上述の[[一意化定理]]により、任意の1次元トーラスは1次元アーベル多様体すなわち[[楕円曲線]]から生じる。実際、{{mvar|L}} に付随する[[ワイエルシュトラスの楕円関数]] <math>\wp</math> はある微分方程式を満たし、その結果それは closed immersion を定義する{{sfn|Mumford|1970|p=36}}：
:<math>\mathbb{C}/L \to \mathbf{P}^2, L \mapsto (0:0:1), z \mapsto (1 : \wp(z) : \wp'(z)).</math>
{{mvar|p}} 進類似、{{仮リンク|p-adic uniformization|en|p-adic uniformization|label={{mvar|p}} 進一意化}}定理がある。

高次元に対しては、複素アーベル多様体と複素トーラスの概念は異なる：{{仮リンク|Polarization of an algebraic form|en|Polarization of an algebraic form|label=polarized}} 複素トーラスだけがアーベル多様体から来る。

===小平の消滅定理===
基本的な[[小平の消滅定理]]の主張は以下のようである。標数 0 の体上の滑らかな射影多様体 {{mvar|X}} 上の豊富な直線束 <math>\mathcal{L}</math> に対して、
:<math>H^i(X, \mathcal{L}\otimes \omega_X) = 0</math>
が {{math|''i'' > 0}} に対して成り立つ、あるいはセール双対性によって同じことだが、
:<math>H^i(X, \mathcal L^{-1}) = 0</math>
が {{math|''i'' < ''n''}} に対して成り立つ{{sfn|Hartshorne|1977|loc=Ch III. Remark 7.15.}}。この定理の最初の証明はケーラー幾何学の解析的な手法を用いたが、純代数的な証明が後に発見された。小平の消滅定理は正標数の滑らかな射影多様体に対しては一般には成り立たない。小平の定理は様々な消滅定理の1つで、高次層コホモロジーが消える判定法を与える。層のオイラー標数（上記参照）はしばしば個々のコホモロジー群よりも扱いやすいから、これはしばしば射影多様体の幾何について重要な結果を持つ<ref>{{citation|author1=Esnault|first1=Hélène|author2=Viehweg|first2=Eckart|year=1992|title=Lectures on vanishing theorems|publisher=Birkhäuser}}</ref>。

===関連する話題===
[[ホッジ理論]]、[[ホッジ予想]]、[[テイト予想 (代数幾何学)|テイト予想]]<!-- aren't they too much? -->

== 関連項目 ==
*{{仮リンク|射影空間の代数幾何学|en|Algebraic geometry of projective spaces}}
*[[ヒルベルトスキーム]]
*[[レフシェッツ超平面定理]]

== 関連概念 ==

Closed subvarieties of {{仮リンク|weighted projective spaces|en|weighted projective space}} are known as weighted projective varieties.<ref>{{citation|MR=0704986 
|last=Dolgachev|first= Igor
|chapter=Weighted projective varieties|title= Group actions and vector fields (Vancouver, B.C., 1981)|pages= 34–71 
|series=Lecture Notes in Math.|volume= 956|publisher= Springer|place= Berlin|year= 1982|doi=10.1007/BFb0101508}}</ref>

== 脚注 ==
{{脚注ヘルプ}}
===注===
{{reflist|group="注"}}
===出典===
{{reflist|30em}}

== 参考文献 ==
*{{citation|title=The geometry of schemes |year=2000 |first=David |last=Eisenbud |authorlink=David Eisenbud |first2=Joe |last2=Harris}}
*{{Citation | title=Intersection theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]]. 3. Folge. | isbn=978-3-540-62046-4 | mr=1644323 | year=1998 | volume=2 | edition=2nd | author=William Fulton.}} 
*P. Griffiths and J. Adams, ''Topics in algebraic and analytic geometry'', [[Princeton University Press]], Princeton, N.J., 1974.
*{{Hartshorne AG}}
*{{cite book |title=Complex Geometry: An Introduction|first=Daniel|last=Huybrechts |author-link=Daniel Huybrechts
|publisher=Springer|year=2005|isbn=3-540-21290-6}}
*{{EGA|book=II}}
*{{citation |first1=János |last1=Kollár |authorlink=János Kollár |title=Book on Moduli of Surfaces |url=https://web.math.princeton.edu/~kollar/}}
*{{citation |first1=János |last1=Kollár |authorlink=János Kollár |title=Rational curves on algebraic varieties |year=1996}}
*{{citation | last=Mumford | first=David | authorlink=David Mumford | year=1970 |title=Abelian Varieties}}
*{{citation | last=Mumford | first=David | authorlink=David Mumford | year=1995 |title=Algebraic Geometry I: Complex Projective Varieties}}
*{{citation | last=Mumford | first=David | authorlink=David Mumford | year=1999 | title=The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians | edition=2nd | publisher=[[Springer-Verlag]] | doi=10.1007/b62130 | isbn=354063293X }}
*Mumfords's "Algebraic Geometry II", coauthored with [[Tadao Oda]]: available at [http://www.math.upenn.edu/~chai/624_08/math624_08.html]
*{{cite book
 | author = [[Igor Shafarevich]]
 | year = 1995
 | title = Basic Algebraic Geometry I: Varieties in Projective Space
 | edition = 2nd
 | publisher = [[Springer Science+Business Media|Springer-Verlag]]
 | isbn = 0-387-54812-2
}}
*R. Vakil, [http://math.stanford.edu/~vakil/216blog/ Foundations Of Algebraic Geometry]

==外部リンク==
*[https://rigtriv.wordpress.com/2008/07/18/the-hilbert-scheme/ The Hilbert Scheme] by Charles Siegel - a blog post
*[http://www.math.uwaterloo.ca/~moraru/764ProjectiveVarieties.pdf　Projective varieties Ch. 1 ]

{{DEFAULTSORT:しやえいたようたい}}
[[Category:代数幾何学]]
[[Category:代数多様体]]
[[Category:射影幾何学]]
[[Category:数学に関する記事]]