特異ホモロジー

提供: miniwiki
2018/8/19/ (日) 17:02時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内、検索

数学の一分野である代数トポロジーにおいて、特異ホモロジー (singular homology) とは位相空間 X の代数的不変量（English版）のある種の集合、いわゆるホモロジー群 (homology group) [math]H_n(X)[/math] の研究のことである。直感的に言えば、特異ホモロジーは、各次元 n に対して、空間の n 次元の穴を数える。特異ホモロジーはホモロジー論の例である。これは今では理論のかなり大きな集まりに成長している。様々な理論の中で、特異ホモロジーはかなり具体的な構成に基づいているのでおそらく理解するのが容易なものの1つである。

手短に言えば、特異ホモロジーは標準 n-単体から位相空間への写像をとり、それらから特異チェイン (singular chain) と呼ばれる形式和を作ることによって構成される。単体上の境界作用素は特異チェイン複体を誘導する。すると特異ホモロジーはそのチェイン複体のホモロジーである。得られるホモロジー群はすべてのホモトピー同値な空間に対して同じであり、これがそれらの研究の理由である。これらの構成はすべての位相空間に対して適用することができるので、特異ホモロジーは圏論の言葉で表現できる。そこではホモロジー群は位相空間の圏から次数付きアーベル群の圏への関手になる。これらのアイデアは以下でもっと詳細に説明される。

特異単体

特異 n-単体 (singular n-simplex) は標準 n-単体 [math]\Delta^n[/math] から位相空間 X への連続写像 [math]\sigma_n[/math] である。記号では [math]\sigma_n:\Delta^n\to X[/math] と書く。この写像は単射である必要はなく、X における像が同じであっても同じ特異単体とは限らない。

[math]\sigma_n(\Delta^n)[/math] の境界は、[math]\partial_n\sigma_n(\Delta^n)[/math] と表記され、標準 n-単体の面への [math]\sigma[/math] の制限によって表現される特異 (n − 1)-単体の形式和 に向き付けを考慮した符号をつけたものと定義される。（形式和は単体上の自由アーベル群の元である。この群の基底は標準単体のあらゆる像の無限集合である。群の演算は「加法」であり、像 a と像 b の和は通常単に a + b と表されるが、a + a = 2a など。すべての像 a は負 −a をもつ。）したがって、[math]\sigma_n[/math] の値域を標準 n-単体 [math]\Delta^n[/math] の頂点 [math]e_k[/math] によってその頂点

[math][p_0,p_1,\cdots,p_n]=[\sigma_n(e_0),\sigma_n(e_1),\cdots,\sigma_n(e_n)][/math]

によって表せば（これはもちろん [math]\sigma_n[/math] によって生み出された標準単体の像を完全には特定しない）、

[math]\partial_n\sigma_n(\Delta^n)=\sum_{k=0}^n(-1)^k [p_0,\cdots,p_{k-1},p_{k+1},\cdots p_n][/math]

は具体的に示された単体の像の面の形式和である。（つまり、個々の面はその頂点がリストされる順番に依存する [math]\Delta^n[/math] の面の指定に適用される [math]\sigma_n[/math] の像でなければならない。）したがって、例えば、[math]\sigma=[p_0,p_1][/math] の境界（[math]p_0[/math] から [math]p_1[/math] へ行く曲線）は形式和（あるいは「形式差」） [math][p_1] - [p_0][/math] である。

特異チェイン複体

特異ホモロジーの通常の構成は次のように進行する。単体の形式和を定義する。これは自由アーベル群の元として理解できる。そしてある種の群、位相空間のホモロジー群を、バウンダリ作用素を含めて、定義できることを示す。

まず位相空間 X 上のあらゆる特異 n-単体 [math]\sigma_n(\Delta^n)[/math] の集合を考える。この集合は自由アーベル群の基底として使うことができ、各 [math]\sigma_n(\Delta^n)[/math] はその群の生成元である。単体を位相空間に写像する方法はたくさんあるので生成元のこの集合はもちろん普通は無限で、しばしば不可算である。この基底によって生成された自由アーベル群は一般に [math]C_n(X)[/math] と表記される。[math]C_n(X)[/math] の元は特異 n-チェイン (singular n-chain) と呼ばれる。それらは整数係数の特異単体の形式和である。理論がしっかりした基礎におかれるためには、一般にチェインは有限個だけの単体の和であることが要求される。

境界 [math]\partial[/math] はただちに特異 n-チェインに作用するように拡張される。この拡張は、バウンダリ作用素と呼ばれ、

[math]\partial_n:C_n\to C_{n-1},[/math]

と書かれ、群の準同型である。バウンダリ作用素は、[math]C_n[/math] とともに、アーベル群のチェイン複体をなし、特異複体 (singular complex) と呼ばれる。しばしば [math](C_\bullet(X),\partial_\bullet)[/math] やよりシンプルに [math]C_\bullet(X)[/math] と表記される。

