アフィン接続

ウィキペディア

アフィン接続

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/08 15:22 UTC 版)

数学 > 幾何学 > 多様体論 > 微分幾何学 > 接続 > ベクトルバンドルの接続 > アフィン接続

球面上のアフィン接続は、ある点から別の点へのアフィン接平面を回転させる。そのようにすると、接触している点は平面上の曲線、つまり発展(development)方向を追いかける。

数学の一分野である微分幾何学において、アフィン接続(アフィンせつぞく、affine connection)は、滑らかな多様体上の幾何学的対象の一種。周辺の接空間が〈接続〉されることにより、接ベクトル場が——固定されたベクトル空間に値を持つ函数のように——微分できるようになる。アフィン接続の考え方は、19世紀の幾何学とテンソル解析に由来するが、1920年代初頭にエリ・カルタンやヘルマン・ワイルが（カルタン接続という一般理論や一般相対論の基礎付けの為に）研究するまでは十分に発展されなかった。用語はカルタンによるもので、ユークリッド空間 Rⁿ 内の接空間を平行移動によって同一視することに由来する。アフィン接続を指定することで、多様体が無限小で滑らかなだけでなくアフィン空間としてユークリッド空間のようになるということである。

滑らかな多様体上には無限個のアフィン接続が存在する。さらに多様体がリーマン計量を持つと、アフィン接続を自然に選択することができ、この接続をレヴィ・チヴィタ接続と呼ぶ。アフィン接続を選択することは、（接）ベクトル場を規定することと同値であり、合理的な性質（線型性やライプニッツ則）を満たす。このことは、接バンドル上の共変微分や（線型）接続として、アフィン接続が妥当な定義であることを意味する。アフィン接続の選択は、曲線に沿って変換する接ベクトルを意味する平行移動の考え方と同値でもある。このことはまた、標構バンドル上の平行性を持つ変換を定義する。標構バンドル上の無限小平行移動は、アフィン接続、アフィン群のカルタン接続、あるいは、標構バンドル上の接続の別の記述であることをも意味する。

アフィン接続の主な不変量は、捩率と曲率である。捩率はどのようにして、ベクトル場のリーブラケットがアフィン接続から再現可能かを測る。アフィン接続は、多様体の（アフィン）測地線を定義することに使われる。ここで使われる直線の幾何学である測地線は、通常のユークリッド幾何学からは非常に異なるにもかかわらず、ユークリッド空間の直線の一般化となっている。直線と測地線との違いは、測地線が接続の曲率の中に全ての情報をカプセル化していることである。

動機と歴史

滑らかな多様体は、局所的にユークリッド空間 Rⁿ の滑らかな変形に見える数学的な対象である。たとえば、滑らかな曲線や曲面は、局所的には直線や平面の滑らかな変形に見える。滑らかな函数とベクトル場は、まさにユークリッド空間上であるかのように多様体を定義することができ、多様体上のスカラー函数は、自然な方法で微分することが可能である。ベクトル場の微分は、ユークリッド空間においては簡単な問題である。なぜなら、点 p における接ベクトル空間が普通に（平行移動によって）近くの点 q での接ベクトル空間と同一視できるからである。しかしながら、一般の多様体上でのベクトル場の微分はそう単純にはいかない。一般に、多様体上では近くの接空間の間にそのような自然な同一視は存在しないので、近接する点での接空間を well-defined な方法で比較することはできない。アフィン接続の考えは、近くの接空間を「接続する」ことにより、この問題を修正することで導入された。このアイデアの起源は、2つの源へと遡ることができる、曲面論とテンソル解析である。

曲面論からの動機

3-次元ユークリッド空間の中の滑らかな曲面 S を考える。任意の点の近くで、S はユークリッド空間のアフィン部分空間である接平面により近似することができる。19世紀の微分幾何学者は、発展の考えに興味をもった．これは、ある曲面を他の曲面に沿って滑ったり捩れたり（ツイストしたり）しないように転がす (roll)ことについての考えである。特に S の点への接平面は、S 上で転がることができる。これは、S が 2-球面のような曲面（凸な領域の滑らかな境界）である場合には想像しやすいはずだ。 S 上で接平面を転がしていくと、その接触点が S 上にある曲線を描く。逆に、S 上の曲線が与えられると、接平面をその曲線に沿って転がしていくことができる。この考え方が、ある曲線上の異なる点における接平面たちを同一視するための方法となる。特に、曲線上のある点での接空間ないの接ベクトルは、曲線上の任意の点での一意の接ベクトルと同一視される。これらの同一視は、常に、ひとつの接平面から別の平面へのアフィン変換により与えられる。

