接続 (微分幾何学)

接続 (主束)から転送)
数学 > 幾何学 > 多様体論 > 微分幾何学 > 接続 (微分幾何学)

微分幾何学において接続(せつぞく、: connection)とは、多様体ファイバーバンドル上に平行移動の概念を定義する事ができる数学的構造である。ただし数学的な取り扱いを容易にするため、平行移動の概念で直接的に接続を定義するのではなく、実質的に等価な別概念を用いて接続を定義する。

接続概念はゲージ理論チャーン・ヴェイユ理論で用いられる。特にチャーン・ヴェイユ理論の特殊ケースとして、曲面に関する古典的なガウス・ボンネの定理一般の偶数次元多様体に拡張するのに役立つ。

接続は元々はクリストッフェル並びにレヴィ-チヴィタリッチによって[1]リーマン多様体上に導入された概念(レヴィ-チヴィタ接続)であるが、一般のベクトルバンドル上の接続(Koszul接続[注 1])や主バンドルの接続(主接続)にも拡張され、さらに一般のファイバーバンドルの接続へと拡張された。ただし実際に研究が進んでいるのは、ベクトルバンドルとその主バンドルに対する接続概念である。

以下、本項では特に断りがない限り、多様体、関数、バンドル等は全てC級の場合を考える。よって紛れがなければ「C級」を省略して単に多様体、関数、バンドル等という。また特に断りがない限りベクトル空間は実数体上のものを考える。

概要

編集

多様体M上のベクトル場YM上の に対し、Y に沿った「方向微分」を定義することを考える。ユークリッド空間における微分を参考にすると、

 

のように定義するのがよいように思えるが、多様体上では  は別の点なので、両者の差 は意味も持たない。しかし  まで「平行移動」できれば、平行移動の結果  の差を取る事で「方向微分」を定義でき、これをY に沿った共変微分 という。


逆に に沿った共変微分 が定義できていれば、

 

が恒等的に成立している事をもって、Y に沿って平行と呼ぶことで平行の概念を定義できる。


このように平行移動と共変微分は実質的に同値な概念であり、多様体のベクトル場に対して平行移動・共変微分を定義できる構造を多様体(の接バンドル)の接続という。


接続概念から定まる平行移動により、(何ら構造が定義されていない)多様体では無関係なはずの点 におけるベクトル  におけるベクトル と「接続」して関係づける事ができ、これが「接続」という用語の語源である[5]


上では接バンドルに対する接続を説明したが、より一般にベクトルバンドルの接続、あるいはさらに一般にファイバーバンドルの接続を考える事ができる。上述のように平行移動と共変微分は実質的に同値な概念なので、平行移動・共変微分のうち、定義しやすい方をもとにして接続概念を定義すればよい。

そこでベクトルバンドルの場合は共変微分を、一般のファイバーバンドルの場合は平行移動をベースにして接続概念を定義する。


接続によって定まるもう一つの重要概念として曲率があり、これはファイバーバンドルの「曲がり具合」を表している。特に接ベクトルバンドルの曲率は多様体それ自身の「曲がり具合」とみなせる。曲率概念は歴史的には3次元ユークリッド空間 内の曲面に対して定義されたものだが、実は「外の空間」である がなくても定義できる曲面に内在的な量である事が示されたので、これを一般のリーマン多様体(の接ベクトルバンドル)、さらには一般のファイバーバンドルに対して拡張したものである。多様体に内在的な量としてみなしたとき、曲率の幾何学的意味は、閉曲線に沿ってベクトルを一周平行移動したとき、もとのベクトルとどの程度ずれるかを測った量であるとみなせる。

ベクトルバンドルの接続

編集

本節ではまずリーマン多様体の接続であるレヴィ-チヴィタ接続の定義を述べ、次により一般的なベクトルバンドルに対する接続の定義を述べる。

レヴィ-チヴィタ接続の定義

編集

M の部分多様体とし、 M上の曲線とし、さらに  上定義されたMのベクトル場とし(すなわち各時刻tに対し、  を満たすとし)、

 

と定義する。ここでPrMの点c(t)における 内の接平面(と自然に同一視可能なTc(t)M)への射影である。またXYM上のベクトル場とするとき、

 

と定義する。ここで は時刻0に点 を通るX積分曲線である。実はこれらの量はMの内在的な量である事、すなわち からMに誘導されるリーマン計量(とその偏微分)のみから計算できる事が知られている。


具体的にはMに局所座標 を取ると、以下のように書ける(アインシュタインの縮約で表記):

   
   where  

そこで  をリーマン多様体 に内在的な値とみなしたものを考える事ができる。 は以下の公理で特徴づけられる事が知られている:

定理 (リーマン幾何学の基本定理) ― M上のベクトル場の組にM上のベクトル場を対応させる汎関数で以下の5つの性質をすべて満たすものが唯一存在する[6][7]。このを レヴィ-チヴィタ接続といい、 をレヴィ-チヴィタ接続から定まるYXによる共変微分という[8][9][10]

  1.   (関数に関する左線形性)
  2.  (実数に関する右線形性) 
  3.   (ライプニッツ則)
  4.   (捻れなし)
  5.   (計量との両立)

