部分リーマン多様体の接続と曲率

本項、部分リーマン多様体の接続と曲率では、古典的なDifferential geometry of surfacesを高次元のリーマン多様体の場合に拡張した成果を述べる。具体的にはリーマン多様体の部分多様体Mに対し、- 、Mのレヴィ・チヴィタ接続やリーマン曲率の関係性- 第二基本形式、Third fundamental form- 主曲率、ガウス曲率、Mean curvature- Theorema Egregium- ガウス写像- ガウス・ボンネの定理
といったものを高次元化した成果を述べる。
以下、本項ではをリーマン多様体とし、
 
をその部分多様体とする。また特に断りがない限り、単に「多様体」、「写像」等といった場合は級のものを考える。

**の接続とMの接続の関係性**
をgが定める上のレヴィ-チヴィタ接続とする。またリーマン計量gをMに制限することで、がリーマン多様体になるので、gが定めるM上のレヴィ-チヴィタ接続を考える事ができる。
一方、Mはの部分多様体なので、のレヴィ-チヴィタ接続のMへの制限も考える事ができる。
実はこの２つは以下の関係を満たす：
ここでは、の元の接ベクトル空間への射影
 
である。

**法接続**
上ではの接続のMの接ベクトルバンドルTMへの射影を考えたが、同様にの接続のMの法ベクトルバンドルへの射影を考える事ができる。
の点Pに対し、

をの元の法ベクトルバンドルへの射影とする。

**第二基本形式とワインガルテン写像**
上述したように、M上のレヴィ-チヴィタ接続はのレヴィ-チヴィタ接続のTMへの射影であるので、両者の差 はの法ベクトルバンドルへのの射影となる。
の点Pに対し、
 

をそれぞれの元の接ベクトル空間への射影、の元の法ベクトルバンドルへの射影とする。
なお、「第二基本形式」という名称はガウスの曲面論から来ており、ガウスの曲面論ではリーマン計量の事を第一基本形式というのに対応した名称である。
であったので、以下が成立する：
第二基本形式は以下を満たす：
また、をM上の曲線、を上のMに接するベクトル場とするとき、以下が成立する：
上ではの接続とMの接続の差を第二基本形式として定義したが、同様にの接続とMの法接続の差を考える事ができる。
、YをM上のベクトル場、ηを法ベクトルバンドルの切断とすると、Yとηは直交するので、

である。よって次が成立する：

**曲率の関係式**
前節と同様に記号を定義し、により定まるMの曲率を、により定まるの曲率をとする。
さらにX、Y、Z、WをM上のベクトル場とし、η、ζをMの法ベクトルバンドルの切断とする。このとき、次が成立する：
ここでは

をの切断とみたときの共変微分であり、

である。
ガウスの方程式はMの曲率が全空間の曲率と第二基本形式から決まる事を意味している。同様にリッチの方程式はMの法曲率がワインガルテン写像から決まる事を意味している。
またガウスの方程式からMの断面曲率
との断面曲率に関して以下の系が従う：

**部分多様体の基本定理**
詳細はrefn|#Dajczer p.15を参照。

**第三基本形式**
これまで同様をリーマン多様体、をその部分多様体とし、PをMの点とし、X、Yをの元とし、ηを法ベクトル空間の元とする。
第三基本形式は二次形式
のトレースであるので、は基底の取り方に依存せずwell-definedである。
第三基本形式は以下のようにも表現可能である：
が定曲率空間の場合、第三基本形式は以下を満たす：
特にMの余次元が1であれば、前述したワインガルテン写像による第三基本形式の表記を適用することで、以下が成立する事がわかる：

**主曲率、ガウス曲率、平均曲率**
本節では、埋め込みが余次元1の場合、すなわちの場合、Mに対し主曲率、ガウス曲率、平均曲率という３つの曲率概念を定義する。
これらの概念を定義するためにまずその動機を述べる。今は余次元1なので、長さ1の法ベクトルηを（±1倍を除いて）一つだけ選ぶ事ができる。
点Pにおける接ベクトルvに関し、曲線をPを通りvに接する（弧長パラメータsでパラメトライズされた）Mの測地線とすると、
がMの測地線であった事から、は必ずMに直交するので、Mの余次元が1な事から、はηと平行になる。
よっては測地線の曲率の大きさに符号をつけたものである。
主曲率とは（符号付きの）測地線の曲率の大きさの極値になっている値の事である。
主曲率は具体的には下記のように求める事ができる。なので、
曲線に沿ったガウスの公式と第二基本形式の定義より、
 
