ガウス・ボンネの定理

• 数学 > 幾何学 > 多様体論 > 微分幾何学、微分位相幾何学 > (ガウスの曲面論)（英語版） > ガウス・ボンネの定理

ガウス・ボンネの定理^[1](Gauss–Bonnet theorem)は、リーマン計量が定義された曲面における曲率の積分がその曲面のオイラー標数で表せる、という趣旨の定理である。これは曲面の局所的な微分幾何学的構造（曲率）の積分とその曲面の大域的な位相幾何学的構造（オイラー標数）とを結び付ける重要な定理である。

この定理はカルル・フリードリッヒ・ガウス(Carl Friedrich Gauss)が1827年に論文^[2]で測地線で囲まれた三角形の場合に対して証明し^[3]、Pierre Ossian Bonnetが1848年に論文^[4]で一般の曲面に対して定理を示した^[3]。なおJacques BinetがBonnetとは独立に一般の場合を示していたが、Binetは成果を発表しなかった^[3]。

定理

多角形の場合

定理 (多角形に関するガウス・ボンネの定理^{[注 3]}) ―  Aをn個の頂点を持つ（向きづけられた）多角形にリーマン計量を入れたものとする^{[注 1]}。このとき

${\displaystyle \int _{A}KdV+\int _{\partial A}\kappa ds+\sum _{i=1}^{n}\varepsilon _{i}=2\pi }$ 

が成立する^[5]。ここでKはAの断面曲率であり、dVはAの面積要素であり、∂AはAの辺にAから定まる向きを入れたものであり、κは∂Aの曲率（(測地線曲率)（英語版）^{[訳語疑問点]}）であり、dsは線素であり、ε_iは多角形Aのi番目の頂点の外角の大きさである。κはAに対して内向きなとき正となるように符号付けする^{[注 2]}。

上記の定理で断面曲率（英: sectional curvature）は、リーマン計量gとリーマンの曲率テンソルRを用いてAの各点Pに対し、

${\displaystyle K_{P}:=g_{P}(R_{P}(e_{1},e_{2})e_{2},e_{1})}$ 

により定義される量である^[8]。ここでe₁、e₂は点PにおけるT_PPの基底である。断面曲率がe₁、e₂の取り方によらずwell-definedである事は容易に確認できる。

向き付け可能なコンパクト2次元リーマン多様体の場合

与えられた向き付け可能な曲面Mを三角形分割して上記の定理を適用する事により、任意の向き付け可能な2次元リーマン多様体に対し以下が成立する事がわかる：

定理 (向き付け可能曲面に対するガウス・ボンネの定理) ― Mをコンパクトで向き付け可能なC^∞級2次元部分リーマン多様体で縁∂Mが区分的になめらかなものとする。 さらに${\displaystyle v_{1},\ldots ,v_{n}}$ を∂Mがなめらかではない点とし、ε_iをv_iにおける∂Mの外角とする。このとき、

${\displaystyle \int _{M}KdV+\int _{\partial M}\kappa ds+\sum _{i=1}^{n}\varepsilon _{i}=2\pi \chi (M)}$ 

が成立する^[9]。ここでχ(M)はMのオイラー標数である。 上式の記号の意味に関しては多角形に関するガウス・ボンネの定理と同様である。

Mが多角形であれば、χ(M)=1であるので、上記の定理は前述した多角形に対するガウス・ボンネの定理の一般化になっている。

向き付け不能な場合

Mが向き付け不能であっても、面積要素による積分${\displaystyle \int dV}$ の代わりに向きを考えない面積要素による積分${\displaystyle \int |dV|}$ を用いる事で、ガウス・ボンネの定理を向き付け不能な曲面に対して一般化できる：

定理 (向き付け可能性を問わないガウス・ボンネの定理) ― MをコンパクトなC^∞級2次元部分リーマン多様体で縁∂Mが区分的になめらかなものとする。 さらに${\displaystyle v_{1},\ldots ,v_{n}}$ を∂Mがなめらかではない点とし、ε_iをv_iにおける∂Mの外角とする。このとき、

${\displaystyle \int _{M}K|dV|+\int _{\partial M}\kappa ds+\sum _{i=1}^{n}\varepsilon _{i}=2\pi \chi (M)}$ 

が成立する^[10]。

