Metric Ricci Curvature for Manifolds
We introduce a metric notion of Ricci curvature for manifolds and study its convergence properties. We also prove a fitting version of the Bonnet-Myers theorem, for surfaces as well as for a large class of higher dimensional manifolds.
Recent years have seen a great “revival” of Ricci curvature, mainly due to not only Perelman’s celebrated work on the Ricci flow and the Poincare conjecture [1, 2], but also to its extension to a far larger class of geometric objects than merely smooth 3-manifolds (see  and the bibliography therein). In consequence, Ricci curvature has become an object of interest and study in graphics and imaging. The approaches range from the implementations of the combinatorial Ricci curvature of Chow and Luo —see, for example, , through—the classical approximation methods of smooth differential operators [6, 7] to discrete, purely combinatorial methods [8, 9].
We have addressed the problem of Ricci curvature of surfaces and higher dimensional (piecewise flat) manifolds, from a metric point of fview, both as a tool in studying the combinatorial Ricci flow on surfaces [10, 11] and, in a more general context, in the approximation in secant of curvature measures of manifolds and their applications [12, 13]. Computational applications aside, these and related problems—see [14, 15]—make the study of a robust notion of Ricci curvature for spaces a subject of thriving interest in the geometry and topology of (mainly 3-dimensional) manifolds. This paper represents a continuation of both papers above.
In all fairness, other definitions of Ricci curvature for -dimensional manifolds have been considered previously. The main contribution, from our point of view, is that of Stone [16, 17] that we will discuss in detail and adapt here. More recent contributions are due to Alsing et al.  Glickenstein  and Trout . However, our approach is quite different and owns nothing to the mentioned works. The only one of the quoted papers that has a similar starting point with ours—namely, Stone’s articles—is . Moreover he—as we do (and as Stone originally did) seeks a discrete version of the Bonnet-Myers theorem. However, these facts represent the only common ground: his approach is (as Stone’s was) purely combinatorial whereas ours is metric; his methods are also combinatorial in nature (even the Morse function employed is combinatorial) while, in contrast, our basic tool of study is Wald’s metric curvature. We should also mention the fact that the convergence and related results for the combinatorial Ricci curvature for images introduced in  (and further developed in ) were proven by passing from the original cell complex associated to an image to the manifold, so they also follow the basic pattern of proof considered in this paper and represent, as such, an alternative approach to Ricci curvature for “weighted” 2- and 3-dimensional manifolds.
The paper is structured as follows. In Section 2, we address the main problem, namely, that of defining a computable, discrete metric Ricci curvature for (piecewise flat) manifolds. Here, we use methods similar to those in  to address a problem—or, rather, a particular case—considered therein. We also investigate the convergence properties of this newly introduced curvature. In Section 3, we address a rather more theoretical question, namely, if the newly introduced version of Ricci curvature satisfies—as indeed expected from a proper (“correct”) notion of Ricci curvature—a Bonnet-Myers type of theorem. The methods in this part are, partially, those developed in . We further generalize these results by making appeal to the theory of Alexandrov spaces. In Section 4, we bring an immediate generalization to manifolds of a comparison theorem. We conclude with a few brief remarks regarding possible further directions of study.
A note to the reader before we proceed to the main part of our paper is that our default source for geometric differential definitions and results is , and if no other source is specified the reader should consult, if needed, this encyclopedic source. Also, as a background material for topology we refer the reader to .
2. Definition and Convergence
To begin with, we have to be able to properly define Ricci curvature for manifolds. This is indeed possible, not just for manifolds but also for polyhedral ones—and in a quite natural manner—combining ideas of Stone [16, 17] and metric curvatures. For this, one regards Ricci curvature as the mean of sectional curvatures: for any orthonormal basis , and where denotes the sectional curvature of the 2 sections containing the directions .
First, one has, of course, to be able to define (variational) Jacobi fields (see below). This is where we rely upon Stons’s work. However, we do not need the whole force of this technical apparatus, only to determine the relevant two sections, and, of course, to decide what a direction at a vertex of a manifold is.
In fact, in Stone’s work, combinatorial Ricci curvature is defined both for the given simplicial complex and also for its dual complex . In the latter case, cells—playing here the role of the planes in the classical setting of which sectional curvatures are to be averaged—are considered. However, his approach for the given complex, where one computes the Ricci curvature of an -simplex in the direction of two adjacent -faces, , is not natural in a geometric context (even if useful in his purely combinatorial one), except for the 2-dimensional case, where it coincides with the notion of Ricci curvature in a direction (i.e., in this case, an edge—see also Remark 9 below). Passing to the dual complex will not restrict us since and, moreover—and more importantly—considering thick triangulations enables us to compute the more natural metric curvature for the dual complex and use the fact that the dual of a thick triangulation is thick, as we will detail below. Working only with thick triangulations does not restrict us, however, at least in dimension since any triangulation admits a “thickening”—see , (This holds, as already mentioned, for any manifold of dimension , and in all dimensions for smoothable manifolds as well for any manifold of class . Since the proof of the main result of Section 3, regarding manifolds of dimension higher than 3 holds only for manifolds admitting smoothings, restricting ourselves only to such manifolds does not represent any further hindrance.)
First, let us recall the definition of thick triangulations.
Definition 1. Let ; let be a -dimensional simplex. The thickness (or fatness) of is defined as being where denotes the barycenter of and represents the standard notation for the boundary of (i.e., the union of the -dimensional faces of ).
A simplex is , for some , if . A triangulation (of a submanifold of ) is -thick if all its simplices are -thick. A triangulation is thick if there exists such that all its simplices are -thick.
Remark 2. This is Munkres’ definition . For a discussion of other equivalent definitions, their mutual interplay and relationship with certain aspects of differential geometry (mainly curvature approximation), see . Note that this definition holds for more general simplices not necessarily Euclidean ones.
To be able to define and estimate the Ricci curvature of and and the connection between them, we have to make appeal in an essential manner to the fatness of the given complex. We begin by noting—by keeping in mind formula (2)—that, since the length of the edge , dual to the edge common to the faces , equals , the first barycentric subdivision (needed in the construction of the dual complex—see e.g., ) of a thick triangulation is thick. For planar triangulations, and also for higher dimensional complexes embedded in some , one can realize the dual complex (also in ) by constructing the dual edges orthogonal to the middle of the respective -s. To show the thickness of the dual simplices, one has also to make appeal to the characterization of thickness in terms of dihedral angles (Conditions (1.15) of .) Note that the notion of thickness also makes sense for general cells.
Definition 3. Let be a -dimensional cell. The thickness (or fatness) of is defined as where the minimum is taken over all the -dimensional faces of , . (If dim = 0, then by convention.)
Therefore, we can summarize the discussion above as follows.
Lemma 4. The dual complex of a thick (simplicial) complex is thick.
Moreover, the following (common) Gromov-Hausdorff convergence property also follows immediately.
Lemma 5. Let be as above. Then where denote the mesh of , respectively.
Remark 6. It is important to stress here the crucial role of the thickness of the triangulation; as far as geometry is concerned, thickness ensures, by its definition, the fact that no degeneracy of the simplices occurs, and hence no collapse and degeneracy of the metric can take place. Moreover, in its absence, no uniform estimates for the edge lengths can be made, and hence convergence of (dual) meshes and, as we will see shortly, of their metric Ricci curvatures can not be guaranteed.
Returning to the definition of Ricci curvature for simplicial complexes, given a vertex , in the dual of an -dimensional simplicial complex, a direction at is just an oriented edge . Since there exist precisely 2-cells , having as an edge and, moreover, these cells form a part of relevant variational (Jacobi) fields (see ); the Ricci curvature at the vertex , in the direction , is simply
Remark 7. Observe that the index “” in the definition (5) above runs from , and not from , as expected judging from the classical (smooth) setting. This is due to the fact that we defined Ricci curvature by passing to the dual complex, with its simple but demanding (so to say) combinatorics. For the implications of this fact, see Theorem 40 and Remark 41 below.
Remark 8. Note that we followed  only in determining the variational fields but not in his definition of Ricci curvature. Indeed, he considers a direction at a vertex to be the union of two edges and in the dual complex, where , and , and where the direction is determined by the lexicographical order. Then (according to [16, pp. 16-17]), the relevant variational fields are given by the distinct 2-cells , containing the edges and , but only relevant ones, since one of the cells is enumerated twice. Hence, the Ricci curvature at in the direction is to be taken as the total defect of these cells as follows: See Figure 1.
This approach is necessary in the combinatorial case. However, it is more difficult than our approach, and it would produce unnecessary complications in determining the relevant analogues of the 2-sections of the classical, smooth case. Moreover, it is quite possible that, in any practical implementation, the advantages obtained by considering larger variational fields would be countermined by “noise” added by considering such order 2 (or larger) neighbourhoods of the given vertex. However, computing Ricci curvature according to this scheme is still possible, using our metric approach (but see also Remark 9).
Remark 9. It is still possible (by dualization) to compute Ricci curvature according, more-or-less, to Stone’s ideas, at least for the 2-dimensional case. Indeed, according to ,
This definition of Ricci curvature is a combinatorial defect one (presumably inspired by the classical definition of Gauss curvature as the angular defect at a vertex—see, e.g.,  ). This is evident from its expression but made more transparent by the 2-dimensional case. Indeed, in this case, the simplices are 0-dimensional; that is, vertices and hence represent just the number of 2-simplices having as a common vertex; therefore represents nothing but the total combinatorial defect at these vertices (see also [16, p. 17.] for similar interpretation of ).
In consequence, using the approach of the original proof of Hilbert and Cohn-Vossen  (and following methods well established in graphics, etc.), we can consider, instead of the combinatorial defect, the angular defect of the cell dual to the vertex . This, of course, applies both for our way and Stone’s of determining a direction.
However, this approach to the definition of Ricci curvature is far less intuitive (and apparently has lesser geometric content, so to speak) in dimension . This is the reason why, for our present study, we have made use of the dual complex.
To determine—using solely metric considerations—the sectional curvatures of the cells , we shall employ the so-called (modified) Wald curvature . At this point, we have to remind the reader of a number of definitions and results that, unfortunately, are perhaps (at least partly) forgotten. We begin with the following basic.
Definition 10. Let be a metric space, and let , together with the mutual distances: . The set together with the set of distances is called a metric quadruple.
Remark 11. One can define metric quadruples in a somewhat more abstract manner, that is, without the aid of the ambient space. In this approach, a metric quadruple is defined as a -point metric space; that is, , where the distances verify the axioms for a metric.
We next introduce some necessary notation. Let denote the complete, simply connected surface of constant Gauss curvature , that is; , if ; , if ; and , if . Here, denotes the sphere of radius , and stands for the hyperbolic plane of curvature , as represented by the Poincaré model of the plane disk of radius . Using this notation, we can next bring the following.
Definition 12. The embedding curvature of the metric quadruple is defined to be the curvature of the gauge surface into which can be isometrically embedded (see Figure 2).
Definition 13. Let be a metric space. An open set is called a region of curvature if and only if any metric quadruple can be isometrically embedded in , for some . (While not needed in the remainder of the paper, we mention for the sake of completeness that a metric space is said to have Wald-Berestovskiĭ curvature if and only if for any is contained in a region of curvature ).
Remark 14. Evidently, one can consider the Wald-Berestovskiĭ curvature at an accumulation point of a metric space, hence, on a smooth surface, by considering the limits of the curvatures of (nondegenerate) regions of diameter converging to 0.
Before we proceed further, let us make a certain modification of the notation in order to make it more uniform and more familiar to the reader working in classical differential geometry as well as in graphics. Henceforth, we shall denote by the Wald curvature of a surface ( or smooth), by analogy to its classical (Gauss) curvature (of course, will denote the Wald curvature of a point on the surface).
At this point, the question that naturally rises is whether it is possible to actually compute Wald curvature and, if possible, in what manner. First of all, the first basic step is to note that the role of the abstract open sets in Definition 13 is naturally played by the cells . We can state this as a formal definition, for the record.
Definition 15. Let be a cell with vertex set . The embedding curvature of is defined as
Remark 16. Evidently, the definition above presumes that the cells in the dual complex have at least 4 vertices. However, except for some utterly degenerate (planar) cases, this condition always holds. Moreover, it can be easily corrected by the truncation of the problematic vertices.
It is certainly worthwhile to note that it is possible to actually compute the Wald curvature of each of these cells, using the following formula for the embedding curvature of a metric quadruple : where , and denotes the Cayley-Menger determinant:
Remark 17. For some first numerical results regarding the application of these formulas in a practical context, see [30, 31]. However, it should be noted that, apart from the Euclidean case, the equations involved are transcendental, and cannot be solved, in general, using elementary methods.
We have also employed Wald curvature as a malleable tool in conjunction with Ricci curvature in a somewhat more theoretical context in . We should remark here that, given its (metric) intrinsic nature, “behaves well,” so to speak, under Gromov-Hausdorff convergence (see [32, 33] and for the consequences of this fact for applications in graphics, imaging, etc., see [30, 31]). Moreover, since or rather a somewhat modified version of it, identifies with Rinow curvature (see [34, 35]), it allows us to view the whole problem of defining and computing Ricci for (polyhedral) manifolds (in particular its applications in graphics, Regge calculus, etc.) in the larger context of Alexandrov spaces (see, e.g., [32, 33]).
Remark 18. Obviously, one can use the same method as above to compute the Ricci curvature (of ), according to Stone’s original approach for determining directions in cell complexes.
To return to the main problem of this section, from the definitions and results above, we obtain—first discretely, at finite scale bounded away from zero, and then passing to the limit—the following result connecting between the Ricci curvatures of a simplicial (polyhedral) complex and its dual.
Theorem 19. Let be as in Lemma 5 above. Then, where , and where is (as suggested by the notation) the dual of .
Remark 20. This result is, admittedly, somewhat vague. However, to our defense, we can only underline the fact that the precise constant is hard to determine. The thickness condition, that ensures a metric “quasiregularity” of the triangulation, supplies us only with weak estimates. To obtain stronger ones, one should be able to control the regularity of the combinatorical structure as well. This is evident, but it will become even clearer in the sequel. It should be noted in this context that, at least in graphics, mesh improvement techniques allow us to consider such “combinatorial almost regular” triangulations.
We now easily obtain the following theorem.
Theorem 21. Let be a (smooth) Riemannian manifold, and let be a thick triangulation of . Then, where the convergence is the weak convergence (of measures).
Proof. The theorem follows easily from Lemma 5; the fact that is defined in a purely metric, intrinsic manner is from the fact that intrinsic properties are preserved under Gromov-Hausdorff limits (see ) and also from Theorem 19.
Remark 22. While the desired constant is, of course, , and some first experimental results hint that, at least for certain “nice” triangulations, this is indeed the case, we cannot guarantee a better result—see the remark following the preceding theorem.
Remark 23. While we have adopted the Wald curvature as the metric curvatures for surfaces (and the Finsler-Haantjes one as a metric alternative for the computation of principal curvature) of our choice, for reasons detailed above, it would be interesting to explore the capabilities—both theoretical and practical—as far as differential geometry is concerned, of other metric curvatures (see  and the bibliography therein) and in particular of the Menger curvature measure : for some , where denotes the Menger curvature (of the simplex ).
3. The Bonnet-Myers Theorem
Having introduced a metric Ricci curvature for manifolds, one naturally wishes to verify that this represents, indeed, a proper notion of Ricci curvature and not just an approximation of the classical notion. According to the synthetic approach to differential geometry (see, e.g., [3, 33]), a proper notion of Ricci curvature should satisfy adapted versions of the main, essential theorems, that hold for the classical notions. Amongst such theorems the first and foremost is Myers’ theorem (see, e.g., ). And, indeed, fitting versions for combinatorial cell complexes and weighted cell complexes were proven, respectively, by Stone [16, 17] and Forman . Moreover, the Bonnet part of the Bonnet-Myers theorem, that is, the one appertaining to the sectional curvature, was also proven for manifolds, again by Stone—see [40, 41].
3.1. The 2-Dimensional Case
For the special—yet of main importance in applications (see [4, 5, 10])—case of 2-dimensional manifolds, such a result is easy to prove, given the fact that Ricci and sectional curvature essentially coincide. More precisely, we can formulate the following theorem.
Theorem 24 (Bonnet-Myers for 2-manifolds—combinatorial). Let be a complete, connected 2-dimensional manifold such that(i)there exists , such that , (where denotes the mesh of the 1-skeleton of , i.e., the supremum of the edge lengths);(ii).
Then is compact, and moreover where denotes the combinatorial Gauss curvature of , where are the (interior) face angles adjacent to the vertex .
Remark 25. Condition (1), that ensures that the set of vertices of the manifold is “fairly dense” (in Stone’s formulation [41, p. 1062]), is nothing but the necessary and quite common density condition for good approximation both of distances and of curvature measures—see for example [12, 25] and the references therein. The mere existence of such a is evident for a compact manifold; however, it can’t be apriorily supposed for a general manifold; hence, has to be postulated. Moreover, to ensure a good approximation of curvature, this density factor has to be properly chosen (see, e.g., ); thus, tighter estimates for the mesh of the triangulation can be obtained from (14) along with better curvature approximation. Not less importantly, an adequate choice of the vertices of the triangulation also ensures, via the thickness property, the nondegeneracy of the manifold (and of its curvature measures)—see .
Proof. The theorem follows readily from Theorem 3 of . Indeed, in the two-dimensional case, the so-called maximum and minimum curvatures, , respective (see [40, p. 12], for the precise definitions), at the vertices of coincide with the combinatorial Gauss curvature. Moreover, due to the fact that here we are concerned solely with 2-dimensional simplicial complexes ( manifolds), conditions and of Theorem 3 of  are equivalent, respectively, to our conditions (2) and (1) above. Therefore, the conditions in the statement of Theorem 3 of  are satisfied, and, by (ii) of the said result, the theorem follows immediately.
Remark 26. It is easy to see that the theorem above extends to more general polyhedral surfaces. Indeed, by their very definition such surfaces admit simplicial subdivisions. However, during this subdivision process and do not change since the only relevant contributions to these quantities occur at the vertices and depend only on the angles at these vertices, more precisely on the normal geometry (see [40, p. 12]), that suffer no change during the subdivision process.
The proof above suffers from the disadvantage of making use of Stone’s maximum and minimum curvatures even though in this context making appeal to them is rather natural. This drawback represents the main reason we did not feel compelled to detail here Stone’s definitions, but rather to refer the reader to the original paper. We can, however, provide a different proof, independent of Stone’s work but at the price of using some heavy (albeit classical) machinery, that, moreover, takes us away, so to say, from the discrete methods. On the other hand, smooth, analytical tools are far more familiar to a large research community in CAGD, imaging, and so forth.
Alternative Proof. The basic idea (which we first employed in ) is to consider a smoothing of . Since, by [24, Theorem 4.8], smoothings approximate arbitrarily well both distances and angles (more precisely, they are -approximation hence, for is small enough, also -approximations of —for details see , or, just for the minimal required facts, the Appendix of ) on , defects are also arbitrarily well approximated. Given that the combinatorial curvature of is bounded from below, it follows that so will be the sectional (i.e., Gauss) curvature of .
Unfortunately, the Gaussian curvature of is positive only on isolated points (the set of vertices of ), so we cannot apply the classical Bonnet theorem yet. However, we can ensure that is arbitrarily close to a smooth surface , having curvature Gaussian curvature . (This is easily seen by adding spherical “roofs” (of low curvature) over the faces and then slightly modifying the construction, to ensure that the curvature will be positive also on the “sutures” of the said roofs, corresponding to the edges of the original manifold). Therefore, the classical Bonnet theorem can be applied for ; hence, is compact and its diameter has the same upper bound (again using the same arguments as before (i.e., - and -approximations as that of (and ); namely,
Remark 28. Apparently, the bound for diameter given by the proof above is tighter than the one obtained by Stone in . Nevertheless, we should keep in mind that, in practice, one is more likely to encounter surfaces as approximations of smooth ones (and, obviously, surfaces are approximations of their own smoothings). However, the larger the mesh of the approximating surface (i.e., the “rougher” the approximation), the larger the deviation of the approximating triangles from the tangent planes is (at the vertices); hence, the more likely it is to obtain large combinatorial curvature. Hence, there is a correlation between the size of the simplices and curvature, even though it is not a straightforward one.
Since the leitmotif of the previous section was metric (Wald) curvature, it is natural to ask whether a fitting version of the Bonnet-Myers theorem exists for this type of curvature. The answer is—at least in dimension 2—positive: we can, indeed, state an analogue of Myers’ theorem, in terms of the Wald curvature.
Theorem 29 (Bonnet-Myers for 2-manifolds—metric). Let be a complete, connected 2-dimensional manifold such that(i′) there exists , such that ;(ii′) .
Then is compact, and, moreover
Proof. We employ again the basic argument first used in . Since distances (and angles) are arbitrarily well approximated by smoothings, it follows that so are metric quadruples (including their angles); hence, so is Wald curvature. By  (see also , Theorems 11.2 and 11.3), the Wald curvature at any point of nontrivial geometry , namely, at a vertex , equals the classical (Gauss) curvature (and, of course, this is also true a fortiori at all the other points, where both the smooth and the manifolds are flat). Therefore; the Gauss curvature of approximates arbitrarily well the Wald curvature of ; hence, we can apply the same argument as in the second proof of Theorem 24 to show that is, indeed, compact and, furthermore, satisfies the upper bound (16).
Remark 30. Like the previous theorem, the result above can be extended to polyhedral manifolds, and even in a more direct fashion, since Wald curvature does not take into account the number of sides of the faces incident to a vertex but only their lengths.
Remark 31. This result, as well as its generalization to higher dimensions (see Theorem 33), is hardly surprising, given the fact that, by , Theorem 29, Myers’ theorem holds for general Alexandrov spaces of curvature , and Wald-Berestovskii curvature is essentially equivalent to the Rinow curvature (see ), hence, to the Alexandrov curvature (see, e.g., [33, Chapter 1]). Rather, we give in the special case of surfaces (manifolds) a simpler, more intuitive proof of the Burago-Gromov-Perelman extension of Myers’ theorem.
In higher dimension, none of the arguments applied in both proofs of Theorem 24 are applicable, at least not without imposing further conditions.
Regarding the first proof, we have the following.
(i) In dimensions higher than 2, and do not necessarily equal each other (see [40, Example 4, p. 14]), and, a fortiori, they fail to equal the combinatorial Gauss curvature. They do, however, according to Stone , resemble in their behaviour the minimum, respective maximum sectional curvature at a point common to 2-planes, that contain a given (fixed) tangent vector at the point in question.
An important proviso should be added, however: while for the general simplicial complexes, the equality between and fails to hold, it is true for the most relevant—at least as far as our analysis is concerned-case, namely that of manifolds without boundary (see [40, Example 3, p. 13]). Therefore, in the light of the facts above, it follows that while for a fairly general and important setting the connection is straightforward, it is not clear how to compare, in the general case, our proposed metric discretization of Ricci curvature, with the maximal and minimal curvatures of Stone (hence to combinatorial curvature, whenever they equal it—and each other). A natural attempt would be to use straightforward extensions of and —let us denote them, for convenience by, and . However, it is not clear (at least at this point in time) how expressive these definitions would prove to be.
Remark 32. It is true that the lower bound on , as considered in Theorem 3 of , has a simple expression, in any dimension, via a topological condition (cf. [40, Lemma 5.1]); namely, that the intersection of any () geodesic segment of ends and with the 2-skeleton of is precisely the set (with the exception, of course, of the case when the segment is contained in a simplex. However, since the metric information contained in this new condition is void (or rather thoroughly encrypted, so to say), it has no apparent advantage for application in conjunction with metric curvature).
(ii) For an application of the Stone’s methods in combination with the metric curvature approach to any dimension, one would have to make appeal to Jacobi fields, as defined in . However, as discussed in the previous section, this would probably lead to numerical instability.
Regarding the second proof we have the following. No smoothing of a manifold necessarily exists in a dimension higher than , and even if it exists, it is not necessarily unique, for —see . However, if such a smoothing exists, then the second proof of Theorem 24 (and of Theorem 29) extends to any dimension, and we obtain the following (metric) versions of the classical results.
Theorem 33 ( Bonnet—metric). Let be a complete, -dimensional , smoothable manifold without boundary, such that() there exists , such that ;(),where denotes the sectional curvature of the “combinatorial sections”, that is, the cells (see Section 1).
Then is compact, and, moreover,
Proof. We should note in the beginning that the “rounding” argument of the second proof of Theorem 24 is not easy to extend directly—if at all—to higher dimension. Instead, a more subtle argument has to be devised. To this end, we make appeal again to Stone’s paper , and we build the spherical simplicial complex associated with the given (or rather piecewise-flat) complex . This is constructed as follows: consider the sphere of radius and radius , circumscribed to a given simplex , and its image on a sphere of radius , via the central projection from . We denote by the simplicial complex obtained by the remetrization of by the replacement of each by its spherical counterpart . Then, by Lemma 5.5 of , for large enough , the following holds for any pair of points : , for a certain constant , where denote the spherical images of . Since the curvature at each vertex of the spherical simplex obtained by central projection of the simplices of onto their circumscribed spheres is smaller than the corresponding one (at the same vertex) in the (piecewise-flat manifold), this holds a fortiori for . It follows from the classical Bonnet theorem (after applying the necessary smoothing) that .
Remark 34. An approach similar to the one used in the proof above was also employed by Cheeger  in a rather similar context. We should stress here that, as a by product of the results in this paper, we also address—using our own methods—a problem posed by Cheeger in [45, Remark 3.5].
We should underline the fact that if we approach the problem of Ricci curvature from the viewpoint of the first part of the paper, that is, of (secant) approximations of smooth manifolds, then the situation changes dramatically. Indeed, even when such a smoothing () exists, it is not probable that its sections provided by , in the manner indicated in Section 2, suffice to approximate well enough—let alone reconstruct—the Ricci curvature of . In simple words, “there are not enough directions” in to allow us to infer from the metric curvatures of a approximation, those of a given smooth manifold (in fact, not even a good approximation); hence, we are faced again with a problem that we already mentioned in conjunction with the first proof, namely, that of insufficient “sampling of directions” in approximations. (On the other hand, the increasing of the number of directions, that is, of 2-dimensional sections (simplices), generates a decrease of the precision of the approximation due to the (possible) loss of thickness of the triangulation—a problem which we have discussed in some detail in .)
To sum up, all the considerations above show us that, unfortunately, in higher dimensional, no general analogue of Myers’ theorem for manifolds can be obtained by applying solely smoothing arguments. It is true that a Ricci curvature of the smooth manifold is obtained in terms of ; however, it is not clear, in view of the paucity of sectional directions (i.e., possible 2-sections), how precisely this is connected to its discrete counterpart. Therefore, we can obtain, at best, an approximation result (with limits imposed by the thickness constraint—see discussion above).
We conclude with the following remarks. From the discussion above it is transparent that, unfortunately, at this point in time we can offer no proof for the general case, that is, for non-smoothable manifolds of dimension . To obtain such a proof for Bonnet’s theorem, one should adapt Stone’s methods, as developed in ; while for a comprehensive generalization of Myers’ theorem, one has the apparently more difficult task of accordingly modifing, for the metric case, the purely combinatorial methods of . A quite different approach, but one that would allow us to extend the metric approach to quite general weighted complexes, would be to adjust Forman’s methods developed in  to our case. The essential step in this direction would be to find relevant geometric content (e.g., lengths, area, and volume) for Forman’s “standard weights” associated to each cell.
3.2. Wald Curvature and Alexandrov Spaces
In this section, we bring a proof of a more general case, albeit at the price of using some extraneous and powerful techniques and results. For this, we first need some further preparations and background material, mainly the notion of Alexandrov curvature. Since this represents, by now, a quite classical and standard notion, and since introducing it formally here would take us too far afield, we will not bring here the technical definition and related material, but rather we refer the reader to, for example, . However, we should mention that, in defining Alexandrov curvature, one makes appeal to comparison triangles in the model space (i.e., gauge surface ), rather than quadrangles, as in the definition of Wald curvature.
It is more important to point out that Wald’s curvature is essentially equivalent with the much more modern notion of Alexandrov curvature, at least for spaces in which there exist “sufficiently many” minimal geodesics (see, for instance, , Corollary 40), a condition that certainly is fulfilled in surfaces. For the practical consequences of the similarities and differences between the two approaches, see . The reason we prefer working with the Wald curvature, is that it is computable, and, moreover, it has even simpler, more practical approximations—see . For further theoretical relative advantages of the curvature types discussed above, see . We should perhaps mention, that, in fact, we have first considered Wald’s curvature—and the metric approach to curvature in general—as means of computing, in a direct and applicable manner, Alexandrov’s curvature.
It is, however, important to notice that one has taken into account the “discrete” nature of the types of spaces considered, hence to compute solely the Wald curvature of the 1-star neighbourhood of a vertex, as already stressed above, and not to consider (ever) smaller neighbourhoods, as perhaps natural in other contexts. This, however, agrees with the method of computing discrete curvature as angular defect, as employed, for instance, in  and in the Chow-Luo discrete Ricci flow  (as well as in many other instances—see the bibliography for some of them). A positive consequence of this fact is that any such neighbourhood becomes a region having the same Alexandrov curvature bounded from below as the computed Wald one. Moreover, by the Alexandrov-Toponogo theorem (see, e.g., , Theorem 43 and its proof, pp. 837–840), the whole surface becomes a space of curvature (Wald or Alexandrov) bounded from below.
Moreover, taking into account only these “discrete” neighbourhoods is very important when equating the Wald and Alexandrov curvature, since it allows avoiding the blowup of Alexandrov curvature at the vertices during smoothing. However, if one still wishes to consider smaller-and-smaller neighbourhood of the vertices (motivated, perhaps, by other applications, then imaging and graphics, such as those in Regge calculus ), one can resort to the basic approach of Brehm and Kühnel, that is, “rounding” the edges by cylinders of radius (without any change in curvature) and replacing the polyhedral cones at the vertices by smooth “caps,” up to a predetermined admissible error of, say, . Note that such a “filtration” of by Gaussian curvature (of the approximating smooth surfaces) is in concordance with common practices in imaging, vision and, indeed, in many applicative fields. In addition, considering only this “discrete” neighbourhoods is very important when equating the Wald and Alexandrov curvature since it also allows us to avoid the blowup of Alexandrov curvature at the vertices during smoothing.
If one is willing to make appeal to the theory of Alexandrov spaces, then, by using this equivalence of Wald and Alexandrov curvatures with the above mentioned provisos, a result of the desired type follows immediately.
Theorem 35 (Bonnet-Myers-Alexandrov Spaces). Let be a complete, connected manifold, such that .
Then is compact, and, moreover
Proof. The theorem follows from [46, Corollary 47, p. 840] and from the fact that is locally compact.
3.2.1. Thick Cell Complexes
Determining whether a general complex has Wald curvature bounded from below can be, in practice, quite difficult. However, in the special case of thick complexes (see definition in Section 1) one can determine a simple criterion as follows.
Lemma 36. Let be a complete, connected manifold thickly embedded in some , such that , where denotes the 2-skeleton of . Then there exists such that .
Sketch of Proof. We indicate a proof only for the case ; the general case follows by a simple inductive argument. Consider an edge belonging to the 1-skeleton of . We have to show that , for any quadruple incident to . If is one of the quadruples determined by the original cells of (such as in Figure 3), the condition is fulfilled trivially since . Otherwise, the edges of are either edges of the original cells (see Figure 3), or diagonals of such cells (e.g., in Figure 3) or they connect vertices belonging to two different cells of the given complex (such as in Figure 3 connecting between vertices of the cells and ). But, it is quite standard to show that, by the fatness of the cells , there exists a constant such that . In a similar manner, using the boundedness from below of the angles as an equivalent definition of thickness, one can show that the fatness of the embedding implies that there exists a such that .
The desired conclusion follows from the two double inequalities above and from the continuity of the determinant function that defines the Wald curvature.
The fitting version of Bonnet-Myers now follows as a direct corollary.
Theorem 37 (Bonnet-Myers—thick complexes). Let be a complete, connected manifold thickly embedded in some , such that , where denotes the 2-skeleton of . Then is compact, and, moreover,
Remark 38. We have formulated the theorem in terms of piecewise-flat manifolds since this is the case of the most interest, both for theoretical ends (see, e.g. [13, 23, 25]) and application oriented ones (see, for instance, ). The most natural and useful instance in which such manifolds arise is that of secant approximations to smooth manifolds, as emphasized in most of the papers mentioned above. However, the proof extends—mutatis mutandis—to the case of spaces whose simplices are modelled after spherical or hyperbolic spaces.
4. A Comparison Theorem
Up to this point, we have not yet defined the sectional curvature of a cell . In light of our preceding discussion and results, the following definition is quite natural.
Definition 39. Let be an -dimensional manifold (without boundary). The scalar metric curvature of is defined as the sum being taken over all the cells of incident to the vertex of .
Using this definition and the results of Section 2, we immediately (and, in fact, quite trivially, since the result holds, regardless of the specific definition for the curvature of a cell) obtain, the following generalization of the classical curvature bounds comparison in Riemannian geometry (compare also with [47, Theorem 1]).
Theorem 40 (Comparison theorem). Let be an -dimensional manifold (without boundary), such that ; that is, , for any 2-cell of the dual manifold (cell complex) . Then
Remark 41. Inequality (23) can be formulated in the seemingly weaker form
Note that in all the inequalities above, the dimension appears, rather than as in the smooth, Riemannian case (hence, for instance, one has in (23) instead of , (On the other hand, this holds even if !…) as in the classical case). This is due to our definition (5) of Ricci (and scalar) curvature, via the dual complex of the given triangulation, hence, imposing standard and simple combinatorics, at the price of allowing for only such weaker bounds (without affecting the analogue of the Bonnet-Myers theorem—see Section 2 above).
5. Final Remarks
We conclude with a few short comments, regarding future study.(i)The first and foremost concern would be to develop a proof for the general case, along the lines sketched above, and without making appeal to the theory of Alexandrov spaces.(ii)Another less urgent task would be to provide full proofs and sharp, specific bounds in all the cases where these were only summarily sketched.(iii)Note that the most common discretization of Gaussian curvature, namely, the angle deficit approach, corresponds in fact to curvature area measure, so it is, essentially, a curvature measure (for a further development of this idea, see, e.g., ). In contrast, in our approach Wald’s curvature is a (point-wise) curvature function. It is, therefore, only natural to try and define a curvature measure based on Wald’s curvature. This would allow a better comparison with the previous works where the defect based discretization of curvature is used, not least the ones relating to the discrete Ricci flow [4, 5]. In addition, this would allow for a comparison with the other metric approaches to the curvature of manifolds (see Remark 23 above).(iv)As a last—but certainly not least—open problem that we believe to be worth solving is to develop a fitting notion of “Einstein metric” associated to the metric Ricci curvature introduced in this paper. Such a metric will probably be related to the stationary points of the Regge functional.
The authors would like to thank the anonymous referee for his correction, constructive critique and stimulating questions, and for his relevant bibliographical references. In addition, they would like to thank the reviewer for bringing to their attention some new relevant bibliographical sources, as well as for suggesting the problem stated in Section 5(iv). Emil Saucan research is supported by Israel Science Foundation Grants 221/07 and 93/11 and by European Research Council under the European Community's Seventh Framework Programme (FP7/2007-2013)/ERC Grant agreement no. . (The authors thank the anonymous reviewer for bringing to their attention this problem and its possible solution.).
X. D. Gu and S. T. Yau, Computational Conformal Geometry, Advanced Lectures in Mathematics no. 3, International Press, Somerville, Mass, USA, 2008.View at: MathSciNet
L. Astola, Multi-scale riemann-finsler geometry [Ph.D. thesis], Eindhoven, The Netherlands, 2010.
E. Appleboim, E. Saucan, and Y. Y. Zeevi, “Ricci curvature and flow for image denoising and superesolution,” in Proceedings of the European Signal Processing Conference (EUSIPCO '12), pp. 2743–2747, Bucharest, Romania, 2012.View at: Google Scholar
E. Saucan, “A metric Ricci flow for surfaces and its applications,” Imaging and Computing, vol. 1, 2013.View at: Google Scholar
A. Bernig, “On some aspects of curvature,” Preprint, 2003.View at: Google Scholar
J. F. Hudson, Piecewise Linear Topology, Lecture Notes in Mathematics, W. A. Benjamin, New York, NY, USA, 1969.View at: MathSciNet
J. R. Munkres, Elementary Differential Topology, Princeton University Press, Princeton, NJ, USA, 1966.View at: MathSciNet
D. Hilbert and S. Cohn-Vossen, Geometry and the Imagination, AMS Chelsea Publishing, American Mathematical Society, Chelsea, NY, USA, 1952.View at: MathSciNet
A. Wald, “Sur la courbure des surfaces,” Comptes Rendus de l'Académie des Sciences, vol. 201, no. 21, pp. 918–920, 1935.View at: Google Scholar
A. Wald, “Begreudeung einer koordinatenlosen Differentialgeometrie der Fläachen,” Ergebnisse Eines Mathematischen Kolloquiums, First Series, vol. 7, pp. 24–46, 1936.View at: Google Scholar
D. Burago, Y. Burago, and S. Ivanov, Course in Metric Geometry, vol. 33 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, USA, 2000.
M. Gromov, Metric Structures for Riemannian and Non-Riemannian Spaces, vol. 152 of Progress in Mathematics, Birkhäuser, Boston, Mass, USA, 1999.View at: MathSciNet
L. M. Blumenthal, Distance Geometry—Theory and Applications, Clarendon Press, Oxford, UK, 1953.View at: MathSciNet
L. M. Blumenthal and K. Menger, Studies in Geometry, W. H. Freeman and Company, San Francisco, Calif, USA, 1970.View at: MathSciNet
E. Saucan, E. Appleboim, and Y. Y. Zeevi, “Geometric approach to sampling and communication,” Sampling Theory in Signal and Image Processing, vol. 11, no. 1, pp. 1–24, 2012.View at: Google Scholar
J. Cheeger, “A vanishing theorem for piecewise constant curvature spaces,” in Curvature and Topology of Riemannian Manifolds (Katata, 1985), vol. 1201 of Lecture Notes in Mathematics, pp. 33–40, Springer, Berlin, Germany, 1986.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
A. Bernig, “Curvature bounds of subanalytic spaces,” Preprint, 2003.View at: Google Scholar