ガウス・ボンネの定理

ガウス・ボンネの定理(Gauss–Bonnet theorem)は、リーマン計量が定義された曲面における曲率の積分がその曲面のオイラー標数で表せる、という趣旨の定理である。これは曲面の局所的な微分幾何学的構造（曲率）の積分とその曲面の大域的な位相幾何学的構造（オイラー標数）とを結び付ける重要な定理である。
この定理はカール・フリードリヒ・ガウスが1827年に論文で測地線で囲まれた三角形の場合に対して証明し、ピエール・オシアン・ボンネが1848年に論文で一般の曲面に対して定理を示した。なおジャック・フィリップ・マリー・ビネがボンネとは独立に一般の場合を示していたが、ビネは成果を発表しなかった。

**定理**

**多角形の場合**
上記の定理で断面曲率（sectional curvature）は、リーマン計量gとリーマンの曲率テンソルRを用いてAの各点Pに対し、
 
により定義される量である。ここでは点Pにおけるの基底である。断面曲率がの取り方によらずwell-definedである事は容易に確認できる。

**向き付け可能なコンパクト2次元リーマン多様体の場合**
与えられた向き付け可能な曲面Mを三角形分割して上記の定理を適用する事により、任意の向き付け可能な2次元リーマン多様体に対し以下が成立する事がわかる：
Mが多角形であれば、1=χ(M)=1であるので、上記の定理は前述した多角形に対するガウス・ボンネの定理の一般化になっている。

**向き付け不能な場合**
が向き付け不能であっても、面積要素による積分の代わりに向きを考えない面積要素による積分を用いる事で、ガウス・ボンネの定理を向き付け不能な曲面に対して一般化できる：任意の向き付け不能な多様体は向き付け可能な２重被覆（orientation covering）を持つので、上記の定理は前述した向き付け可能な場合から容易に従う。

**定曲率の場合**
任意の点における断面曲率が一定値cである2次元リーマン多様体を定曲率cの2次元リーマン多様体という。Aが定曲率の多角形で、しかもAの辺が測地線である場合は以下の系が従う：断面曲率cが0であれば、上記の系は多角形の外角の和が2πになるというユークリッド幾何学の古典的な定理に一致する。1=c=1、1=c=-1の場合もそれぞれ球面幾何学（球面三角法）、双曲幾何学でよく知られた多角形の面積公式に一致する。
向き付け可能な縁無しコンパクトリーマン多様体Mに対しても同様に
 
である事が導ける。Mの種数がgで縁がない場合、なので、上記の事実と合わせると、コンパクト縁無し向き付け可能2次元リーマン多様体Mが定曲率cを持つ場合、
 
が成立する事がわかる。実はこの条件下、実際に定曲率構造がMに入る事が知られている。すなわち1=g=0の場合は単位球面、1=g=1の場合はユークリッド平面を格子で割ったトーラスとして曲率1、0の計量が入る。またgが2以上の場合には曲率-1の計量が入る（パンツ分解により具体的に構成できる）。ただし1=g=1、およびg≧2の場合は定曲率構造は一意ではなく、「定曲率構造全体の空間」はモジュライ空間をなす。

**内の曲面の場合**
本節では、Mが内の（級の）曲面で、Mにはの内積から定まるリーマン計量が入っている場合に対し、ガウス・ボンネの定理の幾何学的な意味を見る。
このために断面曲率の幾何学的意味を見る。まず、Mが内の曲面の場合にはMの断面曲率はガウス曲率に一致する：ここで点Pにおける曲面Mのガウス曲率は、の単位ベクトルeに対し、M上の測地線のにおける曲率をとしたとき、が最大となるものと最小となるものの積で与えられる。
次にMの各点Pに対し、をPにおけるMの単位法線とする。単位法線は符号をつける事で２本存在するが、が向き付け可能な場合には、がPに関して連続になるように選ぶ事ができる。
各点P∈Mに対し、ベクトルは長さ1のベクトルなので、を原点中心の単位球の元とみなす事ができる。このようにみなす事で定義できる写像
 
