多様体上の構造を群とその表現から理解する

ベクトル空間には構造に対応する群が存在します．例えば内積には直交群$\mathrm{O}(n)$が対応します．この関係は多様体に拡張でき，多様体上の"構造"には対応する群があります．例えば次の表のようになります．このことを理解するのにあたって要となるのは主束の理論です．

主束

初めに主束に関する復習を簡単に行います．詳しいことは微分幾何の教科書を参考にしてください．

主$G$束

同伴ベクトル束

$\rho :G\to \mathrm{GL}(V)$をリー群$G$の表現とします．主$G$束$P$から$\rho$を用いて，ファイバーが$V$であるようなベクトル束を作ることができます．これを同伴ベクトル束といいます．
$P\times V$に対して$G$の右作用
$$(u,v)\cdot g=(ug,\rho (g{)}^{-1}v)$$
を定めます．この作用による商はベクトル束になり，これを$P{\times }_{\rho }V$と表します．$P{\times }_{\rho }V$の元で$(u,v)$を代表元とするようなものを$[u,v]$と表します．定義から$[u,v]=[ug,\rho (g{)}^{-1}v]$です．

主束の接続とその同伴ベクトル束に誘導される接続

主束の接続には接束$TP$の水平部分束を定める方法と微分形式を定める方法があり，この2つは同値な概念です．ここでは今回の議論に必要な微分形式の方のみを定義しておきます．

主束に接続$\omega$が定まっていると，同伴ベクトル束に接続が誘導されます．$s:M\to P{\times }_{\rho }V$を切断とし，小さい開集合$U\subset M$上で
$$s(x)=[u(x),v(x)](u:U\to P{|}_U,v:U\to V)$$
と表されているとします．$P{\times }_{\rho }V$上の接続$\mathrm{\nabla }$を
$$({\mathrm{\nabla }}_{X}s)(x)=[u(x),(Xv)(x)+{\rho }_{\ast }(\omega (u_{\ast }X))v(x)](\mathrm{\forall }x\in M,\mathrm{\forall }X\in T_{x}M)$$
で定めます．ここで$Xv$は$v(x)$を$V$の適当な基底で展開し，その係数関数を$X$で微分するという意味です．つまり$e_1,\cdots ,e_n\in V$を基底とし
$$v(x)=v_1(x)e_1+\cdots +v_n(x)e_n(v_i:U\to \mathbb{R})$$
に対して
$$(Xv)(x)=(X{v}_1)(x)e_1+\cdots +(X{v}_n)(x)e_n(v_i:U\to \mathbb{R})$$
ということです．これは基底の取り方に依らず，well-definedになります．またこの$\mathrm{\nabla }$が接続の条件を満たすこともすぐにわかります．

ベクトル束からそのフレーム束に誘導される接続

$E\to M$をランク$r$のベクトル束とすると，$\mathrm{Fr}(M)$を構成した時と同じように各ファイバーの基底を集めてくることで$E$のフレーム束と呼ばれる主$\mathrm{GL}(r,\mathbb{R})$束$\mathrm{Fr}(E)$が得られます．特に$\mathrm{Fr}(TM)=\mathrm{Fr}(M)$です．$e=(e_1,\cdots ,e_n):U\to \mathrm{Fr}(E)$を局所切断とすると$(e_1,\cdots ,e_n)$は$E$の局所フレームです．$\mathrm{\nabla }$を$E$の接続とすると，この局所フレームに関して
$${\mathrm{\nabla }}_X{e}_j=\sum _{i=1}^n({\omega }_e{)}_j^i(X)e_i(X\in \mathfrak{X}(U))$$
として$({\omega }_e{)}_j^i$という$U$上の1-formが定義できます．これを行列の形に並べることで${\omega }_e=[({\omega }_e{)}_j^i{]}_{ij}$という$\mathfrak{gl}(n,\mathbb{R})$に値を取る1-formが得られます．実は$\mathrm{Fr}(E)$上の接続形式$\omega \in {\mathrm{\Omega }}^1(\mathrm{Fr}(E),\mathfrak{gl}(n,\mathbb{R}))$であって，任意の局所切断$e$に対して
$$e^{\ast }\omega ={\omega }_e$$
となるものが存在します．このようにベクトル束の接続$\mathrm{\nabla }$からフレーム束上の接続形式$\omega$が得られます．

$G$構造

一般論

