Generalized Gauss–Bonnet theorem - Alchetron, the free social encyclopedia

In mathematics, the generalized Gauss–Bonnet theorem (also called Chern–Gauss–Bonnet theorem) 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 s o ( 2 n ) -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 ∧ even T ∗ M . One may therefore take the Pfaffian Pf ( Ω ) , which turns out to be a 2n-form.

The generalized Gauss–Bonnet theorem states that

∫ M Pf ( Ω ) = ( 2 π ) n χ ( M )

where χ ( M ) denotes the Euler characteristic of M.

Example: dimension 4

In dimension n = 4 , for a compact oriented manifold, we get

χ ( M ) = 1 32 π 2 ∫ M ( | R m | 2 − 4 | R c | 2 + R 2 ) d μ

where R m is the full Riemann curvature tensor, R c is the Ricci curvature tensor, and R 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 D 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 D ∗ 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.

References

Generalized Gauss–Bonnet theorem Wikipedia

(Text) CC BY-SA

Contents

Example: dimension 4

Further generalizations

References