yagibrary
← 記事一覧に戻る
公開日: 2026-09-22 • 約11分で読めます (5,131文字)

ファイバー束の「切断」とは何を物理的に選んでいるのか:場の幾何学化とゲージ自由度の正体

「切断とは各点のファイバーから元をただ1つ指定するルールである」という幾何学的な記述の行間を解剖。なぜ通常の関数ではなく束の切断として場を定義せねばならないのか、主束の大域的切断の非存在が語るトポロジカルな障害まで徹底解説します。

導入と問題の所在

現代の理論物理学、とりわけゲージ理論や一般相対論、超弦理論を幾何学的に定式化する際、避けて通れないのがファイバー束(fiber bundle)とその切断(section)という概念です。

教科書や講義録を開くと、しばしば次のような説明に突き当たります:

「$\pi \circ s = \mathrm{id}_M$ を満たす写像 $s: M \to E$ を切断と呼ぶ。これはすなわち、『切断 $s$ とは、各点 $p \in M$ に対して、その点の真上にあるファイバー $F_p = \pi^{-1}(p)$ の中から、代表となる元をただ1つ指定するルール』に他ならない。」

一見すると直観的で親切な図形的説明に思えます。しかし、大学院で場の量子論を学び始めた多くの初学者がここで直面するのは、「なぜ物理学者は、単に時空 MM から標的空間 VV への写像 ϕ:M→V\phi: M \to V と書くだけでは満足せず、わざわざ全空間 EE や射影 π\pi を持ち出して『ファイバーから元を1つ選ぶ』などという回りくどい言い回しをするのか?」という根本的な疑問です。

単なる「関数の抽象化」に過ぎないのなら、なぜ「切断」という独自の術語が必要なのでしょうか。本稿では、この一文に凝縮された数学的・物理的意味を極限まで分解し、場の幾何学的本質とゲージ理論のトポロジーへと読者を誘います。


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

議論の足場を固めるために、まずは数学的枠組みを厳密に定義しておきましょう。

底多様体(時空多様体)を MM(次元 dim⁡M=d\dim M = d)、全空間を EE、ファイバーを FF とする滑らかなファイバー束を (E,π,M,F)(E, \pi, M, F) と表します。ここで、

π:E→M\pi: E \to M

は滑らかな全射(射影)であり、局所自明性(local triviality)を満たします。すなわち、MM の任意の点 pp の近傍 U⊂MU \subset M に対して、微分同相写像

ΦU:π−1(U)⟶∼U×F\Phi_U: \pi^{-1}(U) \stackrel{\sim}{\longrightarrow} U \times F

が存在し、pr1∘ΦU=π\mathrm{pr}_1 \circ \Phi_U = \pi を満たします。

点 p∈Mp \in M の「真上にある」ファイバーとは、射影 π\pi による逆像

Fp≡π−1(p)={e∈E∣π(e)=p}F_p \equiv \pi^{-1}(p) = \{ e \in E \mid \pi(e) = p \}

のことです。

ここで、切断(section) s:M→Es: M \to E とは、

π∘s=idM\pi \circ s = \mathrm{id}_M

を満たす滑らかな写像として定義されます。この合成条件を各点 p∈Mp \in M で評価すると、

π(s(p))=p  ⟹  s(p)∈π−1(p)=Fp\pi(s(p)) = p \implies s(p) \in \pi^{-1}(p) = F_p

となります。画像にあるテキストが述べているのは、まさにこの数式変形そのものです。「pp を代入して得られる値 s(p)s(p) は、必ず pp の真上のファイバー FpF_p の元でなければならない」という拘束条件を表しています。

全空間 E
   |        * s(p) ∈ F_p (ファイバーの中から1点を選ぶ)
   |       /
ファイバー F_p = π⁻¹(p)
   |     /
   v    /
底空間 M
   +---p--------------------
      時空の各点

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

1. なぜ通常の関数 ϕ:M→F\phi: M \to F ではダメなのか?

もし大域的にファイバー束が自明、すなわち E=M×FE = M \times F という直積空間であるならば、切断 s(p)s(p) は

s(p)=(p,ϕ(p)),ϕ:M→Fs(p) = (p, \phi(p)), \quad \phi: M \to F

と一対一に対応します。この場合、切断を指定することと、時空から値域空間への通常の写像 ϕ(p)\phi(p) を与えることは完全に同値です。

しかし、物理的に意味のある多くの空間において、ファイバー束は大域的にねじれており、自明な直積空間にはなりません。

典型的な例が時空上の接束 TMTM やスピノル束、あるいは非自明なゲージ主束(主 GG 束)です。 時空 MM を被覆する開被覆 {Uα}\{U_\alpha\} をとると、各近傍上では局所自明化によって場は通常の関数として表現されます:

Φα(s(p))=(p,ϕα(p)),ϕα:Uα→F\Phi_\alpha(s(p)) = (p, \phi_\alpha(p)), \quad \phi_\alpha: U_\alpha \to F