よって主曲率、すなわちの極値は二次形式を回転行列により対角化した際の対角成分の事である。
ガウス曲率は主曲率の積、平均曲率は主曲率の平均値である。
厳密な定義は以下の通りである：
なお、ガウス曲率の事を全曲率（total curvature）という事もあるが、「全曲率」という言葉は測地線曲率の曲線全体に対する積分値を指す場合もあるので注意が必要である。
上記の定義についていくつか補足を述べる。第一に、単位法ベクトルηの向きを反転させると、主曲率の符号が反転してしまう。このためMやが向き付け可能なときは、TM×ηの向きがの向きと一致するという規約を授けてηの向きを固定する事が多い。
第二に、は対称二次形式であるので、次が成立する：
第三にワインガルテンの公式から
 
であるので、明らかに次が成立する：
よって固有多項式の一般論から、特に次が成立する：
ここではがに誘導する写像を
である。
第四に、平均曲率に関しては、が余次元1でなくとも、を法ベクトル空間に値を取る二次形式とみなしたときのトレース（の1/n）として定義できる：
平均曲率ベクトル場は極小曲面の特徴付けとして有用であり、閉多様体が極小曲面になる必要十分条件はM上の平均曲率ベクトル場が恒等的に0である事である事が知られている。

**ガウス写像**
本節では、向き付可能なリーマン多様体Mをユークリッド空間に余次元1で埋め込んでいる場合、すなわち、1=dimM=mの場合に対し、「ガウス写像」を定義する事で、ワインガルテン写像やガウス曲率に幾何学的な意味付けを与える。
これまで同様ηをMの単位法ベクトル場とすると、各点1=P∈Mに対し、ベクトルは長さ1のベクトルなので、を原点中心の単位球の元とみなす事ができる。このようにみなす事で定義できる写像
 
をガウス写像（Gauss map、Gauss spherical mapping）という。
のPにおける接ベクトル空間の元をのPにおける接平面と自然に同一視すると、任意のに対し、
 
である事から、においてはと平行な超平面であるので、自然にとを同一視する。このとき次が成立する：
さらにガウス写像はガウス曲率と以下の関係を満たす：

**Theorema Egregium**
断面曲率と第二基本形式の関係と主曲率の定義から、特に以下の系が成立する：
ここで、はそれぞれM、の断面曲率である。
よってとくにが曲率cのConstant curvature、すなわち上の任意の点Pにおける任意の方向の断面曲率がcである空間の場合には、
 
が成立する。
実は上式の右辺はMに内在的な量である：
であったので、上記の定理は、有名なTheorema Egregiumの一般化になっている：
Theorema Egregiumの一般化から以下の系が従う：
一方、奇数次元のガウス曲率はMに内在的な量ではない。実際ガウス曲率の定義はMの単位法線ηというMに外在的な量に依存しており、ηの向きを変えればの符号は全て反転してしまい、次元mが奇数である事からの符号も反転してしまう。
しかし次元mが奇数の場合であっても、符号を除いてガウス曲率は内在的な量となる事を前述のTheorema Egregiumの一般化から示すことができる：
以上の事から、mが偶数の場合にはにおけるMのガウス曲率をリーマン曲率で具体的に書きあらわす事ができる。次節ではがユークリッド空間である場合に対し、この具体的な表記を求める。

**オイラー形式**
前節ではが偶数次元でしかも余次元が1のとき、#偶数次元のガウス曲率の内在性|ガウス曲率がMの内在的な量である事を示した。
本節の目的はの場合に、ガウス曲率をMに内在的な量で具体的に書きあらわす事にある。そのために導入するのがオイラー形式である。オイラー形式は偶数次元のリーマン多様体M上で曲率テンソルを用いて定義される。そしてMが余次元1でに埋め込まれているときは、オイラー形式はガウス曲率の定数倍に一致する。
本節の内容は後でガウス・ボンネの定理を記述するときに重要となる。「オイラー形式」という名称も、ガウス・ボンネの定理からこの値がオイラー標数と関係づけられる事に由来する。

**パッフィアン**
オイラー形式を定義するため、「パッフィアン」を定義する。これは後述するように行列式の平方根に相当する。
上記の定理において、の存在一意性はが1次元ベクトル空間な事から明らかに従う。Vと同じ向きの正規直交基底の取り方によらないことも、の定義がαの成分表示によらず、しかもがそのような基底の取り方によらない事から明らかに従う。
歪対称行列に対し、紛れがなければのパッフィアンの事をとも表記する。
定義から明らかに次が成立する。
パッフィアンは具体的には以下のように書ける。
パッフィアンは行列式の平方根である：
なお本節で我々は偶数次の歪対称行列に対して行列式の平方根がパッフィアンと一致する事を見たが、奇数次の歪対称行列の場合は行列式は常に0になる事が知られている。よって奇数次の場合には「行列式の平方根」も0になる。

