World Library  
Flag as Inappropriate
Email this Article

Sectional curvature

Article Id: WHEBN0000285618
Reproduction Date:

Title: Sectional curvature  
Author: World Heritage Encyclopedia
Language: English
Subject: Curvature, Riemann curvature tensor, Soul theorem, Myers's theorem, Cheng's eigenvalue comparison theorem
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Sectional curvature

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional plane σp in the tangent space at p. It is the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp (in other words, the image of σp under the exponential map at p). The sectional curvature is a smooth real-valued function on the 2-Grassmannian bundle over the manifold.

The sectional curvature determines the curvature tensor completely.

Contents

  • Definition 1
  • Manifolds with constant sectional curvature 2
  • Toponogov's theorem 3
  • Manifolds with non-positive sectional curvature 4
  • Manifolds with positive sectional curvature 5
  • References 6
  • See also 7

Definition

Given a Riemannian manifold and two linearly independent tangent vectors at the same point, u and v, we can define

K(u,v)={\langle R(u,v)v,u\rangle\over \langle u,u\rangle\langle v,v\rangle-\langle u,v\rangle^2}

Here R is the Riemann curvature tensor.

In particular, if u and v are orthonormal, then

K(u,v) = \langle R(u,v)v,u\rangle.

The sectional curvature in fact depends only on the 2-plane σp in the tangent space at p spanned by u and v. It is called the sectional curvature of the 2-plane σp, and is denoted Kp).

Manifolds with constant sectional curvature

Riemannian manifolds with constant sectional curvature are the simplest. These are called space forms. By rescaling the metric there are three possible cases

The model manifolds for the three geometries are hyperbolic space, Euclidean space and a unit sphere. They are the only connected, complete, simply connected Riemannian manifolds of given sectional curvature. All other connected complete constant curvature manifolds are quotients of those by some group of isometries.

If for each point in a connected Riemannian manifold (of dimension three or greater) the sectional curvature is independent of the tangent 2-plane, then the sectional curvature is in fact constant on the whole manifold.

Toponogov's theorem

Toponogov's theorem affords a characterization of sectional curvature in terms of how "fat" geodesic triangles appear when compared to their Euclidean counterparts. The basic intuition is that, if a space is positively curved, then the edge of a triangle opposite some given vertex will tend to bend away from that vertex, whereas if a space is negatively curved, then the opposite edge of the triangle will tend to bend towards the vertex.

More precisely, let M be a complete Riemannian manifold, and let xyz be a geodesic triangle in M (a triangle each of whose sides is a length-minimizing geodesic). Finally, let m be the midpoint of the geodesic xy. If M has non-negative curvature, then for all sufficiently small triangles

d(z,m)^2\ge \tfrac12d(z,x)^2 + \tfrac12d(z,y)^2 - \tfrac14d(x,y)^2

where d is the distance function on M. The case of equality holds precisely when the curvature of M vanishes, and the right-hand side represents the distance from a vertex to the opposite side of a geodesic triangle in Euclidean space having the same side-lengths as the triangle xyz. This makes precise the sense in which triangles are "fatter" in positively curved spaces. In non-positively curved spaces, the inequality goes the other way:

d(z,m)^2\le \tfrac12d(z,x)^2 + \tfrac12d(z,y)^2 - \tfrac14d(x,y)^2.

If tighter bounds on the sectional curvature are known, then this property generalizes to give a comparison theorem between geodesic triangles in M and those in a suitable simply connected space form; see Toponogov's theorem. Simple consequences of the version stated here are:

  • A complete Riemannian manifold has non-negative sectional curvature if and only if the function f_p(x)=\operatorname{dist}^2(p,x) is 1-concave for all points p.
  • A complete simply connected Riemannian manifold has non-positive sectional curvature if and only if the function f_p(x)=\operatorname{dist}^2(p,x) is 1-convex.

Manifolds with non-positive sectional curvature

In 1928, Élie Cartan proved the Cartan–Hadamard theorem: if M is a complete manifold with non-positive sectional curvature, then its universal cover is diffeomorphic to a Euclidean space. In particular, it is aspherical: the homotopy groups \pi_i(M) for i ≥ 2 are trivial. Therefore, the topological structure of a complete non-positively curved manifold is determined by its fundamental group. Preissman's theorem restricts the fundamental group of negatively curved compact manifolds.

Manifolds with positive sectional curvature

Little is known about the structure of positively curved manifolds. The soul theorem (Cheeger & Gromoll 1972; Gromoll & Meyer 1969) implies that a complete non-compact non-negatively curved manifold is diffeomorphic to a normal bundle over a compact non-negatively curved manifold. As for compact positively curved manifolds, there are two classical results:

  • It follows from the Myers theorem that the fundamental group of such manifold is finite.
  • It follows from the Synge theorem that the fundamental group of such manifold in even dimensions is 0, if orientable and \Bbb Z_2 otherwise. In odd dimensions a positively curved manifold is always orientable.

Moreover, there are relatively few examples of compact positively curved manifolds, leaving a lot of conjectures (e.g., the Hopf conjecture on whether there is a metric of positive sectional curvature on \Bbb S^2\times\Bbb S^2). The most typical way of constructing new examples is the following corollary from the O'Neill curvature formulas: if (M,g) is a Riemannian manifold admitting a free isometric action of a Lie group G, and M has positive sectional curvature on all 2-planes orthogonal to the orbits of G, then the manifold M/G with the quotient metric has positive sectional curvature. This fact allows one to construct the classical positively curved spaces, being spheres and projective spaces, as well as these examples (Ziller 2007):

  • The Berger spaces B^7=SO(5)/SO(3) and B^{13}=SU(5)/Sp(2)\cdot\Bbb S^1.
  • The Wallach spaces (or the homogeneous flag manifolds): W^6=SU(3)/T^2, W^{12}=Sp(3)/Sp(1)^3 and W^{24}=F_4/Spin(8).
  • The Aloff–Wallach spaces W^7_{p,q}=SU(3)/\operatorname{diag}(z^p,z^q,\overline{z}^{p+q}).
  • The Eschenburg spaces E_{k,l}=\operatorname{diag}(z^{k_1},z^{k_2},z^{k_3})\backslash SU(3)/\operatorname{diag}(z^{l_1},z^{l_2},z^{l_3})^{-1}.
  • The Bazaikin spaces B^{13}_p=\operatorname{diag}(z_1^{p_1},\dots,z_1^{p_5})\backslash U(5)/\operatorname{diag}(z_2A,1)^{-1}, where A\in Sp(2)\subset SU(4).

References

  • Cheeger, Jeff; Gromoll, Detlef (1972), "On the structure of complete manifolds of nonnegative curvature",  .
  • Gromoll, Detlef; Meyer, Wolfgang (1969), "On complete open manifolds of positive curvature",  .
  • .  
  • Petersen, Peter (2006), Riemannian geometry, Graduate Texts in Mathematics 171 (2nd ed.), Berlin, New York: .  
  • Ziller, Wolfgang (2007). "Examples of manifolds with non-negative sectional curvature". .  

See also

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.