ここでXYZM上の任意の可微分なベクトル場であり、fgM上定義された任意の実数値C級関数であり、abは任意の実数であり、 は点 において となるベクトル場であり、 fX方向微分であり、 リー括弧英語版である。


  を曲線上に制限したものとして定義できる。

ベクトルバンドルの接続の定義

編集

 を可微分多様体M上のベクトルバンドルとし(EMのいずれにもリーマン計量が入っているとは限らない)、 Eの切断全体の集合とし、 M上のベクトル場全体の集合とする。

ベクトルバンドルの接続は前述したレヴィ-チヴィタ接続の公理的特徴づけの5つの性質のうち3つを使って定義される。

定義 (ベクトルバンドルの接続) ― 関数

 

で以下の性質を満たすものをE上のKoszul接続[注 1]: Koszul connection[11][12]あるいは単に接続: connection)といい[13][14] を接続 が定めるsX方向の共変微分という:

  1.   (関数に関する左線形性)
  2.  (実数に関する右線形性) 
  3.   (ライプニッツ則)

Mの接ベクトルバンドルTMの接続の事を特にアフィン接続: affine connection)という[15]

ここでXYM上の任意のベクトル場であり、ss1s2Eの任意の切断であり、abは実数であり、ff1f2M上定義された任意の実数値可微分関数であり、 は点uにおいて となるEの切断であり、 fX方向微分である。

上述の定義から、一般のベクトルバンドルの接続もレヴィ-チヴィタ接続と同様、

 

という形で書ける。ここで Mの局所座標であり、 Eの局所的な基底である[注 2]。ただしもちろんレヴィ-チヴィタ接続と違い は計量で書けるとは限らない。


さらに以下の定義をする:

定義 ― 

リーマン幾何学の基本定理から、レヴィ-チヴィタ接続とは、唯一の計量と両立する捻れなしのアフィン接続として特徴づけられる。

曲線上の微分

編集

Mの曲線 上に切断 が定義されているとき、接続の成分表示の を形式的に に置き換えた

 

を、曲線 に沿った共変微分という。この定義は基底の取り方によらずwell-definedである。

平行移動

編集
 
球面上の平行移動。大円で囲まれた三角形上でベクトルを一周平行移動すると、もとに戻ってきたときに元のベクトルには戻らない。

 をベクトルバンドルとし、Mの曲線 上定義されたM上のベクトル場 

 

を恒等的に満たすとき、  平行であるという[17]。また、 上の接ベクトル  上の接ベクトル に対し、  を満たす 上の平行なベクトル場 が存在するとき、   に沿って平行移動: parallel transportation along  )した接ベクトルであるという[17]


ユークリッド空間の平行移動と異なる点として、どの経路 に沿って平行移動したかによって結果が異なる事があげられる。この現象をホロノミー英語版: holonomy)という[18]

右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。


 に沿って  まで平行移動したベクトルを とすると は線形変換である[19]。また共変微分は平行移動で特徴づけられる:

定理 (共変微分の平行移動による特徴づけ) ― 多様体M上の曲線 MのベクトルバンドルE に沿った切断 を考えるとき、 に沿った平行移動を とすると、以下が成立する[20]

  

上述のように平行移動があれば共変微分が定義できるので、一般のファイバーバンドルではむしろ平行移動に基づいて接続概念を定義する。


E上に計量gが定義されていてしかもが計量と両立しているとすると、以下が成立する:

定理 ―  平行移動は計量を保つ。すなわちM上の曲線 に沿った平行移動を とすると、任意の に対し、以下が成立する:

 

接続形式

編集

本章では接続の「接続形式」という概念を述べる。本章で述べるように、むしろ接続形式から接続を定義したほうが数学的な構造を探る上で有利な点があり、このアイデアに沿って接続を定式化したのが後の章で述べる主バンドルの接続概念である。

定義

編集

 を開集合 上で定義されたEの局所的な基底とするとき、接続形式を以下のように定義する:

定義 (接続形式) ― 行列 

 

により定義し、X を対応させる行列値の1-形式 を局所的な基底 に関する接続接続形式: connection form)という[21][注 3]

接続形式が与えられれば

 

により接続を再現できるので、この意味において接続形式は接続の情報をすべて含んでいる。

性質

編集

接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線 に沿って定義された局所的な基底 tで微分したものが接続形式 に一致する。

よって特に(レヴィ・チヴィタ接続などの)Eの計量と両立する接続の場合、による平行移動は回転変換、すなわち の元なので、その微分である接続形式ω のリー代数 の元、すなわち歪対称行列である[注 4]

定理 ― E上の計量と両立するとき、 Eの局所的な正規直交基底とすると、 に関する接続形式ω の元である。すなわちω歪対称行列である。


このように接続形式を用いるとベクトルバンドルの構造群(上の例では )が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。