アフィン変換による、曲線に沿ったこの接ベクトルの平行移動の考えは、特徴的な性質をもっている。接平面が曲面と接触する点は、平行移動の下に曲線とともに常に移動する（すなわち、接平面が曲面上を転がっていきつつ、その接触点も移動していく）。この基本的条件はカルタン接続の特徴である。より現代的アプローチでは、接触点は接平面の原点と見なすことができ（従って接空間はベクトル空間である）、原点の移動は変換により修正され、従って平行移動はアフィンというよりも線型となる。

しかしながら、カルタン接続の観点では、ユークリッド空間のアフィン部分空間は、モデル曲面 - 3次元ユークリッド空間の中の最も単純な曲面であり、平面のアフィン群の下に等質 - であり、すべての滑らかな曲面は各々の点で接する一意にモデル曲面を持つ．これらのモデル曲面は、フェリックス・クラインのエルランゲンプログラムの意味でのクラインの幾何学である。より一般的には、n 次元アフィン空間はアフィン群 Aff(n) のクライン幾何学である。点の安定化因子は一般線型群 GL(n) である。従って、n-次元アフィン多様体は、無限小を考えると n-アフィン空間のように見える多様体である。

テンソル解析からの動機

歴史的には、共変微分（もしくは、計量によるレヴィ・チヴィタ接続）を使い、他のベクトルの方向に沿ったベクトルの変化率を記述した。ここで、2次元のユークリッド空間上では、青のベクトル場 X はどこでも 1-形式(1-form) dr を 1 へ写す。赤のベクトル場 Y は 1-形式 dθ をどこでも r へ写す。計量 ds² = dr² + dθ² により保証され、レヴィ・チヴィタ接続 ∇_YX はどこでも 0 となり、X ｊは Y に沿っては変化しないことを意味する。言い換えると、X は各々の同心円にそって平行移動する。 ∇_XY はどこでも dθ を 1 へ写し、これは Y は放射方向の変化率は「定数」である。

アフィン接続の第二の動機は、ベクトル場の共変微分の考えから来る。座標独立な方法が登場する以前は、座標チャートの中のベクトルの成分を使いベクトル場を研究する必要があった。これらの成分を微分することはできるが、この微分は座標変換の下で管理可能な方法では変換しない。正しい記述はエルヴィン・クリストッフェル(Elwin Bruno Christoffel)により（ベルンハルト・リーマン(Bernhard Riemann)のアイデアに従い、1870年代に導入され、座標変換の下に共変な変換に沿ったベクトル場の（正しい）微分 — これらを集大成した結果は、クリストッフェル記号として知られる。このアイデアは、グレゴリオ・リッチ・クルバストロ(Gregorio Ricci-Curbastro)と彼の学生のレヴィ・チヴィタ(Tullio Levi-Civita)により、1880年代と20世紀への変わり目の間に（現在、テンソル解析として知られている）絶対微分法の理論へ発展した。

テンソル解析は、実際は、1915年のアルベルト・アインシュタイン(Albert Einstein)の一般相対論の登場により息を吹き返した。一般相対論の何年か後に、レヴィ・チヴィタは、リーマン計量に付随する一意な接続を定式化した。現在、この接続は、レヴィ・チヴィタ接続として知られている、さらに一般的なアフィン接続は、1920年頃に、ヘルマン・ワイル(Hermann Weyl)により研究され、彼は詳細に数学的な一般相対論の基礎付けを行い、エリ・カルタン(Élie Cartan) は、曲面論から来る幾何学的アイデアを考案した。

アプローチ

アフィン接続へのアプローチとその一般化は様々であり、複雑な歴史をもっている。

最も一般的なアプローチは、おそらく、共変微分による定義であろう。一方、ワイルの考え方は、ゲージ理論やゲージ共変微分という形であり、物理学者により採用されている。他方、共変微分はジャン・ルイ・コシュル(Jean-Louis Koszul)により抽象化され、彼はベクトル束上の（線型、あるいはKoszul）接続を定義した。この言葉を使うと、アフィン接続は単に接束上の共変微分、あるいは、（線型）接続である。

しかしながら、このアプローチは、背後にある幾何学や、その名前の由来を説明しない この用語は実際は、変換によりユークリッド空間での接空間の同一視に起源をもっている。この性質は、n-次元ユークリッド空間はアフィン空間でもあることに起源がある。（言い換えると、ユークリッド空間は、群の作用の下に主等質空間である、あるいは、テンソルであると言える。）導入部でも述べたように、この詳細を記述するためのいくつかの方法がある。アフィン接続は、曲線に沿ったベクトル場の平行移動であるという事実を使う。このことは標構バンドルの平行移動を定義する。標構バンドル上の無限小平行移動は、カルタン接続として、あるいは標構バンドルの主アフィン接続の GL(n) 接続として、アフィン群 Aff(n) の別な表現でもある。

