なぜ場とは「切断」なのか：$\pi \circ s = \mathrm{id}_M$ が暴く局所場から大域的ゲージ幾何への跳躍

導入と問題の所在

現代の理論物理学、とりわけ素粒子論や一般相対性理論、超弦理論を学ぶ過程で、微分幾何学の金字塔であるミキオ・ナカハラ（中原幹夫）の『Geometry, Topology and Physics』に足を踏み入れる読者は少なくありません。その第9章「FIBRE BUNDLES」において、多くの学習者が立ち止まり、困惑を覚えるのが「切断（section）」の数学的定義です：

「滑らかな写像 $s: M \to E$ が $\pi \circ s = \mathrm{id}_M$ を満たすとき、これをファイバー束 $E \xrightarrow{\pi} M$ の切断と呼ぶ。」

ノートのメモにもある通り、この定義の直観的な意味は至極シンプルです： 「切断 $s$ とは、各点 $p \in M$ に対して、その点の真上にあるファイバー $F_p = \pi^{-1}(p)$ の中から、代表となる元をただ1つ指定するルール」に他なりません。

しかし、物理のバックグラウンドを持つ者がこの定義に向き合ったとき、直ちに次の疑問が湧き上がります：

1. なぜ単なる写像（関数） $\psi: M \to F$ ではいけないのか？ 物理学者は通常、時空座標 $x^\mu$ を与えるとスカラー値や複素ベクトル、ディラック・スピノールを返す関数 $\psi(x)$ を「場（field）」と呼んでいます。なぜ数学者はわざわざ全空間 $E$ という巨大な空間を用意し、射影 $\pi$ との合成が恒等写像になるという回りくどい条件を課すのでしょうか？
2. 局所的な場と切断の厳密な数学的接続はどこにあるのか？ 教科書では「切断は場の概念の幾何学的表現である」と天下り的に説明されますが、局所自明化 $\phi_i$ や遷移関数 $t_{ij}$ を介して、各パッチ上の物理量としての「成分」がどのように貼り合わされているのか、その厳密な代数操作が省略されがちです。
3. 「大域的切断が存在しない」とは物理的に何を意味するのか？ もしファイバー束が自明な直積空間 $M \times F$ でない場合、いたるところゼロでない滑らかな切断が存在し得ないトポロジカルな障害が生じます。これが電磁気学のモノポールやゲージ理論の真空構造とどう直結しているのでしょうか？

以前の論考 非アベルゲージ理論の幾何と代数：ワインバーグが拓くBRSTコホモロジーとBV形式の深淵 では、局所的な場の演算子やBRST対称性という「場の量子論の代数構造」からゲージ対称性を解明しました。今回はその双対をなす幾何学的描像、すなわち「場とはなぜファイバー束の切断でなければならないのか」という大域的・幾何学的な必然性を解き明かします。

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

直積空間の限界と「大域的なねじれ」

もし時空多様体 $M$（底空間）と内部自由度 $F$（ファイバー：$\mathbb{R}^m, \mathbb{C}^N, \mathrm{SU}(N)$ など）が、宇宙全体で何らのねじれもなく整列しているなら、全空間は単なる直積空間 $E = M \times F$ です。

直積空間 $M \times F$ における射影写像は、第1成分を取り出す自然な射影 $\pi(p, f) = p$ です。このとき、条件 $\pi(s(p)) = p$ を満たす写像 $s: M \to M \times F$ は、ある滑らかな写像 $\psi: M \to F$ を用いて一意に：

と書けます。この場合、切断 $s$ を指定することと、通常の場 $\psi: M \to F$ を指定することは完全に等価です。物理学者が学部時代に慣れ親しんだ「時空の各点 $x$ に内部空間の値を対応させる関数」という描像は、まさにこの自明な直積束 $E = M \times F$ の切断を見ていたのです。

しかし、物理系が大域的・位相幾何学的な構造（トポロジー）を持つとき、この素朴な同一視は完全に崩壊します。典型的な物理的状況を整理しましょう：

• 一般相対論におけるベクトル場（接束 $TM$）： 球面 $S^2$ 上に毛並みを揃えた連続なベクトル場を作ろうとしても、必ず「つむじ（ゼロ点）」が生まれます（毛玉定理 / Poincaré–Hopfの定理）。これは $TS^2 \not\cong S^2 \times \mathbb{R}^2$、すなわち接束が大域的にねじれているためです。
• ディラック・モノポール（主 $U(1)$ 束）： 磁荷 $g$ を持つモノポールの周囲では、球殻 $S^2$ 全体で滑らかに定義できる単一のベクトルポテンシャル $A_\mu$ は存在しません。北半球パッチ $U_N$ と南半球パッチ $U_S$ で異なるポテンシャル $A_N, A_S$ を定義し、赤道上でゲージ変換 $A_N - A_S = d\Lambda$ によって貼り合わせる必要があります。
• ヤン・ミルズ理論のインスタントン（主 $SU(2)$ 束）： 4次元時空のコンパクト化 $S^4$ 上で定義される $SU(2)$ ゲージ場は、2次チャーン数（インスタントン数）$k \neq 0$ のとき、大域的に自明な直積 $S^4 \times SU(2)$ には決してなり得ません。