上では回転群 の場合を説明したが、 (を自然に の部分群とみなしたもの)や 物理学で重要なシンプレクティック群スピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。

こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。後で説明する、リー群の主バンドルに対する接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。


そこで本項では、まずベクトルバンドルの接続と主バンドルの接続の両方を包括する概念であるファイバーバンドルの接続概念を導入する。この概念は「そもそも平行移動とは何か」を直接的に定式化したもので、この概念それ自身が接続形式の言葉で記述されるわけではない。

そして次にファイバーバンドルの接続概念を用いて主バンドルの接続概念を定義すると同時に、主バンドルの接続を接続形式の言葉で再定式化し、ベクトルバンドルの接続と主バンドルの接続の接続形式の言葉で記述する。

ファイバーバンドルの接続

編集

主バンドルの接続を定義する前準備として、一般のファイバーバンドルに対する接続を定義する。後述するように、主バンドルの接続はファイバーバンドルに対する接続で群作用に対して普遍になるものである。

すでに述べたように研究が進んでいるのばベクトルバンドルの接続なので、そのような目的のためにはこの一般の接続概念は必要ない。しかしファイバーバンドルの接続により、ベクトルバンドルの接続と次章に述べる主バンドルの接続とを統一的な視点から語る事ができるようになり、主バンドルの接続に基づいてベクトルバンドルの接続の性質をそれに対応する主バンドルの接続と対応付けて調べる事ができる。

定義に至る背景

編集

 をベクトルバンドルとし、をこのバンドルのKoszul接続とする。M上の任意の曲線c(t)c(t)上の任意の切断s(t)で平行なものに対し、s(t)E上の曲線とみなしたときに が入るTeEの部分空間を「水平部分空間」と呼ぶ。

以上のように接続から水平部分空間が定まるが、逆に水平部分空間の情報があれば接続を再現できる事も知られている[23]

このことからベクトルバンドルの場合は接続概念は水平部分空間の概念は等価なので、一般のファイバーバンドルに対する接続を水平部分空間の概念を用いて定義する事にする。

定義

編集

以上の考察を元に、ファイバーバンドルの接続を定義する。そのためにまず「垂直部分空間」という概念を定義する。 をファイバーFを持つファイバーバンドルとし、eEEの元とするとしπが誘導する写像を とするとき、

 

を、eにおけるTeE垂直部分空間: vertical subspace)という[24][25][注 5]。そしてファイバーバンドルの接続を以下のように定義する:

定義 (接続) ―  ファイバーバンドル の(C級の)接続(: connection) とは、Eの各点eにおけるTeMの部分空間 eに関してC級であり[注 6]、以下の性質を満たすものである[26]

 

 eにおける水平部分空間: horizontal subspace)という[26]

名称に関して

編集

ファイバーバンドルの接続のことをエーレスマン接続[27]: Ehresmann conection)と呼ぶ場合があるが[28]主バンドルに対する接続の事を「エーレスマン接続」と読んでいる書籍[29]もあるので注意が必要である[30]。なお主バンドル上においても両者の概念は同値ではなく、ファイバーバンドルの接続のうち構造群の作用に関して不変なものを主バンドルの接続と呼ぶ。

両者の区別のため、一般のファイバーバンドルの接続を一般の接続: general connection[31])、主バンドルの接続を主接続: principal connection[32])と呼ぶ場合がある。

またファイバーバンドルの接続のうち、完備なもののみを「エーレスマン接続」と呼ぶ場合もある[33]。なおエーレスマン自身による定義では完備性を仮定していた[34]

平行移動、共変微分

編集

平行移動

編集

 をファイバーバンドルとし、 をその接続とする。

定義 ―  M上の曲線 上定義された切断 平行であるとは、

 

が任意のtに対して成立する事をいう。

接続の定義から、

 

はベクトル空間としての同型であるので、この逆写像

 

を考える事ができる。  eへの水平リフト: horizontal lift[26])という。水平リフトの定義から明らかなように、切断 が平行である必要十分条件は

 

を満たす事である[26]

共変微分

編集

定理 ― sMの開集合上で定義された切断とし、XMのベクトル場とするとき

 

sX方向の共変微分[35]という。

同様にM上の曲線 に沿った切断 に対し、  に沿った共変微分

 

により定義する。この事からすなわち、共変微分 とは、平行移動からのズレを表す量である事がわかる。

一般の接続からベクトルバンドルの接続へ

編集

ベクトルバンドルのKoszul接続から一般の接続概念が得られる事をすでに見たが、逆にベクトルバンドル上の(一般の)接続が定める共変微分がKoszul接続の公理を満たす条件は以下の通りである:

定理 (Koszul接続の条件) ―  をベクトルバンドルとし、  のファイバーバンドルとしての接続する。さらに を垂直部分空間  の自然な同一視とする[注 7]

このとき以下の条件は同値である[36][37]

  •  が定義する共変微分をとすると、 はKoszul接続の公理を満たす。
  • 任意の  に対し、 

ここでmλはベクトル λ倍した に写す写像とする。

