ファイバー束

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ファイバー束（ファイバーそく、fiber bundle、 fibre bundle）とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である。

[編集] 概要

単位円 S¹ と線分 I = [0,1] の直積 S¹ × I は円柱の側面になる。円柱の側面と似たような図形にメビウスの輪がある。局所的には S¹ の一部と線分 I = [0,1] の直積に見えるが、全体的には円柱と異なる図形になっている。このような局所的に直積として書けるという性質（局所自明性）を持った図形を扱うのがファイバー束の概念である。

この場合の S¹ を底空間といい、線分 I をファイバー（繊維）という。ファイバーを底空間に沿って束ねたとき、上の例の円柱のように全体としても直積になっていれば、その全体を自明束（じめいそく）という。自明束は基本的なファイバー束ではあるが、むしろ、メビウスの輪のように自明でないファイバー束の構造がどのようになっているのかといったことが重要である。

ファイバーはただ束ねられるだけではなく、構造群と呼ばれる位相変換群に従って張り合わされる。底空間の開被覆 {U}_a∈A があり、その 2つの元の共通部分 U_a ∩ U_b が空でないとき、その共通部分に立っているファイバーはどのように張り合わされるべきか？という事、すなわち、直積 U_a × F と U_b × F の重なり方を記述するのが構造群である。

ファイバー束の概念は、ホイットニーに始まる。ホイットニーは多様体上のベクトル場から接ベクトル空間をファイバーに持つ接ベクトル束を構成し、その一般化としてファイバー束に到達した。その後、陳省身(Shiing-Shen Chern) による研究は、ファイバー束と接続を関連させ微分幾何学を大域的理論へと導いていくことになり、ゲージ理論などの基礎も成している。また、微分幾何学に留まらず、様々な幾何学の基本的な道具となり、その適用範囲は広い。さらにファイバー束はセールやヒューレッツらによってファイバー空間として一般化され、代数的位相幾何学を支える概念の一つにもなった。

[編集] 定義

[編集] 束

一点 p上のファイバー F_p

位相空間 E, B と、連続な上への写像

π : E → B

があるとき、E を全空間(total space)、B を底空間(base space)、π を射影(projection)、これらの組 (E,π,B) を束(bundle) という。

(E,B,π) のような順序で書かれる場合もある。

x ∈ B に対し、 F_x = π⁻¹(x) を x 上のファイバー(fibre, fiber) という。

以下で扱う座標束やファイバー束の場合、任意の x ∈ B に対し F_x は x によらず位相空間 F と同相になる。すなわち、x,y ∈ B に対して、 F_x と F_y は同相である。しかし、一般の束では、そのような関係は無い。例えば楕円曲面などでは、ほとんどのファイバー（非特異ファイバー）とは異なる特異ファイバーと呼ばれるファイバーがある。

[編集] 座標束

U上に制限した座標束。この画像ではまばらだが、本当はどの点の上にもファイバーがあり、隙間無く並んでいる。

ここでは、座標束 {E,π,B,F,G,U_a,φ_a}_a∈A を定義する。添字集合などを省略して (E,π,B,F,G,U_a,φ_a) などとも書く。

束 (E,π,B) と位相空間 F、F の効果的な位相変換群 G、 底空間 B の開被覆 {U_a}_a∈A が与えられているとする。 U_a を、座標近傍(coordinate neighborhood) という。各座標近傍 U_a には同相写像

φ_a :U_a × F → π⁻¹(U_a)

が存在し、任意の x ∈ U_a および f ∈ F に対して

を満たす。

この φ_a という同相写像によって U_a × F と π⁻¹(U_a) はしばしば同一視される。座標束を説明する図を描くときも U_a × F という直積の図を π⁻¹(U_a) とみなして説明することも少なくない。

F 上の青い点は、φ_a,x によって左下の U_a × F 内のファイバー F_x 上に写る。これを右下の U_b × F 内のファイバー F_x と同一視したとき、青い点が橙色の点になるとする。φ⁻¹_b,x で、橙色の点を F に戻したとき、青色の点に写るとは限らない。この変換を F 上だけで見たときに 青い点から橙色の点に写す変換が g_ba(x) である。

a を固定した F 上の

φ_a,x : F → π⁻¹(U_a)

φ_a,x(f) = φ_a(x,f)

という写像は、 x ∈ U_a ∩ U_b に対して、

g_ba(x) : F → F

を導く。

ここで、 g_ba(x) ∈ G であり、

g_ba:U_a ∩ U_b → G

は連続写像であるとし、G は位相変換群としてできるだけ要素の少ない小さいものをとるとする。