バウンダリ作用素の核は [math]Z_n(X)=\ker (\partial_{n})[/math] であり特異 n-サイクルの群 (group of singular n-cycles) と呼ばれる。バウンダリ作用素の像は [math]B_n(X)=\operatorname{im} (\partial_{n+1})[/math] であり特異 n-バウンダリの群 (group of singular n-boundaries) と呼ばれる。

[math]\partial_n\circ \partial_{n+1}=0[/math] であることを示すことができる。そして [math]X[/math] の [math]n[/math] 次ホモロジー群は剰余群

[math]H_{n}(X) = Z_n(X) / B_n(X)[/math]

で定義される。[math]H_n(X)[/math] の元はホモロジー類 (homology class) と呼ばれる。

ホモトピー不変性

X と Y がホモトピー同値な2つの位相空間であれば、すべての n ≥ 0 に対して、

[math]H_n(X)=H_n(Y)\,[/math]

である。これはホモロジー群が位相的不変量であることを意味する。

とくに、X が連結可縮空間であれば、[math]H_0(X) = \mathbb{Z}[/math] を除いて、すべてのそのホモロジー群は 0 である。

特異ホモロジー群のホモトピー不変性の証明の概略は以下のようである。連続写像 f: X → Y は次の準同型を誘導する。

[math]f_{\sharp} : C_n(X) \rightarrow C_n(Y).[/math]

次のことが直ちにわかる。

[math]\partial f_{\sharp} = f_{\sharp} \partial,[/math]

すなわち f# はチェイン写像であり、次のホモロジーの準同型を得る。

[math]f_* : H_n(X) \rightarrow H_n(Y).[/math]

f と g がホモトピー同値ならば f* = g* であることを示そう。そうすれば f がホモトピー同値ならば f* は同型であることがわかる。

F : X × [0, 1] → Y を f から g へのホモトピーとする。チェインのレベルで、幾何学的に言えば、基底元 σ: Δn → X of Cn(X) を 「プリズム」 P(σ): Δn × I → Y にうつす準同型

[math]P : C_n(X) \rightarrow C_{n+1}(Y)[/math]

を定義する。P(σ) の境界は次のように表現できる。

[math]\partial P(\sigma) = f_{\sharp}(\sigma) - g_{\sharp}(\sigma) + P(\partial \sigma).[/math]

よって α ∈ Cn(X) が n-サイクルであれば、f#(α ) と g#(α) は境界だけ異なる。

[math] f_{\sharp} (\alpha) - g_{\sharp}(\alpha) = \partial P(\alpha),[/math]

すなわちそれらは homologous である。これで主張が証明された。

関手性

上記の構成は任意の位相空間に対して定義でき、連続写像の作用によって保たれる。この一般性により特異ホモロジー論は圏論の言葉で言い直すことができる。とくに、ホモロジー群は位相空間の圏 Top からアーベル群の圏 Ab への関手であると理解することができる。

まず [math]X\mapsto C_n(X)[/math] は位相空間から自由アーベル群への写像と考える。Top の射上のその作用を理解できるとすればこのことによって [math]C_n(X)[/math] を関手であるようにとれる。さて、Top の射は連続写像であるので、[math]f:X\to Y[/math] が位相空間の連続写像であれば、群の準同型

[math]f_*:C_n(X)\to C_n(Y)\,[/math]

に

[math]f_*\left(\sum_i a_i\sigma_i\right)=\sum_i a_i (f\circ \sigma_i)[/math]

と定義することで拡張できる、ただし [math]\sigma_i:\Delta^n\to X[/math] は特異単体で [math]\sum_i a_i\sigma_i\,[/math] は特異 n-チェイン、すなわち、[math]C_n(X)[/math] の元。このことは [math]C_n[/math] は位相空間の圏からアーベル群の圏への関手

[math]C_n:\bold{Top} \to \bold{Ab}[/math]

であることを示している。

バウンダリ作用素は連続写像と交換するので、[math]\partial_n f_*=f_*\partial_n[/math]。これによってチェイン複体全体を関手として扱うことができる。とくに、このことは写像 [math]X\mapsto H_n (X)[/math] が位相空間の圏からアーベル群の圏への関手

[math]H_n:\bold{Top}\to\bold{Ab}[/math]

であることを示している。ホモトピーの公理によって [math]H_n[/math] はまた関手であり、ホモロジー関手と呼ばれ、hTop, 商ホモトピー圏（English版）、に作用する。

[math]H_n:\bold{hTop}\to\bold{Ab}.[/math]

これは特異ホモロジーを他のホモロジー論から区別する。[math]H_n[/math] はなお関手であるが、Top のすべてで定義されている必要はない。ある意味、特異ホモロジーは「最大の」ホモロジー論である。Top の部分圏上のすべてのホモロジー論はその部分圏上の特異ホモロジーと一致するということである。一方で、特異ホモロジーは最もcleanな圏論的性質を持っていない。そのようなcleanupは胞体ホモロジー（English版）のような他のホモロジー論の発達をモチベートする。

