LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

Similar documents
Riemannian Curvature Functionals: Lecture III

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18

Riemannian Curvature Functionals: Lecture I

RICCI CURVATURE OF SUBMANIFOLDS IN SASAKIAN SPACE FORMS

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

Representation theory and the X-ray transform

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

Parallel and Killing Spinors on Spin c Manifolds. 1 Introduction. Andrei Moroianu 1

7 Curvature of a connection

How curvature shapes space

Jeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi

THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

UNIVERSITY OF DUBLIN

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 21 (2005), ISSN

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

CHAPTER 1 PRELIMINARIES

338 Jin Suk Pak and Yang Jae Shin 2. Preliminaries Let M be a( + )-dimensional almost contact metric manifold with an almost contact metric structure

LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction

Differential Geometry II Lecture 1: Introduction and Motivation

BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

1 v >, which will be G-invariant by construction.

Symplectic critical surfaces in Kähler surfaces

Critical metrics on connected sums of Einstein four-manifolds

Spacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds

LECTURE 16: CONJUGATE AND CUT POINTS

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Mathematical methods to capture shape

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

GEOMETRIC QUANTIZATION

Hermitian vs. Riemannian Geometry

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

Two simple ideas from calculus applied to Riemannian geometry

LECTURE 1: LINEAR SYMPLECTIC GEOMETRY

A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS

Connections for noncommutative tori

Lecture 4 - The Basic Examples of Collapse

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

CHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.

h-principles for the curvature of (semi-)riemannian metrics

1 First and second variational formulas for area

Research Article On Submersion of CR-Submanifolds of l.c.q.k. Manifold

Holomorphic line bundles

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

ON THE GEOMETRY OF CONFORMAL FOLIATIONS WITH MINIMAL LEAVES

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)

Handlebody Decomposition of a Manifold

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

Math 433 Outline for Final Examination

William P. Thurston. The Geometry and Topology of Three-Manifolds

On Einstein Kropina change of m-th root Finsler metrics

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

FFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations

DIFFERENTIAL GEOMETRY. LECTURE 12-13,

SMSTC (2017/18) Geometry and Topology 2.

LECTURE 26: THE CHERN-WEIL THEORY

Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields

Is Every Invertible Linear Map in the Structure Group of some Algebraic Curvature Tensor?

A brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström

1. Geometry of the unit tangent bundle

1 Hermitian symmetric spaces: examples and basic properties

HYPERKÄHLER MANIFOLDS

Draft version September 15, 2015

Hyperkähler geometry lecture 3

Introduction to Poincare Conjecture and the Hamilton-Perelman program

Holonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012

The Strominger Yau Zaslow conjecture

NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES

4.7 The Levi-Civita connection and parallel transport

Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields

Modern Geometric Structures and Fields

Initial-Value Problems in General Relativity

AXIOMATIC AND COORDINATE GEOMETRY

Fuchsian groups. 2.1 Definitions and discreteness

5 Constructions of connections

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

An Introduction to Riemann-Finsler Geometry

How to recognize a conformally Kähler metric

10. Smooth Varieties. 82 Andreas Gathmann

arxiv:math/ v1 [math.dg] 19 Nov 2004

Exploring the Exotic Setting for Algebraic Geometry

arxiv: v3 [math.dg] 13 Mar 2011

Transport Continuity Property

RICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey

SYMPLECTIC GEOMETRY: LECTURE 1

AFFINE SPHERES AND KÄHLER-EINSTEIN METRICS. metric makes sense under projective coordinate changes. See e.g. [10]. Form a cone (1) C = s>0

GENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE. 1. Introduction

ON KENMOTSU MANIFOLDS

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

Qualifying Exams I, Jan where µ is the Lebesgue measure on [0,1]. In this problems, all functions are assumed to be in L 1 [0,1].

On homogeneous Randers spaces with Douglas or naturally reductive metrics

The Geometrization Theorem

Codimension 2 submanifolds with flat normal bundle in euclidean space

L6: Almost complex structures

A CHARACTERIZATION OF GENERALIZED QUASI-EINSTEIN MANIFOLDS