Koszul接続から一般の接続概念を誘導する方法と(上記の定理の条件を満たす)一般の接続概念からKoszul接続を誘導する方法は「逆写像」の関係にあり、上記の定理の条件を満たす一般の接続概念とKoszul接続は1:1に対応する[38]

主バンドルの接続

編集

定義

編集

主バンドルの接続は、ファイバーバンドルの接続で群作用に対して不変になるものである。すなわち、

定義 (主接続の定義) ― Gをリー群とし、 を構造群Gを持つ主バンドルとする。 C級の(主バンドルとしての)接続(: connection)あるいは主接続: principal connection とは、Pの各点pにおけるTpMの部分空間 pに関してC級であり[注 6]、任意の に対し以下の性質を満たすものである[39]

  •  
  • 任意の に対し、 

ここで 垂直部分空間 であり、  Pへの右からの作用 TPに誘導する写像である。 pにおける水平部分空間という。

リー代数を使った定式化

編集

本節では、前節で定義した主バンドルの接続概念をリー代数を使って特徴づける。後述するようにこちらの定義が自然にベクトルバンドルの接続と対応する。

そのために基本ベクトル場の概念を導入する。Gをリー群とし、 をそのリー代数とし、さらに G-主バンドルとするとき、リー代数の元 と点 に対し、

 

により、P上のベクトル場 を定義する。 Aに対応するP上の基本ベクトル場英語版: fundamental vector field on P associated to A)という[40][41]


基本ベクトル場の定義より明らかに各 に対し、写像

 

は全単射であるので、ζpの写像の逆写像を考えることができる。この逆写像を分解 の垂直部分空間への射影 と合成する事で、

 

を作る事ができる。この写像を に値を取る1-形式とみなしたものを

 

とし、各点pωpを対応させるP上の 値1-形式の場ω接続形式: connection form)という[42]

以上の議論から明らかに垂直射影からωが定まり、逆にωから垂直射影が定まるのでωによって接続概念を定式化できる:

定義・定理 (接続形式) ― Mを多様体、Gをリー群とし、 Gのリー代数とし、さらに M上のG-主バンドルとする。 上定義された -値の1-形式のC級の

 

で以下を満たすものを 接続形式という[43][44][45]

  1. 任意の  に対し、 
  2. 任意の  に対し、 

ここで  Pへの右からの作用 TPに誘導する写像であり、Ad随伴表現: adjoint representation

 

である[46]

主バンドルとしての接続から前述の方法でPの接続形式が定まり、逆に接続形式ω0になる方向を水平方向とすることでPに主バンドルとしての接続が再現できるので、両者の定義は同値である。

ベクトルバンドルの接続と主バンドルの接続の関係性

編集

本節では接続形式の章で述べたアイデアに基づいて、ベクトルバンドルの接続(Koszul接続)と主バンドルの接続(主接続)の関係を述べる。

接続形式の章で見た のケースだけでなく の部分リー群Gに対して両者の関係性を示すため、本章ではまず「G-フレーム」、および「G-フレームバンドル英語版」という概念を導入する。「G-フレーム」はG の場合は正規直交基底に相当するものであり、G-フレームバンドルはG-フレームを束ねてできるバンドルであり、自然にG-主バンドルとみなせる。

次に本章ではEのフレームバンドル上の接続からEのKoszul接続が定まる事を見る。そして構造群Gを持つベクトルバンドルの接続がGと「両立する」事を定義し、最後にG-フレームバンドルの接続の接続形式とベクトルバンドルのGと両立する接続の接続形式が1対1の関係にある事を見る。

フレームバンドル

編集

定義

編集

G-フレーム」とは正規直交基底の概念を一般化したもので、G の場合、G-フレームが正規直交基底に相当する。

定義 ― G の部分リー群とし、 を構造群Gを持つベクトルバンドルとし、uMの点とし、 Euの基底とする。 EuにおけるG-フレーム: G-flame)であるとは、Euにおけるバンドルチャート  が存在し、このバンドルチャート上で

 

が成立する事を言う。

ここで  の標準的な基底であり、 は線形変換 eiに作用させたものである。

構造群Gを持つベクトルバンドルの定義から、G-フレームの定義はバンドルチャートの取り方によらずwell-definedである。


  上のG-フレーム全体の集合とすると、

 

は自然にM上のG-主バンドルをなし、 を構造群Gに関するフレームバンドルという[47][注 8]

主接続からKoszul接続の誘導

編集

 Gを構造群を持つベクトルバンドルとし、 をそのフレームバンドルとする。さらにG-主バンドル に接続形式が の接続が入っているとする。開集合 上定義されたEの局所的な基底 に対し、

 

を、eUからFG(E)への写像と見たときの接続形式ωUへの引き戻しとし、  と成分表示する。

定理・定理 ―  記号を上述のように取る。Eの切断sM上のベクトル場Xに対し、

 

と微分演算子を定義すると、は局所的な基底 の取り方によらずwell-definedで、しかもはKoszul接続の公理を満たす。 から誘導される接続という。

