複素ベクトル束のソースを表示

数学において、'''複素ベクトル束'''（ふくそベクトルそく、{{lang-en-short|complex vector bundle}}）は、ファイバーが複素ベクトル空間であるような[[ベクトル束]]である。

任意の複素ベクトル束は{{仮リンク|スカラーの制限|en|Restriction of scalars}}によって[[実ベクトル束]]と見ることができる。逆に、任意の実ベクトル束 ''E'' は{{仮リンク|複素化|en|Complexification}}
:<math>E \otimes \mathbb{C}</math>
によって複素ベクトル束にすることができる。そのファイバーは ''E''<sub>''x''</sub> ⊗<sub>'''R'''</sub> '''C''' である。

[[パラコンパクト空間]]上の任意の複素ベクトル束には[[エルミート計量]]を入れることができる。

複素ベクトル束の基本的な不変量は[[チャーン類]]である。

== 複素構造 ==
複素ベクトル束は実ベクトル束に付加的な構造、'''複素構造''' (complex structure) を付け加えたものと考えることができる。定義により複素構造は実ベクトル束 ''E'' とそれ自身の間の束写像：
:<math>J\colon E \to E</math>
であって ''J'' がファイバー上 &minus;1 の平方根 ''i'' として作用するものである、つまり、<math>J_x\colon E_x \to E_x</math> がファイバーのレベルでの写像であれば、線型写像として <math>J_x^2 = -1</math> である。''E'' が複素ベクトル束であれば、複素構造 ''J'' を、<math>J_x</math> を <math>i</math> によるスカラー乗法とすることで定義できる。逆に、''E'' が複素構造 ''J'' を持った実ベクトル束であれば、次のようにして ''E'' を複素ベクトル束にすることができる：任意の実数 ''a'', ''b'' と、ファイバー ''E''<sub>''x''</sub> の実ベクトル ''v'' に対して、
:<math>(a + ib) v = a v + J(b v).</math>

'''例'''： 実多様体 ''M'' の接束上の複素構造は通常[[概複素構造]]と呼ばれる。[[概複素構造#可積分概複素構造|ニューランダー・ニーレンバーグの定理]]は、概複素構造 ''J'' が「可積分」であること、つまりある複素多様体の構造から誘導されることと、''J'' に関するあるテンソルが消えることが同値であるという定理である。

== 共役束 ==
''E'' が複素ベクトル束であれば、''E'' の'''共役束''' (conjugate bundle) <math>\overline{E}</math> は数の複素共役を通して作用する複素数を持つことによって得られる。したがって、下にある実ベクトル束の恒等写像： <math>E_{\mathbb{R}} \to \overline{E}_\mathbb{R} = E_{\mathbb{R}}</math> は共役線型であり、''E'' とその共役 {{overline|''E''}} は実ベクトル束として同型である。

<math>\overline{E}</math> の ''k''-次[[チャーン類]]は
:<math>c_k(\overline{E}) = (-1)^k c_k(E)</math>
によって与えられる。特に、''E'' と {{overline|''E''}} は一般には同型でない。

''E'' がエルミート計量を持っていれば、共役束 {{overline|''E''}} は計量を通して[[双対束]] <math>E^* = \operatorname{Hom}(E, \mathcal{O})</math> に同型である、ただし <math>\mathcal{O}</math> は自明複素直線束である。

''E'' が実ベクトル束であれば、''E'' の複素化の下にある実ベクトル束は ''E'' の 2 つのコピーの直和である：
:<math>(E \otimes \mathbb{C})_{\mathbb{R}} =  E \oplus E</math>
（なぜならば任意の実ベクトル空間 ''V'' に対して ''V''⊗<sub>'''R'''</sub>'''C''' = ''V''⊕''i''<nowiki></nowiki>''V'' だから）。複素ベクトル束 ''E'' が実ベクトル束 ''E<nowiki>'</nowiki>'' の複素化であれば、''E<nowiki>'</nowiki>'' は ''E'' の{{仮リンク|実形式|en|real form}}と呼ばれ（1つよりも多くの実形式があるかもしれない）''E'' は実数上定義されていると言われる。''E'' が実形式を持てば、''E'' はその共役に同型であり（なぜならばそれらは両方実形式の 2 つのコピーの和であるから）、したがって ''E'' の奇チャーン類は位数 2 を持つ。

== 関連項目 ==
* [[正則ベクトル束]]
* [[K-理論]]

== 参考文献 ==
* {{Citation | last1=Milnor | first1=John Willard | author1-link=John Milnor | last2=Stasheff | first2=James D. |author2-link=Jim Stasheff| title=Characteristic classes | publisher=Princeton University Press; University of Tokyo Press | series=Annals of Mathematics Studies | isbn=978-0-691-08122-9 | year=1974 | volume=76}}

{{topology-stub}}
{{デフォルトソート:ふくそへくとるそく}}
[[Category:ベクトル束]]
[[Category:数学に関する記事]]