Transcription:

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to the first two entries and with respect to the last two entries. Lemma 1.1. Suppose T ( V ), X, Y V. Let X = ax +by, Y = cx +dy, then T (X, Y, X, Y ) = (ad bc) T (X, Y, X, Y ). Proof. This follows from a very simple computation: T (X, Y, X, Y ) = T (ax + by, cx + dy, ax + by, cx + dy ) = (ad bc)t (X, Y, ax + by, cx + dy ) = (ad bc) T (X, Y, X, Y ). Now suppose (M, g) is a Riemannian manifold. Recall that 1 g g is a curvaturelike tensor, such that 1 g g(x p, Y p, X p, Y p ) = X p, X p Y p, Y p X p, Y p. Applying the previous lemma to Rm and 1 g g, we immediately get Proposition 1.. The quantity K(X p, Y p ) := Rm(X p, Y p, X p, Y p ) X p, X p Y p, Y p X p, Y p depends only on the two dimensional plane Π p = span(x p, Y p ) T p M, i.e. it is independent of the choices of basis {X p, Y p } of Π p. Definition 1.3. We will call K(Π p ) = K(X p, Y p ) the sectional curvature of (M, g) at p with respect to the plane Π p. Remark. The sectional curvature K is NOT a function on M (for dim M > ), but a function on the Grassmann bundle G m, (M) of M. 1

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES Example. Suppose dim M =, then there is only one sectional curvature at each point, which is exactly the well-known Gaussian curvature (exercise): R 11 κ =. g 11 g g1 In fact, for Riemannian manifold M of higher dimensions, K(Π p ) is the Gaussian curvature of a -dimensional submanifold of M that is tangent to Π p at p. Example. For (R m, g 0 ), one has Rm = 0, so K(Π p ) 0. Example. For (S m, g round ), one has Rm = 1 g g, so K(Π p ) 1. So the sectional curvature is essentially the restriction of the Riemann curvature tensor to special set of vectors. A natural questions is: what information of Rm do we loss in this precedure? and the answer is: we don t loss any information, because of the symmetry of Rm. To show this, we first prove Lemma 1.4. Let T be a curvature-like tensor, and let f X,Y,Z,W (t) = T (X+tZ, Y +tw, X+tZ, Y +tw ) t (T (X, W, X, W )+T (Z, Y, Z, Y )). Then (f X,Y,Z,W f Y,X,Z,W ) (0) = 1T (X, Y, Z, W ). Proof. Obviously f X,Y,Z,W is a polynomial of degree 4 in t, whose quadratic coefficients equals which equals T (Z, W, X, Y ) + T (Z, Y, X, W ) + T (X, W, Z, Y ) + T (X, Y, Z, W ). T (X, Y, Z, W ) + T (Z, Y, X, W ). Similarly the quadratic coefficient of f Y,X,Z,W equals T (Y, X, Z, W ) + T (Z, X, Y, W ). So the quadratic coefficient of f X,Y,Z,W (t) f Y,X,Z,W (t) is T (X, Y, Z, W ) + T (Z, Y, X, W ) T (Y, X, Z, W ) T (Z, X, Y, W ), which, after applying the first Bianchi identity, equals Applying the lemma to Rm, we get 6T (X, Y, Z, W ). Corollary 1.5. The values of Rm(X p, Y p, X p, Y p ) for all X p, Y p T p M determines the tensor Rm at p.

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 3 Of course for most Riemannian manifolds, its sectional curvatures are not constant and really depend on the -plane Π p. We will explain the geometric meaning of K(Π p ) later, after we develop more geometric tools. We will see whether the sectional curvatures of a Riemannian manifold are constant, or more generally although not constant but still bounded by some inequalities (e.g. non-negative, non-positive etc) will have much implications to the analysis, geometry and topology of (M, g). Definition 1.6. A Riemannian manifold (M, g) is said to have constant (sectional) curvature if its sectional curvature K(Π p ) is a constant, i.e. is independent of p and is independent of Π p T p M. Definition 1.7. We say (M, g) is a flat manifold if its sectional curvatures are identically zero. Example. (R m, g 0 ) is flat. Example. The torus T m = S 1 S 1, endowed with the product metric of the standard rotation-invariant metric on S 1, is flat. To see this, one notice that near each point of T m, there is a local coordinates θ 1,, θ m so that g = dθ 1 dθ 1 + + dθ m dθ m. Since the coefficients are constants, one immediately see that Γ k ij s are zero, and thus R ijkl,s are zero. [One can also think of T m = R m /Z m, then the flat metric on T m we just described is the quotient metric of the standard flat metric on R m.] Example. We have seen (S m, g round ) has constant curvature 1. We will see in exercise that the hyperbolic space (H m, g hyperbolic ) has constant curvature 1. Remark. In fact (R m, g 0 ), (S m, g round ) and (H m, g hyperbolic ) are the canonical examples of constant curvature manifolds, in the sense that the universal covering of any complete Riemannian manifold of constant curvature must be isometric to one of the three examples. Proposition 1.8. A Riemannian manifold has constant curvature k if and only if Rm = k g g. Proof. According to lemma 1.4, if T is a curvature like tensor, then T 0 T (X, Y, X, Y ) = 0, X, Y. Apply this to the curvature-like tensor T = Rm k g g, we see Rm = k g g K(Π p) = k, Π p.

