Chern–Gauss–Bonnet theorem
In mathematics, the generalized Gauss–Bonnet theorem (also called Chern–Gauss–Bonnet theorem after Shiing-Shen Chern, Carl Friedrich Gauss and Pierre Ossian Bonnet) presents the Euler characteristic of a closed even-dimensional Riemannian manifold as an integral of a certain polynomial derived from its curvature. It is a direct generalization of the Gauss–Bonnet theorem (named after Carl Friedrich Gauss and Pierre Ossian Bonnet) to higher dimensions.
Let M be a compact orientable 2n-dimensional Riemannian manifold without boundary, and let be the curvature form of the Levi-Civita connection. This means that is an -valued 2-form on M. So can be regarded as a skew-symmetric 2n × 2n matrix whose entries are 2-forms, so it is a matrix over the commutative ring . One may therefore take the Pfaffian , which turns out to be a 2n-form.
The generalized Gauss–Bonnet theorem states that
where denotes the Euler characteristic of M.
Example: four dimensional manifolds
In dimension , for a compact oriented manifold, we get
where is the full Riemann curvature tensor, is the Ricci curvature tensor, and is the scalar curvature.
Further generalizations
As with the two-dimensional Gauss–Bonnet theorem, there are generalizations when M is a manifold with boundary.
The Gauss–Bonnet theorem can be seen as a special instance in the theory of characteristic classes. The Gauss–Bonnet integrand is the Euler class. Since it is a top-dimensional differential form, it is closed. The naturality of the Euler class means that when you change the Riemannian metric, you stay in the same cohomology class. That means that the integral of the Euler class remains constant as you vary the metric, and so is an invariant of smooth structure.
A far-reaching generalization of the Gauss–Bonnet theorem is the Atiyah–Singer Index Theorem. Let be a (weakly) elliptic differential operator between vector bundles. That means that the principal symbol is an isomorphism. (Strong ellipticity would furthermore require the symbol to be positive-definite.) Let be the adjoint operator. Then the index is defined as dim(ker(D))-dim(ker(D*)), and by ellipticity is always finite. The Index Theorem states that this analytical index is constant as you vary the elliptic operator smoothly. It is in fact equal to a topological index, which can be expressed in terms of characteristic classes. The 2-dimensional Gauss–Bonnet theorem arises as the special case where the topological index is defined in terms of Betti numbers and the analytical index is defined in terms of the Gauss–Bonnet integrand.
See also
References
- Cycon, Hans; Froese, Richard; Kirsch, Werner; Simon, Barry (1987), Schrödinger operators (1st ed.), Berlin, New York: Springer-Verlag, ISBN 3-540-16758-7 Chapter 12
- Chern, Shiing-Shen (1945), "On the curvatura integra in Riemannian manifold", Annals of Mathematics, 46 (4): 674–684, doi:10.2307/1969203, JSTOR 1969203 This is the historically first time that Chern–Gauss–Bonnet was proven without assuming the manifold to be a hypersurface. For hypersurfaces, the result had been shown first by Allendoerfer and Weil in 1940 which is cited in this paper of Chern.