直積空間からファイバー束への飛躍：局所自明化と遷移関数 $t_{ij}$ が紡ぐゲージ幾何学の真髄

導入と問題の所在

理論物理学、とりわけ一般相対性理論やゲージ理論、超弦理論を深く学ぼうとするとき、誰もが必ず開く名著がミキオ・ナカハラ（中原幹夫）の『Geometry, Topology and Physics』です。その第9章「FIBRE BUNDLES（ファイバー束）」の冒頭で、著者は極めて簡潔に次のように語り始めます：

「多様体とは局所的に $\mathbb{R}^m$ に見える位相空間である。……ファイバー束とは、いわば2つの位相空間の直積に局所的に見える位相空間である。」

この定式化自体は人口に膾炙した標語ですが、いざテキストを読み進めると、初学者は忽ち次のような疑問とギャップに直面します：

1. なぜ単なる直積空間 $M \times F$ ではダメなのか？ なぜわざわざ局所自明化 $\phi_i$ という写像を何枚も貼り合わせ、遷移関数（transition function）$t_{ij}$ という面倒な「糊代（のりしろ）」を導入しなければならないのか？
2. 接束における座標変換式 (9.3) からファイバー束の公理的定義 (9.4) への跳躍： 接ベクトル成分のヤコビ行列による変換 $\tilde{V}^\nu = \frac{\partial y^\nu}{\partial x^\mu} V^\mu$ が、どのようにして一般のリー群 $G$ の作用 $\phi_j(p, f) = \phi_i(p, t_{ij}(p)f)$ へと抽象化されるのか、その対応関係が天下り的で視覚的・代数的な直観が掴みにくい。
3. 「切断（section）」という概念の物理的意味： 数学者は $\pi \circ s = \mathrm{id}_M$ を満たす写像 $s: M \to E$ をサラリと定義しますが、これが場の量子論における「場（field）」そのものであるという物理的必然性がどこにあるのか。

以前取り上げた 非アベルゲージ理論の幾何と代数：ワインバーグが拓くBRSTコホモロジーとBV形式の深淵 では、場の量子論の側からゲージ対称性とBRST対称性を掘り下げましたが、今回はその土台となる微分幾何学・大域解析学の第一歩を徹底的に解明します。

背景にある物理的前提・設定

物理学において、空間（あるいは時空多様体）$M$ の各点 $p \in M$ に「内部自由度」や「幾何学的自由度」が付随する状況は普遍的です：

• 一般相対論： 各時空点 $p$ に、その点における速度ベクトルや運動量ベクトルが属する局所平坦な接空間 $T_p M \cong \mathbb{R}^m$ が乗っている。
• 電磁気学（$U(1)$ ゲージ理論）： 各時空点 $p$ に、荷電粒子の波動関数の位相自由度である円周 $S^1 \cong U(1)$ が乗っている。
• ヤン・ミルズ理論（$SU(N)$ ゲージ理論）： 各時空点 $p$ に、クォークのカラー自由度を回転させる内部空間 $\mathbb{C}^N$ や、ゲージ変換群 $SU(N)$ そのものが乗っている。

もし、これらすべての点における内部空間が「完全に同一の向き」で綺麗に整列し、時空全体でグローバルに直積 $M \times F$ として分解できるなら、物理は極めて単純です。しかし、自然界は大域的なねじれ（トポロジカルな非自明性）を許容しています。

身近な例がメビウスの帯です。メビウスの帯は局所的には「線分 $\times$ 区間」の直積に見えますが、大域的には円筒 $S^1 \times [0, 1]$ とはトポロジーが異なります。一周回って戻ってきたときに反転する「糊付け（遷移関数）」が存在するからです。

物理において、ディラック・モノポールの磁場を記述するベクトルポテンシャル $A_\mu$ が球面 $S^2$ 全体で特異点なしには定義できず、北半球 $U_N$ と南半球 $U_S$ の2つの領域に分けて赤道上でゲージ変換で貼り合わせなければならない理由も、まさに時空上の主束が大域的に非自明なねじれを持っているからに他なりません。

核心の導出 ＆ 概念のかみ砕き解説

それでは、テキスト第1ページ〜第3ページで展開されている数学的構造を、一切の妥協なしに解剖していきましょう。

1. 接束 $TM$ におけるヤコビ行列から構造群への昇華

