導入と問題の所在
現代の理論物理学、とりわけゲージ理論や一般相対論、超弦理論を幾何学的に定式化する際、避けて通れないのがファイバー束(fiber bundle)とその切断(section)という概念です。
教科書や講義録を開くと、しばしば次のような説明に突き当たります:
「$\pi \circ s = \mathrm{id}_M$ を満たす写像 $s: M \to E$ を切断と呼ぶ。これはすなわち、『切断 $s$ とは、各点 $p \in M$ に対して、その点の真上にあるファイバー $F_p = \pi^{-1}(p)$ の中から、代表となる元をただ1つ指定するルール』に他ならない。」
一見すると直観的で親切な図形的説明に思えます。しかし、大学院で場の量子論を学び始めた多くの初学者がここで直面するのは、「なぜ物理学者は、単に時空 から標的空間 への写像 と書くだけでは満足せず、わざわざ全空間 や射影 を持ち出して『ファイバーから元を1つ選ぶ』などという回りくどい言い回しをするのか?」という根本的な疑問です。
単なる「関数の抽象化」に過ぎないのなら、なぜ「切断」という独自の術語が必要なのでしょうか。本稿では、この一文に凝縮された数学的・物理的意味を極限まで分解し、場の幾何学的本質とゲージ理論のトポロジーへと読者を誘います。
背景にある物理的前提・設定
議論の足場を固めるために、まずは数学的枠組みを厳密に定義しておきましょう。
底多様体(時空多様体)を (次元 )、全空間を 、ファイバーを とする滑らかなファイバー束を と表します。ここで、
は滑らかな全射(射影)であり、局所自明性(local triviality)を満たします。すなわち、 の任意の点 の近傍 に対して、微分同相写像
が存在し、 を満たします。
点 の「真上にある」ファイバーとは、射影 による逆像
のことです。
ここで、切断(section) とは、
を満たす滑らかな写像として定義されます。この合成条件を各点 で評価すると、
となります。画像にあるテキストが述べているのは、まさにこの数式変形そのものです。「 を代入して得られる値 は、必ず の真上のファイバー の元でなければならない」という拘束条件を表しています。
全空間 E
| * s(p) ∈ F_p (ファイバーの中から1点を選ぶ)
| /
ファイバー F_p = π⁻¹(p)
| /
v /
底空間 M
+---p--------------------
時空の各点
核心の導出 & 概念のかみ砕き解説
1. なぜ通常の関数 ではダメなのか?
もし大域的にファイバー束が自明、すなわち という直積空間であるならば、切断 は
と一対一に対応します。この場合、切断を指定することと、時空から値域空間への通常の写像 を与えることは完全に同値です。
しかし、物理的に意味のある多くの空間において、ファイバー束は大域的にねじれており、自明な直積空間にはなりません。
典型的な例が時空上の接束 やスピノル束、あるいは非自明なゲージ主束(主 束)です。 時空 を被覆する開被覆 をとると、各近傍上では局所自明化によって場は通常の関数として表現されます:
ところが、2つの近傍の交わり 上では、両者の局所座標の対応は遷移関数(transition function) ( は構造群)を介して結びつきます:
(ここで は群 のファイバー 上の表現)。
もし「切断」ではなく「大域的な関数 」を要求してしまうと、遷移関数が恒等写像でない限り、パッチのつなぎ目で矛盾が生じてしまいます。「切断」という概念を採用することで初めて、時空全体で辻褄の合った(大域的に矛盾なく貼り合わされた)物理場を定式化できるのです。
2. ベクトル束の切断 = 物理における「物質場」
具体例を考えてみましょう。ファイバー がベクトル空間 であるとき、ファイバー束はベクトル束(vector bundle)と呼ばれます。
- 電磁場・一般相対論におけるテンソル場: が時空多様体であるとき、接束 の切断は反変ベクトル場 であり、余接束 の切断は共変ベクトル場(1形式) です。
- ディラック場(スピノル場): スピノル束 の切断が、ディラック方程式に従うスピノル場 です。 スピノルは時空の局所ローレンツ変換 の表現空間をファイバーとする束の切断としてのみ大域的に意味を持ちます。
各点 において、物質場は「時空の点 に付随した内部空間 」のベクトルを1つ選んでいます。これが「真上にあるファイバーから代表元をただ1つ指定する」という言葉の物理的描像です。
3. 主束の切断 =「大域的ゲージ固定」の不可能性
さらに本質的なのは、ファイバー自身がリー群 と同相である主束(principal bundle) の場合です。
主束における切断 を考えることには、極めて深い物理的帰結が伴います。 数学的に次の基本定理が存在します:
【定理】 主束 が大域的切断 を持つための必要十分条件は、 が自明束()であることである。
この定理の物理的な意味を解読してみましょう。 主束において、切断 を指定することは、各点 において「ゲージ群 の元の中から1つを基準点として選ぶ」こと、すなわちゲージ固定(gauge fixing)を行うことに他なりません。
もし主束が非自明なトポロジーを持っている場合(例えばディラック・モノポールが存在する背景での 束や、インスタントン背景での 束):
このとき、上記定理により、大域的な切断 は絶対に存在し得ません。
これは物理的には、「特異点(ゲージの破綻)なしに時空全体で一意にゲージ固定を完了することは不可能である」という劇的な事実(いわゆるゲルバート・アンビギュイティ(Gribov ambiguity)や、ウー・ヤンのモノポールにおける複数パッチ分割の必然性)を数学的に証明しています。
以前当ブログで扱った「非アベルゲージ理論の幾何と代数:ワインバーグが拓くBRSTコホモロジーとBV形式の深淵」でも触れたように、ゲージ理論の正典量子化においてゲージ固定の特異性を回避し、代数学的(コホモロジー的)に物理的状態を抽出せざるを得ない根底には、まさにこの「非自明な束における大域的切断の不在」が存在しているのです。
で、なぜ著者はこのような説明・省略をしたのか?(物理的考察)
なぜ著者は、数式による冷徹な定義 だけでなく、わざわざ「真上にあるファイバーから代表となる元をただ1つ指定するルール」という情緒的とも言える幾何学的比喩を挟み込んだのでしょうか?
それは、物理学者が犯しがちな「場を単なる値の集合(スカラーや成分表示されたベクトル)として捉える罠」から解放するためです。
多くの物理計算において、私たちは局所座標系 を選び、場を のように成分で書き下します。この書き方に慣れすぎると、「場とは時空の各点 に対し、ある固定された数ベクトル空間の要素を返す関数である」と錯覚してしまいます。
しかし、その捉え方は空間が平坦かつトポロジーが自明な場合にしか通用しません。 時空が曲がっていたり(一般相対論)、背景にトポロジカルな配位(ソリトン、インスタントン、モノポール)が存在する場合、「時空の点 における内部空間」と「別の点 における内部空間」は自明には同一視できません。 と は同型ではあっても、標準的な同定写像(canonical isomorphism)は存在せず、両者を結ぶには接続(connection / ゲージ場 )による平行移動が必要です。
著者が「その点の真上にあるファイバー の中から」と強調したのは:
- 各点 ごとに独立したファイバー空間 が屹立しているという垂直方向の独立性
- 切断とは、それら無数に直立するファイバーの海を水平に貫き、「各ファイバーにつきピンポイントで1点だけを串刺しにする断面(cross section)」であるという幾何学的実体
を視覚的に植え付けるためだったと考えられます。「断面(section)」という言葉の語源通り、丸太をスライスするように各ファイバーを1度だけ切断するからこそ、時空の各点に一意な物理状態が対応づけられるのです。
まとめ & 関連する問い
画像のテキストが示した「切断」の直観的定義は、単なる幾何学の入門的解説にとどまらず、理論物理学における深遠な真理を突いています。
- 写像から切断へ: トポロジカルに非自明な背景において、物質場は時空から標的空間への単なる写像ではなく、必ず随伴ベクトル束の切断としてしか存在できない。
- 主束の切断とゲージ自由度: 主束の切断とは局所ゲージの選択そのものであり、大域的切断が存在しないことは、大域的ゲージ固定がトポロジーによって阻まれていることを意味する。
さらに探求すべき発展的課題
- グラスマン奇な切断: 超対称性を持つ理論(超弦理論や超重力理論)では、ファイバー束の切断はフェルミオン的な奇変数(反交換するグラスマン数)の値を取ります。超多様体(supermanifold)上のファイバー束において、「切断」という幾何学的描像はどのように代数的に拡張されるでしょうか?(参考:無限次元の塔が立ち上がる超幾何:リー超代数 コホモロジーの完全決定とAdS/CFTの深淵)
- 切断の空間の量子化: 古典力学系における配位空間が多様体 であるのに対し、場の量子論の配位空間は「無限次元の切断の空間 」となります。この無限次元空間上の汎関数積分測度(パスインテグラル)をトポロジーの観点からいかに厳密に定義するかという問題は、現代数理物理の最前線であり続けています。
教科書の一見素朴なワンフレーズの裏に潜む幾何学的構造を意識することで、ゲージ理論の数式たちが織りなす真の姿が見えてくるはずです。
🔗 あわせて読みたい当ブログの関連記事
- 無限次元の塔が立ち上がる超幾何:リー超代数 コホモロジーの完全決定とAdS/CFTの深淵 - AdS5×S5の超対称性を支配する代数 の複素化 。有限次元代数であり…
- 超重力の幾何から非BPS束縛状態を暴く:AdS/CFTにおけるHHLL相関関数とライト極限の新地平 - 超対称性の保護を失った非BPSマルチパーティクル状態の相関関数はホログラフィで計算可能なのか?古典超重力解のコヒーレント状態展開とライト極限の数理的連関を検証し…
- 非アベルゲージ理論の幾何と代数:ワインバーグが拓くBRSTコホモロジーとBV形式の深淵 - スティーヴン・ワインバーグ『場の量子論 第II巻』第15章を徹底解読。電磁気学から非可換群への跳躍、軸ゲージによる第一原理的正典量子化、De Witt–Fadd…
📝 物理ノート作成メモ
- 本記事は教科書・論文の行間(非自明な途中計算や物理的仮定)を補完するために Gemini マルチモーダル解析によって生成・整理された導出解説です。