微分作用素としての定義

M を滑らかな多様体、C^∞(M,TM) を M 上のベクトル場の空間、つまり、接バンドル TM の滑らかな切断の空間とすると、M 上のアフィン接続 (affine connection) は、すべての C^∞(M,R) の滑らかな函数 f とすべての M 上のベクトル場 X, Y に対し次の 2項目が成り立つような双線型写像

${\begin{matrix}C^{\infty }(M,TM)\times C^{\infty }(M,TM)&\rightarrow &C^{\infty }(M,TM)\\(X,Y)&\mapsto &\nabla _{X}Y,\end{matrix}}$

球面の中の曲線にそった接ベクトルの平行移動

多様体上の異なる点での接ベクトルの比較は、一般的には well-defined な過程を通すことは困難である。アフィン接続は平行移動の考えを使い、このことを修正するひとつの方法であり、実際、アフィン接続を定義することに使うことができる。

M をアフィン接続 ∇ を持つ多様体としたとき、すべてのベクトル場 Y に対して、∇_YX = 0 となるという意味で ∇X = 0 であれば、ベクトル場は平行であると言う。直感的言うと、平行なベクトルはすべての微分が 0 に等しくなり、従って、ある意味では定数となる。2つの点 x と y での平行ベクトル場を解析することにより、2つの点での接ベクトルの間の同一視が得られる。そのような接ベクトルを互いに平行移動の関係と言う。

不幸にも、平行ベクトル場は一般には存在しない。方程式 ∇X = 0 は過剰決定系である偏微分方程式で、この方程式の可積分条件は、（以下に見るように）曲率 ∇ が 0 となるときのみである。しかし、この方程式を x から y への曲線へ限定すると、方程式は常微分方程式となり、x での X の任意の初期値に対して一意な解が存在する。

さらに詳しくは、γ : I → M を区間 [a,b] でパラメトライズされた滑らかな曲線とし、x = γ(a) としたときに ξ ∈ T_xM とする。さらに、次の 2つの条件を満たすとき、γ に沿ったベクトル場 X （と、特に、y = γ(b) でのこのベクトル場の値）を γ に沿った ξ の平行移動と呼ぶ。

1. すべての t ∈ [a,b] に対し、　 $\nabla _{{\dot {\gamma }}(t)}X=0$カテゴリ

ウィキペディア小見出し辞書

アフィン接続

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/16 14:37 UTC 版)

「一般相対性理論の数学」の記事における「アフィン接続」の解説

詳細は「アフィン接続」を参照 時空の曲率は、ある点でのベクトルをとり、時空上の曲線に沿って平行移動することにより特徴付けることができる。アフィン接続はベクトルを、その方向を変えることなしに多様体上の曲線に沿って移動させる合理的方法を記述する規則である。 定義により、アフィン接続は双線型写像 Γ ( T M ) × Γ ( T M ) → Γ ( T M ) である。ここに Γ ( T M ) は時空上のすべてのベクトル場の空間である。この双線型写像は接続係数（クリストッフェル記号として知られてもいる）のことばで記述することができる。これは無限小平行移動の下で基底ベクトルの成分に起きる変化を、 ∇ e i e j = Γ j i k e k と表す。この見た目にもかかわらず、接続係数は、テンソルの成分ではない。 一般的には、時空の各々の点でD3 個の独立な接続係数が存在する。 Γ j i k = Γ i j k であるとき、接続は対称、または捩れがないという。対称な接続は、高々、.mw-parser-output .frac{white-space:nowrap}.mw-parser-output .frac .num,.mw-parser-output .frac .den{font-size:80%;line-height:0;vertical-align:super}.mw-parser-output .frac .den{vertical-align:sub}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1⁄2D2(D + 1) 個の独立な係数からなる。 任意の曲線 γ とこの曲線上の2点 A = γ ( 0 ) , B = γ ( t ) に対して、アフィン接続は、A の接空間のベクトルから B の接空間のベクトルへの写像をもたらす。 X ( t ) = Π 0 , t , γ X ( 0 ) そして X ( t ) は、微分方程式 d d t X i ( t ) = ∇ C ( t ) X i ( t ) = Γ j k i X j ( t ) C k ( t ) を解くことにより成分毎に計算することができる。ここに、 C j ( t ) は、点 γ ( t ) での曲線に接するベクトルである。 一般相対性理論で重要なアフィン接続はレヴィ・チヴィタ接続であり、レヴィ・チヴィタ接続は、曲線にそって定数であるベクトルの内積を保つような接ベクトルの平行移動から得られる対称接続である。その結果得られる接続係数（クリストッフェル記号）は、計量から直接計算（英語版）することができる。このことから、この接続はしばしば計量接続とも呼ばれる。