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.