より一般的に、ホモロジー関手はアーベル圏の関手として、あるいは、チェイン複体の関手として、公理的に定義される。短完全列を長完全列に変えるバウンダリ射を要求する公理を満たす。特異ホモロジーの場合には、ホモロジー関手を2つのピースに分解できる。位相的なピースと代数的なピースである。位相的なピースは

[math]C_\bullet:\bold{Top}\to\bold{Comp}[/math]

で与えられる。位相空間を [math]X\mapsto (C_\bullet(X),\partial_\bullet)[/math] として写し、連続関数を [math]f\mapsto f_*[/math] として写す。すると、ここで、[math]C_\bullet[/math] は特異チェイン関手と理解され、これは位相空間をチェイン複体の圏（English版） Comp (or Kom) に写す。チェイン複体の圏は対象としてチェイン複体をもち射としてチェイン写像をもつ。

次に、代数的な部分はホモロジー関手

[math]H_n:\bold{Comp}\to\bold{Ab}[/math]

でこれは

[math]C_\bullet\mapsto H_n(C_\bullet)=Z_n(C_\bullet)/B_n(C_\bullet)[/math]

で写しチェイン写像をアーベル群の写像に写す。公理的に定義されるのはこのホモロジー関手であり、それはそれ自身にチェイン複体の圏上の関手として基づいている。

ホモトピー写像はホモトピー同値なチェイン写像を定義することによって再び絵に入る。したがって、商圏（English版） hComp あるいは K、チェイン複体のホモトピー圏（English版）、を定義できる。

R に係数をもつ場合

任意の単位的 環 R が与えられると、ある位相空間上の特異 n-単体全体の集合が自由 R-加群 の生成元であるようにとることができる。つまり、上記の構成を自由アーベル群から始めるのではなく、かわりに自由 R-加群を使うのである。構成のすべては、ほとんどあるいは全く変更することなしにできる。この結果は

[math]H_n(X, R)\ [/math]

でありこれはR-加群である。もちろん、普通は自由加群ではない。普通のホモロジー群は環を整数環にとるときに

[math]H_n(X,\mathbb{Z})=H_n(X)[/math]

に注意することによって再び得られる。表記 Hn(X, R) をよく似た表記 Hn(X, A) と混同してはならない。これは相対ホモロジー（下記）を表す。

相対ホモロジー

"「相対ホモロジー（English版）」"

部分空間 [math]A\subset X[/math] に対し、相対ホモロジー（English版） Hn(X, A) はチェイン複体の商のホモロジーとして理解される。つまり、

[math]H_n(X,A)=H_n(C_\bullet(X)/C_\bullet(A))[/math]

ただしチェイン複体の商は短完全列

[math]0\to C_\bullet(A) \to C_\bullet(X) \to C_\bullet(X)/C_\bullet(A) \to 0[/math]

によって与えられる。

コホモロジー

ホモロジーチェイン複体を双対化することによって（すなわち R を任意の環として関手 Hom(-, R) を適用することによって）コバウンダリ写像 [math]\delta[/math] をもったコチェイン複体を得る。X のコホモロジー群 (cohomology group) はこの複体のコホモロジー群として定義される。軽口に言えば、「コホモロジーは コ [双対複体] のホモロジーである。」

コホモロジー群はより豊富な、あるいは少なくともよりよく知られた、代数的構造をホモロジー群よりももつ。まず、それらは以下のように次数付き微分代数をなす。

これらは付加的なコホモロジーの演算（English版）であり、コホモロジー代数は付加構造 mod p をもつ（前の通り、mod p コホモロジーは mod p コチェイン複体のコホモロジーであり、コホモロジーの mod p での還元ではない）、とくに Steenrod 代数（English版）の構造をもつ。

ベッチホモロジーとコホモロジー

ホモロジー論の数が多くなってきたので（en:Category:Homology theory参照）、特異理論に対してベッチホモロジー (Betti homology) とベッチコホモロジー (Betti cohomology) という用語が（特に代数幾何について書く著者によって）ときどき使用される。単体的複体や閉多様体といった最もよく知られた空間のベッチ数を生じるからである。

Extraordinary homology

"「en:Extraordinary homology theory」"

ホモロジー論を公理的に（アイレンバーグ–スティーンロッドの公理（English版）を通じて）定義して、公理の1つ（次元公理）を緩めれば、extraordinary homology theory と呼ばれる一般化された理論を得る。これらはもともと extraordinary cohomology theories の形で、すなわち K-理論とコボルディズム理論（English版）において生じた。この文脈において、特異ホモロジーは ordinary homology と呼ばれる。

関連項目

参考文献

  • Allen Hatcher, Algebraic topology. Cambridge University Press, ISBN 0-521-79160-X and ISBN 0-521-79540-0
  • J.P. May, A Concise Course in Algebraic Topology, Chicago University Press ISBN 0-226-51183-9
  • Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1


「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=特異ホモロジー&oldid=106875」から取得