$\mathrm{Fr}(M)$を$n$次元多様体$M$上のフレーム束(主$\mathrm{GL}(n,\mathbb{R})$束)とし，$G$を$\mathrm{GL}(n,\mathbb{R})$のLie部分群とします．主$G$部分束$P\subset \mathrm{Fr}(M)$のことを$M$の$G$構造といいます．つまり$G$構造とはフレーム束の部分集合でそれ自身が主$G$束になっているようなもののことです．もちろん$\mathrm{GL}(n,\mathbb{R})$の任意のLie部分群$G$に対して$M$上の$G$構造が存在するわけではないです．初めに述べたように，$G$構造が存在することは多様体上に対応する構造が入ることを意味します(これについては次の節で具体例を通して見ていきます)．

さらに主束に接続がある場合には，同伴ベクトル束上に接続が誘導され，$s$はその接続に関して平行になる．

具体例

上で示した命題が，$G$構造と多様体上の構造の関係を表しているということを具体例を通して見ていきます．以下の例において$e_1,\cdots ,e_n\in {\mathbb{R}}^n$は標準基底とし$e^1,\cdots ,e^n\in ({\mathbb{R}}^n{)}^{\ast }$をその双対基底とします．

体積形式

多様体$M$が$G=\mathrm{SL}(n,\mathbb{R})$構造$P$を持つ場合を考えてみましょう．$V=\stackrel{n}{\bigwedge }({\mathbb{R}}^n{)}^{\ast }$とします．$\rho$を自然な表現$G\curvearrowright V$とします．具体的書けば
$$\rho (g)(v_1\wedge \cdots \wedge v_n):=(g{v}_1)\wedge \cdots \wedge (g{v}_n)$$
ということです．いま$\omega :=e^1\wedge \cdots \wedge e^n\in V$とすると任意の$g\in \mathrm{SL}(n,\mathbb{R})$に対して
$$\rho (g)\omega =\det \left(g\right)(e^1\wedge \cdots \wedge e^n)=\omega$$
となるので，$\omega$は$\mathrm{SL}(n,\mathbb{R})$の作用で不変です．したがって命題から$\omega$は$P{\times }_{\rho }V\cong \stackrel{n}{\bigwedge }(T^{\ast }M)$の切断$\tilde{\omega }$に拡張できます．つまり$M$は至る所消えない$n$-形式$\tilde{\omega }$を持ちます．これは$M$が向き付け可能であることを意味します．

計量

多様体が$G=\mathrm{O}(n)$構造$P$を持つ場合を考えてみましょう．$V=({\mathbb{R}}^n{)}^{\ast }\otimes ({\mathbb{R}}^n{)}^{\ast }$とします．$\rho$を自然な表現$G\curvearrowright V$とします．具体的に書けば$s\in V$に対して
$$\rho (g)s=s(g^{-1}\cdot ,g^{-1}\cdot )$$
です．さて$g=e^1\otimes e^1+\cdots +e^n\otimes e^n\in V$としましょう．これは${\mathbb{R}}^n$の標準内積です．したがって$g$は$\mathrm{O}(n)$の作用で不変ですからprop:InducedStructureOnVectorBundleより$P{\times }_{\rho }V\cong T^{\ast }M\otimes T^{\ast }M$の切断$\tilde{g}$に拡張できます．つまり$M$が$\mathrm{O}(n)$構造を持てば，そこから$M$のリーマン計量$\tilde{g}$が得られます．さらに$P$の接続$\omega \in {\mathrm{\Omega }}^1(P,\mathfrak{g})$が定まっていたとすると，$\omega$から$T^{\ast }M\otimes T^{\ast }M$に誘導される接続$\mathrm{\nabla }$に関して$\tilde{g}$は平行($\mathrm{\nabla }\tilde{g}=0$)です(prop:ParallelStructure)．これは別の表し方をすれば
$$X\tilde{g}(Y,Z)=\tilde{g}({\mathrm{\nabla }}_{X}Y,Z)+\tilde{g}(Y,{\mathrm{\nabla }}_{X}Z)(\mathrm{\forall }X,Y,Z\in \mathfrak{X}(M))$$
が成り立つということです．
$G=\mathrm{O}(p,q)$のときは全く同様の議論により擬リーマン計量が得られます．

(概)複素構造