構造群と接続の両立

編集

G の部分リー群とする。構造群Gを持つベクトルバンドルの接続(Koszul接続)がGと両立する事を以下のように定義する。直観的には平行移動がGの元で書ける事を意味する:

定義 (構造群と両立するKoszul接続) ― Mを連結な多様体とし、G の閉部分リー群とし、 を構造群Gを持つベクトルバンドルとし、 のKoszul接続とする。このとき、Gと両立する: G-compatible)とは、 の任意の局所自明化

  where   open、  open

に対し、U内の任意の曲線 に沿った平行移動 Gに属する線形変換である事を言う[48][注 9]

定義より明らかに以下が従う:

定義 ―  を構造群Gを持つベクトルバンドルとする。このとき、G-フレームバンドル 上の接続形式から誘導されたEの接続はGと両立する。

接続がGと両立する事は、接続形式がGのリー代数に入っている事と同値である:

定義 (Gと両立するKoszul接続) ― E上定義されたKoszul接続とし、 をその接続形式とする。Gと両立する必要十分条件は、任意の局所的な基底 に対し、

 

が成立する事を言う。

接続形式の章では平行移動が常に の元で表せるときに接続形式が のリー代数に入っている事を示したが、上記の定理はこの事実を の任意の部分リー群に対して示したものである。

ベクトルバンドルの接続から主接続の接続へ

編集

Gと両立する接続はフレームバンドルの接続に対応している:

定理 ― Gを構造群として持つベクトルバンドル のKoszul接続Gと両立するとき、フレームバンドルFG(E)のある接続形式ωが存在し、ωからEに誘導される接続と一致する。

本章の成果をまとめると、以下の結論が得られる:

定義 (主接続とKoszul接続の関係) ― E上のKoszul接続でGと両立するものは の主接続と1 : 1で対応する。 さらにGと両立するにKoszul接続に対応する主接続の接続形式をωとすると、任意の開集合 U上で定義された の任意の局所的な切断 に対し、

 

が成立する。ここで  を局所的な基底とみなしたときのeに関するの接続形式であり、 eUからFG(E)への写像と見たときの接続形式ωUへの引き戻しである[49]

共変微分の対応関係

編集

ベクトルバンドル の切断sが与えられたとき、 上の関数

 , where  

を定義できる。このとき次が成立する:

定理 ― M上の任意のベクトル場Xに対し、以下が成立する[50]

 

ここで  上のベクトル場 により 上の 値関数 の各成分を微分した の事である。

曲率

編集

一般のファイバーバンドルの曲率

編集

ファイバーバンドル 接続(: connection) が与えられているとき、Eの接ベクトル空間は と分解できた。そこで

  

をそれぞれ垂直部分空間、水平部分空間への射影とする。曲率概念はこのVeHeを使って定義する:

定義 (ファイバーバンドルの曲率形式) ― E上のベクトル場ξηに対し、

 

をファイバーバンドルEの接続 に関する曲率形式という[51]

ここで リー括弧英語版である。Ω -線形であり[51][52][注 10][注 11]、よってΩは双線形写像

 

であるとみなせる[注 10]

フロベニウスの定理を用いると、曲率形式が恒等的に0である事は超平面の族 可積分である事と同値である事を示せる[55]。したがって曲率形式は水平部分空間  が可積分ではない度合いを表す量である

主接続の曲率

編集

本節では、主接続の場合に対し、上記で定義した曲率形式をリー代数の言葉で書き換える。Gをリー群とし、 Gのリー代数とし、さらに G-主バンドルとし、ωPの主接続とする。リー代数 におけるリー括弧を使って

 

と定義し[56]、さらに前の章と同様、リー代数の元に基本ベクトル場を対応させる写像

 

を考える。紛れがなければ添字pを省略し単にζと書く。

定理 (主バンドルの接続の曲率) ― 曲率形式Ωは以下を満たす[57][58][56][注 12]

  • 構造方程式[58] 

紛れがなければ を単にΩと書き、接続形式ω曲率形式という。

ベクトルバンドルの接続の曲率

編集

定義

編集

Koszul接続が定義されたベクトルバンドルの曲率を以下のように定義する:

定義・定理 (曲率) ―  ベクトルバンドル の接続 に対し、

  for  

 に関する曲率: curvature)もしくは曲率テンソル: curvature tensor)という[59]

RXYsに関して -線形であり[60]、よってRは各点 に対し、

 

を対応させるテンソル場とみなせる。


さらにKoszul接続の曲率形式を以下のように定義する:

定義 ― UMの開集合とし、 Uにおけるフレームバンドル の切断とする。このとき、曲率テンソルを

 

と成分表示し、 とすると、Ωeは一般線形群のリー代数  に値を取る2-形式とみなせる。  eに関するKoszul接続曲率形式: curvature form)という[61]

一般の接続の曲率形式との関係

編集

