「線束」
センソク
構成する漢字
読み方
センソク
各漢字の音読みを機械的に組み合わせた候補です。実在する語の正式な読みを保証するものではありません。意味と使い方
数学における直線束(ちょくせんそく、英: line bundle; 線束)は、空間の点から点へ動いていく直線の概念を表すものである。例えば、平面上の曲線は各点において接線を持つが、これらを束ねることによって接束が得られる。より厳密に、代数幾何学および微分位相幾何学における直線束は階数 1 のベクトル束として定義される。
直線束は空間の各点の上にファイバーと呼ばれる1次元のベクトル空間を連続的に指定することで与えられる。トポロジーの文脈においては、実または複素ベクトル空間を考えることが多い。実と複素ではベクトル空間の位相的性質が異なるため、どちらを考えるかによって直線束は根本的に異なる振る舞いをする。1次元のベクトル空間から原点を取り除くと1×1 正則行列全体のなす空間が得られるが、1×1 正則実行列全体の成す空間は(正および負の実数をそれぞれ一点に縮めた)離散二点空間にホモトピー同値である一方、1×1 正則複素行列の空間のホモトピー型は円周である。
従って、実直線束はホモトピー論的には、二点集合をファイバーに持つファイバー束つまり底空間の二重被覆とほとんど同じようなものである。その特別な場合が可微分多様体上の向き付け可能二重被覆で、対応する直線束は接束の行列式束である。メビウスの帯は円周の二重被覆(偏角を θ ↦ 2θ にする写像)に対応し、ファイバーとして二点集合、単位区間、実数直線のどれを持つものと思っても本質的に同じである。
複素直線束は、円束と密接に関連している。よく知られたものとして、例えば球面から球面へのホップ・ファイブレーションがある。
代数幾何学においては、可逆層(つまりランク1の局所自由層)のことを直線束と呼ぶことがある。(ここで述べる意味での直線束と、ある意味で同値な概念である。)