logo

アフィン接続 📂幾何学

アフィン接続

ビルドアップ

微分多様体上のベクトル場V\mathbf{V}が与えられたとしよう。多様体上で定義された関数は、ベクトル場を通して微分できる。すると、自然とベクトル場自体を微分したくなる。しかし、R3\mathbb{R}^{3}のベクトル場の微分を微分幾何の観点からは不可能であると以下のように理解できる。

  • 一番目の場合

    S⊂R3S \subset \mathbb{R}^{3}を面、c:I→Sc : I \to SをSS上で定義された曲線としよう。そして、V\mathbf{V}はccに従うベクトル場とする。すると、V(t)\mathbf{V}(t)はc(t)c(t)上の接ベクトルになる。

    V(t)∈Tc(t)S \mathbf{V}(t) \in T_{c(t)}S

    それにより、以下のように座標ベクトルで表すことができる。

    V(t)=(V1(t),V2(t),V3(3)) \mathbf{V}(t) = \left( V_{1}(t), V_{2}(t), V_{3}(3) \right)

    だから、次のようにベクトルを微分したくなるだろう。

    dVdt(t)=(V1′(t),V2′(t),V3′(3)) \dfrac{d \mathbf{V}}{d t}(t) = \left( V_{1}^{\prime}(t), V_{2}^{\prime}(t), V_{3}^{\prime}(3) \right)

    しかし、V\mathbf{V}の導関数を上記のように定義すると、これは一般に接ベクトルにならない。

    dVdt(t)∉Tc(t)S \dfrac{d \mathbf{V}}{d t}(t) \notin T_{c(t)}S

    微分幾何では、内在的な性質を持つ対象に関心があるが、上記の定義ではベクトル場の導関数が内在的でなくなり、そのため、ベクトル場を再度接束TSTSに投影してそれを導関数として扱う。Π:R3→TS\Pi : \mathbb{R}^{3} \to TSを直交射影としよう。すると、ベクトル場の導関数を以下のように定義する。

    DVdt(t):=Π∘dVdt(t) \dfrac{D \mathbf{V}}{d t}(t) := \Pi \circ \dfrac{d \mathbf{V}}{d t}(t)

    これを共変導関数と呼び、内在的である。

  • 二番目の場合

    以下のように極限で定義した関数の微分を考えよう。

    dvdt(t)=lim⁡h→0V(t+h)−V(t)h \dfrac{d \mathbf{v}}{d t}(t) = \lim\limits_{h \to 0} \dfrac{\mathbf{V}(t+h) - \mathbf{V}(t)}{h}

    しかし、V(t+h)∈Tc(t+h)S\mathbf{V}(t+h) \in T_{c(t+h)}SでありV(t)∈Tc(t)S\mathbf{V}(t) \in T_{c(t)}Sであるため、分子の二項は異なる空間の要素である。だから、加算演算が不可能である。

これらの理由から、ベクトル場の微分は、微分が持つべき形式的な条件を満たす抽象的な概念として定義される。

定義

X(M)\mathfrak{X}(M)1を、微分多様体MM上のC∞C^{\infty}ベクトル場の集合としよう。

X(M):={all vector fields of class C∞ on M} \mathfrak{X}(M) := \left\{ \text{all vector fields of class } C^{\infty} \text{ on } M \right\}

D(M)\mathcal{D}(M)をMM上で定義されたC∞C^{\infty}関数の集合としよう。

D(M):={all real-valued functions of class C∞ defined on M} \mathcal{D}(M) := \left\{ \text{all real-valued functions of class } C^{\infty} \text{ defined on } M \right\}

それでは、微分多様体MM上のアファイン接続∇\nablaは

∇:X(M)×X(M)→X(M)(X,Y)↦∇XY \begin{align*} \nabla : \mathfrak{X}(M) \times \mathfrak{X}(M)& \to \mathfrak{X}(M) \\ (X, Y) &\mapsto \nabla_{X}Y \end{align*}

このような写像であり、以下の性質を満たすものと定義される。

  1. ∇fX+gYZ=f∇XZ+g∇YZ\nabla_{fX + gY} Z = f \nabla _{X}Z + g\nabla_{Y}Z
  2. ∇X(Y+Z)=∇XY+∇XZ\nabla_{X}(Y + Z) = \nabla_{X}Y + \nabla_{X}Z
  3. ∇X(fX)=f∇XY+X(f)Y\nabla_{X}(fX) = f\nabla_{X}Y + X(f) Y

説明

∇XY\nabla_{X}Yで、XXは微分される変数であり、YYは微分される関数を意味する。したがって、1. ~ 3.はそれぞれ微分の以下のような性質を表している。

1.　(a∂∂x+b∂∂y)f=a∂f∂x+b∂f∂y\left( a\dfrac{\partial }{\partial x} + b\dfrac{\partial }{\partial y} \right)f = a\dfrac{\partial f}{\partial x} + b\dfrac{\partial f}{\partial y}

2.　∂∂x(f+g)=∂f∂x+∂g∂x\dfrac{\partial }{\partial x}(f+ g) = \dfrac{\partial f}{\partial x} + \dfrac{\partial g}{\partial x}

3.　∂∂x(fg)=∂f∂xg+f∂g∂x\dfrac{\partial }{\partial x}(fg) = \dfrac{\partial f}{\partial x}g + f\dfrac{\partial g}{\partial x}

したがって、∇X\nabla_{X}は∂∂x\dfrac{\partial}{\partial x}と解釈され、YYはffのように解釈される。

定理

