ベクトル束

数学において、ベクトル束は、ある空間 X}}により径数付けられたベクトル空間の族を作るという方法で与えられる幾何学的構成である。

1. 導入
-----

空間 X}} 上のベクトル束とは、X}} の各点 x}} にベクトル空間 //V//}} を対応させたとき、それらが「うまく貼り合わされて」もとの X}} と同種の空間を成すようなものである。

最も単純な例は、貼り合せるベクトル空間の族が一定の場合である。このとき、各点 //x// ∈ //X//}} に対応する //V// の複写の全体が貼り合わされて X}} 上のベクトル束 X}} × //V// ができる。この様なベクトル束は自明であると言われる。

より複雑な例の一つのクラスは、滑らかな多様体の接束である。これは多様体 M}} の各点 //x// ∈ //M//}} に、その点での接空間 //TxM//}} を付随させたものである。接束は一般には自明束ではない。たとえば、二次元球面の接束は毛玉の定理により自明ではない。一般に、多様体の接束が自明となることを「多様体は平行化可能 en である」と言い表す。

ベクトル束は殆ど常に局所的に自明である必要があるが、これはベクトル束が、ベクトル空間をファイバーとするファイバー束であることを意味する。また、ベクトル空間として実数体または複素数体上のベクトル空間を考えるのが普通であり、そのようなベクトル束は、それぞれ実ベクトル束または複素ベクトル束と呼ばれる。複素ベクトル束を、付加構造を備えた実ベクトル束として見ることもできる。以下では、位相空間の圏における実ベクトル束に焦点を絞って議論する。

2. 定義および定義からただちに証明されること
-----------------------

実ベクトル束は、

底空間と呼ばれる位相空間 X}} および全空間と呼ばれる位相空間
束射影あるいは単に射影と呼ばれる連続写像
任意の //x// ∈ //X//}} に対し、ファイバー //π//−1}} に与えられた実ベクトル空間としての構造の組であって、以下の整合性条件：

任意の //x// ∈ //X//}} に対し、開近傍 U}}, 正整数 k}}, 同相写像

が存在し、任意の //y// ∈ //U//}} に対して、

任意の //v// ∈ R//k//}} に対して 1=//π//) = //y//}} かつ
写像 はベクトル空間の同型写像である。を満たすものである。開近傍 U}} に同相写像 φ}} を考え合わせたものを、ベクトル束の局所自明化 en という。局所自明化によって、写像 π}} が「局所的に見れば」 //U// × R//k//}} から U}} の射影である「かのようにみえる」ということが表されている。

任意の //x// ∈ //X//}} に対し、ファイバー //π//−1}} は有限次元の実ベクトル空間であり、従って実ベクトル空間としての次元 kx}} を有する。局所自明性により、関数 は局所定数であり、従って X}} の各連結成分の上では一定である。任意の //x// ∈ //X//}} に対し、kx}} が定数 k}} に等しいとき、k}} をベクトル束 E}} の階数といい、E}} は階数 k}} のベクトル束であるという。階数 1 のベクトル束は、直線束  と呼ばれる。階数 2 のベクトル束は稀に平面束  とも呼ばれる。

直積 //X// × R//k//}} に自然な射影 //X// × R//k// → //X//}} を考えたものはベクトル束であり、X}} 上の階数 k}} の自明束という。

2.1. 座標変換式
----------

階数 k}} のベクトル束 //E// → //X//}} と、近傍の対 //U//, //V//}} にそれぞれの局所自明化

が与えられているとき、//U// ∩ //V//}} 上で合成写像

は矛盾無く定まり、

を満たす GL}}-値写像

がとれる。このような写像をベクトル束の遷移写像もしくは推移写像 en または座標変換 en という。

座標変換の全体は任意の //U//, //V//, //W//}} についてその局所自明化上で

を満たすという意味で チェック・コサイクル を成す。したがって、組 }} はファイバー束を定める。このとき、座標変換 gUV}} の与える付加情報は、ファイバーの構造群が GL}} であり、ファイバーへの作用が GL}} の通常の作用として与えられることを示すものである。

逆に、ファイバー束 }} がファイバー R//k//}} 上に GL}} の通常の作用によるコサイクル作用 en を持つならば、対応するベクトル束が存在する。このことを以ってベクトル束の定義とすることもある。

3. ベクトル束の射
----------

