直線束のソースを表示

[[数学]]における'''直線束'''（ちょくせんそく、{{lang-en-short|''line bundle''}}; '''線束'''）は、空間の点から点へ動いていく[[直線]]の概念を表すものである。例えば、平面上の曲線は各点において[[接線]]を持つが、これらを束ねることによって[[接ベクトル束|接束]]が得られる。より厳密に、[[代数幾何学]]および[[微分位相幾何学]]における直線束は階数 {{math|1}} の[[ベクトル束]]として定義される<ref>Hartshorne (1975), {{Google books quote|id=eICMfNiDdigC|page=7|text=line bundle|p. 7}}</ref>。

直線束は空間の各点の上にファイバーと呼ばれる1次元のベクトル空間を連続的に指定することで与えられる。トポロジーの文脈においては、実または複素ベクトル空間を考えることが多い。実と複素ではベクトル空間の位相的性質が異なるため、どちらを考えるかによって直線束は根本的に異なる振る舞いをする。1次元のベクトル空間から原点を取り除くと{{math|1&times;1}} [[正則行列]]全体のなす空間が得られるが、{{math|1&times;1}} 正則実行列全体の成す空間は（正および負の実数をそれぞれ一点に縮めた）{{仮リンク|離散二点空間|en|discrete two-point space}}に[[ホモトピー同値]]である一方、{{math|1&times;1}} 正則複素行列の空間のホモトピー型は[[円周]]である。

従って、実直線束は[[ホモトピー論]]的には、二点集合をファイバーに持つ[[ファイバー束]]つまり底空間の[[二重被覆]]とほとんど同じようなものである。その特別な場合が[[可微分多様体]]上の{{仮リンク|向き付け可能二重被覆|en|orientable double cover}}で、対応する直線束は接束の行列式束である。[[メビウスの帯]]は円周の二重被覆（偏角を θ ↦ 2θ にする写像）に対応し、ファイバーとして二点集合、[[単位区間]]、実数直線のどれを持つものと思っても本質的に同じである。

複素直線束は、{{仮リンク|円束 (位相幾何学)|label=円束|en|circle bundle}}と密接に関連している。よく知られたものとして、例えば[[球面]]から球面への{{仮リンク|ホップ束|label=ホップ・ファイブレーション|en|Hopf fibration}}がある。

代数幾何学においては、[[可逆層]]（つまりランク1の[[連接層|局所自由層]]）のことを直線束と呼ぶことがある。（ここで述べる意味での直線束と、ある意味で同値な概念である。）

== 射影空間上の自然束 ==
{{Main|{{仮リンク|自然直線束|en|Tautological line bundle}}}}
代数幾何学において最も重要な直線束の一つは[[射影空間]]上の自然直線束である。体 {{math|''k''}} 上のベクトル空間 {{math|''V''}} の射影化 {{math|'''P'''(''V'')}} は {{math|''V'' ∖ {0}}} を乗法群 {{math|''k''<sup>&times;</sup>}} による作用で割った[[商位相空間]]である。従って、{{math|'''P'''(''V'')}} の各点は {{math|''k''<sup>&times;</sup>}} のコピーに対応し、それら {{math|''k''<sup>&times;</sup>}} のコピーが合わさって {{math|'''P'''(''V'')}} 上の {{math|''k''<sup>&times;</sup>}}-束を成す。{{math|''k''<sup>&times;</sup>}} は {{math|''k''}} と一点の違いしかないから、各繊維にその点を添加して、{{math|'''P'''(''V'')}} 上の束にすることができる。この直線束を'''自然な直線束''' (''tautological line bundle'') と呼ぶ。またこの直線束を <math>\mathcal{O}(-1)</math> と書くこともある（これはセールの捻り層 <math>\mathcal{O}(1)</math> の双対にあたることによる）。