まず、基本となる接束 $TM = \bigcup_{p \in M} T_p M$ の構造を整理します。 多様体 $M$ の開被覆を $\{U_i\}$ とし、各開集合 $U_i$ 上の局所座標系を $x^\mu = \phi_i(p)$ とします（$\mu = 1, \dots, m$）。

点 $p \in U_i$ における接空間 $T_p M$ の自然な基底は、方向微分作用素：

で与えられます。任意の接ベクトル $V \in T_p M$ は、実数成分 $V^\mu(p) \in \mathbb{R}$ を用いて一意に展開されます：

したがって、局所的には $T U_i \equiv \bigcup_{p \in U_i} T_p M$ の任意の元 $(p, V)$ は、座標の組 $(x^\mu(p), V^\mu(p)) \in \mathbb{R}^m \times \mathbb{R}^m$ によって完全に特定されます。これが図9.1に描かれている局所的な同型関係 $T U_i \cong U_i \times \mathbb{R}^m$ です。

問題は、別のチャート $U_j$（局所座標 $y^\nu = \psi(p)$）との交わり $U_i \cap U_j \neq \emptyset$ において何が起きるかです。 同一の幾何学的ベクトル $V \in T_p M$ は、$U_j$ の基底でも展開可能です：

連鎖律（チェインルール）より、基底の間には次の厳密な関係があります：

これを $V$ の展開式に代入すると：

基底の一意性から、新しい成分 $\tilde{V}^\nu(p)$ と古い成分 $V^\mu(p)$ の関係式（テキストの式 (9.3)）が直ちに導かれます：

ここで、行列 $G^\nu{}_\mu(p) \equiv \frac{\partial y^\nu}{\partial x^\mu}(p)$ を定義します。座標変換が滑らかな可逆写像（微分同相写像）であることから、このヤコビ行列の行列式はゼロになりません（$\det(G) \neq 0$）。すなわち：

これが意味する幾何学的真実は強烈です： 「多様体のパッチを貼り合わせる際、ファイバー（接空間）の成分は、一般線形群 $\mathrm{GL}(m, \mathbb{R})$ の行列表現によって回転・引き伸ばし（線形変換）を受ける」ということです。この群 $\mathrm{GL}(m, \mathbb{R})$ こそが、接束の構造群（structure group）です。

2. 一般のファイバー束と局所自明化の逆写像合成（式 (9.4) の解剖）

中原テキストの Definition 9.1 では、この構造が一気に抽象化されます。定義の各要素を物理の記号と対応させながら解体しましょう。

• 全空間 $E$：全体の空間（接束なら $TM$）
• 底空間 $M$：ベースとなる時空多様体
• ファイバー $F$：各点に乗っかる典型的な空間（接束なら $\mathbb{R}^m$、主束ならリー群 $G$ 自身）
• 射影 $\pi : E \to M$：ファイバーの情報を「忘れて」、底空間の点 $p$ だけを取り出す写像
• 構造群 $G$：ファイバー $F$ に作用する対称性変換群

核心となるのは、(vi) 局所自明化（local trivialization） と (vii) 遷移関数（transition function） の定義です。ここが多くの読者を悩ませるポイントです。

局所自明化 $\phi_i$ は、直積空間から全空間の局所領域への微分同相写像です：

この写像の第一成分は射影と可換でなければなりません（$\pi(\phi_i(p, f)) = p$）。 ここで、底空間の点 $p \in U_i$ を固定した写像：

を考えます。これは典型ファイバー $F$ から、点 $p$ 上のファイバー $F_p$ への同相写像です。したがって、その逆写像：

が存在します。

今、2つの開集合の交わり $p \in U_i \cap U_j$ を考えます。点 $p$ 上のファイバー $F_p$ の任意の元 $u \in F_p$ は、パッチ $U_j$ の自明化を使えば、ある $f \in F$ を用いて次のように表せます：

この同じ元 $u \in F_p$ を、パッチ $U_i$ の自明化の「目眼鏡」を通して典型ファイバー $F$ へ引き戻してみましょう。逆写像 $\phi_{i, p}^{-1}$ を作用させます：

この合成写像 $t_{ij}(p) \equiv \phi_{i, p}^{-1} \circ \phi_{j, p}$ は、典型ファイバー $F$ から $F$ 自身への微分同相写像です：

