Open main menu

Diffgeom β

Flow method to prove existence of certain metrics

Description

Problem statement

We are given a differential manifold M, and we want to know whether there exists a Riemannian metric g on M such that g satisfies a certain property of interest to us. This property could, for instance, be:

Approach

The idea is as follows:

  • Construct a differential operator on the space of sections of (0,2)-tensor fields such that the points which map to zero under that operator are precisely those satisfying the given property.
  • Consider the flow equation associated with that differential operator. Note that this will be a vector flow equation, rather than a scalar one.
  • Try to locate a trajectory for that flow equation for which the limit at infinity is well-defined.

The Ricci-flat case

The differential operator

A Ricci-flat metric is defined as a metric whose Ricci curvature is zero everywhere. Thus, a natural choice of differential operator is the Ricci curvature tensor Ric_{ij} viewed as an operator that inputs the metric tensor and outputs the Ricci curvature tensor, both living in the space of (0,2)-tensor fields on the differential manifold.

However, for various reasons of normalization, the differential operator that we actually take is (-2) times the Ricci curvature tensor.

The flow equation

The flow equation we get from the above is:

 \frac{\partial}{\partial t} g_{ij}(x,t) = -2Ric_{ij} (x,t)

This is termed the Ricci flow.

The Einstein case

Fill this in later