4 LECTURE 8: THE SECTIONAL AND RICCI CURVATURES On the other hand side, last time we proved that the Riemann curvature tensor admits the following orthogonal (thus unique!) decomposition Rm = W + 1 m E g + S m(m 1) g g From this we get (Recall E = Ric S m g) Proposition 1.9. A Riemannian manifold (M, g) has constant curvature k if and only if W = 0 and Ric = (m 1)kg. Proof. If (M, g) has constant sectional curvature k, then by the uniqueness of the decomposition, W = 0, E = 0 and S = m(m 1)k. As a result, Ric = (m 1)kg. Conversely if W = 0 and Ric = (m 1)kg, then So E = 0 and thus S = T r(ric) = m(m 1)k. Rm = k g g, i.e. (M, g) has constant curvature k. We remark that as a consequence, the scalar curvature of for a Riemannian manifold of constant curvature k must be S = m(m 1)k. The next theorem shows that for Riemannian manifolds of dimension 3, if the sectional curvature depends only on p, then it is independent of p. Before we prove it, we need the following Lemma 1.10. For any vector field V on M, we have V g g = 0. Proof. The covariant derivative with respect to V of the first term in the expression of g g is V (g(x, Z)g(Y, W )) g( V X, Z)g(Y, W ) g(x, V Z)g(Y, W ) g(x, Z)g( V Y, W ) g(x, Z)g(Y, V W ) which vanishes according to the metric compatibility of. Same holds for the other three terms of g g. Now we are ready to prove Theorem 1.11 (Schur). Let (M, g) be a Riemannian manifold of dimension m 3. If K(Π p ) = f(p) depends only on p, then (M, g) is of constant curvature.

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 5 Proof. For simplicity we denote R 0 = 1 g g. Then by the assumption, Rm = fr 0, where f is a function on M. Since V R 0 = 0 for all V, we conclude V Rm = V (fr 0 ) = V (f)r 0. Now let s apply the second Bianchi identity: 0 = ( X Rm)(Y, Z, W, V ) + ( Y Rm)(Z, X, W, V ) + ( Z Rm)(X, Y, W, V ) = X(f)R 0 (Y, Z, W, V ) + Y (f)r 0 (Z, X, W, V ) + Z(f)R 0 (X, Y, W, V ). This identity holds for any X, Y, Z, W, V, and the right hand side only depends on X p, Y p, Z p, W p, V p since it is a tensor identity. If we take X p, Y p, Z p T p M so that (note that this is only possible if dim M 3) X p 0, Y p 0, Z p = 1, X p, Y p = Y p, Z p = Z p, X p = 0 and let V p = Z p, then the above identity becomes X p (f) Y p, W p Y p (f) X p, W p = 0. This holds for any W p T p M, so we conclude X p (f)y p Y p (f)x p = 0 holds as long as X p, Y p 0 and X p, Y p = 0. In particular, we know that X p (f) = 0 for all X p 0. This is true for all p. So f must be a constant function on M. Remark. Obviously the theorem fails in dimension, in which case the sectional curvature is always a function on M but need not be a constant.. The Ricci Curvatures Recall that the Ricci curvature tensor Ric is the contraction of the Riemann curvature tensor Rm, Ric(X, Y ) = c(rm)(x, Y ) = Tr(Z Rm(X, Z, Y, )). It is a symmetric (0, )-tensor field on M. In local coordinates one has Ric ij = g pq R ipjq One can also rewrite the previous formulae using the (1, 3)-tensor R, and locally Ric(X, Y ) = Tr(Z R(X, Z)Y ) Ric ij = R p ipj. Definition.1. For any unit tangent vector X p S p M T p M, we call Ric(X p ) = Ric(X p, X p ) the Ricci curvature of M at p in the direction of X p.

6 LECTURE 8: THE SECTIONAL AND RICCI CURVATURES So again the Ricci curvature function Ric is not a function on M, but a function on the unit sphere bundle SM T M. Alternatively, one can think of the Ricci curvature as a function defined on one-dimensional subspaces of T p M. Since in the definition of the Ricci curvature we only use the information of the Ricci tensor Ric on special set of vectors, one would like to know what information do we lost, and again by symmetry of Ric we don t lost anything. This follows from the following obvious lemma: Lemma.. Let T be a symmetric -tensor. Then for any X, Y, T (X, Y ) = 1 (T (X + Y, X + Y ) T (X, X) T (Y, Y )). Applying the lemma to Ric, we get the following expression of the Ricci tensor in terms of the Ricci curvature: Corollary.3. For any Y p X p we have Ric(X p, Y p ) = 1 [ X p + Y p Ric( X p + Y p ) X p Ric( X p ) Y p Ric( X ] p ), where we denoted X = X/ X. Similarly we can define the conception like a space of constant Ricci curvature, a space of non-negative Ricci curvature etc. In particular, we have Proposition.4. A Riemannian manifold has constant Ricci curvature k if and only if Ric = kg. Proof. Apply lemma. to the symmetric tensor Ric kg. We also have the following version of Schur s theorem (which actually implies the Schur s theorem for sectional curvature that we just proved): Theorem.5 (Schur). Let (M, g) be a Riemannian manifold of dimension m 3. If Ric(X p ) = f(p) depends only on p, then (M, g) has constant Ricci curvature. Proof. Apply the second Bianchi identity. Exercise.