接続 (主束)
数学における接続（せつぞく）とは、多様体上に定められた様々なファイバー束について、ファイバーの間の"平行移動"を与える微分方程式的な概念である。この項では特にリー群を構造群とする主束の接続について解説する。
主束の接続を決めることは、束の全空間の接空間のなかで構造群の作用によって不変な「水平な方向」を定めること同じである。したがって、主束の接続はシャルル・エーレスマンによって導入されたエーレスマン接続の特別なものと見なすことができる。
主束上に接続が与えられると、構造群の線形表現に付随するベクトル束に対してベクトル束の接続・共変微分を誘導することができる。また、リーマン多様体のレヴィ・チビタ接続など多くの幾何学的に重要な概念が主束の接続として定式化されている。
主束に限らずに接続の歴史を概観する。歴史的には、接続は無限小の視点からリーマン幾何学を扱う際に研究された。クリストッフェルの研究に端を発し、後にリッチ (Gregorio Ricci-Curbastro) とレヴィ・チビタ (Tullio Levi-Civita) が精力的に研究した。彼らはクリストッフェルの意味の接続が平行移動の概念を許容することを確かめている。
レヴィ・チビタは平行移動がその解となるような微分作用素としての接続に注目した。時代が進むのに併せてエリ・カルタンが接続の新しい形式を開発した。彼はクラインのエルランゲン・プログラムにパフィアン (Pfaffian system) に関する技術を応用する手段を探していた。彼はある無限小の接続の概念 () が適用できることを発見した。この接続は曲率を許容する(古典的なクライン幾何にはないと思われていた)。更に、ダルブーの結果を用いてカルタンは平行移動をカルタン接続にまで一般化することができた。このことは現代でも主要な扱い方の1つである微分形式としての接続を確立した。
微分作用素としての接続と、微分形式としての接続と、接続の理論における二通りの扱いは、現在に至るまで残っている。1950年、Koszul はを使って微分作用素としての接続について代数的な枠組みを与えた。Koszul 接続はレヴィ・チビタ接続よりも一般的で、かつ接続の形式化において不恰好なクリストッフェル記号を最終的に除去することができた（少なくとも隠すことができた）ので取り扱いが容易であった。付随する平行移動操作は接続の用語を用いた自然な代数的解釈を持つ。Koszul 接続は共変微分と平行移動の概念との解析的な対応を代数的な対応に書き換えるので、微分幾何学のコミュニティに受け入れられた。
同じ年、カルタンの学生のエーレスマン (Ehresmann) は主束、一般にはファイバー束の文脈から微分形式としての接続の多様性を提示した。エーレスマン接続は、厳密にはカルタン接続の一般化ではない。との関係により、カルタン接続は底空間の微分構造と強く結びついている。エーレスマン接続は陳省身のような当時の幾何学者の基礎的な結果に対して、むしろ強固な枠組みであった。陳省身は当時ゲージ接続と呼ばれることになるものを研究するのにカルタン接続から離れている。エーレスマンの視点からは主束の接続は全空間の「水平な」或いは「鉛直な」ベクトル場の仕様から構成されている。このとき平行移動は底空間の曲線を全空間の水平なベクトル場への持ち上げだと見なせる。この視点は、ホロノミーを考える際に特に有用であることが示されている。
滑らかな多様体 "M" 上に、リー群 "G" を構造群とする滑らかな主束 "π":"P"→"M" が与えられたとする。このとき、"P" 上の主 "G"-接続 "ω" とは、"G" のリー代数 g に値を取る "P" 上の1次微分形式で、
の2つの条件を満たすようなもののことである。
文脈によっては、主 "G"-接続 は対 ("P", "ω") のことを指し、"ω" 自体は接続形式と呼ばれることもある。
多様体 "M" 上の "G"-主束 π: "P" → "M" の接続形式 "ω" を用いることで、"P" の接空間を "M" の接空間に同型な部分空間とファイバーの接空間 ker π との直和に分解することができる。つまり、"G" の作用によって g からファイバーの接空間の上への同型が得られるが、一方で、ker "ω" は "M" の接空間に同型な "P" の接空間の部分空間を定めることができる。この部分空間は T"P" の部分束をなし、水平な方向および垂直な方向への分解 T"P" = ker "ω" ⊕ ker "π" によってエーレスマン接続が定められている。
反対に、エーレスマン接続
であって、"G"-同変なもの、つまり "H" = d R "H" を満たすものは ker "ω" = "H" となるような接続形式を一意的に定めている。
"M" の開集合 "U" 上で主束 "P" を自明化することは "U" 上で "P" の切断 "s" を選ぶことと同じである。"P" に接続形式 "ω" が与えられているとき、"s" によって "ω" を引き戻すことで g に値をとる "U" 上の1次微分形式 "s"*"ω" を定めることができる。この微分形式と自明化写像 "U" × "G" → "P"| によって、"P"| 上での "ω" を復元することができる。
また、"U" 上の任意の切断は、"U" から "G" への関数 "g(x)" によって "s(x) g(x)" と表すことができるが、この新たな切断による "ω" の引き戻しは
を満たしている。"M" の開被覆 ("U") 上で "P" の自明化が与えられていれば、"U" = "U" ∩ "U" 上での自明化の差 "g" が定めるコサイクルによって "P" を復元することができる。さなり、このコサイクルに関して上記のような貼り合わせ条件を満たす g-値の1次微分形式の族 ("ω")によって "P" 上の接続 "ω" を定めることができる。
"ω" と "η" とがともに主束 "P" の接続形式であるとき、差 "ω" − "η" は "G"-同変な g-値の1次微分形式であるが、さらに、各ファイバーの接ベクトルに対して 0 を与えるようなものになっている。したがってこれは "P" 上の basic (基本的) 微分形式であり、または、"M" 上の、ベクトル束 "P" × g を係数とする微分形式と見なすこともできる。
反対に、"ξ" が "P" 上の "G"-同変な基本的微分形式であれば、"ω" + "ξ" も再び "P" の接続形式となることが分かる。したがって、"P" の接続形式の空間は、"P" 上の "G"-同変な基本的微分形式たちがなすベクトル空間上のアフィン空間になっていることが分かる。
"G"-主束 "P" と "G" の線形表現 "W" が与えられたとき、それらによって誘導される "M" 上のベクトル束 "P" × "W" を考えることができる。さらに、"P" の接続形式 "ω" が与えられれば、このベクトル束上の共変微分が
によって定まる。ただし、ここでは "P" × "W" の切断 σ を "P" から "W" への "G"-同変な関数と同一視し、"ω" により定まる "M" のベクトル場 "X" の "P" への持ち上げ formula_4 を作用させている。この共変微分は、垂直方向の接ベクトルに対して消えている作用素 d"σ" + "ω" Λ "σ" と表すこともできる。
より一般的に、式 d"α" + "ω" Λ "α" は "P" 上に定められた "W" を係数とする "G"-同変基本微分形式 "α" に対する作用素と考えることができる。こうして、"P" × "W" を係数とする "M" 上の微分形式に関する外微分が定められる。
主 "G"-束の接続 "ω" に対して、その曲率形式 Ω は g に値を取る2次の微分形式
として定義される。この微分形式は "G"-同変かつ水平的であるため、P × g を係数とする "M" 上の2次微分形式に対応する。この式は第二構造方程式ともよばれる。
"G" の線形表現 "W" により誘導されるベクトル束 "P" × "W" 上に "ω" が定める共変微分の曲率は Ω によって誘導される "P" × W の自己準同型によって表されている。