**オイラー形式**
次に我々はパッフィアンを使ってオイラー形式を定義する。
上記の定義に関して３つ補足する。第一に、オイラー形式を定義する際、パッフィアンをで割るのは、このようにすると後述するガウス・ボンネの定理で不要な定数が消えて定理の記述が簡単になるからである。
第二に、「」という記号の意味についてである。「」は#パッフィアンの具体的表記|パッフィアン1=Pf(A)の具体的表記において、行列AをΩに置き換え、さらに積をウェッジ積に置き換えることで定義される。すなわち、

なお、添字の上下が1=Pf(A)の具体的表記とは異なっているが、正規直交基底を考えているのでこれは問題にならない。
第三に、は2-形式であるので、上述のウェッジ積はの入れ替えに関して可換である。よって前節で通常の実数係数の行列に対して成立した定理の多くがに対しても成立する。
特に、は正規直交基底の向きを保つ取り方に対して不変であり、したがってオイラー形式はMと同じ向きの正規直交基底の取り方によらずwell-definedである。
したがって、オイラー形式はMの全域で定義可能である。
（正規直交とは限らない）基底とその双対基底をを使って曲率テンソルを

と成分表示すると、オイラー形式を下記のように成分表示できる：
なお、上式はおよびがの置換になっている項以外は0になる。

**オイラー形式とガウス曲率の関係**
本節では、偶数次元リーマン多様体Mが余次元1でユークリッド空間に埋め込まれているときは、ガウス曲率とオイラー形式は定数倍を除いて一致する事を見る：
なお、なぜパッフィアンという「行列式の平方根」がここで登場するか、という問いに対する答えるには、チャーン・ヴェイユ理論を必要とするため、本項では触れない。

**ガウス・ボンネの定理**
本節ではガウス・ボンネの定理を紹介する。この定理は、偶数次元のリーマン多様体において、オイラー標数をオイラー形式の全空間における積分で記述できるという趣旨の定理である。
元々はMが2次元の場合に対して示されたものであり、一般の偶数次元に対する定理は区別のためチャーン・ガウス・ボンネの定理とも呼ばれる。

**証明のアイデア**
を余次元1で向き付け可能なリーマン多様体とする。すでに述べたように、M、の体積要素をそれぞれ、とすると、両者の間には
 
という関係がある。ここでKはMのガウス曲率である。
がコンパクトで縁がなければ、ド・ラームコホモロジーの一般論から、ガウス写像の写像度は

に等しいrefn|name="Zhu1-2"|#Zhu pp.1-2.。ここでは球面のm次元体積である。
この事実を利用すると、偶数次元のMに対し以下の定理が結論付けられる：
上記の定理にガウス曲率がオイラー形式で表記できたという事実を適用する事で、ホップは以下を示した：
ここで我々は1=m=2kとすると、

であるrefn|#Grey p.78.事を用いた（超球の体積の項目も参照）。
上記の定理は「Mがに余次元1で埋め込まれている」という強い条件の元でのみ成立しているので、ガウス・ボンネの定理を示すにはこの条件を無くす必要がある。そのために使うのが下記の定理である：
よってMがの部分多様体だと仮定しても一般性を失わない。しかしMはにおいて余次元1とは限らないので、このままでは前述のホップによる定理を適用できない。
そこでMのをεだけ「太らせたもの」（すなわちtubular neighborhood）をNとすると、εが小さければNはと位相同型である。ここでmはMの次元である。よって
 
が成立する。
はで余次元1なので、前述のホップによる結果を適用でき、
 
が言える。ここでは∂Nの曲率形式である。
ヘルマン・ワイルは管状近傍の体積を具体的に（非常に複雑な計算で）求める事で、がε→0のときの2倍に収束する事を示したrefn|group=注|#Grayはワイルによる管状近傍の理論を説明したもので、本書の5章でホップの結果からガウス・ボンネの定理を示している。。以上の議論からガウス・ボンネの定理が証明された。

**擬リーマン多様体の場合**
本稿ではリーマン多様体に対するガウス・ボンネの定理を記述したが、擬リーマン多様体でも同様の定理が成立する：

**脚注**

**出典**

**注釈**

**文献**