すでに述べたようにベクトルバンドル 上のKoszul接続には、それと対応するファイバーバンドルとしての接続 が定義可能であるが、上述したKoszul接続の曲率は前述した一般のファイバーバンドルの曲率形式 と以下の関係を満たす。ここでHは水平部分空間への射影である。

定理 ― 記号を上述のように取る。このとき、M上の点u、ベクトル  に対し、以下が成立する[62]

 

よって特にKoszul接続の曲率形式 とは以下の関係を満たす:

 

ここで であり、 はその双対基底である。

主接続の曲率との関係

編集

 のフレームバンドル の曲率形式とKoszul接続の曲率形式は以下の関係を満たす:

定理 ― ベクトルバンドル のフレームバンドル に接続形式がωの接続が定義されているとし、この接続の曲率形式をΩとする。

さらにこの接続がEに誘導する接続が定義するKoszul接続をとし、 Mの開集合U上定義された の切断とし、 eに関する曲率形式とする。このとき、以下が成立する[63]

 

ホロノミー群

編集

本節では特に断りのない限り、 完備な接続 が定義されたファイバーバンドルでM連結なものとする。ここで接続が完備であるとは、M上の任意の曲線 上に から までの平行移動を常に定義可能な事を指す。

定義

編集

 Mの点とし、 x0からx0自身への区分的になめらかな閉曲線とすると、接続が完備なのでx0のファイバー の任意の元eに対し、e に沿って一周平行移動してできた元を とする事で、 上の可微分同相写像

 

を定義できる。

定理・定義 (ホロノミー群) ― 

 x0から出てP自身への区分的になめらかな閉曲線 

は閉曲線の連結に関して自然に群構造をなす。この群をE に関するx0におけるホロノミー群: holonomy group)という[64]

ホロノミーリー代数

編集

 における接ベクトル に対し、  eでの水平リフトを対応させる

 

をファイバー 上の切断とみなしたものを と書く。

2つのベクトル に対し、  はいずれも 上のベクトル場なので、曲率形式Ωに対して、

 

を定義でき、これは 上のベクトル場とみなせる[64]。さらに をfixし、uから までつなぐ曲線 に沿って を平行移動したものを と書く。

定理・定義 ―   上のベクトル場全体の集合 リー括弧英語版に関する「無限次元リー代数」とみなしたとき、

 xからx0までつなぐM上の曲線 

を含む最小の(C-位相に関する)閉部分線形空間 を

 

と書くとき、  の部分リー代数になっている。

 ホロノミーリー代数: holonomy Lie algebra)という[64]

実は以下の定理が成立する。なお、以下の定理は主バンドルに対するAmbrose–Singerの定理を任意のファイバーバンドルに一般化したものである:

定理 (Ambrose-Singerの定理の一般化) ― ホロノミーリー代数 が有限次元であれば、以下が成立する:

  • ホロノミー群  をリー代数として持つリー群である[64]
  • あるG-主バンドル 、およびGのファイバー への作用が一意に存在し、  へのG作用を使って作った バンドルは と同型である[64]
  • 主バンドル には主バンドルとしての接続(詳細次章)が一意に存在し、この接続が上述の バンドルに誘導する接続 との接続と同一である[64]

接続の歴史

編集

接続は、歴史的にはまずリーマン幾何学において見出された。接続の概念のはじまりをどこに置くかについては諸説あるが、クリストッフェルの研究をその淵源とする見方がある[注 13]。クリストッフェルは1869年の論文で、座標変換の導関数が満たす関係式の研究を通じ、現在クリストッフェル記号とよばれる量を発見した[67]。これを用いて、リッチはその学生であるレヴィ=チヴィタとともに、彼らが絶対微分学英語版とよんだ、共変微分を用いる今でいうテンソル解析の計算の手法をつくりあげた[68]

レヴィ=チヴィタはまた、1916年に、リーマン幾何学における接ベクトル平行移動の概念を発見し、これが共変微分によって記述されることをみつけた[69]レヴィ-チヴィタ接続の名前はこのことによる)。1918年にワイルはそれを一般化して、アフィン接続の概念に到達した[70][注 14]。ここで「接続」にあたる語(: Zusammenhang)がはじめて使用された[要出典]

それからすぐに、エリ・カルタンによって、さらなる一般化が行われた。カルタンはクラインエルランゲン・プログラムの局所化を試みていたのである。1920年代にカルタンは、微分形式を用いた記述によって、現在カルタン接続と呼ばれるものを発見していった[71]。カルタンのこの仕事により、リーマン幾何学だけでなく、共形幾何学英語版射影幾何学などのさまざまな幾何学を研究するための基礎が築かれた。

しかしカルタンの記述は、微分幾何学の他の基本的概念の整備が進んでいない当時、理解されづらいものだった。その仕事をよりわかりやすいものにして発展させるために、カルタンの学生にあたるCharles Ehresmannは、1940年代から主バンドルファイバーバンドルを研究した。1951年の論文でEhresmannは、主バンドルの接続を、接分布英語版を用いる方法と微分形式による方法の両方で定義した[72]ファイバーバンドルの接続)。