多様体の次元を$n=2m$とし，$G=\mathrm{GL}(m,\mathbb{C})$構造$P$を持つ場合を考えてみましょう．ここで$\mathrm{GL}(m,\mathbb{C})$は
$$\mathrm{GL}(m,\mathbb{C})\ni X+iY\mapsto \left(\begin{array}{cc}X& -Y\\ Y& X\end{array}\right)\in \mathrm{GL}(2m,\mathbb{R})$$
によって$\mathrm{GL}(2m,\mathbb{R})$のLie部分群とみなしています．$V={\mathbb{R}}^{2m}\otimes ({\mathbb{R}}^{2m}{)}^{\ast }=\mathrm{End}({\mathbb{R}}^{2m})$とします．$\rho$を自然な表現$G\curvearrowright V$とします．具体的に書けば$s\in V$に対して
$$(\rho (g)s)(A)=gs(g^{-1}A)$$
です．さて$J\in V$を${\mathbb{R}}^{2m}$の標準的な複素構造
$$J=\left(\begin{array}{cc}0& -I\\ I& 0\end{array}\right)(I\text{は単位行列})$$
とすると$J$は任意の$g\in \mathrm{GL}(m,\mathbb{C})$と可換です．よって$gJ{g}^{-1}=J$が成り立つので$J$は$\mathrm{GL}(m,\mathbb{C})$の作用で不変です．したがってprop:InducedStructureOnVectorBundleより$J$は$P{\times }_{\rho }V\cong TM\otimes T^{\ast }M$の切断$\tilde{J}$に拡張できます．定義から${\tilde{J}}^2=-1$ですから，これは$M$上の概複素構造です．$M$の接続$\mathrm{\nabla }$から誘導される$\mathrm{Fr}(M)$上の接続が，$P$上では$\mathfrak{g}$に値を取る1-formになっているならこれは$P$上に制限したときに$P$の接続になります．この$P$上の接続から得られる$TM\otimes T^{\ast }M$の接続は，$\mathrm{\nabla }$から得られる$TM\otimes T^{\ast }M$の接続(これも同じ$\mathrm{\nabla }$で表します)
$$({\mathrm{\nabla }}_X\tilde{J})(Y)={\mathrm{\nabla }}_X(\tilde{J}(Y))-\tilde{J}({\mathrm{\nabla }}_{X}Y)(X,Y\in \mathfrak{X}(M))$$
と一致します．prop:ParallelStructureより$\tilde{J}$は$\mathrm{\nabla }$に関して平行なので左辺は0になり
$${\mathrm{\nabla }}_X(\tilde{J}(Y))=\tilde{J}({\mathrm{\nabla }}_{X}Y)(X,Y\in \mathfrak{X}(M))$$
が成り立ちます．もし$\mathrm{\nabla }$がtorsion-free${\mathrm{\nabla }}_{X}Y-{\mathrm{\nabla }}_{Y}X-[X,Y]=0(\mathrm{\forall }X,Y\in \mathfrak{X}(M))$ならこの$\tilde{J}$は可積分であり複素構造になります．

概エルミート構造(及びケーラー構造)

多様体の次元を$n=2m$とし，$G=\mathrm{U}(m)$構造$P$を持つ場合を考えてみましょう．ここで$\mathrm{U}(m)$は
$$\mathrm{U}(m)=\mathrm{SO}(2m)\cap \mathrm{GL}(m,\mathbb{C})$$
によって$\mathrm{GL}(2m,\mathbb{R})$のLie部分群とみなしています．まず$\mathrm{U}(m)\subset \mathrm{GL}(m,\mathbb{C})$なのでさっきの議論から$J$は$\mathrm{U}(m)$の作用でも不変であり，$TM\otimes T^{\ast }M$の切断$\tilde{J}$に拡張できて概複素構造が得られます．また$\mathrm{U}(m)\subset \mathrm{SO}(m)$なのでこれもさっきの議論から$g$は$\mathrm{U}(m)$の作用で不変であり，$T^{\ast }M\otimes T^{\ast }M$の切断$\tilde{g}$に拡張できて計量が得られます．さらに
$$\begin{array}{rl}g(J\cdot ,J\cdot )& =(e^1\circ J)\otimes (e^1\circ J)+\cdots +(e^{2m}\circ J)\otimes (e^{2m}\circ J)\\ & =e^{m+1}\otimes e^{m+1}+\cdots e^{2m}\otimes e^{2m}+e^1\otimes e^1+\cdots +e^m\otimes e^m\\ & =g(\cdot ,\cdot )\end{array}$$
なので$g$は$J$を保つ．したがって多様体上へ拡張したときも$\tilde{g}$は$\tilde{J}$を保つ．つまり$(M,\tilde{g},\tilde{J})$は概エルミート多様体です．
概複素構造のときと同じ議論で，$M$の接続$\mathrm{\nabla }$から得られる$\mathrm{Fr}(M)$の接続を$P$に制限したときに$P$の接続になるならば$\tilde{g},\tilde{J}$は$\mathrm{\nabla }$に関して平行な構造になっています．特にLevi-Civita接続$\mathrm{\nabla }$に対してこのことが成り立つとき$(M,\tilde{g},\tilde{J})$をケーラー多様体といいます．

