直線束

数学における直線束（ちょくせんそく、; 線束）は、空間の点から点へ動いていく直線の概念を表すものである。例えば、平面上の曲線は各点において接線を持つが、これらを構造化する方法によって接束が得られる。より厳密に、代数幾何学および微分位相幾何学における直線束は階数 のベクトル束として定義される。
一次元の実直線束（冒頭に述べたようなもの）と一次元の複素直線束は異なる。 正則実行列全体の成す空間の位相は、（正および負の実数をそれぞれ一点に縮めた）にホモトピー同値だが、 正則複素行列の空間のホモトピー型は円周である。
従って、実直線束はホモトピー論的には、二点繊維を持つファイバー束としての二重被覆も同然である。これは可微分多様体上のになる（実際これは、直線束が行列式束（接束の最高次外冪）の特別の場合であることからわかる）。メビウスの帯は円周の二重被覆（偏角を θ ↦ 2θ にする写像）に対応し、これを二点繊維を持つものとして見ることもできるが、このとき単位区間でも実数直線でもデータとしては同値である。
複素直線束の場合には、実はこれはでもあることが分かる。よく知られたものとして、例えば球面から球面へのがある。
射影空間上の自然束.
代数幾何学において最も重要な直線束の一つは射影空間上の自然直線束である。体 上のベクトル空間 の射影化 は } の乗法群 による作用で割った商位相空間である。従って、 の各点は のコピーに対応し、それら のコピーが合わさって 上の -束を成す。 は と一点の違いしかないから、各繊維にその点を添加して、 上の束にすることができる。この直線束を自然な直線束 ("tautological line bundle") と呼ぶ。またこの直線束を formula_1 と書くこともある（これはセールの捻り層 formula_2 の双対にあたることによる）。
射影空間への写像.
空間 とその上の直線束 を考える。 の大域切断 () とは写像 で自然な射影 に対して を満たすものを言う。 の十分小さな近傍 で がそこで自明となるようなものの中で考えれば、直線束の全空間は と係数体 との積空間であり、切断 は写像 に制限したものとなるが、 の値はこの自明化の選び方に依存し、かつ至る所消えていない函数を掛ける違いを除いてしか決まらない。
大域切断は、以下のようにして射影空間への写像を決定する。まず 個の の繊維の点を少なくとも一つが でないように選ぶことで 上の自然線束の繊維が決まるから、 個の同時には消えない の大域切断を選ぶことで から射影空間 への写像が決定する。この写像は の各繊維を、自然線束の双対の繊維へ写す。より具体的に述べれば、 が の大域切断とするとき、 の十分小さな近傍 でそれらの切断が、自明化の選び方に依存する値を持つ 上の -値函数を決定するが、それらは非零函数を「同時に」掛ける違いを除いて決定されるから、それらの比はうまく定義される。つまり、一点 上での値 は自明化の依存して非零定数 を掛ける違いが生じてうまく定義されないが、これらには「同じ」定数 が掛かるから、 は定義可能で、同様に切断 は において同時には消えない。従って、全てが同時に消えない切断たちに対して、それらは の形で決定されて、 から への写像となり、なおかつこの写像による自然線束の双対の引き戻しは に一致する。この方法によって、射影空間は普遍性を獲得する。
射影空間への写像を決定するための普遍的方法は の大域切断全体の成すベクトル空間の射影化への写像を決定することである。位相的な場合には、任意の点で消えない切断が存在するが、それは各点の小さな近傍の外側で消えるような隆起函数を使って容易に作ることができる。これにより、得られた写像は全ての点において定義されるが、終域はふつうは非常に巨大なものとなり不便である。代数的あるいは正則な場合には、これと反対のことが起きる。この場合の大域切断の空間はしばしば有限次元となるが、与えられた点において消えていない大域切断が取れるとは限らない（これはを構成するときと同様）。実は、束が大域切断を一つも持たないことも可能であり、自然線束の場合はそうなる。線束が十分豊富であるとき、この構成は小平埋め込み定理を保証する。
行列式束.
一般に、 が空間 上のベクトル束で、繊維の次元が で一定のとき、繊維ごとに取った の -次外冪は、行列式束と呼ばれる直線束になる。この構成は特に滑らかな多様体の余接束に対して適用される。得られた行列式束は、向き付け可能多様体に対してそれが大域切断を持つという意味において、に関する現象を記述することができ、またその任意の実数冪に対するテンソル冪を定義することができて、任意のベクトルとのテンソル積による「捻り」に用いることができる。
特性類、普遍束および分類空間.
一次のスティーフェル・ホイットニー類は滑らかな実直線束を分類する。特に、実直線束（の同値類）全体の成す集まりは -係数の一次コホモロジーの元に対応する。この対応は実はアーベル群の同型である（直線束の間の群演算はテンソル積であり、コホモロジーの群演算は通常の加法とする）。同じように、一次のチャーン類が滑らかな複素直線束を分類し、直線束全体の成す群は整数係数の二次のコホモロジー群に同型となる。ただし、同値なを持つ（従って同じ一次チャーン類に属する）が異なる正則構造 (holomorphic structure) を持つ束が存在し得る。チャーン類に関する言明は、多様体上の層の指数写像列を用いて容易に示せる。
より一般に、分類問題をホモトピー論的観点から見ることができる。実直線束に対する普遍束、および複素直線束に対する普遍束が存在することを見るのである。分類空間の一般論に従って、経験論的にそれぞれ群 および が自由に作用するような群作用を持つ可縮空間を探すと、それらの空間は普遍主束として与えられ、その群作用による商として分類空間 が与えられる。今の場合にはこれらは明示的に求まったが、無限次元の実または複素射影空間に関する類似対応が存在する。
さて分類空間 はの無限列によって与えられる実射影空間 のホモトピー型とする。これは普遍実直線束を持ち、ホモトピー論の言葉で言えば CW-複体上の任意の実直線束が から への分類写像を決定して、 が普遍束の引き戻しに束同型となるようにすることができる。この分類写像は、 の 係数の一次コホモロジーにおいて、 のスティーフェル・ホイットニー類を の標準類から定義するのに用いることができる。
同様の方法により、複素射影空間 は普遍複素直線束を持つ。この場合、分類写像は一次のチャーン類を整係数コホモロジー において引き起こす。
これにはさらに四元数直線束（実四次元）の場合の類似概念を考えることもできる。これは、実四次次元コホモロジーにおいてポントリャーギン類を生じる。
この方法の基本的な場合は、直線束のみに依存する特性類の理論に対するものである。一般に従えば、これは（明示的でなくとも）理論の残りの部分を決定することができる。
複素多様体上の正則直線束に関する理論、および代数幾何学における可逆層に関する理論など、それぞれの分野における直線束の理論がよく構築されている。