ファイバー束の公理は、「この写像 $t_{ij}(p)$ が、あらかじめ与えられたリー群 $G$ の元としての左作用でなければならない」と要請します。 すなわち、$f' = t_{ij}(p) f$ です。

両辺に左から $\phi_{i, p}$ を作用させれば：

左辺は定義により $\phi_{i, p}(\phi_{i, p}^{-1}(u)) = u = \phi_{j, p}(f)$ ですから、直ちに次の等式が成立します：

これが、テキストの式 (9.4) に他なりません！

     F_p (点 p 上の実際のファイバー)
       ^                 ^
        \               /
  \phi_{i,p} \     / \phi_{j,p}
              \   /
               \ /
        F -------------> F
             t_{ij}(p)
     (チャート i)     (チャート j)

この幾何学的配置を見れば、なぜ $t_{ij}$ の添字が $i, j$ の順序で定義されているのかが一目瞭然です。 $t_{ij}(p)$ は「パッチ $j$ での表示からパッチ $i$ での表示へとファイバー座標を変換する規則」を表しているのです。

この定義から、直ちに以下のコサイクル条件（cocycle condition）が導かれます：

そして3重の交わり $U_i \cap U_j \cap U_k \neq \emptyset$ において：

このコサイクル条件こそが、多様体全体でファイバー同士が破綻なく整合的に貼り合わされるための無矛盾律（integrability condition）です。

3. 切断（Section）とは物理的に何なのか？

テキスト第3ページで導入される概念：

「$\pi \circ s = \mathrm{id}_M$ を満たす滑らかな写像 $s: M \to TM$ を接束 $TM$ の切断（あるいは断面）と呼ぶ。」

これが物理的に何を意味するかをかみ砕きましょう。

射影 $\pi$ は、全空間 $E$ の元から底空間の点 $p$ を取り出す操作でした。したがって、$\pi \circ s = \mathrm{id}_M$ という条件は：

を意味します。これはすなわち、「切断 $s$ とは、各点 $p \in M$ に対して、その点の真上にあるファイバー $F_p = \pi^{-1}(p)$ の中から、代表となる元をただ1つ指定するルール」に他なりません。

• 接束 $TM$ の切断 $s$：各点 $p$ に接ベクトル $V(p) \in T_p M$ を1つ滑らかに割り振る $\Longrightarrow$ ベクトル場（vector field）
• 複素スカラー束 $M \times \mathbb{C}$ の切断：各点 $p$ に複素スカラー $\phi(p)$ を割り振る $\Longrightarrow$ スカラー場（ヒッグス場など）
• スピノール束の切断：各点 $p$ にディラック・スピノール $\psi(p)$ を割り振る $\Longrightarrow$ 物質場（クォークやレプトン）

物理学者が日常的に「時空の関数としての場 $\phi(x)$」と呼んでいるものは、数学的にはすべて「あるファイバー束の大域的（または局所的）な切断」だったのです。

もしファイバー束が大域的にねじれていれば（例えば毛玉定理が成り立つ球面 $S^2$ 上の接束）、いたるところゼロでない連続な大域的切断は存在し得ません。物理的には「全球上で特異点のない滑らかなベクトル場は作れない」というトポロジカルな要請が、束の言語を用いることで極めて自然に記述されるのです。

で、なぜ著者はこのような説明・省略をしたのか？（物理的考察）

中原氏が第9章の冒頭で、いきなり抽象的なファイバー束の定義に飛び込まず、まず接束 $TM$ の局所座標変換を執拗に説明したのには、深い教育的・物理的配慮があります。

物理学者は、テンソルやベクトルの変換性を「添字の変換則（$\tilde{V}^\nu = \frac{\partial y^\nu}{\partial x^\mu} V^\mu$）」として身体に叩き込まれています。著者はその親しみのあるヤコビ行列の計算をあえて提示することで：

という物理的記法から大域幾何学への翻訳ブリッジを架けようとしたのです。

しかし、その後のテキストの記述が極度に凝縮されているため、読者は「局所自明化 $\phi_i$」「逆写像 $\phi_{i,p}^{-1}$」「遷移関数 $t_{ij}$」の矢印の向きを見失いがちになります。