ところが、2つの近傍の交わり Uα∩UβU_\alpha \cap U_\beta 上では、両者の局所座標の対応は遷移関数(transition function) gαβ:Uα∩Uβ→Gg_{\alpha\beta}: U_\alpha \cap U_\beta \to G(GG は構造群)を介して結びつきます:

ϕα(p)=ρ(gαβ(p)) ϕβ(p)\phi_\alpha(p) = \rho(g_{\alpha\beta}(p)) \, \phi_\beta(p)

(ここで ρ\rho は群 GG のファイバー FF 上の表現)。

もし「切断」ではなく「大域的な関数 ϕ:M→F\phi: M \to F」を要求してしまうと、遷移関数が恒等写像でない限り、パッチのつなぎ目で矛盾が生じてしまいます。「切断」という概念を採用することで初めて、時空全体で辻褄の合った(大域的に矛盾なく貼り合わされた)物理場を定式化できるのです。

2. ベクトル束の切断 = 物理における「物質場」

具体例を考えてみましょう。ファイバー FF がベクトル空間 VV であるとき、ファイバー束はベクトル束(vector bundle)と呼ばれます。

  • 電磁場・一般相対論におけるテンソル場: MM が時空多様体であるとき、接束 TMTM の切断は反変ベクトル場 Xμ(x)∂μX^\mu(x) \partial_\mu であり、余接束 T∗MT^*M の切断は共変ベクトル場(1形式) Aμ(x)dxμA_\mu(x) dx^\mu です。
  • ディラック場(スピノル場): スピノル束 S\mathcal{S} の切断が、ディラック方程式に従うスピノル場 ψ(x)\psi(x) です。 スピノルは時空の局所ローレンツ変換 Spin(1,d−1)\mathrm{Spin}(1, d-1) の表現空間をファイバーとする束の切断としてのみ大域的に意味を持ちます。

各点 pp において、物質場は「時空の点 pp に付随した内部空間 VpV_p」のベクトルを1つ選んでいます。これが「真上にあるファイバーから代表元をただ1つ指定する」という言葉の物理的描像です。

3. 主束の切断 =「大域的ゲージ固定」の不可能性

さらに本質的なのは、ファイバー自身がリー群 GG と同相である主束(principal bundle) P(M,G)P(M, G) の場合です。

主束における切断 σ:M→P\sigma: M \to P を考えることには、極めて深い物理的帰結が伴います。 数学的に次の基本定理が存在します:

【定理】 主束 P(M,G)→MP(M, G) \to M が大域的切断 σ:M→P\sigma: M \to P を持つための必要十分条件は、PP が自明束(P≅M×GP \cong M \times G)であることである。

この定理の物理的な意味を解読してみましょう。 主束において、切断 σ(p)\sigma(p) を指定することは、各点 pp において「ゲージ群 GG の元の中から1つを基準点として選ぶ」こと、すなわちゲージ固定(gauge fixing)を行うことに他なりません。

もし主束が非自明なトポロジーを持っている場合(例えばディラック・モノポールが存在する背景での U(1)U(1) 束や、インスタントン背景での SU(2)SU(2) 束):

c1(P)≠0あるいはc2(P)≠0c_1(P) \neq 0 \quad \text{あるいは} \quad c_2(P) \neq 0

このとき、上記定理により、大域的な切断 σ:M→P\sigma: M \to P は絶対に存在し得ません。

これは物理的には、「特異点(ゲージの破綻)なしに時空全体で一意にゲージ固定を完了することは不可能である」という劇的な事実(いわゆるゲルバート・アンビギュイティ(Gribov ambiguity)や、ウー・ヤンのモノポールにおける複数パッチ分割の必然性)を数学的に証明しています。

以前当ブログで扱った「非アベルゲージ理論の幾何と代数:ワインバーグが拓くBRSTコホモロジーとBV形式の深淵」でも触れたように、ゲージ理論の正典量子化においてゲージ固定の特異性を回避し、代数学的(コホモロジー的)に物理的状態を抽出せざるを得ない根底には、まさにこの「非自明な束における大域的切断の不在」が存在しているのです。


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

なぜ著者は、数式による冷徹な定義 π∘s=idM\pi \circ s = \mathrm{id}_M だけでなく、わざわざ「真上にあるファイバーから代表となる元をただ1つ指定するルール」という情緒的とも言える幾何学的比喩を挟み込んだのでしょうか?

それは、物理学者が犯しがちな「場を単なる値の集合(スカラーや成分表示されたベクトル)として捉える罠」から解放するためです。

多くの物理計算において、私たちは局所座標系 xμx^\mu を選び、場を ϕa(x)\phi^a(x) のように成分で書き下します。この書き方に慣れすぎると、「場とは時空の各点 xx に対し、ある固定された数ベクトル空間の要素を返す関数である」と錯覚してしまいます。