ベクトル束 //π//1: //E//1 → mvar からベクトル束 //π//2: //E//2 → mvar への射 en は、連続写像 //f//: //E//1 → //E//2}} と //g//: //X//1 → //X//2}} の対であって、以下の条件を満たすものである。

ベクトル束の射の可換性
任意の //x// ∈ //X//1}} に対し、f}} が引起こす写像 //π//1−1 → //π//2−1)}} は、ベクトル空間の線型写像である。//π//1}} の全射性により、g}} は f}} によって完全に決定される。このことから f}} は g}} の被覆と呼ばれる。

ベクトル束全体の成す類に束射を考え合わせたものは圏をなす。ベクトル束を空間が可微分多様体で束射影が滑らかなものに制限し、束の射も滑らかなもののみに制限すると、滑らかなベクトル束の圏を得る。ベクトル束の射は、ファイバー束間の束写像の概念の特別な事例であり、束準同型 en ともいう。

//E//1}} から //E//2}} への束準同型で、その逆写像が再び束準同型であるものを束同型 en といい、このとき //E//1}} と //E//2}} とは束同型であるという。 X}} 上のベクトル束と自明束の間の同型写像を E}} の自明化 en といい、自明化をもつベクトル束 E}} は自明である、または自明化可能 en であるという。ベクトル束の定義より、任意のベクトル束は局所的に自明である。

固定した底空間 X}} の上のすべてのベクトル束の圏を考えることもできる。 この圏の射として、底空間 X}} 上の写像が恒等写像になるベクトル束の射を取る。 つまり、以下の図式を可換にする束の射である。

ベクトル束の X}}-射 ベクトル束 //π//1: //E//1 → //X//1}} からベクトル束 //π//2: //E//2 → //X//2}} へのベクトル束の射が、写像 //g//: //X//1 → //X//2}} を被覆するとき、この射は、//X//1}} 上で //E//1}} から引き戻し束 //g//∗//E//2}} へのベクトル束の射と見ることもできる。

4. 切断および局所自由層
-------------

ベクトル束 //π//: //E// → //X//}} と X}} の開集合 U}} が与えられたとき、π}} の U}} 上の切断、断面 en を考えることができる。切断とは、1=//π// ∘ //s// = id//U//}} を満たす連続写像 //s//: //U// → //E//}} のことであり、これは本質的には U}} の各点で、それに付随するベクトル空間のベクトルを連続的に対応させることを意味する。例えば、可微分多様体の接束の切断とは、その多様体上のベクトル場に他ならない。

F を、//U// 上の切断全体の集合とする。F は常に、少なくとも零切断 enと呼ばれる一つの要素を含む。これは、任意の要素 //x// ∈ //U//}} をベクトル空間 //π//−1}} の零ベクトルに写像する切断 //s// である。 各点における切断の加法とスカラー倍により、F はそれ自体が実ベクトル空間になる。 これらベクトル空間の系は、X}} 上のベクトル空間の層をなす。

//s// が F に属する切断で α: //U// → R が連続写像のとき、点ごとのスカラー乗法で定義される α//s// は再び F に属する。したがって、F を //U// 上で定義された実数値連続関数環の上の加群と見なすことができる。さらに、X}} 上の実数値連続関数全体の成す構造層を OX}} と書くと、//F// は OX}} 加群全体の層になる。

どんな OX}} 加群の層でも、ベクトル束からこの方法で得られるというわけではなく、局所自由であるものに限られる。実際にこの構成法では、局所的には射影 //U// × R//k// → //U// の切断を求めることになるが、それはちょうど連続写像 //U// → R//k// であって、連続関数 //U// → R の //k// 組として表されるからである。

さらに言えば、X}} 上の実ベクトル束の圏は、局所自由かつ有限生成な OX}} 加群の層の圏に圏同値である。したがって、X}} 上の実ベクトル束の圏は OX}} 加群の層の圏に含まれていると考えることができる。後者はアーベル圏であり、それによってベクトル束の射の核や余核をその中でならば計算することができる。

//n//-階ベクトル束が自明であるための必要十分条件は、それが //n// 個の線型独立な大域切断を持つことであることに注意。

5. ベクトル束の演算
-----------

ベクトル空間に対する演算の多くは、それをファイバーごとに行うことによってベクトル束の演算に拡張することができる。