任意の向き付け不能な多様体は向き付け可能な２重被覆（orientation covering）を持つので、上記の定理は前述した向き付け可能な場合から容易に従う。

定曲率の場合

任意の点における断面曲率が一定値cである2次元リーマン多様体を定曲率cの2次元リーマン多様体という。Aが定曲率の多角形で、しかもAの辺が測地線である場合は以下の系が従う：

系 (定曲率曲面の多角形) ― cを実数とする。さらにAをn個の頂点を持つ（向きづけられた）多角形にリーマン計量を入れたもので、Aが定曲率cを持ち、さらにAの各辺が測地線であるものとする。このとき次が成立する。ここでarea(A)はAの面積である：

${\displaystyle c\cdot \mathrm {area} (A)+\sum _{i=1}^{n}\varepsilon _{i}=2\pi }$ 

断面曲率cが0であれば、上記の系は多角形の外角の和が2πになるというユークリッド幾何学の古典的な定理に一致する。c=1、c=-1の場合もそれぞれ球面幾何学（球面三角法）、双曲幾何学でよく知られた多角形の面積公式に一致する。

向き付け可能な縁無しコンパクトリーマン多様体Mに対しても同様に

${\displaystyle c\cdot \mathrm {area} (A)+\sum _{i=1}^{n}\varepsilon _{i}=2\pi \chi (M)}$ 

である事が導ける。Mの種数がgで縁がない場合、${\displaystyle \chi (M)=2-2g}$ なので、上記の事実と合わせると、コンパクト縁無し向き付け可能2次元リーマン多様体Mが定曲率cを持つ場合、

${\displaystyle {\begin{array}{ll}c>1&{\text{if }}g=0\\c=0&{\text{if }}g=1\\c<1&{\text{if }}g\geq 2\end{array}}}$ 

が成立する事がわかる。実はこの条件下、実際に定曲率構造がMに入る事が知られている。すなわちg=0の場合は単位球面、g=1の場合はユークリッド平面を格子で割ったトーラスとして曲率1、0の計量が入る。またgが2以上の場合には曲率-1の計量が入る（パンツ分解により具体的に構成できる）。ただしg=1、およびg≧2の場合は定曲率構造は一意ではなく、「定曲率構造全体の空間」はモジュライ空間をなす。

ℝ³内の曲面の場合

本節では、Mがℝ³内の（C^∞級の）曲面で、Mにはℝ³の内積から定まるリーマン計量が入っている場合に対し、ガウス・ボンネの定理の幾何学的な意味を見る。

このために断面曲率の幾何学的意味を見る。まず、Mがℝ³内の曲面の場合にはMの断面曲率はガウス曲率に一致する：

定理 (Theorema Egregium) ― ${\displaystyle \mathbb {R} ^{3}}$ の二次元部分多様体${\displaystyle M\subset \mathbb {R} ^{3}}$ に対し、点Pにおけるガウス曲率は点Pにおける断面曲率と一致する^[11]。

ここで点Pにおける曲面Mのガウス曲率は、T_PMの単位ベクトルeに対し、M上の測地線${\displaystyle \mathrm {exp} (te)}$ のℝ³における曲率を${\displaystyle \kappa (e)}$ としたとき、${\displaystyle \kappa (e)}$ が最大となるもの${\displaystyle \kappa (e_{1})}$ と最小となるもの${\displaystyle \kappa (e_{2})}$ の積で与えられる。

次にMの各点Pに対し、η_PをPにおけるMの単位法線とする。単位法線は符号をつける事で２本存在するが、${\displaystyle M\subset \mathbb {R} ^{3}}$ が向き付け可能な場合には、η_PがPに関して連続になるように選ぶ事ができる。

各点P∈Mに対し、ベクトルη_Pは長さ1のベクトルなので、η_Pを原点中心の単位球S²の元とみなす事ができる。このようにみなす事で定義できる写像

${\displaystyle G~:~P\in M\mapsto \eta _{P}\in S^{2}}$ 

をガウス写像（英: Gauss map^[12]、英: Gauss spherical mapping^[13]）という。

ガウス写像はガウス曲率と以下の関係を満たす：

