# Ngô Quốc Anh

## August 20, 2012

### A Note On The Almost-Schur Lemma On 4-dimensional Riemannian Closed Manifolds

Filed under: Riemannian geometry — Tags: — Ngô Quốc Anh @ 14:10

Let us continue our posts regarding to the Schur lemma, i.e., the following estimate

$\displaystyle \int_M {|\text{Ric} - \frac{{\overline R}}{n}g{|^2}} \leqslant \frac{{{n^2}}}{{{{(n - 2)}^2}}}\int_M {|\text{Ric} - \frac{R}{n}g{|^2}}$

holds provided $\text{Ric} \geqslant 0$ and $n\geqslant 5$ where $R$ is the scalar curvature and $\overline R=\text{vol(M)}^{-1}\int_M R$ is the average of $R$.

Recently, Ge and Wang improved the above inequality for the case $n=4$. They showed that the above estimate remains valid provided the scalar curvature is non-negative.

Today, we talk about a work by Ezequiel R. Barbosa recently published in Proc. Amer. Math. Soc. 2012 [here]. Following is his main result

Theorem. Let $(M,g)$ be a $4$-dimensinal closed Riemannian manifold. Then

$\displaystyle\int_M {|\text{Ric} - \frac{{\overline R}}{4}g{|^2}} \leqslant 4\int_M {|\text{Ric} - \frac{R}{4}g{|^2}} + 9\lambda _g^2 - \frac{{\overline R}}{4}\int_M R$

where $\overline R=\text{vol(M)}^{-1}\int_M R$ is the average of the scalar curvature $R$ of $g$ and $\lambda_g$ is the Yamabe invariant. Moreover, the equality holds if and only if there exists a metric $g_1 \in [g]$ such that $(M,g_1)$ is an Einstein manifold.

As can be seen, the only contribution of the above theorem is to assume no conditions on the Ricci tensor or the scalar curvature.

It is worth noticing that if the Yamabe invariant $\lambda_g$ is nonnegative, then

## August 14, 2012

### Almost-Schur lemma on 4-dimensional closed Riemannian manifolds

Filed under: Riemannian geometry — Tags: — Ngô Quốc Anh @ 11:49

Let us continue our previous post regarding to the Schur lemma, i.e., the following estimate

$\displaystyle \int_M {|\text{Ric} - \frac{{\overline R}}{n}g{|^2}} \leqslant \frac{{{n^2}}}{{{{(n - 2)}^2}}}\int_M {|\text{Ric} - \frac{R}{n}g{|^2}}$

holds provided $\text{Ric} \geqslant 0$ and $n\geqslant 5$ where $R$ is the scalar curvature and $\overline R=\text{vol(M)}^{-1}\int_M R$ is the average of $R$.

It was proved by De Lellis and Topping that the condition $\text{Ric} \geqslant 0$ cannot be relaxed. Also, the condition $n\geqslant 5$ plays an important role in their argument.

Very recently, in their paper, Ge and Wang proved the following

Theorem. If $n = 4$ and if $(M, g)$ is a closed Riemannian manifold with nonnegative scalar curvature, then

$\displaystyle \int_M {|\text{Ric} - \frac{{\overline R}}{n}g{|^2}} \leqslant \frac{{{n^2}}}{{{{(n - 2)}^2}}}\int_M {|\text{Ric} - \frac{R}{n}g{|^2}}$

olds. Moreover, equality holds if and only if $(M, g)$ is an Einstein manifold.

Also, if we denote by $\sigma_k(g)$ the $k$-scalar curvature of metric $g$, they found that the above inequality is equivalent to the following

$\displaystyle {\left( {\int_M {{\sigma _1}(g)} } \right)^2} \geqslant \frac{{2n}}{{n - 2}}\text{vol}(M,g)\int_M {{\sigma _2}(g)}.$

As such, instead of proving the former inequality, they aimed to prove the latter one. In order to mention their proof, let us recall the definition of the $k$-scalar curvature, which was first introduced by Viaclovsky in his PhD thesis and has been intensively studied by many mathematicians.

## August 7, 2012

### Almost-Schur lemma

Filed under: Nghiên Cứu Khoa Học, Riemannian geometry — Tags: — Ngô Quốc Anh @ 16:23

Following this note, today we talk about an almost-Schur lemma recently obtained by De Lellis and Topping, see here. If we denote by $\mathop {{\text{Ric}}}\limits^ \circ$ the traceless Ricci tensor, the main theorem of the paper is the following

Theorem. For any integer $n \geqslant 3$, if $(M, g)$ is a closed Riemannian manifold of  dimension $n$ with nonnegative Ricci curvature, then

$\displaystyle \int_M {{{(R - \overline R )}^2}} \leqslant \frac{{4n(n - 1)}}{{{{(n - 2)}^2}}}\int_M {| \mathop {{\text{Ric}}}\limits^ \circ {|^2}}$

where $\overline R$ is the average value of the scalar curvature $R$ over $M$. Moreover equality holds if and only if $(M, g)$ is Einstein.

For a proof of the theorem, recall that the contracted second Bianchi identity tells us that

$\displaystyle\delta \text{Ric} + \frac{1}{2}dR = 0$

where

$\displaystyle {(\delta \text{Ric})_j} = - {\nabla _i}{R_{ij}}.$

and hence that

$\displaystyle\delta\mathop{\text{Ric}}\limits^\circ = - \frac{{n - 2}}{{2n}}dR.$