基本介紹
- 中文名：配向量叢
- 外文名：associated bundle
簡介,構造,一般配叢,主叢配於纖維叢,纖維叢配於主叢,結構群的約化,約化的例子,另見,
簡介
在數學中，帶有結構群G（拓撲群）的纖維叢理論允許產生一個配叢，又稱配向量叢（associated bundle）的操作，將叢的典型纖維由F1變成F2，兩者都是具有群G作用的拓撲空間。對具有結構群G的纖維叢F，纖維在兩個局部坐標系Uα與Uβ交集上的轉移函式（即上鏈）由一個Uα∩Uβ上G-值函式gαβ給出。我們可以構造一個纖維叢F′ 有同樣的轉移函式，但可能具有不同的纖維。
構造
一般地只需解釋由一個具有纖維F作用的叢，G作用在F上，變為相配的主叢（即以G為纖維的叢，考慮為作用在自身的平移）。然後，我們可由F1經過主叢變為F2。由一個開覆蓋數據表述的細節由下降的一種情形給出。
這一節是這樣組織的：我們首先引入從一個給定的纖維叢，產生一個具有制定的纖維的配叢的一般程式。然後是當制定的纖維是關於這個群在自身上左作用的一個主齊性空間特例，得到了配主叢。如果另外，在主叢的纖維上給出了一個右作用，我們敘述如何利用纖維積構造任何配叢。
一般配叢
- φi: π(Ui) →Ui×F
組成的局部平凡化，使得轉移映射由G的元素給出。更確切地，存在連續函式gij: (Ui∩Uj) →G使得
- ψij(u,f):= φio φj(u,f) = (u,gij(u)f) 對每個 (u,f) ∈ (Ui∩Uj) ×F。
現在設F′ 是一個制定的拓撲空間，裝備有G的一個連續左作用。則相配於E、具有纖維F′ 的叢是一個叢E′ 具有從屬於覆蓋Ui其轉移函式為：
- ψ′ij(u,f′) = (u,gij(u)f′)，對 (u,f′ ) ∈(Ui∩Uj) ×F′
這裡G-值函式gij(u) 與由原先的叢E的局部平凡化得到的相同。
這個定義顯然遵守轉移函式的上鏈條件，因為在每一種情形它們由同樣G-值函式系統給出（使用另一個局部平凡化，如果有必要使用一般的加細過程，則gij通過相同的上邊緣變換）。從而，由纖維叢構造定理（fiber bundle construction theorem），這樣便產生了所要求的具有纖維F′ 的纖維叢E′ 。
主叢配於纖維叢
和前面一樣，假設E是一個具有結構群G的纖維叢。當G-左自由且傳遞作用於F′ 的特例時，所以F′ 是G在自身上左作用的一個主齊性空間，則相配的叢E′ 稱為相配於纖維叢E的主G-叢。如果此外新纖維F′ 等同於G（從而F′ 不僅有左作用也繼承了G的一個右作用），則G在F′ 上的右作用誘導了G在E′ 上的右作用。通過選取等同化，E′ 成為通常意義的主叢。注意，儘管沒有典範的方式選取G的一個主齊性空間上的右作用，任何這樣的作用將得出相同的具有結構群G的承載纖維叢（因為這是由G的左作用得到），而且作為G-空間在存在一個整體定義的G-值函式聯繫兩者的意義下同構。
以這樣方式，裝備一個右作用的主G-叢通常視為確定具有結構群G的纖維叢的數據之一部分，因為對纖維叢我們可以由配叢構造法來建構主叢。在下一節中，我們經相反的道路利用一個纖維積得到任何纖維叢。
纖維叢配於主叢
設 π:P→X是一個主G-叢，令 ρ:G→ Homeo(F) 是G在空間F上一個連續左作用（在連續範疇中，我們需有光滑流形上一個光滑作用）。不失一般性，我們取作用是有效的（ker(ρ) = 1）。
G在P×F上定義G的一個右作用為
由 πρ([p,f]) = π(p)，定義投影映射 πρ:E→X。注意這是良定義的。那么 πρ:E→X是一個纖維叢，具有纖維F與結構群G。轉移函式由 ρ(tij) 給出，這裡tij是主叢P的轉移函式。
結構群的約化
更多信息：結構群的約化
配叢的一個相伴的概念是一個G-叢B的結構群的約化。我們問是否存在一個H-叢C，使得相配的G-叢是B（在同構的意義下）。更具體地，這是問B的轉移數據能否一致的取值於H中。換句話說，我們要求確認相配叢映射的像（這其實是一個函子）。
約化的例子
另一個重要的情形實尋找一個秩n向量叢V的作為秩k與秩n-k子叢的惠特尼和（Whitney sum），這將導致結構群由 GL(n,R) 約化為 GL(k,R) × GL(n-k,R).