例えば、E}} が X}} 上のベクトル束のとき、//x// ∈ //X//}} におけるファイバー Ex}} をその双対ベクトル空間 ∗}} に取り替えて、E}} の双対束 en と呼ばれる X}} 上のベクトル束 //E//*}} が定まる。厳密に言えば、//E//*}} は、//x// ∈ //X//}}, //φ// ∈ *}} に関する対 }} 全体の成す集合として定義できる。E}} の局所的自明化の逆像の双対空間は //E//*}} の局所的自明化だから、双対束は局所的に自明である。これには双対ベクトル空間を取る操作が関手的であることが鍵になっている。

二つのベクトル空間の上で行える関手的操作のほとんどは X}} 上のベクトル束 //E//, //F//}} の対に直接的に拡張することができる。いくつか例を挙げる。

E}} と F}} のホイットニー和 en または直和束 en と呼ばれる X}} 上のベクトル束 //E// ⊕ //F//}} は、各点 x}} の上のファイバーがベクトル空間 Ex}} と Fx}} の直和 //E////x// ⊕ //F////x//}} となるものとして定義される。
同様に、テンソル積束 en //E// ⊗ //F//}} が、ファイバーごとにベクトル空間のテンソル積を用いることによって定義できる。
準同型束 en Hom}} は、x}} におけるファイバーが Ex}} から Fx}} への線型写像全体の空間であるようなベクトル束である。この束をこのように書いて便利に準同型束と呼ぶのは、「Hom}} の X}} 上の切断」と「E}} から F}} への X}} 上のベクトル束の準同型」とが同一視できるためである。
さらに、自己準同型束 Hom}} の断面 s}} と関数 //f//: //X// → R}} が与えられると、点 //x// ∈ //X//}} 上のファイバーを線型写像 //s// : //E////x// → //E////x//}} の //f//}}-固有空間とすることで、固有束  を構成することができる。
双対束 //E//∗}} は E}} と自明束 R × //X//}} との間の準同型束 Hom}} に一致する。また、自然なベクトル束の同型 が存在する。これらの操作は、ベクトル空間の圏における操作の多くが関手的な仕方でベクトル束の圏における操作として意味を成すという、ベクトル束が持つ一般的な特徴を示す特定の例となっている。このことは滑らかな関手の言葉を用いて精緻化することができる。

もっと別な種類の操作として、原像あるいは引き戻し en 構成と呼ばれるものがある。ベクトル束 //E// → //Y//}} と連続写像 //f//: //X// → //Y//}} が与えられたとき、Y}} 上のベクトル束 E}} を f}} によって X}} 上のベクトル束 //f//   ∗//E//}} へ「引き戻す」ことができる。つまり、//x// ∈ //X//}} 上のファイバーは、実質的に //f//    ∈ //Y//}} 上のファイバーになっている。これを使えば、ホイットニー和 //E// ⊕ //F//}} を //X// × //X//}} 上のベクトル束として対角線写像 //X// → //X// × //X//}} の引き戻しとして定義することもできる。

6. 付加構造と一般化
-----------

ベクトル束には、さらにいろいろな構造が与えられていることも多い。例えば、ベクトル束には計量 が与えられていることがある。通常は計量が正定値であることを仮定し、これによって E}} の各ファイバーはユークリッド空間となる。また例えば、複素構造を備えた実ベクトル束は複素ベクトル束に対応する。複素ベクトル束は、実ベクトル束の定義において実ベクトル空間や実線型写像としていたところを代わりに複素ベクトル空間や複素線型写像にとりかえて得られるものである。もっと一般に、ベクトル束に移入された付加構造は、典型的には束の構造群の還元によって得られるものとして理解することができる。さらに一般の位相体上のベクトル束というものも用いられる。

また、有限次元ベクトル空間の代わりにバナッハ空間をファイバー F}} とすることでバナッハ束の概念がえられる。特に、各ファイバー上の局所自明化に対する条件はバナッハ空間の同型とするのが自然であり、さらに座標変換

がバナッハ多様体の間の連続写像となるようにすべきである。同様に、Cp}}-級ベクトル束の理論では、これらの写像が Cp}}-級であることを要請する。

ベクトル束は、ファイバーがベクトル空間でコサイクルがベクトル空間構造を保つような特別なファイバー束であった。もっと一般のファイバー束は、そのファイバーとして他のさまざまな構造をとることができる。たとえば、球面によってファイバー付けられるファイバー束は球面束と呼ばれる。