=== 射影空間への写像 ===
空間 {{mvar|X}} とその上の直線束 {{mvar|L}} を考える。{{mvar|L}} の'''大域切断''' ({{en|''global section''}}) とは写像 {{math|''s'': ''X'' → ''L''}} で自然な射影 {{math|''p'': ''L'' → ''X''}} に対して {{math|1=''ps'' = id<sub>''X''</sub>}} を満たすものを言う。{{mvar|X}} の十分小さな近傍 {{mvar|U}} で {{mvar|L}} がそこで自明となるようなものの中で考えれば、直線束の全空間は {{mvar|U}} と係数体 {{mvar|k}} との積空間であり、切断 {{mvar|s}} は写像 {{math|''U'' → ''k''}} に制限したものとなるが、{{mvar|s}} の値はこの自明化の選び方に依存し、かつ至る所消えていない函数を掛ける[[違いを除いて]]しか決まらない。

大域切断は、以下のようにして射影空間への写像を決定する。まず {{math|''r'' + 1}} 個の {{mvar|L}} の繊維の点を少なくとも一つが {{math|0}} でないように選ぶことで {{math|'''P'''<sup>''r''</sup>}} 上の自然線束の繊維が決まるから、{{math|''r'' + 1}} 個の同時には消えない {{mvar|L}} の大域切断を選ぶことで {{math|''X''}} から射影空間 {{math|'''P'''<sup>''r''</sup>}} への写像が決定する。この写像は {{mvar|L}} の各繊維を、自然線束の双対の繊維へ写す。より具体的に述べれば、{{math|''s''<sub>0</sub>, …, ''s''<sub>''r''</sub>}} が {{mvar|L}} の大域切断とするとき、{{mvar|X}} の十分小さな近傍 {{mvar|U}} でそれらの切断が、自明化の選び方に依存する値を持つ {{mvar|U}} 上の {{mvar|k}}-値函数を決定するが、それらは非零函数を「同時に」掛ける[[違いを除いて]]決定されるから、それらの比は[[well-defined|うまく定義される]]。つまり、一点 {{mvar|x}} 上での値 {{math|''s''<sub>0</sub>(''x''), …, ''s''<sub>''r''</sub>(''x'')}} は自明化の依存して非零定数 {{mvar|λ}} を掛ける違いが生じてうまく定義されないが、これらには「同じ」定数 {{mvar|λ}} が掛かるから、{{仮リンク|斉次座標|en|homogeneous coordinates}} {{math|[''s''<sub>0</sub>(''x'') : … : ''s''<sub>''r''</sub>(''x'')]}} は定義可能で、同様に切断 {{math|''s''<sub>0</sub>, …, ''s''<sub>''r''</sub>}} は {{mvar|x}} において同時には消えない。従って、全てが同時に消えない切断たちに対して、それらは {{math|[''s''<sub>0</sub> : … : ''s''<sub>''r''</sub>]}} の形で決定されて、{{mvar|X}} から {{math|'''P'''<sup>''r''</sup>}} への写像となり、なおかつこの写像による自然線束の双対の引き戻しは {{mvar|L}} に一致する。この方法によって、射影空間は[[普遍性|必然性]]を獲得する。

射影空間への写像を決定するための普遍的方法は {{mvar|L}} の大域切断全体の成すベクトル空間の射影化への写像を決定することである。位相的な場合には、任意の点で消えない切断が存在するが、それは各点の小さな近傍の外側で消えるような隆起函数を使って容易に作ることができる。これにより、得られた写像は全ての点において定義されるが、終域はふつうは非常に巨大なものとなり不便である。代数的あるいは正則な場合には、これと反対のことが起きる。この場合の大域切断の空間はしばしば有限次元となるが、与えられた点において消えていない大域切断が取れるとは限らない（これは{{仮リンク|レフシェッツ束|en|Lefschetz pencil}}を構成するときと同様）。実は、束が大域切断を一つも持たないことも可能であり、自然線束の場合はそうなる。線束が十分豊富であるとき、この構成は[[小平埋め込み定理]]を保証する。

== 行列式束 ==
一般に、{{math|''V''}} が空間 {{math|''X''}} 上のベクトル束で、ファイバーの次元が {{math|''n''}} で一定のとき、ファイバーごとに{{math|''n''}}-次[[外冪]] をとることで得られる新しいベクトル束は直線束となり、{{math|''V''}} の '''行列式束'''と呼ばれる。この構成は特に[[滑らかな多様体]]の[[余接束]]に対して適用される。得られた行列式束は、[[向き付け可能多様体]]に対してそれが大域切断を持つという意味において、{{仮リンク|テンソル密度|en|tensor densities}}に関する現象を記述することができ、またその任意の実数冪に対するテンソル冪を定義することができる。