その一方で、1950年にJean-Louis Koszulは、ベクトル束の接続の代数的定式化を与えた[73]ベクトルバンドルの接続)。Koszulの定式化によると、クリストッフェル記号を明示的に用いる必要は必ずしもなくなり、接続の取り扱いは容易になった[要出典]

関連項目

編集

出典

編集
  1. ^ C.G. Ricci, T. Levi=Civita (1901), Méthodes de calcul differéntiel absolu et leurs applications (絶対微分学の方法とその応用)矢野(1971) 和訳pp.17-95
  2. ^ 板場綾子「自己移入的Koszul多元環に対する有限条件(Fg) (有限群のコホモロジー論とその周辺)」『数理解析研究所講究録』第2061巻、京都大学数理解析研究所、2018年4月、33頁、CRID 1050001202603941760hdl:2433/241849ISSN 1880-2818NAID 120006645349 
  3. ^ Koszul duality for factorization algebras and extended topological field theories”. 2023年10月19日閲覧。
  4. ^ 2020年度 幾何学 B アインシュタイン計量の幾何学 -リーマン幾何学入門とアインシュタイン計量の幾何学への応用-” (PDF). p. 75. 2023年10月19日閲覧。
  5. ^ #Spivak p.251. 「this possibility of comparing, or "connecting", tangent spaces at different points gives rise to the term "connection".」
  6. ^ #Andrews Lecture 10, p.2.
  7. ^ #Tu p.45.
  8. ^ #Andrews Lecture 8 p.74, Lecture 10 p.98.
  9. ^ #新井 p.304.
  10. ^ #Tu p.45.
  11. ^ #Spivak p.241.
  12. ^ José Figueroa-O'Farrill. “Lecture 5: Connections on principal and vector bundles”. PG course on Spin Geometry. p. 40. 2023年1月12日閲覧。
  13. ^ #森田 p.213.
  14. ^ #Tu p.72.
  15. ^ #小林 p.76.
  16. ^ #Tu p.75.
  17. ^ a b #Tu p.263.
  18. ^ #Tu p.113.
  19. ^ #Tu p.263.
  20. ^ #Spivak p.251.
  21. ^ #小林 p.38.
  22. ^ #Tu p.80.
  23. ^ #Spivak p.251.
  24. ^ #Tu p.256.
  25. ^ #Wendl3 p.73.
  26. ^ a b c d #Wendl3 p.74.
  27. ^ 「エーレスマン接続」という訳語は#佐古を参考にした。#佐古に目次にこの名称が確認できる。
  28. ^ #Epstein p.95.
  29. ^ #Tu p.256.
  30. ^ Ehresmann connection”. nLab. 2023年8月30日閲覧。
  31. ^ #Kolar p.80.
  32. ^ #Kolar p.99.
  33. ^ #Kolar p.81.
  34. ^ #Tuynman p.345.
  35. ^ #Wendl3 p.75.
  36. ^ #Wendl3 pp.76-78.
  37. ^ #Kolar p.110.
  38. ^ #Wendl3 p.78.
  39. ^ #Wendl3 p.89.
  40. ^ #Tu p.247.
  41. ^ #Wendl3 p.89.
  42. ^ #Kolar p.100.
  43. ^ #Tu pp.255-256
  44. ^ #小林 p.61.
  45. ^ #Wendl3 p.90.なお本文献のみ「 」ではなく「 」になっているが、前後関係から「 」の誤記と判断。
  46. ^ #Tu p.123.
  47. ^ #Salamon p.5.
  48. ^ #Wendl3 p.83.
  49. ^ #Pasquotto p.84.にこの定理のアフィン接続が述べられており、Koszul接続の場合も同様である旨が書いてある。このKoszul接続の場合は他の文献の記述からも従う。実際、 の場合に1:1対応する事は#森田 pp.319-321従い、この場合に となる事は#Tu p.268から従う。そしてG の部分リー群である場合に関しては#Kobayashi-Nomizu1 p.83のRemarkより -主バンドル 上の接続形式がG-主バンドル にreduceする必要十分条件はωGのリー代数に値を取る事であるので、上記の事実から従う。
  50. ^ #Kobayashi-Nomizu-1 p.127.
  51. ^ a b #Wendl5 p.121.
  52. ^ #Kolar p.77.
  53. ^ #Tu p.49
  54. ^ #Tu p.56,58
  55. ^ #Wendl5 pp.119,121.
  56. ^ a b #Kolar pp.100-101.
  57. ^ #Tu p.270
  58. ^ a b #森田 p.302.
  59. ^ #小林 p.43.
  60. ^ #小林 p.43.
  61. ^ #Tu p.80
  62. ^ #Wendl5 p.123.
  63. ^ #Tu p.270.
  64. ^ a b c d e f #Kolar pp.82-83.
  65. ^ Freeman 2011.
  66. ^ 日本数学会編 2007.
  67. ^ Christoffel 1869.
  68. ^ Levi-Civita 1900.
  69. ^ Levi-Civita 1916.
  70. ^ Weyl 1918.
  71. ^ Cartan 1926.
  72. ^ Ehresmann 1950.
  73. ^ Koszul 1950.