**参考文献**
 Cite book|洋書|title=Differential Geometry: Connections, Curvature, and Characteristic Classes|date=2017/6/15|publisher=Springer|author=Loring W. Tu|series=Graduate Texts in Mathematics|volume=275|isbn=978-3319550824|ref=Tu- ref=Andrews- Cite web |url=http://staff.ustc.edu.cn/~wangzuoq/Courses/18F-Manifolds/Notes/Lec29.pdf |title=LECTURE 29: CONNECTIONS AND CURVATURES |access-date=2022/12/29 |author=Zuoqin Wang |publisher=中国科学技術大学 |ref=Wang- cite book|和書|title=微分形式の幾何学2|date=2001/05/23|publisher=岩波書店|ref=森田|author=森田茂之|series=岩波講座 現代数学の基礎|volume=14|isbn=978-4000110143|url=https://www.iwanami.co.jp/book/b480194.html- edition=Second Edition- edition=Third Edition- translator=Francis Flaherty- Cite book|和書 |title=微分幾何学Ⅰ |year=1977 |publisher=岩波出版 |month=8 |series=岩波講座 基礎数学 |author=佐々木重夫 |volume=13 |ref=佐々木- Cite book|和書 |title=接続の微分幾何とゲージ理論 |date=1989/5/15 |publisher=裳華房 |author=小林昭七 |isbn=978-4785310585 |ref=小林- ref=小林77- Cite book|洋書|title=Riemannean Manifolds An introduction to curvature.|date=1997/9/23|publisher=Springer|author=John M. Lee|series=Graduate Texts in Mathematics|volume=176|isbn=978-0387983226|ref=Lee- Cite book|洋書|title=Differential Geometry|date=2022/2/11|publisher=Springer|author=Victor V. Prasolov|series=Moscow Lectures|volume=8|isbn=978-3030922481|ref=Prasolov|translator=Olga Sipacheva- Cite book|洋書|title=A Panoramic View of Riemannian Geometry|date=2003/6/15|publisher=Springer|author=Marcel Berger|isbn=978-3540653172|ref=Berger|- ref=Rani- Cite web |url=https://www.sci.kumamoto-u.ac.jp/~ando/okayamaunivlect.pdf |title=曲面の幾何学 —Hopf の定理およびその証明— |access-date=2023/01/14 |publisher=熊本大学 |author=安藤直也 |ref=安藤- cite book|和書|title=相対性理論の数理|date=2021/6/22|publisher=日本評論社|ref=新井|author= 新井朝雄
isbn=978-4535789289- Cite web |url=https://math.berkeley.edu/~alanw/240papers00/zhu.pdf|title=THE GAUSS-BONNET THEOREM AND ITS APPLICATIONS|access-date=2023/03/16 |publisher=カリフォルニア大学バークレー校 |author=Chenchang Zhu |ref=Zhu- Cite book|洋書|title=Historical development of the Gauss-Bonnet theorem|date=1997/9/23|publisher=Springer|author=Hung-Hsi Wu|series=Science in China Series A: Mathematics vol. 51, No.4|ref=Wu- Cite book|洋書|title=Curves and Surfaces|date=2011/10/6|publisher=Springer|author=Marco Abate, Francesca Tovena|series=UNITEXT|isbn=978-8847019409|ref=Abate- ref=Dajczer- ref=Li- author=Chris Wendl
** ref=Wendl3
** ref=Wendl4
** ref=Wendl5- Cite book|洋書|title=Natural Operators in Differential Geometry|date=2009/12/28|publisher=Springer|authors=Ivan Kolář, Jan Slovák, Peter W. Michor|isbn=978-3642081491|ref=Kolar- Cite web|url=https://www.ime.usp.br/~piccione/Downloads/GStructure.pdf|title=The theory of connections and G-structures. Applications to affine and isometric immersions|publisher=サンパウロ大学|ref=Piccione|author=Paolo Piccione, Daniel V. Tausk|access-date=2023/10/10- Cite book|洋書|title=Lectures On Fibre Bundles and Differential Geometry|date=1987/1/1|publisher=Springer|authors=J.L. Koszul, S.Ramanan|isbn=978-3540128762|ref=Koszul- cite book |series=Wiley Classics Library |title=Foundations of Differential Geometry Volume I |publisher=Wiley |date=2009 |orig-year=1963 |isbn=978-0-471-15733-5 |zbl=0119.37502 |author2=Katsumi Nomizu |author=Shishichi Kobayashi |ref=Kobayashi-Nomizu-1- ref=Kobayashi-Nomizu-2

**その他**
 Cite book | 和書 | author=野水克己|authorlink=野水克己| title=現代微分幾何入門 | publisher=裳華房 | series=基礎数学選書 | year=1981 | ref=野水(1981) - Cite book | 和書 | author1=茂木勇|author2=伊藤光弘|authorlink1=茂木勇| title=微分幾何学とゲージ理論 | publisher=共立出版 | year=1986 | ref=茂木(1986) -  ref=矢野(1971) - Cite book | 和書 | author=矢野健太郎 | title=微分幾何学 | publisher=朝倉書店 | year=1949 | ref=矢野(1949) - Cite book | 和書 | author=佐武一郎|authorlink=佐武一郎|year=1974|title=線型代数学|publisher=裳華房