(∇XY)(p)(\nabla_{X}Y)(p)は、X(p)X(p)およびY(γ(t))Y(\gamma (t))にのみ依存する。この時、γ\gammaは

γ:(−ϵ,ϵ)→Mγ(0)=pγ′(0)=X(p) \gamma : (-\epsilon, \epsilon) \to M \\ \gamma (0) = p \\ \gamma^{\prime}(0) = X(p)

この条件を満たす曲線である。

証明

座標x:U→M\mathbf{x} : U \to Mを1つ選ぼう。そして、X,YX, Yをベクトル場とする。

X=∑iXi∂∂xi,Y=∑jYj∂∂xj X = \sum_{i} X_{i} \dfrac{\partial }{\partial x_{i}},\quad Y = \sum_{j} Y_{j}\dfrac{\partial }{\partial x_{j}}

すると、∇\nablaの性質により、

∇XY=∇∑iXi∂∂xi∑jYj∂∂xj=∑i,j∇Xi∂∂xiYj∂∂xjby 1. and 2.=∑i,jXi∇∂∂xiYj∂∂xjby 1.=∑i,jXi(∂Yj∂xi∂∂xj+Yj∇∂∂xi∂∂xj)by 3. \begin{align*} \nabla_{X}Y =& \nabla_{\sum_{i} X_{i}\frac{\partial}{\partial x_{i}}}\sum_{j}Y_{j}\dfrac{\partial }{\partial x_{j}} \\ =& \sum_{i,j} \nabla_{X_{i}\frac{\partial}{\partial x_{i}}}Y_{j}\dfrac{\partial }{\partial x_{j}} &\text{by 1. and 2.}\\ =& \sum_{i,j} X_{i}\nabla_{\frac{\partial}{\partial x_{i}}}Y_{j}\dfrac{\partial }{\partial x_{j}} &\text{by 1.} \\ =& \sum_{i,j} X_{i} \left( \dfrac{\partial Y_{j}}{\partial x_{i}}\dfrac{\partial }{\partial x_{j}} + Y_{j}\nabla_{\frac{\partial}{\partial x_{i}}}\dfrac{\partial }{\partial x_{j}} \right) &\text{by 3.} \end{align*}

この時、∇∂∂xj∂∂xj\nabla_{\frac{\partial}{\partial x_{j}}}\dfrac{\partial }{\partial x_{j}}はベクトル場と無関係であり、純粋に座標の選択にのみ依存する値であることがわかる。これもアファイン接続の定義によるベクトル場であるため、係数をΓijk\Gamma_{ij}^{k}とすると、以下のように書ける。

∇∂∂xi∂∂xj=∑kΓijk∂∂xk \nabla_{\frac{\partial }{\partial x_{i}}}\dfrac{\partial }{\partial x_{j}} = \sum_{k} \Gamma_{ij}^{k} \dfrac{\partial }{\partial x_{k}}

これを代入すると、

∇XY=∑i,jXi(∂Yj∂xi∂∂xj+Yj∇∂∂xi∂∂xj)=∑i,jXi(∂Yj∂xi∂∂xj+Yj∑kΓijk∂∂xk)=∑i,jXi∂Yj∂xi∂∂xj+∑i,j,kXiYjΓijk∂∂xk \begin{align*} \nabla_{X}Y =& \sum_{i,j} X_{i} \left( \dfrac{\partial Y_{j}}{\partial x_{i}}\dfrac{\partial }{\partial x_{j}} + Y_{j}\nabla_{\frac{\partial}{\partial x_{i}}}\dfrac{\partial }{\partial x_{j}} \right) \\ =& \sum_{i,j} X_{i} \left( \dfrac{\partial Y_{j}}{\partial x_{i}}\dfrac{\partial }{\partial x_{j}} + Y_{j}\sum_{k} \Gamma_{ij}^{k} \dfrac{\partial }{\partial x_{k}} \right) \\ =& \sum_{i,j} X_{i} \dfrac{\partial Y_{j}}{\partial x_{i}}\dfrac{\partial }{\partial x_{j}} + \sum_{i,j,k} X_{i}Y_{j}\Gamma_{ij}^{k} \dfrac{\partial }{\partial x_{k}} \end{align*}

ここで、i,j,ki,j,kはダミーインデックスなので、前項のjjをkkに変えよう。そうすると、

∇XY=∑i,kXi∂Yk∂xi∂∂xk+∑i,j,kXiYjΓijk∂∂xk=∑i,kXi(∂Yk∂xi+∑jYjΓijk)∂∂xk \begin{align*} \nabla_{X}Y =& \sum_{i,k} X_{i} \dfrac{\partial Y_{k}}{\partial x_{i}}\dfrac{\partial }{\partial x_{k}} + \sum_{i,j,k} X_{i}Y_{j}\Gamma_{ij}^{k} \dfrac{\partial }{\partial x_{k}} \\ =& \sum_{i,k} X_{i} \left( \dfrac{\partial Y_{k}}{\partial x_{i}} + \sum_{j} Y_{j}\Gamma_{ij}^{k}\right) \dfrac{\partial }{\partial x_{k}} \\ \end{align*}

ここで、Γijk,∂∂xk\Gamma_{ij}^{k}, \dfrac{\partial }{\partial x_{k}}は与えられた座標によって決定される。∂Yk∂xi\dfrac{\partial Y_{k}}{\partial x_{i}}もYkY_{k}が決まれば同様に座標があれば決定される。したがって、上記の式は純粋にX(p),Y(γ(t))X(p), Y(\gamma (t))の値にのみ依存することがわかる。

■

  1. リー環Xである。\mathfrak{X} ↩︎