射影空間のソースを表示

'''射影空間'''（しゃえいくうかん、{{lang-en-short|projective space}}） とは、その次元が {{mvar|n}} であるとき、{{math|(''n'' + 1)}} 個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな[[可換体|体]]（あるいは[[環_(数学)|環]]）にとるかによって様々な空間が得られる。[[非ユークリッド幾何学]]のひとつである[[射影幾何学]]がその概念の端緒であるが、射影空間は[[位相幾何学]]、[[微分幾何学]]、[[代数幾何学]]など幾何学のあらゆる分野にわたって非常に重要な概念である。

== 定義 ==
{{mvar|K}} を[[可換体|体]]とする。{{mvar|K}} 上の {{mvar|n}} 次元の射影空間 {{mvar|KP<sub>n</sub>}} は、{{math|(''n'' + 1)}} 個の {{mvar|K}} の要素の比 {{math|[''x''<sub>0</sub> : ''x''<sub>1</sub> : ⋯ : ''x<sub>n</sub>'']}} の全体の集合として定義される。すなわち、[[ベクトル空間]] {{math|''V'' {{=}} ''K''<sup>''n''+1</sup>}} の {{math|0}} でないベクトルに対して、[[同値関係]] {{math|(''a''<sub>0</sub>, ''a''<sub>1</sub>, ...,  ''a<sub>n</sub>'') &sim; (''b''<sub>0</sub>, ''b''<sub>1</sub>, ...,  ''b<sub>n</sub>'')}} を、{{math|0}} でない {{mvar|K}} の元 {{mvar|t}} が存在して任意の {{math|''i'' {{=}} 0, 1, ..., ''n''}} に対して {{math|''b<sub>i</sub>'' {{=}} ''ta<sub>i</sub>''}} であることとして定義するとき、

{{Indent|<math>KP_n= \bigl( K^{n+1} \setminus \{ 0 \} \bigr) / {\sim} </math>}}
である。{{mvar|K}} が[[実数|実数体]] {{mathbf|R}} や[[複素数|複素数体]] {{mathbf|C}} など[[位相環|位相体]]であるとき、その積位相から定まる {{math|''K''<sup>''n''+1</sup> ∖ {{mset|0}}}} の位相の商位相でもって{{mvar|KP<sub>n</sub>}}は自然に[[位相空間]]になる。（射影空間は {{mvar|KP<sub>n</sub>}} の他にも {{mvar|KP<sup>n</sup>}},  {{math|''P''<sub>''n''</sub>(''K'')}},  {{math|''P''<sup>''n''</sup>(''K'')}},  {{mvar|P{{su|p=n|b=K}}}} などの記号が用いられることもある。）ベクトル空間 {{math|''K''<sup>''n''+1</sup>}} の座標をひとつ定めると、射影空間の点を比として表す表し方 {{math|[''x''<sub>0</sub> : ''x''<sub>1</sub> : ⋯ : ''x<sub>n</sub>'']}} がひとつ定まる。これを射影空間の'''斉次座標'''（あるいは同次座標; {{lang|en|homogeneous coordinate}}）と呼ぶ。

== 多様体の構造 ==
ある斉次座標 {{math|[''x''<sub>0</sub> : ''x''<sub>1</sub> : ⋯ : ''x<sub>n</sub>'']}} に対して、{{math|''x''<sub>0</sub> &ne; 0}} となる射影空間 {{mvar|KP<sub>n</sub>}} の点全体 {{math|''U''<sub>0</sub>}} は、斉次座標の最初の成分を {{math|''x''<sub>0</sub>}} で割って {{math|[1 : ''x''<sub>1</sub> / ''x''<sub>0</sub> : ⋯ : ''x<sub>n</sub>'' / ''x''<sub>0</sub>]}} とただ一通りに書けるので、{{math|''U''<sub>0</sub>}} は、[[アフィン空間]] {{mvar|K<sup>n</sup>}} と自然な全単射がある。同様に {{math|''x<sub>i</sub>'' &ne; 0}} となる点全体 {{mvar|U<sub>i</sub>}} も同様にしてアフィン空間との間の全単射 {{math|''&phi;<sub>i</sub>'': ''K<sup>n</sup>'' &rarr; ''U<sub>i</sub>''}} がある。{{mvar|K}} が位相体であるときは全単射 {{mvar|&phi;<sub>i</sub>}} は位相同型となり、{{math|''U''<sub>0</sub>, ..., ''U<sub>n</sub>''}} は {{mvar|KP<sub>n</sub>}}の開被覆となる。{{math|''&phi;<sub>j</sub>''<sup>&minus;1</sup> ◦ ''&phi;<sub>i</sub>''}} が

