第4部：幾何学とトポロジーにおける「局所（Local）」

——貼り合わせの技法と大域的構造の創発

第7章：多様体とファイバー束 —— 地図帳が作る世界

7.1 多様体（Manifold）の定義 —— アリの視点、神の視点

もし我々が、地球の表面を這う小さなアリだったとしたら、世界はどう見えるだろうか。 アリにとって、足元の地面はどこまでも平らなユークリッド平面（${\mathbb{R}}^2$）である。東西南北に直交座標を引き、ピタゴラスの定理を使って距離を測ることができる。これは「局所的（Local）」な真実である。 しかし、神のような視点から宇宙空間へ飛び出してみれば、地球は丸い球体（$S^2$）であり、決して平らではない。これが「大域的（Global）」な真実である。

現代幾何学の中心概念である**多様体（Manifold）とは、この「アリの視点」と「神の視点」を数学的に調停する舞台装置である。 定義を一言で言えば、多様体とは「局所的にユークリッド空間と見なせる空間」**のことだ。 どんなに複雑にねじれたり、穴が開いたりしている高次元の図形であっても、それを十分に拡大して小さな範囲（近傍）で見れば、そこは我々が慣れ親しんだ平坦な空間（${\mathbb{R}}^n$）と区別がつかない。

この思想は、第1部で触れた解析学の「線形近似」を、空間そのものに適用したものと言える。 解析学では、複雑な関数を局所的に「接線（直線）」で近似した。幾何学では、複雑な空間を局所的に「ユークリッド空間（平坦）」で近似する。つまり、**多様体とは「線形な部分（Partial）」をつぎはぎして作られた「非線形な全体（Total）」**なのである。

これを厳密に記述するために、数学者は**「チャート（座標近傍）」と「アトラス（地図帳）」**という比喩を用いる。

• チャート： 空間の一部 $U$ を切り取り、それを平らな紙（${\mathbb{R}}^n$）の上に描いた地図 $\varphi :U\to {\mathbb{R}}^n$。
• アトラス： 空間全体 $M$ を漏れなく覆い尽くすチャートの集まり。

重要なのは、隣り合う地図の「継ぎ目」である。 領域 $U$ と $V$ が重なっているとき、その重なり部分は2枚の地図に描かれている。地図 $U$ から地図 $V$ へ、あるいはその逆へ、座標を読み替えるルール（座標変換関数）がスムーズ（微分可能）であれば、我々は地図を乗り換えながら世界中を旅することができる。 この「貼り合わせの整合性」こそが多様体の本質だ。 局所的にはただの平面の集まりに過ぎない。しかし、それらがどう貼り合わされるか（トポロジー）によって、全体として「穴（種数）」が生まれたり、向き付け不可能（メビウスの帯）になったりする。 Partialな地図には書かれていない大域的な性質が、貼り合わせというプロセスを通じて創発する（Emergence）のである。

7.2 接空間と接束 —— 各点に宿る線形世界

曲がった空間（多様体 $M$）の上で、物理法則を記述するにはどうすればよいか？ 例えば、物体の「速度」を考えたい。 しかし、曲面上の矢印（ベクトル）は、そのままでは扱いづらい。始点が違うベクトル同士は、足し算さえできないからだ（東京での「北」と、北極での「北」は意味が違う）。

そこで導入されるのが**接空間（Tangent Space, $T_{p}M$）**である。 多様体上の点 $p$ ごとに、そこに接する「平らな板」をあてがう。この板の上なら、ベクトルは自由に足し算や定数倍ができる（線形ベクトル空間）。 点 $p$ における物理現象（速度、力、場の変化）は、この $T_{p}M$ という局所的で線形な世界の中で記述される。

そして、全ての点における接空間を束ねたものを**接束（Tangent Bundle, $TM$）**と呼ぶ。 $TM={\bigcup }_{p\in M}{T}_{p}M$ これは「位置 $p$」と「速度 $v$」を合わせた、元の空間の2倍の次元を持つ巨大な多様体となる。

ここで面白いのは、接束は単なる「直積（$M\times {\mathbb{R}}^n$）」とは限らないということだ。 もし直積なら、空間全体にわたって連続的で非ゼロなベクトル場が存在するはずだ（例：常に「右」を向いている矢印）。 しかし、有名な**「髪の毛の定理（Hairy Ball Theorem）」**が示すように、球面 $S^2$ 上には、どこにものっぺらぼう（ゼロ点）がない連続なベクトル場を作ることはできない。髪の毛を梳かそうとすると、必ずどこかにつむじ（特異点）ができる。 これは、局所的には綺麗に整列できる（Partialには問題ない）ベクトルたちが、全体として（Globalには）整合性を保てなくなるという、トポロジー特有の「ねじれ」を示している。接束の構造自体が、空間の大域的な形状を記憶しているのである。

7.3 ファイバー束（Fiber Bundle） —— 構造のねじれ

接束の概念をさらに一般化したものが**ファイバー束（Fiber Bundle）**である。 これは、ある空間（底空間 $B$）の各点の上に、別の空間（ファイバー $F$）が生えているような構造だ。 局所的に見れば、それは単純な直積 $U\times F$ に見える（自明な束）。しかし、大域的にはねじれているかもしれない。

最も有名な例はメビウスの帯だろう。 底空間は円周 $S^1$、ファイバーは線分 $[-1,1]$ である。 円周を一周して戻ってくる間に、ファイバー（線分）が180度回転してつながっている。 局所的にはどこを切っても普通の長方形（帯）に見える。しかし、全体としては「表」と「裏」の区別が消滅している。この「ひねり」の情報は、Partialな地図の中にはなく、地図と地図をつなぐ「糊しろ（構造群）」の中に隠されている。