7. 可微分ベクトル束
-----------

ベクトル束 }} が滑らか en であるとは、E}} と M}} が滑らかな多様体で　 //p//: //E// → //M//}} が滑らかな写像であり、かつ局所自明化が微分同相となるようなときに言う。要求する滑らかさの度合いにより、各種の Cp}}-級ベクトル束や //C//∞}}-級ベクトル束、実解析的関数-級ベクトル束などの異なる概念が得られる。本節では、//C//∞}}-級ベクトル束について主に述べる。最も重要な //C//∞}}-級ベクトル束の例は、//C//∞}}-級多様体 M}} の接束 }} である。

//C//∞}}-級ベクトル束 }} のもつ非常に重要な性質で、一般の //C//∞}}-級ファイバー束が持たないものがある。具体的には、各 //v// ∈ //E////x//}} における接空間 //T////v//}} は、ファイバー Ex}} 自身と自然に同一視することができることである。この同一視は

で定義される垂直射あるいは垂直持ち上げ vl//v//: //E////x// → //T////v//}} によって与えられる。垂直持ち上げは自然に //C//∞}}-級ベクトル束の同型 //p//∗//E// → //VE//}} と見ることができる。ここで }} は E}} 上のベクトル束 }} の //p//: //E// → //M//}} に沿った引き戻し束であり、//VE// coloneqq}} Ker ⊂ //TE//}} は垂直接束と呼ばれる、全空間 E}} の接束 }} の自然な部分ベクトル束である。

スリットベクトル束 en //E///0}} はベクトル束 }} から零切断 0 ⊂ //E//}} を取り除くことで得られ、ここから得られる標準的なベクトル場 //V////v// coloneqq}} vl//v////v//}} は標準ベクトル場 en として知られる。もっときちんと言えば、V}} はベクトル束 }} の滑らかな切断であり、またリー群作用

の無限小生成作用素としても定義される。

任意の滑らかなベクトル束 }} に対して、その接束 }} の全空間 TE}} は自然な二次ベクトル束構造 }} を持つ。ここで //p//∗}} は標準射影 //p//: //E// → //M//}} の押し出し en である。この二次ベクトル束構造におけるベクトル束演算は、もとの加法 +: //E// × //E//}} およびスカラー倍 λ: //E// → //E//}} から得られる押し出し +∗: //T// → //TE//}} および λ∗: //TE// → //TE//}} である。

8. //K//-理論
-----------

位相的K理論は位相空間の複素ベクトル束を用いたコホモロジー理論の類似物である。位相空間 X}} 上の //K//-理論の群 //K//}} は、X}} 上の複素ベクトル束 E}} の同型類 [//E//]}} の全体 VecBdlC を生成系とする自由可換群に対して、完全列

を持つ全てのベクトル束 //A//, //B//, //C//}} について与えられる関係式

を基本関係式として定めて得られる商群である。複素ベクトル束の代わりに実ベクトル束を用いた同様の構成は KO理論という。コンパクト台付き K}}-理論や、高次の K}}-理論なども定義することができる。

よく知られるラウル・ボットのボット周期は任意の位相空間 X}} の K}} 理論が X}} と 2 次元球面 //S//2}} との直積

X}} × //S//2に同型であることを主張するものである。

代数幾何学において、K}} 理論の群はスキーム X}} 上のベクトル束に上記の同値関係をあたえたもののみならず、スキーム上の連接層の全体からも K}}-理論の群が作られる。台となるスキームが滑らかならばこの二つの構成は同じ群を与える。

9. 関連項目
-------

9.1. 一般的事項
----------

グラスマン多様体：ベクトル束の分類空間、特に、直線束に対する射影空間
特性類

9.2. 位相幾何学、微分幾何学
----------------

主束
ファイバー束：一般的な位相幾何学の概念、特に、被覆空間がある。
接続 ：ベクトルバンドルの断面を微分するのに必要な概念
層 

9.3. 代数幾何学、解析幾何学
----------------

連接層、特にピカール群
正則ベクトル束

10. 脚注
------

11. 参考文献
--------

first=Jeffrey M. . ISBN 978-0-8218-4815-9
author=Lee, John M. see Ch.5
last1=Jost , see section 1.5.
last1=Abraham , see section 1.5