1. Introduction and Main Results
One of key analytical methods for differential geometry is the celebrated Bochner technique, which was founded by S. Bochner, K. Yano, A. Lichnerowicz and others in the 1950s and 1960s to study the relationship between topology and curvature of a compact Riemannian manifold (e.g., [
1]; ([
2] pp. 333–364)). To achieve this, the authors of the method used Hopf’s lemma and Green’s theorem (see also [
1]). On the other hand, since the 1970s, complete (noncompact) Riemannian manifolds have been included in the range of research carried out using the Bochner technique. For this, the methods of geometric analysis were developed (e.g., [
3,
4,
5]). As a result, vanishing theorems of the classical Bochner technique took the form of Liouville type theorems, e.g., [
5,
6,
7]. In this article, we discuss the global aspects of the geometry of locally conformally flat complete and compact Riemannian manifolds using the generalized and classical Bochner technique, as well as the Ricci flow, e.g., [
8,
9]. Before that, we summarize and improve some known results (for example, the conditions of compactness and degeneration into spherical or flat space forms) on the geometry in the large of locally conformally Riemannian manifolds. This article continues the series of our works [
10,
11,
12,
13,
14,
15,
16] on various methods of the classical and generalized Bochner technique.
In this article, is a Riemannian manifold, namely, a connected -manifold M of dimension equipped with a metric tensor g and the Levi-Civita connection ∇. Let and be the tangent and cotangent bundles of M. Denote by the vector bundle of r-times covariant tensors on M, and by and —its sub-bundles of symmetric r-tensors and differential r-forms. Riemannian metrics in the fibres of these bundles are induced by the metric g and will be denoted by the same letter g. We will set for arbitrary .
A
locally conformally flat Riemannian manifold
is determined by the condition (see [
17] (p. 60)) that any point
has a neighborhood
and a
-function
f on
such that the Riemannian manifold
is flat (has zero sectional curvature). For such manifolds, the
Weyl conformal curvature tensor W, see (
3) in what follows, vanishes. For
this condition is necessary and sufficient (see [
17] (p. 60)).
The Riemannian geometry “in the large" studies relations between the curvature and the topology and between local and global characteristics, of a Riemannian manifold. There are many results “in the large" on locally conformally flat Riemannian manifolds (e.g., [
3,
6,
10,
11,
18,
19]). The purpose of this article is to review and improve some known results in this field. The paper presents seven theorems, which provide sufficient conditions for a Riemannian manifold to admit a flat metric or metric of positive constant sectional curvature, as well as analytic compactness conditions for complete locally conformally flat Riemannian manifolds. Our theorems can be viewed as instructive applications (obtained by logical inference and noncomplicated calculations) of deep recent results on the Ricci flow under the strict assumption that the Weyl curvature tensor vanishes, thus, the article can also demonstrate to young (and experienced) researchers a visual connection between various topics of modern Riemannian geometry.
S. Bochner’s theorem (see [
1] (pp. 79–80)), according to which
a compact locally conformally flat Riemannian manifold of dimension with a positive definite Ricci tensor is a homological sphere—this is the first best-known result “in the large" on such manifolds. Following this, M. Tani proved (see [
20]) that
a compact locally conformally flat Riemannian manifold of dimension with positive constant scalar curvature and positive sectional curvature (or positive definite Ricci tensor) is a manifold of positive constant sectional curvature. Notice that a compact manifold of positive constant sectional curvature for even
n is either a sphere
or a real projective space
with canonical metric; and for each odd
, there are infinitely many spherical space forms that were completely classified by group-theoretic methods (see [
8] for more details). Our first theorem gives a generalization of the results of S. Bochner and M. Tani.
Theorem 1. A compact locally conformally flat Riemannian manifold of dimension with positive sectional curvature admits a metric of positive constant sectional curvature and therefore is diffeomorphic to a spherical space form.
Following M. Tani [
20], the study was continued by S. Goldberg, who proved a number of theorems. According to one of them (see [
21]),
a compact locally conformally flat manifold of dimension with constant scalar curvature s and Ricci tensor Ric such that has constant sectional curvature. Note that here
, and the inequality has an equivalent form
. An analogue of Goldberg’s theorem for a complete locally conformally flat manifold with scalar curvature and Ricci tensor satisfying similar conditions was proved in [
22]. We can prove a similar statement without the condition that the scalar curvature is constant.
Theorem 2. A compact locally conformally flat Riemannian manifold of dimension with positive scalar curvature s satisfying the conditionadmits a metric of positive constant sectional curvature and therefore is diffeomorphic to a spherical space form. Another S. Goldberg’s theorem (see [
21,
23]) states that
a locally conformally flat manifold of dimension with positive definite Ricci tensor Ric and constant scalar curvature s such that , is a manifold of constant sectional curvature. Note that the inequality
holds for any Riemannian manifold. We formulate a similar statement without the requirement that the scalar curvature is constant.
Theorem 3. Let be a compact locally conformally flat Riemannian manifold of dimension withThen M admits a metric of positive constant sectional curvature and therefore is diffeomorphic to a spherical space form. In particular, when the dimension of M is equal to three, we have
Theorem 4. A three-dimensional compact conformally flat Riemannian manifold with has constant positive sectional curvature.
We consider a homogeneous Riemannian manifold
, which is determined by the condition that its isometry group is transitive, i.e., for any points
there exists an isometry that translates
x into
y (see [
17] (p. 178)). Recall that a homogeneous Riemannian manifold is complete (see [
17] (p. 181)). S. Goldberg’s theorem in [
23] states that
a locally conformally flat homogeneous Riemannian manifold with Ricci tensor is a locally symmetric space. Since a locally symmetric space has a parallel Ricci tensor, S. Goldberg formulates yet another theorem, according to which
a locally conformally flat Riemannian manifold has constant sectional curvature if its Ricci tensor is parallel and is positive or negative definite. Moreover, S. Goldberg does not include the completeness or compactness of the manifold in the conditions of the theorems. We supplement these results by the following.
Theorem 5. A simply connected irreducible locally conformally flat homogeneous Riemannian manifold of dimension with non-negative definite Ricci tensor is the canonical sphere.
Articles [
6,
7] are devoted to the search for analytic compactness conditions for complete locally conformally flat Riemannian manifolds. The main result of [
6] is that
an n-dimensional simply connected complete locally conformally flat Riemannian manifold with positive constant scalar curvature is compact if for all , where is the traceless Ricci tensor.
Our theorem and Corollary 1 in what follows complement this result.
Theorem 6. A complete locally conformally flat Riemannian manifold of dimension with positive bounded scalar curvature s satisfying the conditionfor some constant , is compact. Remark 1. For and , the above integral inequality from [6] is a consequence of Theorem 6, in particular, this follows from the inequalities with presented there and the boundedness requirement for positive scalar curvature. The main result of [
19] states that
if a complete locally conformally flat manifold of dimension , whose Ricci tensor satisfies the inequality , belongs to one of the following classes: either flat or locally isometric to the product of a canonical sphere and a line, then the manifold is globally conformally equivalent to either or a spherical space form (see [
24]). In turn, we will prove a theorem that complements this statement.
Theorem 7. A complete noncompact connected locally conformally flat Riemannian manifold of dimension with non-negative sectional curvature and constant scalar curvature is a flat space form, if the following inequality holds for some : 2. Proofs of Statements
Recall that using the equality
a Riemannian curvature tensor
defines a linear symmetric map
, called the
curvature operator (see [
21] (p. 83) and [
25]). The curvature operator is positive definite (respectively, non-negative definite) if at each point
all the eigenvalues of the operator
are positive (respectively non-negative), e.g., [
26,
27]. Obviously, from the positive definiteness (respectively, non-negative definiteness) of the curvature operator, it follows that the sectional curvature of the manifold is positive (respectively, non-negative). The converse is also true for a locally conformally flat Riemannian manifold.
For any orthogonal unit vector X and Y, we denote by the sectional curvature in the direction of the 2-plane .
Lemma 1. For a Riemannian manifold of dimension with vanishing Weyl tensor , the conditions and are equivalent.
Proof. Recall that a Riemannian curvature tensor is called
pure (see [
17] (p. 439)) if at every point
there exists an orthonormal basis
of the space
, for which the 2-form
is an eigenform of the curvature operator for all pairwise different
. In this case, the equality
holds (see [
28] and ([
4] pp. 175–176)). Thus, in the case of a pure Riemannian curvature tensor, the conditions
and
are equivalent. To complete the proof, recall (see [
17] (pp. 61, 439)) that the condition
implies that
has a pure curvature tensor. □
Remark 2. The inequality ‘’ in Lemma 1 can be simultaneously (3 times) replaced by ‘’, as well as by ‘’ or ‘’. In the case of locally conformally flat Riemannian manifolds, the proof of Lemma 1 can also be approached differently. Such manifolds are characterized (see [17] (p. 61) and [29]) by the equality , whereis the Schouten tensor (see [30,31]) and ⊙ is the Kulkarni–Nomizu product of symmetric 2-tensors (see [17] (p. 47)). It was proved in [32] that the curvature operator is diagonalized in the same orthonormal basis of the tangent space at an arbitrary point , where the Schouten and Ricci tensors are diagonalized. Namely, in the basis , the matrix of the curvature operator is diagonalized so that sectional curvatures stand on its main diagonal. Therefore, for a locally conformally flat Riemannian manifold, the condition and condition are equivalent. Corollary 1. A complete locally conformally flat Riemannian manifold of dimension with sectional curvature satisfying pointwise pinching conditions of the form and for some real constants B and , is compact.
Proof. According to [
5], a complete Riemannian manifold of dimension
is compact if its curvature operator is pointwise bounded, i.e.,
for any point
and some constant
, and satisfies the inequality
for some constant
, positive scalar curvature
s and an arbitrary orthonormal basis
of
for any point
. In the case of a locally conformally flat Riemannian manifold, we can rewrite inequality (
2) in the form
Then, by Lemma 1 and Remark 2, we have
. On the other hand, the condition
has an equivalent form
, and, by virtue of Lemma 1, can be represented as follows:
Therefore, if the sectional curvature is pointwise bounded, i.e.,
for some constant
and arbitrary
, then the curvature operator is pointwise bounded, i.e.,
for
. □
Remark 3. According to [7], a complete locally conformally flat Riemannian manifold of dimension is compact if its Ricci tensor is bounded and satisfies the inequality for some constant , where s is the scalar curvature. Recall (see [20]) that in an orthonormal basis for an arbitrary , in which the Ricci tensor is diagonalized, , the sectional curvature of a locally conformally flat manifold can be found from the equality (see [23])By this, in the case of , we obtain the inequalityThus, in the case , the main result of [7] can be deduced from Corollary 1. Moreover, according to Theorem 1, on such a manifold there exists a metric of positive constant sectional curvature, thus, the manifold is diffeomorphic to a spherical space form. Proof of Theorem 1. Let
be a compact
n-dimensional
locally conformally flat Riemannian manifold with positive sectional curvature, then by Lemma 1, its curvature operator is positive definite. On the other hand, in the case of an
n-dimensional
compact Riemannian manifold
with positive curvature operator, the Ricci flow deforms
g to a metric of constant curvature provided that
has the a positive curvature operator
, see [
8] (p. 15) (and another approach in [
33]). □
Proof of Theorem 2. Recall that the Riemannian curvature tensor of an arbitrary manifold admits pointwise orthogonal decomposition (see [
17] (pp. 47–48)),
where
W is the Weyl conformal curvature tensor, and the second and third terms are determined from the equalities
and
(with the Kulkarni–Nomizu product ⊙ of tensors). From (
3) it follows that
Thus, a locally conformally flat manifold is characterized by the equality
. According to [
34], a metric on a compact Riemannian manifold of dimension
with positive scalar curvature and satisfying the following pinching condition:
where
and
for all
, can be deformed using the Ricci flow to a metric of positive constant sectional curvature. Note that
, therefore, we can rewrite (
4) in a visual and more convenient form:
Generally, a Riemannian curvature tensor satisfies the inequality
. One can prove for a locally conformally flat Riemannian manifold the following equality:
Taking into account (
6), the pinching condition (
5) in the case of a locally conformally flat manifold takes an equivalent form:
For
, the above inequality can be rewritten as
For
, (
7) reads as
, and as
for
. □
Proof of Theorem 3. For an arbitrary point
in the tangent space
, we choose an orthonormal basis
that diagonalizes the Schouten tensor (
1), then it follows from the equality
(see also [
23]) that
By conditions, the Schouten tensor is positive definite, hence, by (
8), the sectional curvature of the manifold is everywhere positive. In this case, by Lemma 1, the curvature operator
is positive definite. The latter means that the metric
g admits the Ricci flow deformation to a metric of positive constant sectional curvature (see [
33]). □
Proof of Theorem 4. In dimension three, a Riemannian manifold
is conformally flat if and only if its scalar curvature
s is constant and the Ricci tensor Ric is a Codazzi tensor, i.e.,
is symmetric (see [
17] (pp. 62, 435)). On the other hand, any Codazzi tensor with constant trace on a compact Riemannian manifold
of positive sectional curvature is a constant multiple of
g (see [
17] (p. 436)). At the same time, in dimension three, a Riemannian manifold has positive sectional curvature if and only if
(see [
9] (p. 277)). Since in dimension three the Riemann curvature tensor of
is determined by the Ricci tensor, we can conclude that Theorem 5 holds. □
Proof of Theorem 5. The S. Goldberg’s theorem states (see [
23,
35]) that
a locally conformally flat homogeneous Riemannian manifold with Ricci tensor is a locally symmetric space (see [
17] (p. 297)). Moreover, it is known that a simply connected irreducible locally symmetric space is an Einstein manifold, i.e.,
. In this case, from (
3) it follows
therefore,
has constant sectional curvature. For dimension
here, only two cases are possible (see [
2] (pp. 386–387)). In the first case,
has positive constant scalar curvature. Recall that a homogeneous Einstein Riemannian manifold has a complete metric
g and is compact when
(see [
17] (p. 189)). Since
is simply connected, according to the classical Hopf result, it is a canonical sphere of certain radius (see [
8] for more details). In the second case,
is a Ricci flat symmetric space (see [
2] (p. 387)). Moreover, a homogeneous Ricci flat manifold is flat, thus it is isometric to the product of the flat torus and Euclidean space (see [
17] (p. 191)). There cannot be a flat torus factor, since the manifold is assumed to be simply connected. □
Proof of Theorem 6. The main result of [
36] states (using the Ricci flow) that a complete Riemannian manifold
of dimension
with positive bounded scalar curvature and satisfying the pinching condition:
for some
and
and
for all
, is compact. Assuming
, we rewrite (
9) in a more convenient form for further use,
One may show the following inequality for a locally conformally flat Riemannian manifold:
By (
11), the pinching condition (
10) for a locally conformally flat Riemannian manifold takes the form
For
, from (
12) we obtain
For
, (
12) reads as
, and as
for
. □
Proof of Theorem 7. Recall that a covariant symmetric 2-tensor
h is called a
Codazzi tensor if
is a covariant symmetric 3-tensor (see [
17] (pp. 436–440); [
2] (p. 350)). On the other hand, a covariant symmetric 2-tensor
h is
harmonic if and only if it is a Codazzi tensor with constant trace (see [
2] (p. 350)). It is known that the Ricci tensor on a locally conformal flat Riemannian manifold with constant scalar curvature is a Codazzi tensor, thus the Ricci tensor is harmonic. Side by side, it was proved in [
11] that on a connected complete noncompact Riemannian manifold with non-negative sectional curvature there are no nonzero harmonic symmetric two-tensors satisfying the condition
for some
. This statement directly implies Theorem 7. □
3. Final Remarks
Conformally flat manifolds are not classified in full generality, although
a conformally flat compact simply connected Riemannian manifold is conformally equivalent to the canonical sphere (of the same dimension), see [
17] (p. 62). More precisely, Kuiper’s theorem [
37] states the following:
If is a simply connected locally conformally flat manifold of dimension , then there is a conformal immersion into a canonical sphere . If M is compact then this map is a conformal diffeomorphism of with . In this case, the metric
is pointwise conformal to
g, that is there exists a smooth scalar function
f such that
. Then from the formula (see [
17] (p. 59))
where
s is the scalar curvature of
, it follows that
Here
is the total scalar curvature of
. As a result, from this formula we conclude that the inequality
is an analytic obstacle for a simply connected and compact Riemannian manifold to be locally conformally flat. In particular, if the scalar curvature of
is constant, then it is positive. By the above, the Betti numbers
of an
n-dimensional simply connected locally conformally flat Riemannian manifold
are equal to the Betti numbers of an Euclidian sphere
, i.e.,
and
. This result completes the classical S. Bochner’s theorem (see [
1] (pp. 79–80)).
Recall that
conformal Killing p-forms or, in other words,
conformal Killing-Yano p-tensors, have been defined on
n-dimensional Riemannian manifolds (
) more than fifty years ago by S. Tachibana and T. Kashiwada (see [
38,
39]) as a natural generalization of conformal Killing vector fields (see [
40]). Since then these forms were extensively studied by many geometricians. These considerations were motivated by existence of various applications for these forms (e.g., [
41,
42]).
The vector space of conformal Killing
p-forms on an
n-dimensional compact (without boundary) Riemannian manifold
has a finite dimension
named the
Tachibana number (e.g., [
12,
13,
43]). These numbers
are conformal scalar invariants of
and satisfy the duality theorem:
. The theorem is an analog of the well known
Poincaré duality theorem for the Betti numbers of compact
. It is known that
(see [
13]). Therefore, for an
n-dimensional compact simply connected locally conformal flat Riemannian manifold
we have
. On the other hand, according to [
12], a compact locally conformally flat manifold with a negative definite Ricci tensor has all Tachibana numbers equal to zero. This is an analogue of S. Bochner’s theorem, with which we began our article.