さらに重要な物理的背景として、この先で展開される主束（Principal bundle）と随伴束（Associated bundle）の伏線があります。 現代の素粒子論において、ゲージ場（電磁ポテンシャル $A_\mu$ やグルーオン場 $A_\mu^a$）は主束上の「接続形式（connection form）」であり、物質場（クォークなど）はゲージ群の表現空間をファイバーとする随伴束の「切断」として定式化されます。

ワインバーグ流の場の量子論（局所的な場の演算子とS行列のユニタリティから攻める手法）では、大域的なトポロジーの破れ（インスタントンやアノマリー、モノポールなど）を捉える際に行き詰まることがあります。中原氏がここで座標非依存の幾何学的定義を構築したのは、まさにそうした非摂動論的・大域的な物理現象を厳密に射程に収めるための必然だったと言えます。

まとめ ＆ 関連する問い

今回の徹底解読を通じて、以下のステップが鮮やかに繋がりました：

1. 接束の座標変換： 基底の変換に伴い、成分はヤコビ行列 $G^\nu{}_\mu = \frac{\partial y^\nu}{\partial x^\mu} \in \mathrm{GL}(m, \mathbb{R})$ で変換される。
2. 一般のファイバー束へ： 空間の直積性を局所に限定し、パッチ間の貼り合わせ写像としてリー群 $G$ の元である遷移関数 $t_{ij}(p) = \phi_{i, p}^{-1} \circ \phi_{j, p}$ を導入することで、式 (9.4) $\phi_j(p, f) = \phi_i(p, t_{ij}(p)f)$ が必然的に導かれる。
3. 切断と場の同一性： 射影の逆操作としての切断 $s: M \to E$ こそが、現代物理学における「場」の数学的正体である。

この幾何学的描像は、超弦理論におけるコンパクト化や、AdS/CFT対応における境界共形場理論とバルク重力理論の双対性を理解する上でも不可欠な言語です。例えば、超重力の幾何学的背景における非自明な束構造がどのように境界相関関数に反映されるかについては、超重力の幾何から非BPS束縛状態を暴く：AdS/CFTにおけるHHLL相関関数とライト極限の新地平 でも重要な鍵を握っています。

さらに、これらのファイバー束の分類問題は、底空間のコホモロジー群や特性類（Characteristic classes：チャーン類やポントリャーギン類）と直結しています。対称性の代数構造がトポロジカルにどのように保護されるのかという深遠な問題に関心のある方は、ぜひ 無限次元の塔が立ち上がる超幾何：リー超代数 $\mathfrak{psl}(n|n)$ コホモロジーの完全決定とAdS/CFTの深淵 も併せてご覧ください。

次に探究すべき問い：

• ファイバー $F$ そのものを構造群 $G$ と同一視したとき、この束はどのような特別な性質を持つか？（主ファイバー束の概念へ）
• パッチを跨いでベクトルを「平行移動」させるためには、どのような幾何学的構造（接続 $\nabla$）をファイバー束に追加しなければならないのか？

幾何学と場の量子論の交差点には、まだまだ汲み尽くせない美しさが広がっています。

🔗 あわせて読みたい当ブログの関連記事

• 無限次元の塔が立ち上がる超幾何：リー超代数 $\mathfrak{psl}(n|n)$ コホモロジーの完全決定とAdS/CFTの深淵 - AdS5×S5の超対称性を支配する代数 $\mathfrak{psu}(2,2|4)$ の複素化 $\mathfrak{psl}(4|4)$。有限次元代数であり…
• 超重力の幾何から非BPS束縛状態を暴く：AdS/CFTにおけるHHLL相関関数とライト極限の新地平 - 超対称性の保護を失った非BPSマルチパーティクル状態の相関関数はホログラフィで計算可能なのか？古典超重力解のコヒーレント状態展開とライト極限の数理的連関を検証し…
• 非アベルゲージ理論の幾何と代数：ワインバーグが拓くBRSTコホモロジーとBV形式の深淵 - スティーヴン・ワインバーグ『場の量子論 第II巻』第15章を徹底解読。電磁気学から非可換群への跳躍、軸ゲージによる第一原理的正典量子化、De Witt–Fadd…

📝 物理ノート作成メモ

• 本記事は教科書・論文の行間（非自明な途中計算や物理的仮定）を補完するために Gemini マルチモーダル解析によって生成・整理された導出解説です。