定理 (ガウス写像によるガウス曲率の意味付け) ― M、S²の体積要素をそれぞれ${\displaystyle dV}$ 、${\displaystyle dV'}$ とするとき、ガウス写像が誘導する写像

${\displaystyle G^{*}~:~\bigwedge ^{2}T_{G(P)}^{*}S^{2}\to \bigwedge ^{2}T_{P}^{*}M}$ 

は、

${\displaystyle G^{*}(dV'_{G(P)})=K_{P}dV_{P}}$ 

を満たす。ここでK_Pは点PにおけるMのガウス曲率である^[12]。

上記の事実にド・ラームコホモロジーの一般論を組み合わせる事で、以下が従う：

定理 ―  ${\displaystyle M\subset \mathbb {R} ^{3}}$ がコンパクトで縁がなければ、ガウス写像${\displaystyle G~:~M\to S^{2}}$ の写像度${\displaystyle \mathrm {deg} (G)}$ は

${\displaystyle \mathrm {deg} (G)={\int _{M}G^{*}(dV') \over \int _{S^{2}}dV'}={\int _{M}KdV \over 4\pi }}$ 

に等しい^[14]。

すなわち、断面曲率KのM上の積分はガウス写像の写像度の4π倍に等しいが、ガウス・ボンネの定理は、このガウス写像の写像度がMのオイラー標数の1/2に等しい事を意味する。

組み合わせ論的な類似

ガウス・ボンネの定理にはいくつかの組み合わせ論的な類似が成り立つ。${\displaystyle M}$  を有限な 2次元(擬多様体)（英語版）(pseudo-manifold)とし、${\displaystyle \chi (v)}$  を頂点 ${\displaystyle v}$  を持つ三角形の数とすると、

${\displaystyle \sum _{v\in {\mathrm {int} }{M}}(6-\chi (v))+\sum _{v\in \partial M}(3-\chi (v))=6\chi (M)}$ 

が成り立つ。ここに最初の和は ${\displaystyle M}$  の内部の頂点を渡り、第二の和は境界上の頂点の和をとり、${\displaystyle \chi (M)}$  は ${\displaystyle M}$  のオイラー標数を表す。

三角形を頂点の多い多角形に置き換えても、2-次元擬多様体に対しては同じ公式が成り立つ。n 頂点の多角形に対しては、式の中の 3 と 6 をそれぞれ n/(n-2) と 2n/(n-2) に置き換えればよい。例えば、四角形に対し、それぞれ式の中の 3 と 6 を 2 と 4 へと置き換えればよい。さらに特別な場合は、${\displaystyle M}$  が閉じた 2-次元の(デジタル多様体)（英語版）(digital manifold)であれば、種数は、

${\displaystyle g=1+(M_{5}+2M_{6}-M_{3})/8,\ }$ 

となる^[15]。ここに ${\displaystyle M_{i}}$  は曲面上で ${\displaystyle i}$  個の隣接点を持つような曲面上の点の数を表している。

一般化

必ずしもコンパクトではない 2-次元多様体への一般化は、(コーン・ヴォッセンの不等式)（英語版）(Cohn-Vossen's inequality)である。

ガウス・ボンネの定理は偶数次元のリーマン多様体に一般化でき、チャーン・ガウス・ボンネの定理と呼ばれる。この定理は曲率から定まる「オイラー形式」の積分がその多様体のオイラー標数でかける、という形で記述される。最初の証明は(カール・アレンドエルファー)（英語版）(Carl Allendoerfer)とアンドレ・ヴェイユ(André Weil)によって1943年に得られたが^[16]、この証明は非常に複雑なものであった^[16]。

1944年、S. S. チャーン（陳省身）はたった6ページの論文でチャーン・ガウス・ボンネの定理を示した^[16]。チャーンはさらにこの証明のアイデアを発展させ、チャーン・ヴェイユ理論を確立した。この理論はベクトルバンドルの曲率を特性類と結びつけるもので、この理論を使うことでチャーン・ガウス・ボンネの定理は「ファイバーの次元が偶数の計量ベクトルバンドルのオイラー形式が表すド・ラームコホモロジー類はオイラー類に等しい」という形に一般化される。接バンドルに対するこの定理が前述のチャーン・ガウス・ボンネの定理に一致する。

なおガウス・ボンネの定理の奇数次元への一般化は、自明なものになってしまい、チャーンは奇数次元の場合はオイラー形式が恒等的に0になってしまう事を示している^[17]。奇数次元閉多様体のオイラー標数が常に0になるので、以上のことから奇数次元のガウス・ボンネの定理は「0の積分は0」というものになってしまう。 チャーン・ガウス・ボンネの定理の非常に広汎な一般化としてアティヤ・シンガーの指数定理があり、この定理はチャーン・ガウス・ボンネの定理のみならず、ヒルツェブルフ・リーマン・ロッホの定理や(ヒルツェブルフの符号数定理)（英語版）の一般化にもなっている。

チャーン・ガウス・ボンネの定理の非常に広汎な一般化としてアティヤ・シンガーの指数定理があり、この定理はチャーン・ガウス・ボンネの定理のみならず、ヒルツェブルフ・リーマン・ロッホの定理や(ヒルツェブルフの符号数定理)（英語版）の一般化にもなっている。

参考文献

• 小林昭七『曲線と曲面の微分幾何』裳華房〈基礎数学選書 17〉、1977年8月20日。(ASIN) B000J8X6V8。ISBN (4-7853-1119-3)。 
• Marco Abate, Francesca Tovena (2011/10/6). Curves and Surfaces. UNITEXT. Springer. ISBN (978-8847019409) 
• 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 
• Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN (978-3319550824) 
• Marcel Berger (2003/6/15). A Panoramic View of Riemannian Geometry. Springer. ISBN (978-3540653172) 
• John M. Lee (1997/9/23). Riemannean Manifolds An introduction to curvature.. Graduate Texts in Mathematics. 176. Springer. ISBN (978-0387983226) 
• Manfredo P. do Carmo Francis Flaherty訳 (1994/2/24). Riemannian Geometry. Mathematics: Theory & Applications. Birkhauser Boston. ISBN (978-0817634902) 
• Yin Li. “The Gauss-Bonnet-Chern Theorem on Riemannian Manifolds” (PDF). 2023年5月18日閲覧。

脚注

出典

1. ^ #小林77 p.173.
2. ^ C. F. Gauss『Disquisitiones generales circa superficies curvas』1827年。 
3. ^ ^{a b c} #Wu p.1.
4. ^ O. Bonnet (1848). “Mémoire sur la thé orie géné rale des surfaces”. J. de l’Ecole Poly-technique (Tome 19, Cahier 32): 1-146. 
5. ^ #小林77 p.128.
6. ^ #Berger pp.112,138.
7. ^ #Lee pp.164,167.
8. ^ #Tu p.92.
9. ^ #Abate p.319
10. ^ #Gilkey p.126
11. ^ #Carmo p.131.
12. ^ ^{a b} #Lee p.151.
13. ^ #Carmo p.129
14. ^ #Zhu pp.1-2.
15. ^ Chen L and Rong Y, Linear Time Recognition Algorithms for Topological Invariants in 3D, arXiv:0804.1982, ICPR 2008
16. ^ ^{a b c} #Li p.4.
17. ^ #Li p.17.

注釈

1. ^ すなわちAは2次元円盤と位相同型なC∞級の多様体であり、∂Aは区分的になめらかであり、∂Aがなめらかでない部分を多角形の頂点とみなす。∂Aは区分的になめらかなので、各頂点において右方微分と左方微分が定義でき、（A上のリーマン計量で角度を定義したとき）右方微分と左方微分のなす角を外角と定義する。
2. ^ すなわち、${\displaystyle P(s)}$ を∂Aに沿った曲線（を弧長パラメータでパラメとライズしたもの）とし、${\displaystyle {\vec {n}}}$ をAに対して内向きな∂Aの単位法線とするとき、${\displaystyle \kappa =g({\tfrac {d^{2}P}{ds^{2}}},{\vec {n}})}$ と定義する。
3. ^ この多角形のバージョンのガウス・ボンネの定理をlocal Gauss-Bonnet Theorem、オイラー標数を使った一般のバージョンをglobal Gauss-Bonnet Theoremと呼んで区別するもの^[6]や、多角形のバージョンをGauss-Bonnet Formula、一般のバージョンをGauss-Bonnet Theoremと呼んで区別するもの^[7]がある。

外部リンク

• Hazewinkel, Michiel, ed. (2001), "Gauss-Bonnet theorem", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
• Gauss–Bonnet Theorem at Wolfram Mathworld