しかし、その捉え方は空間が平坦かつトポロジーが自明な場合にしか通用しません。 時空が曲がっていたり(一般相対論)、背景にトポロジカルな配位(ソリトン、インスタントン、モノポール)が存在する場合、「時空の点 pp における内部空間」と「別の点 qq における内部空間」は自明には同一視できません。FpF_p と FqF_q は同型ではあっても、標準的な同定写像(canonical isomorphism)は存在せず、両者を結ぶには接続(connection / ゲージ場 AμA_\mu)による平行移動が必要です。

著者が「その点の真上にあるファイバー FpF_p の中から」と強調したのは:

  1. 各点 pp ごとに独立したファイバー空間 FpF_p が屹立しているという垂直方向の独立性
  2. 切断とは、それら無数に直立するファイバーの海を水平に貫き、「各ファイバーにつきピンポイントで1点だけを串刺しにする断面(cross section)」であるという幾何学的実体

を視覚的に植え付けるためだったと考えられます。「断面(section)」という言葉の語源通り、丸太をスライスするように各ファイバーを1度だけ切断するからこそ、時空の各点に一意な物理状態が対応づけられるのです。


まとめ & 関連する問い

画像のテキストが示した「切断」の直観的定義は、単なる幾何学の入門的解説にとどまらず、理論物理学における深遠な真理を突いています。

  • 写像から切断へ: トポロジカルに非自明な背景において、物質場は時空から標的空間への単なる写像ではなく、必ず随伴ベクトル束の切断としてしか存在できない。
  • 主束の切断とゲージ自由度: 主束の切断とは局所ゲージの選択そのものであり、大域的切断が存在しないことは、大域的ゲージ固定がトポロジーによって阻まれていることを意味する。

さらに探求すべき発展的課題

  1. グラスマン奇な切断: 超対称性を持つ理論(超弦理論や超重力理論)では、ファイバー束の切断はフェルミオン的な奇変数(反交換するグラスマン数)の値を取ります。超多様体(supermanifold)上のファイバー束において、「切断」という幾何学的描像はどのように代数的に拡張されるでしょうか?(参考:無限次元の塔が立ち上がる超幾何:リー超代数 psl(n∣n)\mathfrak{psl}(n|n) コホモロジーの完全決定とAdS/CFTの深淵)
  2. 切断の空間の量子化: 古典力学系における配位空間が多様体 QQ であるのに対し、場の量子論の配位空間は「無限次元の切断の空間 Γ(E)\Gamma(E)」となります。この無限次元空間上の汎関数積分測度(パスインテグラル)をトポロジーの観点からいかに厳密に定義するかという問題は、現代数理物理の最前線であり続けています。

教科書の一見素朴なワンフレーズの裏に潜む幾何学的構造を意識することで、ゲージ理論の数式たちが織りなす真の姿が見えてくるはずです。


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


📝 物理ノート作成メモ

  • 本記事は教科書・論文の行間(非自明な途中計算や物理的仮定)を補完するために Gemini マルチモーダル解析によって生成・整理された導出解説です。
🌐 記事のつながり(ローカルグラフ)
3D 宇宙空間を展開中...
📄 記事プレビュー

タイトル

要約文がここに入ります。

記事
タグ
現在の記事

この記事をシェアする

ABOUT THE AUTHOR / 著者紹介
R

Ryohei Yaginuma

Engineer & Author

クラウド(AWS)・Web技術の実践アーキテクチャから、現代物理学(超弦理論・数理物理)、古典・ビジネス名著の構造的解読まで、「知のOS」をアップデートする論考を発信しています。

📚 関連記事

2026-09-23

Argyres-Douglas理論の深淵へ:4D/2D対応のほころびを正す「有限拡大」とヒッグス枝の2重被覆幾何

ツイストA2NA_{2N}型Argyres-Douglas理論のVOAは単なるアフィンKac-Moody代数ではなかった!BeemとKulkarniが暴いた冪零ヒッグス化、基本表現モジュールによる有限拡大、そしてヒッグス枝に潜む2重被覆の美しき代数幾何を徹底解剖する。

2026-09-22

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

中原幹夫『幾何学・トポロジーと物理学』第9章の核心、「切断(section)」の定義 π∘s=idM\pi \circ s = \mathrm{id}_M を徹底解剖。なぜ通常の関数 M→FM \to F では不十分なのか? 局所自明化を通じたゲージ変換の導出、大域的障害、そして素粒子物理における場の実体に迫ります。

2026-09-21

可換Chern-Simons理論の欠陥を圏論的に統括する:有限2次加群が拓くTQFT・物性・弦理論の厳密な交差点

可換Chern-Simons理論における境界・ドメインウォール・エニオン凝縮を圏論的TQFTとして完全分類したDaniel Galvizの最新論文を解説。有限2次加群とエタール代数の幾何から、巷の「TQFT双対性」への警鐘、そして超対称理論・カイラル代数への展開まで熱く論じます。