本項、部分リーマン多様体の接続と曲率では、古典的なガウスの曲面論(英語版)を高次元のリーマン多様体の場合に拡張した成果を述べる。具体的にはリーマン多様体
の部分多様体Mに対し、
といったものを高次元化した成果を述べる。
以下、本項では
をリーマン多様体とし、
![{\displaystyle M\subset {\bar {M}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e0ac4961bf4dfbc4e8c50652b0957901f23ab15)
をその部分多様体[注 1]とする。また特に断りがない限り、単に「多様体」、「写像」等といった場合はC∞級のものを考える。
Mの接続とMの接続の関係性
をgが定める
上のレヴィ-チヴィタ接続とする。またリーマン計量gをMに制限することで、
がリーマン多様体になるので、gが定めるM上のレヴィ-チヴィタ接続
を考える事ができる。
一方、Mは
の部分多様体なので、
のレヴィ-チヴィタ接続
のMへの制限
も考える事ができる。
実はこの2つは以下の関係を満たす:
定理 ― X、YをM上のベクトル場とするとき、Mの任意の点Pに対し、以下が成立する[1]:
![{\displaystyle \mathrm {Pr} _{P}({\bar {\nabla }}_{X}^{M}Y|_{P})=\nabla _{X}Y|_{P}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4efa2b6c1eaf7cd36a0d62f6da13abdb7b8d61e2)
ここで
は、
の元の接ベクトル空間TPMへの射影
![{\displaystyle \mathrm {Pr} _{P}~:~T_{P}{\bar {M}}\to T_{P}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3c32c2f79f6c7330b3ee5c3f5bb810e8c32241)
である。
法接続
上では
の接続のMの接ベクトルバンドルTMへの射影を考えたが、同様に
の接続のMの法ベクトルバンドルへの射影を考える事ができる。 Mの点Pに対し、
![{\displaystyle \mathrm {Pr} _{P}^{N}~:~T_{P}{\bar {M}}\to N_{P}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc030129024d919d93fae25666af413575f935eb)
を
の元の法ベクトルバンドル
への射影とする。
定義 ― XをM上のベクトル場、ηを法ベクトルバンドル
の切断とするとき、以下のように定義される
の接続をMの法接続(英: normal connectionn)[2]、もしくはVan der Waerden Bortolotti接続[3]という:
![{\displaystyle \nabla _{X}^{\bot }\eta :=\mathrm {Pr} ^{N}{\bar {\nabla }}_{X}^{M}\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/98c666a28a890c56d6e93a5f42133b84c45a238a)
さらにYをM上のベクトル場とするとき、
![{\displaystyle R^{\bot }(X,Y)\eta :=\nabla _{X}^{\bot }\nabla _{Y}^{\bot }\eta -\nabla _{Y}^{\bot }\nabla _{X}^{\bot }\eta +\nabla _{[X,Y]}^{\bot }\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/157a4899fbb7530f342430c7392ad1e83e2845b8)
をMの法曲率(英: normal curvature[2])という。
という。
第二基本形式とワインガルテン写像
上述したように、M上のレヴィ-チヴィタ接続
は
のレヴィ-チヴィタ接続
のTMへの射影であるので、両者の差
は
の法ベクトルバンドル
への
の射影となる。 Mの点Pに対し、
![{\displaystyle \mathrm {Pr} _{P}~:~T_{P}{\bar {M}}\to T_{P}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3c32c2f79f6c7330b3ee5c3f5bb810e8c32241)
![{\displaystyle \mathrm {Pr} _{P}^{N}~:~T_{P}{\bar {M}}\to N_{P}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc030129024d919d93fae25666af413575f935eb)
をそれぞれ
の元の接ベクトル空間TPMへの射影、
の元の法ベクトルバンドル
への射影とする。
定義 (第二基本形式) ―
![{\displaystyle \mathrm {I\!I} (X,Y):={\bar {\nabla }}_{X}^{M}Y-\Pr({\bar {\nabla }}_{X}^{M}Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a82561c71eee6643bb92a9c6fb0d6734d1e3dbdc)
をMの
における第二基本形式(英: second fundamental form)[4]、もしくは型テンソル[訳語疑問点](英: shape tensor[5])という。
また
に対し、
![{\displaystyle \mathrm {I\!I} _{\eta }(X,Y):=g(\mathrm {I\!I} (X,Y),\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6570bf564534408d4ab2612475fa9de217e44a55)
と定義し、これも第二基本形式という[6]。
なお、「第二基本形式」という名称はガウスの曲面論から来ており、ガウスの曲面論ではリーマン計量
の事を第一基本形式というのに対応した名称である[6]。
であったので、以下が成立する:
定理 ―
- ガウスの公式[7](英: Gauss formula[8]):
![{\displaystyle {\bar {\nabla }}_{X}^{M}Y=\nabla _{X}Y+\mathrm {I\!I} (X,Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c49fb0067708c53fbb7cbcf2602a7f4bc0403c5b)
第二基本形式は以下を満たす[4]:
また、
をM上の曲線、
を
上のMに接するベクトル場とするとき、以下が成立する:
定理 ―
- 曲線に沿ったガウスの公式(英: Gauss formula along a curve)
![{\displaystyle {{\bar {\nabla }} \over dt}V_{P(t)}={\nabla \over dt}V_{P(t)}+\mathrm {I\!I} \left({d \over dt}P(t),V_{P(t)}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e2468e379626c86e74414c28900d039e08858d3)
上では
の接続とMの接続の差を第二基本形式として定義したが、同様に
の接続とMの法接続の差を考える事ができる。
定義 ― XをM上のベクトル場、ηを法ベクトルバンドル
の切断とするとき、
![{\displaystyle S_{\eta }(X):=\nabla _{X}^{\bot }\eta -{\bar {\nabla }}_{X}^{M}\eta =-\Pr {\bar {\nabla }}_{X}^{M}\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6de34b5d2ad327c2a1a122f6e84be9f8e9caf43a)
を型写像[9](英: shape operator[10])もしくはワインガルテン写像[9](英: Weingarten map[9])という[11]。
X、YをM上のベクトル場、ηを法ベクトルバンドル
の切断とすると、Yとηは直交するので、
![{\displaystyle 0=Xg(Y,\eta )=g({\bar {\nabla }}_{X}^{M}Y,\eta )+g(Y,{\bar {\nabla }}_{X}^{M}\eta )=g(\mathrm {I\!I} (X,Y),\eta )-g(Y,S_{\eta }(X))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2b6b7414abf14d56b8cbc2f811152cfacc56082)
である。よって次が成立する:
定理 ―
- ワインガルテンの公式[12](英: Weingarten Equation)[13]
![{\displaystyle g(\mathrm {I\!I} (X,Y),\eta )=g(Y,S_{\eta }(X))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f6003c4c2dd29a4984a56ba25afb561614b47c2)
よって特に
はX、ηに関して
-線形である[14]。
曲率の関係式
前節と同様に記号を定義し、
により定まるMの曲率を
、
により定まる
の曲率を
とする。
さらにX、Y、Z、WをM上のベクトル場とし、η、ζをMの法ベクトルバンドルの切断とする。このとき、次が成立する:
定理 ―
- ガウスの方程式[15](英: Gauss equation[16])
![{\displaystyle g(R(X,Y)Z,W)=g({\bar {R}}(X,Y)Z,W)+g(\mathrm {I} \!\mathrm {I} (X,Z),\mathrm {I} \!\mathrm {I} (Y,W))-g(\mathrm {I} \!\mathrm {I} (X,W),\mathrm {I} \!\mathrm {I} (Y,Z))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d96709172d30cbc8959c47484be2e7a6325ee4b1)
- コダッチの方程式(英: Codazzi's equation[17])
![{\displaystyle g({\bar {R}}(X,Y)Z,\eta )=({\bar {\nabla }}_{Y}I\!\!I)(X,Z,\eta )-({\bar {\nabla }}_{X}I\!\!I)(Y,Z,\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85a898fc40b43849495e1e6a0a3f3b74036ebd60)
- リッチの方程式(英: Ricci equation[2])
![{\displaystyle g(R^{\bot }(X,Y)\eta ,\zeta )=g({\bar {R}}(X,Y)\eta ,\zeta )-g([S_{\eta },S_{\zeta }]X,Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe96fb0a96d76112b298490e0a7a03d044682339)
ここで
は
![{\displaystyle I\!\!I(X,Y,\eta ):=g(\mathrm {I\!I} (X,Y),\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1a2dd952323dab6e0fe1c6794435ea04e63eb8d)
を
の切断とみたときの共変微分であり、
![{\displaystyle [S_{\eta },S_{\zeta }]X:=S_{\eta }(S_{\zeta }(X))-S_{\zeta }(S_{\eta }(X))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6194eadd519e589113c3d780f9fb1cd1c8fa1d24)
である。
ガウスの方程式はMの曲率が全空間
の曲率と第二基本形式から決まる事を意味している。同様にリッチの方程式はMの法曲率がワインガルテン写像から決まる事を意味している。
またガウスの方程式からMの断面曲率
と
の断面曲率
に関して以下の系が従う:
系 ― TPMの正規直交している2本のベクトルv、wに関し、以下が成立する[18]:
![{\displaystyle \mathrm {Sec} _{P}(v,w)={\overline {\mathrm {Sec} }}_{P}(v,w)+g(\mathrm {I\!I} (v,v),\mathrm {I\!I} (w,w))-g(\mathrm {I\!I} (v,w),\mathrm {I\!I} (v,w))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d747979e7095e23a9b5c0d8a3887ecbccaaa3fd)
部分多様体の基本定理
詳細は[19]を参照。
第三基本形式
これまで同様
をリーマン多様体、
をその部分多様体とし、PをMの点とし、X、YをTPMの元とし、ηを法ベクトル空間NPMの元とする。
定義 (第三基本形式) ―
![{\displaystyle \mathrm {I\!I\!I} (X,Y)=\sum _{i=1}^{m}g(\mathrm {I\!I} (X,e_{i}),\mathrm {I\!I} (Y,e_{i}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f605e35f9177f91ae3862c826c621cfdfa92ed)
を第三基本形式という[20]。 ここでmはMの次元であり、
はTPMの正規直交基底である。
第三基本形式
は二次形式
のトレースであるので、
は基底の取り方に依存せずwell-definedである。
第三基本形式は以下のようにも表現可能である:
証明
![{\displaystyle \mathrm {I\!I\!I} (X,Y)=\sum _{i=1}^{m}g(\mathrm {I\!I} (X,e_{i}),\mathrm {I\!I} (Y,e_{i}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f605e35f9177f91ae3862c826c621cfdfa92ed)
![{\displaystyle =\sum _{i=1}^{m}\sum _{j=1}^{n-m}g(\mathrm {I\!I} (X,e_{i}),\eta _{j})g(\mathrm {I\!I} (Y,e_{i}),\eta _{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6ccc959a7ab8a5e5952b2c1a1d8e8f7d23ad998)
![{\displaystyle =\sum _{i=1}^{m}\sum _{j=1}^{n-m}g(S_{\eta _{j}}(X),e_{i})g(S_{\eta _{j}}(Y),e_{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6614c208aa54e14e4144c9cc429222dd826a1fb)
![{\displaystyle =\sum _{j=1}^{n-m}g(S_{\eta _{j}}(X),S_{\eta _{j}}(Y))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00f051e8cc88ffffeee5a4f012d3af932ab4923d)
が定曲率空間の場合、第三基本形式は以下を満たす:
定理 ―
が曲率cの定曲率空間であれば、以下が成立する[20]:
![{\displaystyle \mathrm {Ric} (X,Y)=(m-1)c+mg\left(\mathrm {I\!I} (X,Y),H\right)-\mathrm {I\!I\!I} (X,Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d76e6eaca1a804fec2b1e6bf39929337ab3737af)
ここで
はMのリッチテンソルであり、HはMの平均曲率ベクトルである。
特にMの余次元が1であれば、前述したワインガルテン写像による第三基本形式の表記を適用することで、以下が成立する事がわかる:
主曲率、ガウス曲率、平均曲率
本節では、埋め込み
が余次元1の場合、すなわち
の場合、Mに対し主曲率、ガウス曲率、平均曲率という3つの曲率概念を定義する。
これらの概念を定義するためにまずその動機を述べる。今
は余次元1なので、長さ1の法ベクトルηを(±1倍を除いて)一つだけ選ぶ事ができる。
点Pにおける接ベクトルvに関し、曲線
をPを通りvに接する(弧長パラメータsでパラメトライズされた)Mの測地線とすると、
がMの測地線であった事から、
は必ずMに直交するので、Mの余次元が1な事から、
はηと平行になる。 よって
は測地線の曲率の大きさに符号をつけたものである。
主曲率とは(符号付きの)測地線の曲率の大きさ
の極値になっている値の事である。
主曲率は具体的には下記のように求める事ができる。
なので、 曲線に沿ったガウスの公式と第二基本形式の定義より、
![{\displaystyle g\left({\tfrac {\bar {\nabla }}{ds}}{\tfrac {d}{ds}}P_{v}(s),\eta \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca4bab077e85c2476e5fb4d27d4fcb7c95cfaaa5)
![{\displaystyle =g(\mathrm {I\!I} \left({\tfrac {dP(t)}{ds}},{\tfrac {dP_{v}(t)}{ds}}\right),\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c8ae5ad8dd1f392609e077ceb31fb810fe44bc0)
![{\displaystyle =\mathrm {I\!I} _{\eta }\left({\tfrac {dP(t)}{ds}},{\tfrac {dP_{v}(t)}{ds}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/836b04e8b831e54c4b547f530b6542685fd8d1c6)
よって主曲率、すなわち
の極値は二次形式
を回転行列により対角化した際の対角成分
の事である。
ガウス曲率は主曲率
の積、平均曲率は主曲率
の平均値である。
厳密な定義は以下の通りである:
定義 (主曲率) ―
が余次元1で
を点
における(±1倍を除いて)唯一の長さ1の法ベクトルとし、対称二次形式
![{\displaystyle \mathrm {I\!I} _{\eta }(X,Y)|_{P}=g(\mathrm {I\!I} (X,Y),\eta )|_{P}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec1461a3cbca481cb9e031534587e9f3852ace90)
を回転行列で対角化した際の固有値を
とし、
を対応する長さ1の固有ベクトルとする。このとき、 各eiの事を点PにおけるMの主方向(英: principal direction)といい[21]、
を主方向eiに関する主曲率(英: principal curvature)[21]という。
定義 (ガウス曲率、平均曲率(英語版)) ― 記号を上の定義と同様に取る。このとき、主曲率の第i基本対称式
を二項係数
で割った
![{\displaystyle H_{i}:={1 \over \textstyle {\binom {n}{k}}}\sigma _{i}(\kappa _{1},\ldots ,\kappa _{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/598546fc6091a8efee034820acb089acc66cf158)
を点Pにおける第i平均曲率(英: i-th mean curvature)という[22]。特に、
![{\displaystyle K:=H_{m}=\mathrm {det} \mathrm {I\!I} _{\eta }=\kappa _{1}\cdots \kappa _{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9640c7ca2b8eb3ad9f06d9667b9fe2cc22e73107)
を点PにおけるMのガウス曲率(英: Gausian curvature)[23]もしくはガウス・クロネッカー曲率(英: Gauss Kronecker curvature)[21]といい、
![{\displaystyle H:=H_{1}={1 \over n}\mathrm {tr} \mathrm {I\!I} _{\eta }={\kappa _{1}+\cdots +\kappa _{m} \over n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/829a4c45baed4b60e49dafe5f94db4a5332f89d8)
を点PにおけるMの平均曲率(英: mean curvature)という[21]。
なお、ガウス曲率の事を全曲率(英: total curvature)という事もあるが[24]、「全曲率」という言葉は測地線曲率の曲線全体に対する積分値を指す場合もあるので注意が必要である[24]。
上記の定義についていくつか補足を述べる。第一に、単位法ベクトルηの向きを反転させると、主曲率の符号が反転してしまう。このためMや
が向き付け可能なときは、TM×ηの向きが
の向きと一致するという規約を授けてηの向きを固定する事が多い。
第二に、
は対称二次形式であるので、次が成立する:
定理 ― (固有値
が相異なれば)主方向
は互いに直交する。
第三にワインガルテンの公式から
![{\displaystyle g(S_{\eta }(X),Y)=g(\mathrm {I\!I} (X,Y),\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8cd82c08bdd77d209d40a65b9a1f7041bc5b6df)
であるので、明らかに次が成立する:
定理 ― 主曲率および主方向はそれぞれワインガルテン写像の固有値・固有ベクトルに一致する。
よって固有多項式の一般論から、特に次が成立する:
ここで
は
が
に誘導する写像を
である。
第四に、平均曲率に関しては、
が余次元1でなくとも、
を法ベクトル空間
に値を取る二次形式とみなしたときのトレース(の1/n)として定義できる:
平均曲率ベクトル場は極小曲面の特徴付けとして有用であり、閉多様体
が極小曲面になる必要十分条件はM上の平均曲率ベクトル場が恒等的に0である事である事が知られている[26]。
ガウス写像
本節では、向き付可能なリーマン多様体Mをユークリッド空間に余次元1で埋め込んでいる場合、すなわち
、dimM=mの場合に対し、「ガウス写像」を定義する事で、ワインガルテン写像やガウス曲率に幾何学的な意味付けを与える。
これまで同様ηをMの単位法ベクトル場とすると、各点P∈Mに対し、ベクトルηPは長さ1のベクトルなので、ηPを原点中心の単位球Smの元とみなす事ができる。このようにみなす事で定義できる写像
![{\displaystyle G~:~P\in M\mapsto \eta _{P}\in S^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee190b57c9f11325189135891ad48b8b9de0cd15)
をガウス写像(英: Gauss map[27]、英: Gauss spherical mapping[21])という。
MのPにおける接ベクトル空間の元TPMを
のPにおける接平面と自然に同一視すると、任意のv∈TPMに対し、
![{\displaystyle \langle \eta ,v\rangle =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c1296a1c969d5468c9553273705ee238fa3771e)
である事から、
においてTPMはTG(P)Smと平行な超平面であるので、自然にTPMとTG(P)Smを同一視する。このとき次が成立する:
定理 ―
を向き付け可能かつ余次元1のリーマン多様体とし、GをMが定めるガウス写像とする。
このとき、ガウス写像が接ベクトル空間に誘導する写像
![{\displaystyle G_{*}~:~T_{P}M\to T_{G(P)}S^{m}\approx T_{P}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9cdb319b7fa5cb996979d5cb832358dc06d9501)
は、
![{\displaystyle G_{*}(v)=-S_{\eta }(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20cf36921dbe517a9749cbc298e6fd3ff85f1438)
を満たす[21]。ここで
はワインガルテン写像である。
さらにガウス写像はガウス曲率と以下の関係を満たす:
定理 (ガウス写像によるガウス曲率の意味付け) ― 記号を上述の定理と同様に取る。 さらにM、Smの体積要素をそれぞれ
、
とするとき、ガウス写像が誘導する写像
![{\displaystyle G^{*}~:~\bigwedge ^{m}T_{G(P)}^{*}S^{m}\to \bigwedge ^{m}T_{P}^{*}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8adc294b33200e0ea471e2e8f334f0056bf13514)
は、
![{\displaystyle G^{*}(dV'_{G(P)})=K_{P}dV_{P}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69526e15b9bf0c638c1eb9fd1af366bdc7ed72e0)
を満たす。ここでKPは点PにおけるMのガウス曲率である[27]。
Theorema Egregium
断面曲率と第二基本形式の関係と主曲率の定義から、特に以下の系が成立する:
系 (断面曲率と主曲率の関係) ― 埋め込み
が余次元1の埋め込みで、
が点
における主方向で
を対応する主曲率とする。このときi≠jを満たす任意のi, j ∈{1,...,m}に対し、以下が成立する[28]:
![{\displaystyle \mathrm {Sec} (e_{i},e_{j})={\overline {\mathrm {Sec} }}(e_{i},e_{j})+\kappa _{i}\kappa _{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4d5dcae3754b85b4eccf2d6816652fe6e856638)
ここで
、
はそれぞれM、Mの断面曲率である。
よってとくに
が曲率cの定曲率空間(英語版)、すなわち
上の任意の点Pにおける任意の方向の断面曲率がcである空間の場合には、
![{\displaystyle \mathrm {Sec} (e_{i},e_{j})=c+\kappa _{i}\kappa _{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d038ba1a243a9f567b36ac952c8946535d035e67)
が成立する。
実は上式の右辺はMに内在的な量である:
定理 (Theorema Egregiumの一般化) ―
を曲率cの定曲率空間とし、
をその余次元1の部分多様体とし、さらにPをMの点とする。さらに線形写像
を
![{\displaystyle g(\rho (X\wedge Y),Z\wedge W)=g(R(X,Y)W,Z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f706c7a205bfcf77425ace86ccfe7b4118b9ada6)
により定義する。
このとき、ρの固有値の集合は
![{\displaystyle \{\kappa _{i}\kappa _{j}+c\mid i,j\in 1,\ldots ,m,{\text{ s.t. }}i\neq j\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ddcf415b7c050134d5ea2cf0ff24d438a7bfb01)
に一致する[29]。ここでmはMの次元であり、
は点Pにおける主曲率である。
また
に対応する主方向を
とすると、
に対応する固有ベクトルは
である。
証明
をそれぞれ
に対応する主方向とすると、
![{\displaystyle (e_{i}\wedge e_{j})_{i,j=1,\ldots ,m{\text{ s.t. }}i<j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/824cb331225174b70c987d0ae3d7e9baec828a86)
は
の基底である。
i>jを満たす任意のi,j=1,...,mおよびk>ℓを満たす任意のk,ℓ=1,...,mに対し、ガウスの方程式から、
![{\displaystyle g(\rho (e_{i}\wedge e_{j}),e_{\ell }\wedge e_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/171350a4e05ccd72abd22d757551c7fdc20bbd35)
![{\displaystyle =g(R(e_{i},e_{j})e_{\ell },e_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c87721ead7e12910bb88fbf594fc8a65d07df7)
...(1)
ηをMの単位法線とすると、主方向の定義から、
![{\displaystyle \mathrm {I\!I} _{\eta }(e_{i},e_{j})={\begin{cases}\kappa _{i}&{\text{if }}i=j\\0&{\text{otherwise}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7889072aa23c7d50c7e435e4018ca225948e714e)
であるので、Mの余次元が1な事から、
![{\displaystyle g(\mathrm {I} \!\mathrm {I} (e_{i},e_{\ell }),\mathrm {I} \!\mathrm {I} (e_{j},e_{k}))={\begin{cases}\kappa _{i}\kappa _{j}&{\text{if }}(i,j)=(\ell ,k)\\0&{\text{otherwise}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9754dc91ed38429724cd2a67190ba75452370d55)
である。
定曲率空間の場合は以下が成立する事が知られている:
定理 (定曲率空間における曲率の形) ―
をリーマン多様体とし、
とする。このときMが曲率cの定曲率空間である必要十分条件は、Mの任意の点PとTPMの任意のベクトルX、Y、Z、Wに対し、
![{\displaystyle g(R(X,Y)W,Z)=cg(X,W)g(Y,Z)-cg(Y,W)g(X,Z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8f6cbce679f79a9a202aa79507c6cbb1e9d57ac)
が成立する事である[30]。
よってi>j、k>ℓを満たすi, j, k, ℓに対し、
![{\displaystyle g({\bar {R}}(e_{i},e_{j})e_{\ell },e_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d4fa96e5ba0bd86c86a3c9e57a2c9f9fb93756c)
![{\displaystyle =cg(e_{i},e_{\ell })e(e_{j},e_{k})-cg(e_{i},e_{k})g(e_{j},e_{\ell })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1bf408195320666f271d15ae0a567e1d768d206)
![{\displaystyle ={\begin{cases}c&{\text{if }}(i,j)=(k,\ell )\\0&{\text{otherwise}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5f3ad8008acb1ab59c664bfde71816eee28e471)
が成立する。
以上から、i>j、k>ℓを満たすi, j, k, ℓに対し、
- (1)の右辺
![{\displaystyle ={\begin{cases}c+\kappa _{i}\kappa _{j}&{\text{if }}(k,\ell )=(i,j)\\0&{\text{otherwise}}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7a9b9c30faaf8b653a1ea390582d1976e565fce)
が成立する。
が
の基底であった事から、上記の事実は
は
を固有値とするρの固有ベクトルである事がわかる。
であったので、上記の定理は、有名なTheorema Egregiumの一般化になっている:
定理 (Theorema Egregium) ―
の二次元部分多様体
に対し、点Pにおけるガウス曲率は点Pにおける断面曲率と一致する[28]。
Theorema Egregiumの一般化から以下の系が従う:
系 (偶数次平均曲率の内在性、偶数次元のガウス曲率の内在性) ― 記号を前述の定理と同様に取るとき、
におけるMの第r平均曲率はrが偶数ならMに内在的な量である[注 2]。
よってとくに
におけるMのガウス曲率KはMの次元mが偶数ならMに内在的な量である[29][注 2]。
一方、奇数次元のガウス曲率はMに内在的な量ではない。実際ガウス曲率の定義
はMの単位法線ηというMに外在的な量に依存しており、ηの向きを変えれば
の符号は全て反転してしまい、次元mが奇数である事から
の符号も反転してしまう。
しかし次元mが奇数の場合であっても、符号を除いてガウス曲率は内在的な量となる事を前述のTheorema Egregiumの一般化から示すことができる:
系 (符号を除いたガウス曲率の内在性) ― 記号を前述の定理と同様に取る。Mの次元mが奇数であっても、
におけるMのガウス曲率Kは符号を除いて内在的な量である[29][注 3][注 2]
以上の事から、mが偶数の場合には
におけるMのガウス曲率をリーマン曲率で具体的に書きあらわす事ができる。次節では
がユークリッド空間である場合に対し、この具体的な表記を求める。
オイラー形式
前節では
が偶数次元でしかも余次元が1のとき、ガウス曲率がMの内在的な量である事を示した。
本節の目的は
の場合に、ガウス曲率をMに内在的な量で具体的に書きあらわす事にある。そのために導入するのがオイラー形式である。オイラー形式は偶数次元のリーマン多様体M上で曲率テンソルを用いて定義される。そしてMが余次元1で
に埋め込まれているときは、オイラー形式はガウス曲率の定数倍に一致する。
本節の内容は後でガウス・ボンネの定理を記述するときに重要となる。「オイラー形式」という名称も、ガウス・ボンネの定理からこの値がオイラー標数と関係づけられる事に由来する。
パッフィアン
オイラー形式を定義するため、「パッフィアン」を定義する。これは後述するように行列式の平方根に相当する。
上記の定理において、
の存在一意性は
が1次元ベクトル空間な事から明らかに従う。Vと同じ向きの正規直交基底の取り方によらないことも、
の定義がαの成分表示によらず、しかも
がそのような基底の取り方によらない事から明らかに従う。
歪対称行列
に対し、紛れがなければ
のパッフィアン
の事を
とも表記する。 定義から明らかに次が成立する。
定理 ― 任意の正則行列Bに対し、
![{\displaystyle \mathrm {Pf} (B^{-1}AB)=\mathrm {det} (B)\mathrm {Pf} (A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dddee45a761c46d617340762f699b61cd8fa5ab1)
が成立する。よって特に任意の直交行列Bに対し、
![{\displaystyle \mathrm {Pf} (B^{-1}AB)={\begin{cases}\mathrm {Pf} (A)&{\text{if }}\mathrm {det} (B)=1\\-\mathrm {Pf} (A)&{\text{if }}\mathrm {det} (B)=-1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e71927b60da65d9092242dfc440186cee152f23c)
が成立する[31]。
パッフィアンは具体的には以下のように書ける。
パッフィアンは行列式の平方根である:
定理 ― m=2k次の歪対称行列
に対し、以下が成立する[31]:
.
なお本節で我々は偶数次の歪対称行列に対して行列式の平方根がパッフィアンと一致する事を見たが、奇数次の歪対称行列の場合は行列式は常に0になる事が知られている。よって奇数次の場合には「行列式の平方根」も0になる。
オイラー形式
次に我々はパッフィアンを使ってオイラー形式を定義する。
上記の定義に関して3つ補足する。第一に、オイラー形式を定義する際、パッフィアンを
で割るのは、このようにすると後述するガウス・ボンネの定理で不要な定数が消えて定理の記述が簡単になるからである。
第二に、「
」という記号の意味についてである。「
」はパッフィアンPf(A)の具体的表記において、行列AをΩに置き換え、さらに積をウェッジ積に置き換えることで定義される。すなわち、
![{\displaystyle \mathrm {Pf} (\Omega )={1 \over 2^{k}k!}\sum _{\sigma \in {\mathfrak {S}}_{m}}\mathrm {sgn} (\sigma )\Omega ^{\sigma (1)}{}_{\sigma (2)}\wedge \cdots \wedge \Omega ^{\sigma (m-1)}{}_{\sigma (m)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e1ef280350bfaf23dec17fd7f4f7d1fcfe6038d)
なお、添字の上下がPf(A)の具体的表記とは異なっているが、正規直交基底を考えているのでこれは問題にならない。
第三に、Ωijは2-形式であるので、上述のウェッジ積はΩijの入れ替えに関して可換である。よって前節で通常の実数係数の行列に対して成立した定理の多くが
に対しても成立する。
特に、
は正規直交基底の向きを保つ取り方に対して不変であり、したがってオイラー形式はMと同じ向きの正規直交基底の取り方によらずwell-definedである。
したがって、オイラー形式はMの全域で定義可能である。
(正規直交とは限らない)基底
とその双対基底を
を使って曲率テンソルを
![{\displaystyle R_{ijk\ell }=g(R(e_{i},e_{j})e_{\ell },e_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3339dc7a97eb4acee1d11a84f10c252ccf4c5301)
と成分表示すると、オイラー形式を下記のように成分表示できる:
定理 (オイラー形式の成分表示) ― (正規直交とは限らない)基底
に対し、以下が成立する[36]
![{\displaystyle \mathrm {eu} (\Omega )={1 \over (8\pi )^{k}k!}R_{i_{1}i_{2}j_{2}j_{1}}\cdot \cdots \cdot R_{i_{m-1}i_{m}j_{m}j_{m-1}}g(e^{i_{1}}\wedge \cdots \wedge e^{i_{k}},e^{j_{1}}\wedge \cdots \wedge e^{j_{k}})dV}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53bc59db3af52cf90f5d20ba9bf265615cd8e99c)
ここでdVはMの体積要素であり、上式はアインシュタインの縮約記法を用いている。
なお、上式は
および
が
の置換になっている項以外は0になる。
オイラー形式とガウス曲率の関係
本節では、偶数次元リーマン多様体Mが余次元1でユークリッド空間に埋め込まれているときは、ガウス曲率とオイラー形式は定数倍を除いて一致する事を見る:
証明
をそれぞれ主曲率κ1、...、κmに対応する主方向とし、
をその双対基底とすると、断面曲率と主曲率の関係から、
![{\displaystyle \Omega ^{i}{}_{j}=\kappa _{i}\kappa _{j}\theta ^{i}\wedge \theta ^{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b09c754f5d9aebc95f78dca45f4f06e3ee2dc92f)
がi≠jを満たすi、jに対して成立する。よってk=m/2とすると、パッフィアンの具体的表記から、
![{\displaystyle {\begin{aligned}\mathrm {Pf} (\Omega )&={1 \over 2^{k}k!}\sum _{\sigma \in {\mathfrak {S}}_{m}}\mathrm {sgn} (\sigma )\Omega ^{\sigma (1)}{}_{\sigma (2)}\wedge \cdots \wedge \Omega ^{\sigma (m-1)}{}_{\sigma (m)}\\&={1 \over 2^{k}k!}\sum _{\sigma \in {\mathfrak {S}}_{m}}\mathrm {sgn} (\sigma )\kappa _{\sigma (1)}\cdots \kappa _{\sigma (m)}\theta ^{\sigma (1)}\wedge \theta ^{\sigma (2)}\wedge \cdots \wedge \theta ^{\sigma (m-1)}\wedge \theta ^{\sigma (m)}\\&={\kappa _{1}\cdots \kappa _{m} \over 2^{k}k!}\cdot (2k)!\theta _{1}\wedge \cdots \wedge \theta _{m}\\&=1\cdot 3\cdot \cdots \cdot (2k-1)KdV\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab1bfed3413879932e182955a41e0b67339d69e6)
となり定理が証明された。
なお、なぜパッフィアンという「行列式の平方根」がここで登場するか、という問いに対する答えるには、チャーン・ヴェイユ理論を必要とするため、本項では触れない。
ガウス・ボンネの定理
本節ではガウス・ボンネの定理を紹介する。この定理は、偶数次元のリーマン多様体において、オイラー標数をオイラー形式の全空間における積分で記述できるという趣旨の定理である。
元々はMが2次元の場合に対して示されたものであり、一般の偶数次元に対する定理は区別のためチャーン・ガウス・ボンネの定理とも呼ばれる。
定理 (ガウス・ボンネの定理) ― Mを偶数次元の向き付け可能かつ縁無しのコンパクトなリーマン多様体とする。このとき、
![{\displaystyle \int _{M}\mathrm {eu} (\Omega )=\chi (M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e58dee8891626431f6236ab4e9ffab272b84c0e8)
が成立する。ここで
はMのオイラー形式であり、
はMのオイラー標数である。
証明のアイデア
を余次元1で向き付け可能なリーマン多様体とする。すでに述べたように、M、Smの体積要素をそれぞれ
、
とすると、両者の間には
![{\displaystyle G^{*}(dV')=KdV}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a280791bf0b25e59a1ec482a0b1c1b1ad05e34a7)
という関係がある。ここでKはMのガウス曲率である。
Mがコンパクトで縁がなければ、ド・ラームコホモロジーの一般論から、ガウス写像
の写像度
は
![{\displaystyle \mathrm {deg} (G)={\int _{M}G^{*}(dV') \over \int _{S^{m}}dV'}={\int _{M}KdV \over \mathrm {Vol} (S^{m})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed9cdc80c6fcba25eeeacf5f6191fce6eea310b2)
に等しい[38]。ここで
は球面Smのm次元体積である。
この事実を利用すると、偶数次元のMに対し以下の定理が結論付けられる:
証明の概略[39]
はすでに示したので、
のみを示す。
Mが連結ではない場合は連結成分毎に定理を証明すれば良いので、一般性を失わずMは連結であると仮定する。このとき、m+1次元多様体
で
となるものが存在する事が下記の定理により保証される:
そこでNに対してホップによる以下の定理を用いる:
定理[41] (ホップの指数定理(Hopf's Index Theorem[42])) ―
のコンパクトなm+1次元部分多様体
上のベクトル場Xで、非退化な孤立零点しか持たず、さらにXがNの境界∂N上Nの外側を向いているものとすると、Xの零点の指数の総和は∂Nのガウス写像の写像度に等しい。
証明の概略[41]
をXの零点とし、これらの零点のε-近傍を
とし、さらに
(
)とする。εを十分小さく取る事で、
for
としてよい。
とすると、Biの定義から
上Xは0にならない。このため
に対し、
![{\displaystyle \eta (P):={X_{P} \over \|X_{P}\|}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48f5c986728ec2461d734d6133b13735da6eb713)
が定義できる。
は長さ1である事から単位球Smの元とみなす事ができるので、写像
![{\displaystyle \eta ~:~P\in {\hat {N}}\mapsto \eta (P)\in S^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90dce06edcc5865ae2f6a4f9d7c0cb4f0d4814ac)
が定義できる。明らかにηのMへの制限はMのガウス写像に一致する。
また零点の指数の定義から
の写像度は零点xiの指数に一致する[注 5]
ホモロジー群
、
の基本類をそれぞれ
、
とする。これらの基本類を包含写像
![{\displaystyle S_{1}\cup \cdots S_{n}\cup M\hookrightarrow N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/852edccc36b778f6afeb055b9d7f37894ec2c5e8)
により
に写すと、
![{\displaystyle [M]-[S_{1}]-\cdots -[S_{n}]+=[\partial N]=0~~{\text{in}}~~H_{m}(N)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcbc27d4a188c5a738fe37d907100a49229a951b)
が成立する。なお、ここで
の符号が負なのは、Biの向き付けを
によりBiから入れているからである。 よって
![{\displaystyle S_{1}\cup \cdots S_{n}\cup M\hookrightarrow N{\overset {\eta }{\to }}S^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7db303326d5f0942fda30e51d055998150717089)
がホモロジー群に誘導する写像を考えると、
![{\displaystyle \eta _{*}([M])=\eta _{*}([S_{1}])+\cdots +\eta _{*}([S_{n}])~~{\text{in}}~~H_{m}(S^{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2efbb048ec073546a041e8b7f56e4e0f51c20618)
が成立する。
は定義からMのガウス写像の写像度に等しく、写像度
は零点xiの指数に一致したので定理が証明された。
上述の定理の条件を満たすXを選ぶと[注 6]、Xの零点の指数の総和はポアンカレ・ホップの定理よりNのオイラー標数に等しいので、以上の事実から
![{\displaystyle \mathrm {deg} (G)=\chi (N)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/625765573eee839bdac610b748aad3307e5a47d5)
が成立する。
N'をNのコピーとし、NとN'をその縁である
で張り合わせてできる多様体を
とする(すなわち
はNのダブル(英語版))と、
![{\displaystyle \chi ({\tilde {N}})+\chi (M)=\chi (N)+\chi (N')=2\chi (N)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d93dd362a0ce5829b3f3dfa9f50acc266655f5d)
が成立する[注 7]。
Mが偶数次元だという仮定から、
は奇数次元であり、縁のないコンパクト奇数次元多様体のオイラー標数はポアンカレの双対性定理から常に0なので、前述の式から
![{\displaystyle \chi (M)={1 \over 2}\chi (N)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a40f8155da0376736c1505be8f59d6592a068f9)
が言え、定理が証明される。
上記の定理にガウス曲率がオイラー形式で表記できたという事実を適用する事で、ホップは以下を示した:
定理 (
内かつ余次元1の場合のガウス・ボンネの定理) ― 記号を上述の定理と同様に取る。このとき、
![{\displaystyle \int _{M}\mathrm {eu} (\Omega )=\chi (M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e58dee8891626431f6236ab4e9ffab272b84c0e8)
が成立する。ここで
はMのオイラー形式である[43]。
ここで我々はm=2kとすると、
![{\displaystyle \mathrm {Vol} (S^{m})={\frac {2(2\pi )^{k}}{1\cdot 3\cdot \cdots \cdot (2k-1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0683c4eac63b7dae591a2975f4770a3f4f0502fe)
である[44]事を用いた(超球の体積の項目も参照)。
上記の定理は「Mが
に余次元1で埋め込まれている」という強い条件の元でのみ成立しているので、ガウス・ボンネの定理を示すにはこの条件を無くす必要がある。そのために使うのが下記の定理である:
定理 (ナッシュの埋め込み定理) ― Mをコンパクトなm次元リーマン多様体とする。このとき、あるn≧mとあるC∞級の埋め込み
![{\displaystyle \phi ~:~M\hookrightarrow \mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa02eb0a1872ffaad87afb3ad07ef6923c5eb2bf)
が存在し、M上のリーマン計量gは
の引き戻しと一致する[45]
よってMが
の部分多様体だと仮定しても一般性を失わない。しかしMは
において余次元1とは限らないので、このままでは前述のホップによる定理を適用できない。
そこでMの
をεだけ「太らせたもの」(すなわち管状近傍(英語版))をNとすると、εが小さければNはM×Dn-mと位相同型である。ここでmはMの次元である。よって
![{\displaystyle \chi (\partial N)=\chi (M\times S^{n-m-1})=\chi (M)\chi (S^{n-m-1})=2\chi (M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ef78b32d6bcc5455c82dfc5c945a40c537881e8)
が成立する。
は
で余次元1なので、前述のホップによる結果を適用でき、
![{\displaystyle \int _{\partial N}\mathrm {eu} (\Omega ^{\partial N})=\chi (\partial N)=2\chi (M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46fdcc04f7d6146211a7a5695fb3314e70bad2b7)
が言える[注 8]。ここで
は∂Nの曲率形式である。
ヘルマン・ワイルは管状近傍の体積を具体的に(非常に複雑な計算で)求める事で、
がε→0のとき
の2倍に収束する事を示した[注 9]。以上の議論からガウス・ボンネの定理が証明された。
擬リーマン多様体の場合
本稿ではリーマン多様体に対するガウス・ボンネの定理を記述したが、擬リーマン多様体でも同様の定理が成立する[46]:
定理 (擬リーマン多様体のガウス・ボンネの定理) ― Mを偶数次元の向き付け可能かつ縁無しのコンパクトな符号数
の擬リーマン多様体とする。このとき、pが奇数であればχ(M)=0である。
はMのオイラー標数である。
一方pが偶数であれば、
![{\displaystyle (-1)^{p/2}\int _{M}\mathrm {eu} (\Omega )=\chi (M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b0b6bbb8af127eedd337dfba7bd2fb92f3e27bf)
が成立する。ここで
はMのオイラー形式である。
脚注
出典
- ^ #Lee p.135.
- ^ a b c #Carmo p.135.
- ^ #小林 p.97.
- ^ a b #Lee p.134.
- ^ #Dajczer p.3.
- ^ a b #Tu p.68.
- ^ #安藤 pp.16-17.
- ^ #Lee p.135.
- ^ a b c #安藤 p.17.
- ^ #Tu p.66.
- ^ #Carmo pp.128,135.
- ^ “幾何学特論 A1 講義ノート I”. 東京工業大学. p. 40. 2023年1月13日閲覧。
- ^ #Lee p.136.
- ^ #Carmo p.128.
- ^ #安藤 p.18.
- ^ #Lee p.136
- ^ #Carmo p137.
- ^ #Carmo p.130.
- ^ #Dajczer p.15
- ^ a b c d #Dajczer pp.93-94.
- ^ a b c d e f #Carmo p.129
- ^ #Dajczer p.18.
- ^ #Lee p.142,
- ^ a b “Total Curvature”. Wolfram Mathworld. 2023年4月25日閲覧。
- ^ Claudio Gorodski. “Chapter 7. Submanifold geomety”. An introduction to Riemannian geometry. p. 137. 2023年2月21日閲覧。
- ^ a b H. Blaine Lawson (1980/2/1). Lectures on minimal submanifolds. Publish or Perish Inc. pp. 5-12. ISBN 978-0914098188
- ^ a b #Lee p.151.
- ^ a b #Carmo p.131.
- ^ a b c #Dajczer p.47.
- ^ #Carmo p.96.
- ^ a b c #森田 pp.242-243.
- ^ #Grey p.76.
- ^ #森田 p.243.
- ^ #Tu p.233.
- ^ #Wu p.4.
- ^ #Gilkey pp.126-127.
- ^ #Grey p.79.
- ^ a b #Zhu pp.1-2.
- ^ この証明は#Wu pp.3-4.を参考にした。
- ^ WOLFGANG SCHMALTZ. “THE JORDAN-BROUWER SEPARATION THEOREM”. シカゴ大学. p. 13. 2023年3月16日閲覧。
- ^ a b MANDY LA. “THE POINCARÉ-HOPF THEOREM”. シカゴ大学. p. 6. 2023年3月16日閲覧。
- ^ #Wu p.4.
- ^ #Spivak5 p.264.
- ^ #Grey p.78.
- ^ Raymond O. Wells, Jr. (2017/8/1). Differential and Complex Geometry: Origins, Abstractions and Embeddings. Springer. pp. 189,209.. ISBN 978-3-319-58184-2
- ^ #Gilkey p.127.
注釈
- ^ 本項では話を簡単にするためMが
の部分多様体の場合を議論するが、本項の議論の多くは局所的なものなので、本項の成果の多くはMが
にはめ込まれている場合に自然に拡張できる。 - ^ a b c 本定理でいる「内在的」の意味に注意する必要がある。実際、Mの内在的な量から直接計算される
から
を求めるには、cを知らねばならず、積
はcに依存して決まる。よって
から求まる偶数次平均曲率やガウス曲率の平方等もcに依存して決まる量である。 本定理で言う「内在的」はcをfixしたとき、任意に埋め込み写像
を取ると、fから定まる主曲率の積の集合
(やそこから定まる偶数次平均曲率、、ガウス曲率の平方等)は、fが
への埋め込み写像である限り、fに依存しない、という意味である。 - ^ すなわちガウス曲率の自乗K2がMに内在的な量である。
- ^ αは偶数次(2次)なので、
は0になるとはかぎらない。例えば
なら
。 - ^ 文献によってこの写像度を指数の定義とするものと、ヘッシアンの符号数を指数の定義としてこれが写像度と一致するのを定理とするものがあるが、ここでは前者に従った。
- ^ そのようなXを作るには、ガウス写像
を隆起函数を用いて拡張して
を作り、さらに一般の位置定理を用いて
を摂動する事で非退化な零点のみを持つ写像を作れば良い。 - ^ マイヤー・ヴィートリス完全系列
![{\displaystyle \cdots \to H_{i+1}({\tilde {N}};\mathbb {R} )\to H_{i}(M;\mathbb {R} )\to H_{i}(N;\mathbb {R} )\oplus H_{i}(N';\mathbb {R} )\to H_{i}({\tilde {N}};\mathbb {R} )\to \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4032675cac2be68b53b0953512ebe563c2c32f74)
から証明できるが、N、N'が三角形分割可能な事を認めれば、三角形分割とオイラー標数の関係から容易に証明できる。 - ^ 最後の等号はキネットの定理(英語版)から示せるが、Mが三角形分割可能な事を仮定すれば直接示す事もできる。
- ^ #Grayはワイルによる管状近傍の理論を説明したもので、本書の5章でホップの結果からガウス・ボンネの定理を示している。
文献
参考文献
- Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824
- Ben Andrews. “Lectures on Differential Geometry”. Australian National University. 2022年12月28日閲覧。
- Zuoqin Wang. “LECTURE 29: CONNECTIONS AND CURVATURES”. 中国科学技術大学. 2022年12月29日閲覧。
- 森田茂之『微分形式の幾何学2』 14巻、岩波書店〈岩波講座 現代数学の基礎〉、2001年5月23日。ISBN 978-4000110143。https://www.iwanami.co.jp/book/b480194.html。
- Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME TWO (Second Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098805
- Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME FIVE (Third Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098744
- Manfredo P. do Carmo Francis Flaherty訳 (1994/2/24). Riemannian Geometry. Mathematics: Theory & Applications. Birkhauser Boston. ISBN 978-0817634902
- 佐々木重夫『微分幾何学Ⅰ』 13巻、岩波出版〈岩波講座 基礎数学〉、1977年8月。
- 小林昭七『接続の微分幾何とゲージ理論』裳華房、1989年5月15日。ISBN 978-4785310585。
- 小林昭七『曲線と曲面の微分幾何』裳華房〈基礎数学選書 17〉、1977年8月20日。ASIN B000J8X6V8。ISBN 4-7853-1119-3。
- John M. Lee (1997/9/23). Riemannean Manifolds An introduction to curvature.. Graduate Texts in Mathematics. 176. Springer. ISBN 978-0387983226
- Victor V. Prasolov Olga Sipacheva訳 (2022/2/11). Differential Geometry. Moscow Lectures. 8. Springer. ISBN 978-3030922481
- Marcel Berger (2003/6/15). A Panoramic View of Riemannian Geometry. Springer. ISBN 978-3540653172
- Raffaele Rani. “On Parallel Transport and Curvature”. 2023年1月13日閲覧。
- 安藤直也. “曲面の幾何学 —Hopf の定理およびその証明—”. 熊本大学. 2023年1月14日閲覧。
- 新井朝雄『相対性理論の数理』日本評論社、2021年6月22日。ISBN 978-4535789289。
- Chenchang Zhu. “THE GAUSS-BONNET THEOREM AND ITS APPLICATIONS”. カリフォルニア大学バークレー校. 2023年3月16日閲覧。
- Hung-Hsi Wu (1997/9/23). Historical development of the Gauss-Bonnet theorem. Science in China Series A: Mathematics vol. 51, No.4. Springer
- Marco Abate, Francesca Tovena (2011/10/6). Curves and Surfaces. UNITEXT. Springer. ISBN 978-8847019409
- Alfred Gray (2003/11/27). Tubes. Progress in Mathematics. 221 (2 ed.). Birkhaeuser. ISBN 978-3764369071
- Peter Gilkey, JeongHyeong Park, Ramón Vázquez-Lorenzo (2022/5/31). Aspects of Differential Geometry I. Synthesis Lectures on Mathematics & Statistics. 15. Springer. ISBN 978-3-031-02407-8
- Marcos Dajczer, Ruy Tojeiro (2019/8/2). Submanifold Theory Beyond an Introduction. Universitext. Springer. ISBN 978-1-4939-9644-5
- Yin Li. “The Gauss-Bonnet-Chern Theorem on Riemannian Manifolds” (PDF). 2023年5月18日閲覧。
- Chris Wendl. “Differentialgeometrie I”. 2023年8月24日閲覧。
- Chris Wendl. “Chapter 3: Connections”. 2023年8月24日閲覧。
- Chris Wendl. “Chapter 4: Natural constructions on vector bundles”. 2023年8月24日閲覧。
- Chris Wendl. “Chapter 5: Curvature on bundles”. 2023年8月24日閲覧。
- Ivan Kolář, Jan Slovák, Peter W. Michor (2009/12/28). Natural Operators in Differential Geometry. Springer. ISBN 978-3642081491
- Paolo Piccione, Daniel V. Tausk. “The theory of connections and G-structures. Applications to affine and isometric immersions”. サンパウロ大学. 2023年10月10日閲覧。
- J.L. Koszul, S.Ramanan (1987/1/1). Lectures On Fibre Bundles and Differential Geometry. Springer. ISBN 978-3540128762
- Shishichi Kobayashi; Katsumi Nomizu (2009). Foundations of Differential Geometry Volume I. Wiley Classics Library. Wiley. ISBN 978-0-471-15733-5. Zbl 0119.37502
- Shishichi Kobayashi; Katsumi Nomizu (2009). Foundations of Differential Geometry Volume II. Wiley Classics Library. Wiley. ISBN 978-0-471-15732-8. Zbl 0175.48504
その他