注釈

編集
  1. ^ a b 人名「Koszul」を「コシュール」と訳している文献[2][3][4]があるため、「コシュール接続」と読むと思われるが、「コシュール接続」と訳した文献を発見できなかったので本項では「Koszul接続」と表記した。なお、Wikipediaの英語版には「フランス語: [kɔsyl]」とある。
  2. ^ 接続M全域で定義されたベクトル場と切断に関するものなので、このような局所的に定義された座標で表示できるか否かは非自明である。しかしが「局所演算子」という性質を満たすことにより、局所的な座標で表示可能な事を示すことができる。詳細は接続 (ベクトル束)の項目を参照されたい。
  3. ^ 成分 接続形式といい、ω接続行列: connection matrix)と呼ぶ場合もある[22]
  4. ^ 厳密には以下の通りである。Mの曲線 に沿って定義された局所的な基底 を考え、  に沿って平行移動したものを として行列   により定義すると、接続形式の定義より、       が成立する。ここで は成分ごとの微分 の事である。 が計量と両立すれば、 は正規直交基底である。よって  が正規直交基底であれば、 より は回転変換であり、 の微分は歪対称行列である。
  5. ^ ここで π(e)のファイバー の点eにおける接空間であり、包含写像 が誘導する写像 により TeEの部分空間とみなしている。
  6. ^ a b この「 eに関してC級である」というのを厳密に定式化する方法は(同値な方法が)いくつかあるが、一つの方法は   上のファイバーとするTEの部分ベクトルバンドルとみなし、 TEC級の部分ベクトルバンドルである事を要請するというものである。
  7. ^ 垂直部分空間の定義より であるが、 はベクトル空間なので、 と接空間  は自然に同一視できる。
  8. ^ なお 、#Salamonでは の(標準的とは限らない)基底  から への線形写像fと自然に同一視し、各 に対し、
     
    Gに属する事を持ってG-フレームを定義しているが、この定義は本項で述べたものと同値である。
  9. ^ #Wendl3の定義は若干曖昧で単に「十分短い曲線」(sufficiently short path)に沿った平行移動がGと両立する自明化(G-compatible connection)  for  を持つとしか言っていないが、局所自明化可能な領域内の曲線がこのように書ければ十分なので、ここではそのように定義した。
  10. ^ a b ここで  -線形であるとは、通常の線形性を満たすのみならず関数fに対して   を満たす事を指す[53] -線形である事は、 の各点 における値がξηの点eにおける値ξeηeのみで決まること、すなわちΩが各点における双線形写像のテンソル場とみなせる事と同値である事が知られている[54]
  11. ^ #Kolarにおける曲率の定義はここに書いたものと符号が反対だが、#Kolar p.73.にあるように#Kolarの定義だと「通常の曲率と符号が反対」になるので、#Wendl5 p.121の方の符号を採用した。
  12. ^ #Kolar p.100-101.のみ右辺第二項は となっているが、これは#Kolarの間違いであると判断した。実際#Kolar p.100の一番下にある の定義式に を代入すると となり、 とはならない。またこの#Kolar p.100の一番下の係数 #森田の1巻のp.95.では になっているため、#Kolar の定義式を間違えた可能性が高い。#Tu p.285も参照。
  13. ^ これはFreeman[65]の立場。ほかには、たとえば岩波数学辞典は後出のレヴィ=チヴィタによる平行移動の発見を接続の概念のはじまりとしている[66]
  14. ^ 正確には、現在の言葉でいう捩れのないアフィン接続。

文献

編集

参考文献

編集

歴史的な文献

編集
  • Cartan, Élie (1926), “Les groupes d'holonomie des espaces généralisés”, Acta Math. 48: 1–42, doi:10.1007/BF02629755 
  • Christoffel, Elwin B. (1869), “Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades”, Journal für die reine und angewandte Mathematik 70: 46–70 
  • Ehresmann, Charles (1950), Les connexions infinitésimales dans un espace fibré différentiable, Colloque de Toplogie, Bruxelles, pp. 29–55 
  • Koszul, Jean-Louis (1950), “Homologie et cohomologie des algebres de Lie”, Bulletin de la Société Mathématique 78: 65–127 
  • Levi-Civita, Tulio; Ricci, M. M. G. (1900), “Méthodes de calcul différential absolu et leurs applications”, Math. Ann. B 54: 125–201, doi:10.1007/BF01454201 
  • Levi-Civita, Tulio (1916), “Nozione di parallelismo in una varietà qualunque e conseguente specificazione geometrica della curvatura riemanniana”, Rendiconti del Circolo Matematico di Palermo 42: 173–204, doi:10.1007/BF03014898 
  • Weyl, Hermann (1918), “Reine Infinitesimalgeometrie”, Mathematische Zeitschrift 2: 384–411, doi:10.1007/bf01199420 

外部リンク

編集