== 特性類、普遍束および分類空間 ==
一次の[[スティーフェル・ホイットニー類]]は滑らかな実直線束を分類する。特に、実直線束（の同値類）全体の成す集まりは {{math|'''Z'''/2'''Z'''}}-係数の一次コホモロジーの元に対応する。この対応は実はアーベル群の同型である（直線束の間の群演算はテンソル積であり、コホモロジーの群演算は通常の加法とする）。同じように、一次の[[チャーン類]]が滑らかな複素直線束を分類し、直線束全体の成す群は整数係数の二次のコホモロジー群に同型となる。ただし、同値な{{仮リンク|可微分構造|en|smooth structure}}を持つ（従って同じ一次チャーン類に属する）が異なる正則構造 (holomorphic structure) を持つ束が存在し得る。チャーン類に関する言明は、多様体上の[[指数層系列|層の指数写像列]]を用いて容易に示せる。

より一般に、分類問題をホモトピー論的観点から見ることができる。実直線束に対する普遍束、および複素直線束に対する普遍束が存在することを見るのである。[[分類空間]]の一般論に従って、経験論的にそれぞれ群 {{math|''C''<sub>2</sub>}} および {{math|''S''<sup>1</sup>}}が自由に作用するような[[群作用]]を持つ[[可縮空間]]を探すと、それらの空間は普遍[[主束]]として与えられ、その群作用による商として分類空間 {{math|''BG''}} が与えられる。今の場合にはこれらは明示的に求まったが、無限次元の実または複素[[射影空間]]に関する類似対応が存在する。

さて分類空間 {{math|''BC''<sub>2</sub>}} は{{仮リンク|斉次座標|en|homogeneous coordinates}}の無限列によって与えられる実射影空間 {{math|'''RP'''<sup>∞</sup>}}のホモトピー型とする。これは普遍実直線束を持ち、ホモトピー論の言葉で言えば [[CW複体|CW-複体]]上の任意の実直線束が {{math|''X''}} から {{math|'''RP'''<sup>∞</sup>}} への'''分類写像'''を決定して、{{math|''L''}} が普遍束の引き戻しに束同型となるようにすることができる。この分類写像は、{{math|''X''}} の {{math|'''Z'''/2'''Z'''}} 係数の一次コホモロジーにおいて、 {{math|''L''}} の[[スティーフェル・ホイットニー類]]を {{math|'''RP'''<sup>∞</sup>}} の標準類から定義するのに用いることができる。

同様の方法により、複素射影空間 {{math|'''CP'''}} は普遍複素直線束を持つ。この場合、分類写像は一次の[[チャーン類]]を整係数コホモロジー{{math|H<sup>2</sup>(''X'')}} において引き起こす。

これにはさらに[[四元数]]直線束（実四次元）の場合の類似概念を考えることもできる。これは、実四次次元コホモロジーにおいて[[ポントリャーギン類]]を生じる。

この方法の基本的な場合は、直線束のみに依存する[[特性類]]の理論に対するものである。一般{{仮リンク|分裂原理|en|splitting principle}}に従えば、これは（明示的でなくとも）理論の残りの部分を決定することができる。

[[複素多様体]]上の[[正則ベクトルバンドル|正則直線束]]に関する理論、および[[代数幾何学]]における[[可逆層]]に関する理論など、それぞれの分野における直線束の理論がよく構築されている。

== 関連項目 ==
* {{仮リンク|I-束|en|I-bundle}}

== 注釈 ==
{{Reflist}}

== 参考文献 ==
* Michael Murray, [http://www.maths.adelaide.edu.au/michael.murray/line_bundles.pdf Line Bundles], 2002 (PDF web link)
* Robin Hartshorne. ''Algebraic geometry''. AMS Bookstore, 1975. ISBN 978-0-8218-1429-1

{{DEFAULTSORT:ちよくせんそく}}
[[Category:微分幾何学]]
[[Category:代数幾何学]]
[[Category:ホモトピー論]]
[[Category:ベクトル束]]
[[Category:数学に関する記事]]