{{Indent|<math>(a_1,\dotsc ,a_n)\mapsto \left(\frac{a_1}{a_j},\dotsc ,\frac{1}{a_j}, \dotsc, \frac{a_n}{a_j}\right)</math>}}
で与えられる（{{math|1/''a<sub>j</sub>''}} は第 {{mvar|i}} 成分）ことから、この開被覆は {{math|'''R'''''P<sub>n</sub>''}} に[[多様体]]の構造（'''実射影空間'''）を、{{math|'''C'''''P<sub>n</sub>''}} に[[複素多様体]]の構造（'''複素射影空間'''）を与える。変換関数が有理関数で与えられる事から、任意の体 {{mvar|K}} に対しても、[[ザリスキ位相]]を考える事によって {{mvar|KP<sub>n</sub>}} は[[代数多様体]]となる。

射影空間の概念は純粋に代数的であり非常に標準的であるため、適切な枠組みを用いる事によって、その性質は体 {{mvar|K}} の取り方によらず共通しているものが多い。以下の記述は特に断らない限り、[[概型|スキーム論]]の枠組みを用いる事で任意の体上の代数多様体としての射影空間に対して成り立つが、[[代数幾何学]]以外で重要な場合は体 {{mvar|K}} が実数体 {{mathbf|R}} または複素数体 {{mathbf|C}} の場合であるので、実射影空間および複素射影空間の場合に則した記述を行う。

== コンパクト性 ==
体 {{mvar|K}} が実数体 {{mathbf|R}} または複素数体 {{mathbf|C}} であるとき、これらの位相から定まる位相（ユークリッド位相・古典位相）に関して、射影空間 {{mvar|KP<sub>n</sub>}} は[[コンパクト空間|コンパクト]]な[[ハウスドルフ空間]]である。{{math|''K'' {{=}} '''R'''}} のときは、射影空間の定義によって、性質のよい自然な写像 {{math|''S<sup>n</sup>'' &rarr; '''R'''''P<sub>n</sub>''}} があるので、{{math|'''R'''''P<sub>n</sub>''}} のコンパクト性およびハウスドルフ性は {{mvar|n}} 次元球面 {{mvar|S<sup>n</sup>}} のそれから従う。
{{math|''K'' {{=}} '''C'''}} の時も同様に {{math|''S''<sup>1</sup>}} [[ファイバー束]] {{math|''S''<sup>2''n''+1</sup> &rarr; '''C'''''P<sub>n</sub>''}} （ホップ束; {{lang|en|Hopf bundle}} と呼ばれる）があることから従う。

一般の体 {{mvar|K}} に関しては射影空間にはザリスキ位相をいれて考えるが、この位相について {{mvar|KP<sub>n</sub>}} は基礎体 {{mvar|K}} 上'''固有''' {{lang|en|(proper)}} になる。代数多様体の固有性はユークリッド位相に関するコンパクト・ハウスドルフ性の概念の対応物である。

== モジュライ空間としての射影空間 ==
射影空間 {{mvar|KP<sub>n</sub>}} の点 {{math|''p'' {{=}} [''a''<sub>0</sub> : ''a''<sub>1</sub> : ⋯ : ''a<sub>n</sub>'']}} は、アフィン空間 {{math|''K''<sup>''n''+1</sup>}} 内で、原点と点 {{math|(''a''<sub>0</sub>, ''a''<sub>1</sub>, ..., ''a<sub>n</sub>'')}} を結ぶ直線 {{mvar|l<sub>p</sub>}} と1対1に対応している。従って、射影空間は {{math|''K''<sup>''n''+1</sup>}} 内の原点を通る直線（あるいは1次元の部分ベクトル空間）をパラメータ付けする空間（[[モジュライ空間]]）と見なせる。このモジュライ論的観点からは、射影空間は{{仮リンク|グラスマン多様体|en| grassmannian}}や{{仮リンク|旗多様体|en|flag variety|preserve=1}}の特別な場合と見なせる。

積空間 {{math|''K''<sup>''n''+1</sup> &times; ''KP<sub>n</sub>''}} の閉部分空間 <math display="inline">\mathcal{O}(-1)</math> を結合関係 {{lang|en|(incidence correspondence)}} 