をガウス写像（Gauss map、Gauss spherical mapping）という。
ガウス写像はガウス曲率と以下の関係を満たす：
ガウス写像が（写像が退化していない点に対して）n：1の写像になっているとき、nの事をガウス写像の写像度という。上記の定理から、M上でガウス曲率を積分したものは、の面積に写像度をかけた値になる事が予想される。
上記の直観はド・ラームコホモロジーの一般論で正当化でき、以下の結論が従う：
すなわち、断面曲率KのM上の積分はガウス写像の写像度の4π倍に等しいが、ガウス・ボンネの定理は、このガウス写像の写像度がMのオイラー標数の1/2に等しい事を意味する。

**組み合わせ論的な類似**
ガウス・ボンネの定理にはいくつかの組み合わせ論的な類似が成り立つ。 を有限な 2次元pseudo-manifold(pseudo-manifold)とし、 を頂点  を持つ三角形の数とすると、

が成り立つ。ここに最初の和は  の内部の頂点を渡り、第二の和は境界上の頂点の和をとり、 は  のオイラー標数を表す。
三角形を頂点の多い多角形に置き換えても、2-次元擬多様体に対しては同じ公式が成り立つ。n 頂点の多角形に対しては、式の中の 3 と 6 をそれぞれ n/(n-2) と 2n/(n-2) に置き換えればよい。例えば、四角形に対し、それぞれ式の中の 3 と 6 を 2 と 4 へと置き換えればよい。さらに特別な場合は、 が閉じた 2-次元のdigital manifold(digital manifold)であれば、種数は、

となる。ここに  は曲面上で  個の隣接点を持つような曲面上の点の数を表している。

**一般化**
必ずしもコンパクトではない 2-次元多様体への一般化は、Cohn-Vossen's inequality(Cohn-Vossen's inequality)である。
ガウス・ボンネの定理は偶数次元のリーマン多様体に一般化でき、チャーン・ガウス・ボンネの定理と呼ばれる。この定理は曲率から定まる「オイラー形式」の積分がその多様体のオイラー標数に一致する、という形で記述される。最初の証明は(Carl Allendoerfer)とアンドレ・ヴェイユ(André Weil)によって1943年に得られたが、この証明は非常に複雑なものであった。
1944年、S. S. チャーン（陳省身）はたった6ページの論文でチャーン・ガウス・ボンネの定理を示した。チャーンはさらにこの証明のアイデアを発展させ、チャーン・ヴェイユ理論を確立した。この理論はベクトルバンドルの曲率を特性類と結びつけるもので、この理論を使うことでチャーン・ガウス・ボンネの定理は「ファイバーの次元が偶数の計量ベクトルバンドルのオイラー形式が表すド・ラームコホモロジー類はオイラー類に等しい」という形に一般化される。接バンドルに対するこの定理が前述のチャーン・ガウス・ボンネの定理に一致する。
なおガウス・ボンネの定理の奇数次元への一般化は、自明なものになってしまい、チャーンは奇数次元の場合はオイラー形式が恒等的に0になってしまう事を示している。奇数次元閉多様体のオイラー標数が常に0になるので、以上のことから奇数次元のガウス・ボンネの定理は「0の積分は0」というものになってしまう。
チャーン・ガウス・ボンネの定理の非常に広汎な一般化としてアティヤ・シンガーの指数定理があり、この定理はチャーン・ガウス・ボンネの定理のみならず、ヒルツェブルフ・リーマン・ロッホの定理やHirzebruch signature theoremの一般化にもなっている。

**参考文献**
 ref=小林77- Cite book|洋書|title=Curves and Surfaces|date=2011/10/6|publisher=Springer|author=Marco Abate, Francesca Tovena|series=UNITEXT|isbn=978-8847019409|ref=Abate- 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=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- Cite book|洋書|title=A Panoramic View of Riemannian Geometry|date=2003/6/15|publisher=Springer|author=Marcel Berger|isbn=978-3540653172|ref=Berger|- 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- translator=Francis Flaherty
*ref=Li

**脚注**

**出典**

**注釈**

**関連項目**
 部分リーマン多様体の接続と曲率：高次元の場合のガウス・ボンネの定理について記載

**外部リンク**
 urlname=Gauss-Bonnet_theorem- Gauss–Bonnet Theorem at Wolfram Mathworld