現代物理学、特に素粒子論におけるゲージ理論は、数学的にはファイバー束の理論そのものである。 電磁場やクォークの場は、時空（底空間）上のファイバー束の「切断（Section）」として記述される。 ここでも、局所的な対称性（ゲージ変換に対する不変性）を要請することが、結果として大域的な相互作用（力）の存在を決定づける。 「部分（局所対称性）」が「全体（物理法則）」を支配する。この深遠な対応関係は、数学におけるPartialの概念がいかに自然界の根源に触れているかを如実に物語っている。

---

第8章：層（Sheaf）とコホモロジー —— 局所から大域への架け橋

8.1 層（Sheaf）の概念 —— 局所情報の管理者

第7章では、空間を貼り合わせる話をした。第8章では、その空間の上に乗っている「関数」や「データ」を貼り合わせる話をしよう。そのための究極の言語が**層（Sheaf）**である。

層とは、ある空間の開集合 $U$ ごとに、何らかのデータ $\mathcal{F}(U)$（例えば、$U$ 上で定義された連続関数の集合）を対応させるルールである。 層の定義には、以下の2つの重要な公理がある。

1. 一致の公理（一意性）： 局所的に（カバーする小さな開集合たちの上で）一致しているデータは、大域的にも（それらの和集合の上で）同一である。 これは「アリたちが全員『右だ』と言っているなら、全体としても『右』である」という、ある種の民主的な整合性を保証する。

2. 貼り合わせの公理（存在性）： 互いに重なり合う部分で矛盾しない局所的なデータたち（Partial data）があるなら、それらを繋ぎ合わせた大域的なデータ（Global data）が必ず一つ存在する。

この「貼り合わせの公理」こそが層の真骨頂だ。 解析接続を思い出してほしい。複素平面の一部で定義された関数（冪級数）を、重なり合う円盤で次々と貼り合わせていくことで、定義域を広げていく操作。層は、この「部分から全体へ」という情報の拡張プロセスを一般化した概念なのである。

8.2 コホモロジー（Cohomology）の心 —— 障害を測る

しかし、現実は甘くない。局所的には正しいデータが揃っていても、それらを全体として貼り合わせようとすると、どうしても上手くいかない（矛盾が生じる）ことがある。 この「貼り合わせの障害（Obstruction）」を数学的に取り出し、定量化したものが**コホモロジー（Cohomology）**である。

分かりやすい例として、エッシャーの騙し絵「上昇し続ける階段（ペンローズの階段）」を考えよう。 この階段を局所的に見れば、何もおかしなことはない。一段ずつ登っている。隣の段との関係（微分＝局所的な差分）は正常だ。 しかし、階段を一周して元の場所に戻ってくると、なぜか高さが食い違っている。 局所的には $dH=\text{登り}$ という式が成立しているのに、それを一周積分すると $\oint dH\ne 0$ となってしまうのだ。 この「食い違い」こそが、コホモロジー群（この場合は第1コホモロジー $H^1$）の要素である。

層係数コホモロジー論では、以下のように整理する。

• $H^0$（第0コホモロジー）： 大域的な切断（Global Section）。障害なく貼り合わされた完全なデータの集まり。
• $H^1$（第1コホモロジー）： 局所解を貼り合わせようとしたときに生じる「ズレ」。 例えば、複素対数関数 $\log z$ を作ろうとするとき、局所的には定義できるが、原点を一周すると $2\pi i$ のズレが生じる。このズレが $H^1$ の元として検出される。

数学者たちは、このコホモロジーを使うことで、「ある微分方程式の大域解が存在するか？」や「ある幾何学的構造を構成できるか？」といった難問を、「障害類（Obstruction class）がゼロになるか？」という代数的な計算問題に帰着させることに成功した。 「解けるかどうかわからない」という不安は、「コホモロジーを計算すればわかる」という確信に変わったのである。

8.3 局所と大域の統合 —— ガウス＝ボンネの定理

本書の旅の締めくくりとして、**ガウス＝ボンネの定理（Gauss-Bonnet Theorem）**を紹介しよう。これは、「局所（Partial）」と「大域（Total）」の対立と調和を最も美しく体現した定理である。

${\int }_{M}KdA=2\pi \chi (M)$

• 左辺（解析）： $K$ はガウス曲率。曲面の各点における「曲がり具合」を表す量だ。これは微分を使って計算される、極めて局所的な（Partial）量である。アリが足元だけを見て測定できる値だ。これを空間全体で積分（足し合わせ）する。
• 右辺（トポロジー）： $\chi (M)$ はオイラー標数。$2-2g$ （$g$ は穴の数）で表される整数だ。これはゴム膜のようにぐにゃぐにゃ変形しても変わらない、大域的で位相的な（Total）不変量である。

この等式が意味することは衝撃的だ。 アリが、地球上の全ての地点で足元の曲がり具合を測り、それを足し合わせたとする。すると、その総和は必ず整数（の定数倍）になり、あろうことか「地球に穴がいくつ空いているか」という、宇宙からしか見えないはずの情報をピタリと言い当ててしまうのだ！

局所的な情報の集積（積分）が、大域的な構造（トポロジー）を決定する。 これこそが、数学における「Partial」の概念が到達した一つの頂点である。 我々は神の視点（Total）を持たない。しかし、地を這うアリの視点（Partial）を徹底的に極め、それを積分し、貼り合わせることで、神のみぞ知るはずの世界の形を知ることができる。

層の理論、コホモロジー、そして指数定理へと続く現代数学の流れは、この「Local to Global」の精神をより高度に、より抽象的に推し進めたものである。 「部分」は不完全さの象徴ではない。「全体」への扉を開くための鍵なのだ。

---

（第4部 完）