{{Indent|<math>\mathcal{O}(-1) = \bigl\{ (a,p)\in K^{n+1}\times KP_n \mathrel{\big|} a \in l_p \bigr\}</math>}}
で定めると、第2射影から誘導される射 <math display="inline">\mathcal{O}(-1) \to KP_n</math> によって <math display="inline">\mathcal O(-1)</math> は[[ベクトル束|直線束]]になる。この直線束を'''普遍直線束''' {{lang|en|(universal line bundle)}} と呼ぶ。

== 射影変換群 ==
一般線形群 {{math|''GL''(''n'' + 1, ''K'')}} はベクトル空間 {{math|''V'' {{=}} ''K''<sup>''n''+1</sup>}} に原点を固定して作用し、原点を通る直線を原点を通る直線に写すので、射影空間 {{mvar|KP<sub>n</sub>}} には {{math|''GL''(''n'' + 1, ''K'')}} が作用する。単位行列の定数倍は射影空間に自明に作用するので、この作用は剰余群 {{math|''PGL''(''n'', ''K'') {{=}} ''GL''(''n'' + 1, ''K'')/''K''<sup>&times;</sup>}} を経由する。群 {{math|''PGL''(''n'', ''K'')}} を{{mvar|KP<sub>n</sub>}} の'''[[射影線型群|射影変換群]]''' {{lang|en|(projective linear transformaton group)}} と言う。射影変換群は、代数多様体としての（あるいは {{math|''K'' {{=}} '''C'''}} のときは、複素多様体としての）{{mvar|KP<sub>n</sub>}} の自己同型群にほかならない。<ref>これは、任意の自己同型が超平面直線束 <math display="inline">\mathcal{O}(1)</math> を保たなければならないことから従う。[[#斉次座標環と代数幾何的定義]]参照。</ref>

{{math|''GL''(''n'' + 1, ''K'')}} の {{math|''KP<sub>n</sub>''}} への作用の1点の等方部分群 {{lang|en|(stabilizer)}} は

{{Indent|<math>\begin{pmatrix} a & * \\ 0 & A\end{pmatrix}</math> ただし <math>a\in K^{\times},\quad A\in \mathit{GL}(n,K)</math>}}
の形の行列からなる部分群 {{mvar|H}} であり、空間 {{mvar|KP<sub>n</sub>}} は、剰余類  {{math|''GL''(''n'' + 1, ''K'')/''H''}} と同型である。すなわち、{{mvar|KP<sub>n</sub>}} は[[等質空間]]である。等質空間としての記述の点でも、射影空間は{{仮リンク|グラスマン多様体|en| grassmannian}}や{{仮リンク|旗多様体|en|flag variety|preserve=1}}のもっとも簡単な場合に当たる。

== 超平面と双対射影空間 ==
射影空間 {{mvar|KP<sub>n</sub>}} の斉次座標 {{math|[''x''<sub>0</sub> : ''x''<sub>1</sub> : ⋯ : ''x<sub>n</sub>'']}} に対して、方程式

{{Indent|{{math|''a''<sub>0</sub>''x''<sub>0</sub> + ''a''<sub>1</sub>''x''<sub>1</sub> + ⋯ + ''a<sub>n</sub>x<sub>n</sub>'' {{=}} 0}}}}
はその解となる点の定数倍も解となるため、{{mvar|KP<sub>n</sub>}} の閉集合を定める。{{math|(''a''<sub>0</sub>, ''a''<sub>1</sub>, ...,  ''a<sub>n</sub>'')}} が {{math|0}}-ベクトルでなければこれは真の閉集合である。これを射影空間の'''超平面'''という。{{mvar|KP<sub>n</sub>}} の超平面は {{math|''KP''<sub>''n''&minus;1</sub>}} と同型（あるいは同相）である。

上述の一次方程式は、係数 {{math|(''a''<sub>0</sub>, ''a''<sub>1</sub>, ...,  ''a<sub>n</sub>'')}} を定数倍しても解集合は不変である。従って、{{mvar|KP<sub>n</sub>}} の超平面は比 {{math|[''a''<sub>0</sub> : ''a''<sub>1</sub> : ⋯ : ''a<sub>n</sub>'']}} と1対1に対応している。{{mvar|KP<sub>n</sub>}} の超平面全体をパラメータ付けする空間はこの対応で {{mvar|KP<sub>n</sub>}} と同一視できる。これを'''双対射影空間''' {{lang|en|(dual projective space)}} という。

同様の理由で、射影空間 {{mvar|KP<sub>n</sub>}} の点 {{math|''p'' {{=}} [''a''<sub>0</sub> : ''a''<sub>1</sub> : ⋯ : ''a<sub>n</sub>'']}} に方程式 {{math|''a''<sub>0</sub>''y''<sub>0</sub> + ''a''<sub>1</sub>''y''<sub>1</sub> + ''a<sub>n</sub>y<sub>n</sub>'' {{=}} 0}} で定まる {{math|''K''<sup>''n''+1</sup>}} の {{mvar|n}} 次元部分ベクトル空間 {{mvar|V<sub>p</sub>}}を対応させる対応は1対1の対応である。{{mvar|KP<sub>n</sub>}} の自明なベクトル束 {{math|''K''<sup>''n''+1</sup> &times; ''KP<sub>n</sub>''}} の部分ベクトル束 <math display="inline">\mathcal{V}</math> を

{{Indent|<math>\mathcal{V} = \bigl\{ (v,p)\in K^{n+1}\times KP_n \mathrel{\big|} v\in V_p \bigr\}</math>}}
で定め、<math display="inline">\mathcal{O}(1)</math> を商束 <math display="inline">K^{n+1} \times KP_n / \mathcal{V}</math> とすると、<math display="inline">\mathcal{O}(1)</math> は普遍直線束 <math display="inline">\mathcal{O}(-1)</math> の双対直線束と同型になる。これを'''超平面直線束''' {{lang|en|(hyperplane line bundle)}} と呼ぶ。

== 斉次座標環とスキーム論的定義 ==
本節ではまず、複素射影空間 {{math|'''C'''''P<sub>n</sub>''}} について考える。自明束 {{math|'''C'''<sup>''n''+1</sup> &times; '''C'''''P<sub>n</sub>''}} の正則切断は {{math|''c''<sub>0</sub>''e''<sub>0</sub> + ⋯ + ''c<sub>n</sub>e<sub>n</sub>''}} 、ただし {{mvar|c<sub>i</sub>}} は定数、{{mvar|e<sub>i</sub>}} は {{mvar|i}} 番目の標準基底に値を取る定数切断、と書ける。これが誘導する超平面直線束 <math display="inline">\mathcal{O}(1)</math> の正則切断を {{mvar|&sigma;}} で表すことにすると、{{math|'''C'''''P<sub>n</sub>''}} の点 {{math|''p'' {{=}} [''a''<sub>0</sub> : ''a''<sub>1</sub> : ⋯ : ''a<sub>n</sub>'']}} が {{math|''&sigma;''(''p'') {{=}} 0}} を満たすことは、点 {{math|(''c''<sub>0</sub>, ..., ''c<sub>n</sub>'')}} が平面 {{mvar|V<sub>p</sub>}} に含まれている、すなわち {{math|''a''<sub>0</sub>''c''<sub>0</sub> + ⋯ + ''a<sub>n</sub>c<sub>n</sub>'' {{=}} 0}} を満たすことを意味しているので、方程式 {{math|''&sigma;'' {{=}} 0}}  は、斉次一次式 {{math|''c''<sub>0</sub>''x''<sub>0</sub> + ⋯ + ''c<sub>n</sub>x<sub>n</sub>'' {{=}} 0}} にほかならない。したがって、超平面直線束 <math display="inline">\mathcal{O}(1)</math> の正則切断全体の空間 <math display="inline">\Gamma \bigl( \mathbf{C}P_n, \mathcal{O}(1) \bigr)</math> には斉次一次式の空間（すなわち、{{math|''V'' {{=}} '''C'''<sup>''n''+1</sup>}} の双対空間）{{math|''V''^}} からの単射がある。一方、<math display="inline">\mathcal{O}(1)</math> の任意の正則切断で定まる[[因子 (代数幾何学)|因子]]は超平面と線形同値になることからこの写像は全射でもある、すなわち、<math display="inline">\Gamma \bigl( \mathbf{C}P_n, \mathcal{O}(1) \bigr) \cong V^{\wedge}</math> がわかる。

<math display="inline">\mathcal{O}(n)</math> を <math display="inline">\mathcal{O}(1)</math> の {{mvar|n}} 階のテンソル積 <math display="inline">\mathcal{O}(1)^{\otimes n}</math> として定めると、同様の議論で<math display="inline">\Gamma \bigl( \mathbf{C}P_n, \mathcal{O}(n) \bigr) \cong \operatorname{Sym}^n V^{\wedge}</math>が証明できる。射影空間 {{math|'''C'''''P<sub>n</sub>''}} の'''斉次座標環''' {{lang|en|(homogeneous coordinate ring)}} を

{{Indent|<math> R = \bigoplus_{n\geq 0} \Gamma \bigl( \mathbf{C}P_n, \mathcal{O}(n) \bigr)</math>}}
で定義すると、以上の議論から {{mvar|R}} は {{mvar|''V''^}} の[[多重線型代数|対称代数]]、すなわち、{{mvar|(''n'' + 1)}}-変数の多項式環になることがわかる。

[[概型|スキーム論]]では、以上の議論の逆をたどって一般の環（より一般には、任意のスキーム）上の射影空間を定義する。{{mvar|A}} を任意の[[環_(数学)|可換環]]として、
{{mvar|R}} を {{mvar|A}} 上の {{math|(''n'' + 1)}} 変数の多項式環 {{math|''A''[''x''<sub>0</sub> , ... , ''x<sub>n</sub>'']}} とする。{{mvar|R}} を {{mvar|A}} 上の次数環とみて、{{math|Proj(''R'')}} を {{mvar|R}} の無縁イデアル（定数項を持たない多項式全体のなすイデアル）を含まない斉次[[素イデアル]]全体の集合とすると、これは自然に ''A'' 上のスキームになり、これを {{mvar|A}} 上の射影空間と呼び、スキーム論では通常 <math display="inline">\mathbb{P}^n_A</math> で表す。環 {{mvar|A}} が体 {{mvar|K}} であるときは <math display="inline">\mathbb{P}^n_K</math> の {{mvar|K}} 値点全体は、ザリスキ位相を入れた上記 {{mvar|KP<sub>n</sub>}} と一致し、{{mvar|R}} の次数づけをずらした環 {{math|''R''(''n'')}} に対応する[[可逆層]]が上に現れた <math display="inline">\mathcal{O}(n)</math> と一致する。

== フビニ・スタディ計量 ==
この節では体 {{mvar|K}} は複素数体 {{mathbf|C}} であるとする。{{math|'''C'''<sup>''n''+1</sup> ∖ {{mset|0}}}} 上の {{math|(1,1)}}-型式

{{Indent|<math>\tilde{\omega} = \frac{\sqrt{-1}}{2} \partial \bar{\partial} \log ( z_0\bar{z}_0 + \dotsb + z_n \bar{z}_n)</math>}}
は {{math|'''C'''<sup>×</sup>}} の作用で不変であるので、{{math|'''C'''''P<sub>n</sub>''}} 上の {{math|(1,1)}}-型式 {{mvar|&omega;}} を誘導する。点 {{math|[1 : 0 : ⋯ : 0]}} のまわりの局所座標 {{math|[1 : ''w''<sub>1</sub> : ⋯ : ''w<sub>n</sub>'']}} でこれを展開して {{math|''w<sub>i</sub>'' {{=}} 0}} を代入すると
{{Indent|<math>\omega \bigr|_{w=0} = \frac{\sqrt{-1}}{2} \sum dw_i \wedge d\bar{w}_i</math>}}
となるので、{{mvar|&omega;}} に対応するエルミート型式 {{mvar|h}} はこの点で正値である、すなわち[[エルミート計量]]である。しかし {{mvar|&omega;}}、従ってそれに付随するエルミート型式はユニタリ群 {{math|''U''(''n'' + 1)}} の{{math|'''C'''<sup>''n''+1</sup> ∖ {{mset|0}}}} への、従って{{math|'''C'''''P<sub>n</sub>''}} への推移的な作用で不変であることから、{{mvar|h}} は {{math|'''C'''''P<sub>n</sub>''}} 上の[[エルミート計量]]を定める。更に {{mvar|&omega;}} は定義から明らかに閉型式であるので、{{mvar|h}} は[[ケーラー計量]] {{lang|en|(Kähler metric)}}  である。この {{math|'''C'''''P<sub>n</sub>''}} 上の計量を フビニ・スタディ計量 {{lang|en|(Fubini-Study metric)}} と呼ぶ。<ref>フビニ・スタディ計量の存在により、{{math|'''C'''''P<sub>n</sub>''}} は[[ケーラー多様体]]になる。ケーラー多様体の部分多様体はケーラー多様体である事から、[[射影代数多様体]]は全て自動的にケーラー多様体になるという意味でも重要である。</ref>また、上の記述から射影空間 {{math|'''C'''''P<sub>n</sub>''}} はフビニ・スタディ計量に関して正則断面曲率が正の定曲率を持つ多様体である事がわかる。

== 射影空間の位相 ==
射影空間 {{mvar|KP<sub>n</sub>}} はアフィン空間 {{math|''U''<sub>0</sub>: ''x''<sub>0</sub> &ne; 0}} と超平面 {{math|''H'': ''x''<sub>0</sub> {{=}} 0}} の交わりのない和に書かれる。{{mvar|U}} は {{mvar|K<sup>n</sup>}} と同一視され、{{mvar|H}} はひとつ次元の低い射影空間 {{math|''KP''<sub>''n''&minus;1</sub>}} と同一視されるので、この分解を帰納的に繰り返す事で

{{Indent|<math> KP_n=K^n \amalg K^{n-1} \amalg \dotsb \amalg K^1 \amalg \{pt\}</math>}}
なる非交和分解を得る。{{mvar|K}} が {{mathbf|R}}（もしくは {{mathbf|C}}）の場合は、{{mvar|K<sup>n</sup>}} は {{mvar|n}} 次元開球体 {{math|''D''<sup>o</sup><sub>''n''</sub>}}（もしくは {{math|2''n''}} 次元開球体 {{math|''D''<sup>o</sup><sub>2''n''</sub>}}）と同相であるのでこれは[[CW複体]]への分割

{{Indent|<math> KP_n = e^n \cup e^{n-1} \cup \dotsb \cup e^1 \cup e^0</math>}}
を与える。この胞体分割に付随するホモロジー複体を用いてホモロジー群が計算できる。{{math|''K'' {{=}} '''C'''}} の場合には、奇数次の胞体が存在しない事から直ちに

{{Indent|<math>H_i(\mathbf{C}P_n, \mathbf{Z}) = \begin{cases}
 \mathbf{Z} & i \equiv 0 \pmod{2}, \; 0 \le i \le 2n\\
0 & \text{otherwise}
\end{cases}</math>}}
がわかる。<ref>また、この胞体分割から複素射影空間 {{math|'''C'''''P<sub>n</sub>''}} が[[単連結]]であることもわかる。</ref>実射影空間に関しては、{{mvar|S<sup>n</sup>}}から {{math|'''R'''''P<sub>n</sub>''}} への二重被覆を用いて貼り合わせ写像の重複度を計算すると<ref>Hopf の二重被覆 {{math|''S<sup>n</sup>'' &rarr; '''R'''''P''<sub>''n''</sub>}} の被覆変換はある点を対蹠（たいせき）点に写す写像であるが、この写像の次数は {{math|(&minus;1)<sup>''n''</sup>}} であることから従う。</ref>この胞体分割に付随するホモロジー複体は、{{math|''C<sub>i</sub>'' {{=}} '''Z'''}} ({{math|''i'' {{=}} 0, 1, ..., ''n'')}} とおくとき

{{Indent|<math>C_0 \overset{0}{\longleftarrow} C_1\overset{2}{\longleftarrow} C_2 \longleftarrow \cdots \xleftarrow{1+(-1)^n} C_n </math>}}
で与えられるので、整数係数のホモロジー群は

{{Indent|<math>H_i(\mathbf{R}P_n, \mathbf{Z}) = \begin{cases}
\mathbf{Z}/2\mathbf{Z} & i \equiv 1 \pmod{2}, \; 0 \le i\le n \\
\mathbf{Z} & i = n \equiv 1 \pmod{2} \\
0 & \text{otherwise}
\end{cases}</math>}}
となる。<ref>{{math|'''R'''''P<sub>n</sub>''}} は {{mvar|n}} が奇数の時向き付け可能であり、偶数の時は向き付け不可能である。</ref>係数を {{math|'''Z'''<sub>2</sub> {{=}} '''Z'''/2'''Z'''}} に取り換えると、複素射影空間の場合と類似性の強い

{{Indent|<math>H_i(\mathbf{R}P_n, \mathbf{Z}_2) = \begin{cases}
\mathbf{Z}_2 & 0 \le i \le n\\
0 & \text{otherwise}
\end{cases}</math>}}
が得られる。

任意のアーベル群 {{mvar|A}} に対して、{{mvar|A}} 係数のコホモロジー群もこのホモロジー複体に {{math|Hom<sub>'''Z'''</sub>(&ndash;, A)}} を作用させて得られるコホモロジー複体のコホモロジーとして計算できる。特に、全てのコホモロジー群の直和 <math display="inline">H^{*}(KP_n, A) = \bigoplus_{i \ge 0} H^{i}(KP_n, A)</math> にカップ積で積構造を入れて得られる[[コホモロジー環]]の構造は、複素射影空間に対しては

{{Indent|<math>H^{*}(\mathbf{C}P_n, \mathbf{Z}) \cong \mathbf{Z}[h]/(h^{n+1})</math>}}
で得られる。実射影空間に対しても {{math|'''Z'''<sub>2</sub>}} 係数で考えれば類似の

{{Indent|<math>H^{*}(\mathbf{R}P_n, \mathbf{Z}_2) \cong \mathbf{Z}_2[h]/(h^{n+1})</math>}}
が得られる。ここで、{{mvar|h}} は超平面のコホモロジー類である。

複素射影空間の場合、{{math|2''k''}} 番目のコホモロジー群 {{math|''H''<sup>2''k''</sup>('''C'''''P<sub>n</sub>'', '''Z''')}} は {{mvar|k}} 個の超平面の正しい交わり（それは {{math|'''C'''''P''<sub>''n''&minus;''k''</sub>}} と同一視できる）で生成されているので、複素射影空間のコホモロジー環の構造は {{math|'''C'''''P<sub>n</sub>''}} の部分多様体の交わりの次数が次数の積になることをも意味している。これは、[[ベズーの定理]]の高次元化である。また、{{math|'''C'''''P<sub>n</sub>''}} はケーラー多様体であるので、[[ホッジ分解|ホッヂ分解]]が成り立つが、次元の理由によりそのホッヂ数は

{{Indent|<math>h^{p,q}=\dim H^p(\mathbf{C}P_n, \Omega ^q)=\begin{cases}
1 & p = q \le n \\
0 & \text{otherwise}
\end{cases}</math>}}
で与えられる。

部分多様体の交わりと次数に関する理論（[[交点理論]]）は射影空間 {{mvar|KP<sub>n</sub>}} （より正確にはスキーム論的な <math display="inline">\mathbb{P}^n_K</math>）に対して[[チャウ環]] (Chow ring) {{math|''CH''<sup>∗</sup>(''KP<sub>n</sub>'')}} を考える事で任意の体 {{mvar|K}} 上へ一般化される。チャウ環もコホモロジー環と類似の記述

{{Indent|<math>CH^{*}(\mathbb{P}^n_K)\cong \mathbf{Z}[h]/(h^{n+1})</math>}}
を持っている。

== 脚注 ==
<references/>

== 参考文献 ==
* 松島与三：「多様体入門」、[[裳華房]] (1965) ISBN 4785313056
* 川又雄二郎：「射影空間の幾何学」、朝倉書店（講座数学の学び方11)、ISBN 4-254-11591-1 (2001年10月15日)。
*[[小林昭七]]：「複素幾何」、[[岩波書店]] (2005) ISBN 4000059521
*Griffiths, P., Harris, J., Principles of Algebraic Geometry, 2nd edition, Wiley-Interscience (1994) ISBN 0471050598
*Kobayashi, S., Nomizu, K., Foundations of differential geometry, Vols. 1&2 , Wiley-Interscience (1969) ISBN 0471157333 ISBN 0471157325
*Dold, A., Lectures on Algebraic Topology, Springer-Verlag (1972) ISBN 3540057773
*Hartshorne, R., Algebraic Geometry, Springer-Verlag (1977) ISBN 0387902449 [ 邦訳：高橋宣能、松下大介 訳、「代数幾何学」 1,2,3 [[シュプリンガー・ジャパン|シュプリンガーフェアラーク東京]] (2004) ISBN 443171135X ISBN 4431711368 ISBN 4431711376 ]
*Fulton, W., Intersection Theory, 2nd edition, Springer-Verlag (1998) ISBN 0387985492

{{DEFAULTSORT:しやえいくうかん}}
[[Category:射影幾何学]]
[[Category:代数幾何学]]
[[Category:多様体論]]
[[Category:空間 (数学)]]
[[Category:数学に関する記事]]