このような性質を持つ (E,π,B,G,{U_a,φ_a}_a∈A) という組を座標束(coordinate bundle) といい、 F をファイバー、G を構造群(structure group)、E を全空間、π を射影、B を底空間、 φ_a を、座標関数(coordinate function)、 g_ba を座標変換(coordinate transformation) という。

一般の束と違って、ファイバーは点に寄らない位相空間である。正確には、任意の x ∈ B に対し x 上のファイバー F_x が、ファイバー F と同相となっている。そして各点での座標変換が、構造群という代数的な構造によって決まっているという点も重要である。

[編集] ファイバー束

座標束をここで述べるような同値関係で分類するとファイバー束が得られる。多様体において座標近傍系を極大座標近傍系にし、座標の取り方によらない幾何学を目指したのと同様に、座標束を座標近傍 {U_a} や座標関数 {φ_a} のとり方によらないように分類したものがファイバー束である。つまりファイバー束を具体的に調べる際に、特定の開被覆を取って調べたりする場合、そこで調べているものは座標束ということになる。

座標近傍や座標関数の取り方の違う 2つの座標束 (E,π,B,F,G,U_a,φ_a) および (E,π,B,F,G,V_b,ψ_b) があるとき、 x ∈ U_a ∩ V_b に対して

が、h_ba(x) ∈ G となり

h_ba:U_a ∩ V_b → G

が連続写像であるとき、この 2つの座標束は同値(equivalent) であるといい、この同値関係による同値類をファイバー束あるいは G 束(G-bundle) といい、 ξ = (E,π,B,F,G) と書く。 F や G なども省略して、π : E → B によってファイバー束を表すこともある。

この図が可換であるとき、同相写像の組 (η_E,η_B) を束写像 という

ファイバーと構造群の等しい 2つのファイバー束

ξ₁ = (E₁,π₁,B₁,F,G)

ξ₂ = (E₂,π₂,B₂,F,G)

に対し、連続写像

η_E : E₁ → E₂

η_B : B₁ → B₂

があり、

を満たすとする。 x ∈ B₁ に対し

y = η_B(x)

と書くことにすると、 η_E は、 x 上のファイバー F_x を y 上 のファイバー F_y に写す。すなわち、この (η_E,η_B) という写像は、ファイバーという構造を保存する写像である。さらに η_E が同相写像であるとき (η_E,η_B) を束写像(bundle map) という。

η_B は η_E から条件を満たすように定まる写像と定義して、η_E の事を束写像と呼ぶこともある。

さらに底空間も等しい 2つのファイバー束

ξ₁ = (E₁,π₁,B,F,G)

ξ₂ = (E₂,π₂,B,F,G)

で η_B が恒等写像となる束写像 (η_E,η_B) が存在するとき、この 2つのファイバー束は同値であるといい、ξ₁ ≡ ξ₂ と書く。

[編集] 切断

U_a 上の局所断面

ファイバー束 ξ = (E,π,B,F,G) に対して、連続写像

s : B → E

が、任意の x ∈ B に対し

を満たすとき、 s を ξ の切断(section,cross-section) あるいは、断面という。切断は必ずしも存在しない。

底空間上の点 x に対し s(x) が定まる。例えば多様体上のベクトル場であれば、多様体上の点 x に対しベクトル s(x) が対応する。逆に言えば、ベクトル場の集合がどういう空間に入っているべきかを考えたものがファイバー束（この例では多様体を底空間に持つベクトル束）である。

具体的な計算として座標束を考える時などには、座標近傍 U_a 上での切断が必要になる場合がある。同様に

s_a : U_a → E

が、任意の x ∈ U_a に対し

を満たすとき、s_a を U_a 上の局所切断(locally section,locally cross-section) あるいは、局所断面という。

[編集] ファイバー束の例

B × F を全空間とし、射影

π : B × F → B

を、 x ∈ B, f ∈ F に対して π(x,f) = x となるようにしたファイバー束を自明束(trivial bundle) という。自明束は大域的にも底空間とファイバーの直積として表される。自明束の構造群は、単位元だけの G = {1} とすることができる。

S¹ × [0,1] や S¹ × R¹ のような円柱や、自然数 m,n > 0 に対して R^m+n = R^m × Rⁿ などのように直積で表される図形は、自明束としての構造を持つ。

局所的には円柱の側面にも見えるメビウスの輪

メビウスの輪は、底空間 B = S¹、ファイバー F = [0,1] で、構造群 G は、ファイバーを反転させる変換 a を用いて G = {1,a} となる。

この場合の G は Z₂ と同型な群にとることができる。

[編集] 関連項目

• 主束
• ベクトル束

この項目「ファイバー束」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。