こうした「局所的には通常の場として定義できるが、時空全体では1つの関数として貼り合わせられない物理量」を包括的かつ厳密に記述する唯一の枠組みこそが、ファイバー束の切断なのです。

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

それでは、純粋数学的な切断の定義 $\pi \circ s = \mathrm{id}_M$ から、物理学者が扱う局所的な「場の配位」と「ゲージ変換則」を厳密に導出していきましょう。

1. 局所自明化による切断の引き戻し（局所場の導出）

ファイバー束 $(E, \pi, M, F, G)$ において、底空間 $M$ の開被覆を $\{U_i\}$、局所自明化（微分同相写像）を $\phi_i: U_i \times F \to \pi^{-1}(U_i)$ とします。 各点 $p \in U_i$ に対する局所自明化の制限を：

と書きます。これは典型ファイバー $F$ から、点 $p$ のファイバー $F_p$ への同相写像であり、逆写像 $\phi_{i, p}^{-1}: F_p \to F$ が存在します。

今、大域的（あるいは局所的）な切断 $s: M \to E$ が与えられたとします。定義より、各点 $p$ に対して $s(p) \in F_p$ です。 この切断 $s$ を、開集合 $U_i$ 上の局所自明化を通して典型ファイバー $F$ へ「引き戻す（pull-back）」ことで、局所的な場 $s_i(p)$ を定義します：

この写像 $s_i: U_i \to F$ こそが、物理学者がパッチ $U_i$ 上で観測している「局所的な場の値」です。 逆写像の定義から、点 $p$ における全空間の元 $s(p)$ は次のように復元されます：

2. 重なり領域における局所場の変換則（ゲージ変換の数理）

次に、2つの開集合の交わり $U_i \cap U_j \neq \emptyset$ における振る舞いを追跡します。 同一の幾何学的対象である切断の値 $s(p) \in F_p$ は、パッチ $U_i$ とパッチ $U_j$ の双方で表示可能です：

ファイバー束の定義公理（中原テキストの式 (9.4)）より、局所自明化の間には遷移関数 $t_{ij}(p) \in G$ を用いた次の関係が成り立っています：

この関係式のファイバー引数 $f$ に、パッチ $U_j$ での局所場 $s_j(p)$ を代入します：

左辺は $s(p) = \phi_i(p, s_i(p))$ と等しいため：

写像 $\phi_i(p, \cdot)$ は典型ファイバー $F$ 上の単射（同相写像）ですから、直ちに次の重要な変換則が導かれます：

   [パッチ U_j 上の局所場]                  [パッチ U_i 上の局所場]
         s_j(p) \in F                           s_i(p) \in F
              \                                       ^
               \                                     /
                \           t_{ij}(p) \in G         /
                 +---------------------------------+
                          (遷移関数による変換)

この等式が意味する物理的真実は極めて重要です： 「切断 $s$ というただ1つの幾何学的実体が、異なる観測者（座標パッチ）の局所自明化を通過するとき、構造群 $G$ の元 $t_{ij}(p)$ による内部空間の回転（ゲージ変換）を受けて見える」ということです。

物理学において「パッチを跨ぐときのゲージ変換」と呼ばれているものは、人為的な規約ではなく、切断が大域的に全空間 $E$ の中に整合的に存在しているための幾何学的境界条件そのものだったのです。

3. 具体例：物理学の諸理論における「切断」の姿

この描像を、物理学の主要な場に具体的に適用してみましょう。

(A) 接束 $TM$ とベクトル場

• 底空間 $M$：時空多様体
• 典型ファイバー $F$：$\mathbb{R}^m$
• 構造群 $G$：$\mathrm{GL}(m, \mathbb{R})$
• 局所場：$s_i(p) = (V^1(p), \dots, V^m(p))^\top$
• 遷移関数：ヤコビ行列 $t_{ij}(p) = \left( \frac{\partial x_{(i)}^\mu}{\partial x_{(j)}^\nu}(p) \right)$

切断の変換則 $s_i = t_{ij} s_j$ は、一般相対論でおなじみの反変ベクトルの座標変換則：

そのものとなります。

(B) 随伴物質場（クォーク場・ヒッグス場）

• 底空間 $M$：4次元時空
• 典型ファイバー $F$：カラー表現空間 $\mathbb{C}^3$ や電弱ダブレット $\mathbb{C}^2$
• 構造群 $G$：$\mathrm{SU}(3)_C$ や $\mathrm{SU}(2)_L$
• 遷移関数：局所ゲージ変換行列 $g_{ij}(x) \in G$

物質場 $\psi(x)$ は随伴ベクトル束 $E = P \times_G F$ の切断であり、パッチ間の貼り合わせ則は：

となります。

(C) ゲージ場（接続形式）と主束の局所切断

ここで一つ、極めて深遠な事実を指摘しなければなりません。 「ゲージポテンシャル $A_\mu(x)$（電磁ポテンシャルやグルーオン場）は、主束 $P$ の大域的切断にはなり得ない」という点です。