(おまけ) スピン構造

スピン群$\mathrm{Spin}(n)$に関する説明は スピン群入門の入門 などをご覧ください．
$(M,g)$を向き付けられた$n$次元リーマン多様体とします．つまり$M$は$\mathrm{SO}(n)$構造を持ちます(これを$P_{\mathrm{SO}(n)}M$と表すことにします)具体的にはフレーム束$\mathrm{Fr}(M)$の元のうち，正の向きの正規直交基底からなるもので構成された部分束が$P_{\mathrm{SO}(n)}M$です．
$$P_{\mathrm{SO}(n)}M=\{(e_1,\cdots ,e_n)\in \mathrm{Fr}(M)\mid (e_1,\cdots ,e_n)\text{は正の向きの正規直交基底}\}$$
主$\mathrm{Spin}(n)$束$P_{\mathrm{Spin}(n)}M$と$\theta :P_{\mathrm{Spin}(n)}M\to P_{\mathrm{SO}(n)}M$が存在して2重被覆$\xi :\mathrm{Spin}(n)\to \mathrm{SO}(n)$と両立するとき，この組$(P_{\mathrm{Spin}(n)}M,\theta )$を$M$のスピン構造といいます．$\theta$が2重被覆$\xi$と両立するとは
$$\theta (ug)=\theta (u)\xi (g)(\mathrm{\forall }u\in P_{\mathrm{Spin}(n)}M,\mathrm{\forall }g\in \mathrm{Spin}(n))$$
が成り立つことです．${\rho }_n:\mathrm{Spin}(n)\to \mathrm{GL}({\mathrm{\Sigma }}_n)({\mathrm{\Sigma }}_n:\text{複素ベクトル空間})$をスピノール表現とすると$\mathrm{\Sigma }M:=P_{\mathrm{Spin}(n)}M{\times }_{{\rho }_n}{\mathrm{\Sigma }}_n$という複素ベクトル束が作れます．これをスピノール束といい，スピノール束の切断をスピノール場といいます．$\mathrm{\nabla }$を$M$上のLevi-Civita接続(今回の議論のためにはtorsion-freeはなくても良い)とすると，$\mathrm{\nabla }$から得られる$\mathrm{Fr}(M)$の接続は$P_{\mathrm{SO}(n)}M$上の接続$\omega$になります．${\xi }_{\ast }:\mathfrak{spin}(n)\to \mathfrak{so}(n)$は同型でしたから$\omega$は${\xi }_{\ast }$を通すことで$P_{\mathrm{Spin}(n)}M$上の接続$\tilde{\omega }:={\xi }_{\ast }\circ \omega \in {\mathrm{\Omega }}^1(P_{\mathrm{Spin}(n)}M,\mathfrak{spin}(n))$になります．$\tilde{\omega }$からスピノール束$\mathrm{\Sigma }M$上に接続が誘導されますが，この接続をスピン接続と言いこれも$\mathrm{\nabla }$で表します．つまり$TM$の接続から下図のように経由することで$\mathrm{\Sigma }M$へ接続を誘導しています．
$$P_{\mathrm{Spin}(n)}M{P}_{\mathrm{SO}(n)}M\mathrm{\Sigma }MTM$$
prop:ParallelStructureよりスピノール束上にはスピン接続に関して平行な構造がいろいろ入ります．例えば${\mathrm{\Sigma }}_n$上には$\mathrm{Spin}(n)$不変なエルミート内積$h$が(定数倍を除いて)一意的に存在します．$\mathrm{Spin}(n)$不変性から$h$はスピノール束$\mathrm{\Sigma }M$上に拡張できて，スピン接続に関して平行な構造になっています．
他にも，クリフォード積やクリフォード代数上のvolume formも$\mathrm{Spin}(n)$不変な構造なので束に持ち上がって平行な構造になることが全く同じ理由から従います．これらの詳しい定義などはスピン幾何の教科書などを参考にしてください．