Ngô Quốc Anh

October 8, 2011

Locally conformally flat manifolds and Weyl and Cotton tensors, 2

Filed under: Riemannian geometry — Ngô Quốc Anh @ 3:27

The purpose of this note is to prove the following result that left in the previous entry

Lemma. Provided the Weyl tensor vanishes, equation

\displaystyle {\nabla _i}{\nabla _j}f - {\nabla _i}f{\nabla _j}f + \frac{1}{2}|\nabla f{|^2}{g_{ij}} = {S_{ij}}

is locally solvable if and only if the following integrability condition is satis ed

\displaystyle {\nabla _k}{S_{ij}} = {\nabla _i}{S_{kj}}.

That is, if and only if the Cotton tensor vanishes.

Proof. It is necessary and suffcient to find a 1-form X locally such that

\displaystyle {\nabla _i}{X_j} = {c_{ij}} = {S_{ij}} + {X_i}{X_j} - \frac{1}{2}|X{|^2}{g_{ij}},

where c = c (X, g) is a symmetric 2-tensor depending only on X and g. To see this, by the symmetry of the RHS, we have

\displaystyle \nabla _iX_j=\nabla _jX_i

(more…)

October 4, 2011

Locally conformally flat manifolds and Weyl and Cotton tensors

Filed under: Riemannian geometry — Ngô Quốc Anh @ 20:45

The purpose of this note is to prove the following

Theorem. A Riemannian manifold (M^n, g) is locally conformally flat if and only if

  • for n \geqslant 4, the Weyl tensor vanishes;
  • for n=3, the Cotton tensor vanishes.

To this purpose, let us briefly recall some definitions

The Weyl tensor. The Weyl tensor can be defined using the following formula

\displaystyle W = \text{Rm} - \frac{\text{Scal}}{{2(n - 1)n}}g \odot g - \frac{1}{{n - 2}}\left( {\text{Ric} - \frac{\text{Scal}}{n}g} \right) \odot g

where n\geqslant 3 and \odot denotes the Kulkarni–Nomizu product of two symmetric (0,2) tensors. Writing the Weyl tensor in this way means that the Weyl tensor is actually a (0,4) tensor. It can be seen that the Weyl tensor can be rewritten in this form

\displaystyle W = \text{Rm} - \frac{1}{{n - 2}}\left( {\text{Ric} - \frac{g}{{2(n - 2)}}\text{Scal}} \right) \odot g

where the part

\displaystyle S = \frac{1}{{n - 2}}\left( {{\text{Ric}} - \frac{g}{{2(n - 2)}}{\text{Scal}}} \right) \odot g

is called the Schouten tensor. We have the following result

(more…)

Blog at WordPress.com.