主ファイバー束 $P(M, G)$ において大域的切断 $s: M \to P$ が存在するための必要十分条件は、その主束が自明束 $P \cong M \times G$ であることです。 もし非自明なトポロジー（モノポールやインスタントン）が存在する場合、主束の大域的切断は数学的に存在し得ません。

では、物理学者が計算しているゲージ場 $A = A_\mu dx^\mu$ とは何なのでしょうか？ それは、主束の全空間 $P$ 上に定義された大域的かつ内在的な幾何学量である接続1形式 $\omega \in \Omega^1(P, \mathfrak{g})$ を、局所パッチ $U_i$ 上で勝手に選んだ「局所切断 $s_i: U_i \to P$」によって時空へ引き戻した量（pull-back）なのです：

物理学者が「ゲージ固定（gauge fixing）」と呼んでいる操作は、幾何学的には「主束のファイバーの中から局所切断 $s_i$ を1枚選び出すこと」に他なりません。

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

中原氏がテキストの冒頭で「切断 $s: M \to E$ とは $\pi \circ s = \mathrm{id}_M$ を満たす写像である」と数行で片付け、その物理的含意を詳しく語らなかったのには、微分幾何学と場の量子論の間に横たわる深い歴史的・認識論的なギャップがあります。

物理学、特に摂動論的な場の量子論（ワインバーグがその著書で極限まで洗練させた正典的アプローチ）において、場とは長らく「局所座標 $x$ の上に定義された、演算子を値に持つ超関数」でした。時空は平坦なミンコフスキー空間 $\mathbb{R}^{1,3}$ であり、大域的なトポロジーなど気にする必要がなかった時代には、「写像 $M \to F$」という素朴な関数の描像で100%事足りていたのです。

しかし、1970年代中盤にウー（Wu）とヤン（Yang）が指摘したように、ディラック・モノポールやアハラノフ・ボーム効果の本質は、局所的な場強度 $F_{\mu\nu}$ でもベクトルポテンシャル $A_\mu$ でもありませんでした。物理の本質は「時空上の主束の大域的構造と、閉曲線に沿ったホロノミー（ウィルソンループ）」にあったのです。

中原氏がここで「関数」という言葉を完全に排除し、「切断」という束の公理的定義を提示したのは：

という現代幾何学の要請を読者の頭に焼き付けるためです。

もし「場とは関数 $\psi: M \to F$ である」と教えてしまうと、読者は無意識のうちに「時空の全域で共通の基準となる内部空間の軸」が存在すると錯覚してしまいます。しかし、非自明な時空やゲージ配位においては、点 $p$ における位相やカラーの向きと、遠く離れた点 $q$ におけるそれを一意に比較する「大域的な基準軸」は存在しません。各点の上には、それぞれのファイバー $F_p$ が屹立しているだけです。

だからこそ、それぞれの点 $p$ の直上にあるファイバー $F_p$ の元を1つずつ拾い集めてくる写像としての切断（Section）という概念が、不可欠かつ唯一の正確な表現となるのです。

まとめ ＆ 関連する問い

今回の解剖によって、「切断」という数学的対象が物理学における「場」とどのように同一化されるのか、その全貌が明らかになりました：

1. 切断の幾何学的定義： $\pi(s(p)) = p$ は、各時空点 $p$ にその点固有の内部自由度 $F_p$ の元を割り当てることを意味する。
2. 局所場とゲージ変換： 局所自明化 $\phi_i$ を用いて切断を引き戻したものが局所場 $s_i(p)$ であり、パッチ間の貼り合わせ則 $s_i(p) = t_{ij}(p) s_j(p)$ はそのままゲージ変換則を与える。
3. トポロジーの必然性： 直積束 $M \times F$ の切断は通常の関数に還元されるが、大域的ねじれを持つ束（モノポール、インスタントン、非自明な接束）では、切断という概念を用いなければ大域的整合性を記述できない。

この「切断」の概念は、単に幾何学の基礎にとどまらず、最先端の理論物理学の至るところで決定的な役割を果たしています。

例えば、AdS/CFT対応において、バルク（重力理論側）の非摂動論的解や超重力マルチパーティクル状態を解析する際、バルク時空のファイバー束構造が境界の共形場理論（CFT）の演算子変形とどのように対応するかという問題は極めて重要です。この点に関心のある方は、超重力の幾何から非BPS束縛状態を暴く：AdS/CFTにおけるHHLL相関関数とライト極限の新地平 をぜひ参照してください。

また、超対称ゲージ理論や弦理論の背景幾何学において、どのような切断（超対称性を保つキリング・スピノールなど）が存在し得るかという問いは、リー超代数のコホモロジーや特性類の計算と直結しています。この数学的深淵については、無限次元の塔が立ち上がる超幾何：リー超代数 $\mathfrak{psl}(n|n)$ コホモロジーの完全決定とAdS/CFTの深淵 で詳しく論じています。

次に探究すべき問い：

• 異なる点にあるファイバーの元 $s(p) \in F_p$ と $s(q) \in F_q$ を比較（微分）するためには、ファイバー束にどのような付加構造（共変微分 $\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 マルチモーダル解析によって生成・整理された導出解説です。