Intrinsic Mean Ricci Curvature

• Intrinsic Mean Ricci is defined as the average of sectional curvatures in a d-dimensional plane, emerging as the second-order term in the small-sphere volume expansion.
• It interpolates between sectional and Ricci curvature by capturing localized curvature information and influencing Bochner–Weitzenböck identities.
• Its paired analysis with normal mean Ricci offers insights into spectral estimates, rigidity phenomena, and intrinsic–extrinsic curvature interactions in manifolds.

Searching arXiv for papers on intrinsic mean Ricci and closely related usage. Intrinsic mean Ricci is a pointwise subspace average of sectional curvature attached to a $d$-dimensional plane $\Pi\subset T_pM$. In the formulation introduced by Gajer–Ravel, it is the average of sectional curvatures of $2$-planes contained in $\Pi$, and it appears as the $r^2/6$ coefficient in the small-radius expansion of the intrinsic $(d-1)$-sphere volume element inside $\Pi$ (Gajer et al., 14 Aug 2025). In that setting it is paired with the normal mean Ricci curvature, which averages sectional curvatures of mixed $2$-planes spanned by one vector in $\Pi$ and one in $\Pi^\perp$; together these quantities connect Jacobi-field asymptotics, Bochner–Weitzenböck identities for simple $\Pi\subset T_pM$0-vectors, and curvature-driven vanishing and eigenvalue estimates (Gajer et al., 14 Aug 2025). In a distinct but related usage, the combination of interior Ricci curvature bounds and boundary mean-curvature bounds governs volume comparison, area growth of level sets, and Sormani–Wenger intrinsic flat compactness for manifolds with boundary (Perales, 2014). The broader literature on Ricci pinching for submanifolds shows how intrinsic Ricci lower bounds depending on the length of the mean curvature vector can force strong topological or geometric rigidity, providing an intrinsic–extrinsic context in which “mean” and “Ricci” curvature interact, though not through the same definition as intrinsic mean Ricci itself (Dajczer et al., 2023, Dajczer et al., 2023).

1. Definition on a $\Pi\subset T_pM$1-plane

Let $\Pi\subset T_pM$2 be a Riemannian manifold, fix $\Pi\subset T_pM$3, and let $\Pi\subset T_pM$4 be a $\Pi\subset T_pM$5-dimensional subspace. If $\Pi\subset T_pM$6 is any orthonormal basis of $\Pi\subset T_pM$7, and

$\Pi\subset T_pM$8

is the sectional curvature of the $\Pi\subset T_pM$9-plane spanned by $2$0, then the intrinsic mean Ricci curvature of $2$1 is defined by

$2$2

This is the definition given in “Intrinsic and Normal Mean Ricci Curvatures: A Bochner--Weitzenboeck Identity for Simple d-Vectors” (Gajer et al., 14 Aug 2025).

The same source states an equivalent averaging formula. Writing

$2$3

for $2$4, one has

$2$5

Accordingly, intrinsic mean Ricci is an averaged curvature invariant internal to the plane $2$6, not a trace over all of $2$7. This distinguishes it from the ambient Ricci tensor, which contracts sectional curvatures against all directions orthogonal to a given vector.

A plausible implication is that intrinsic mean Ricci interpolates between sectional and Ricci-type information: it is more collective than a single sectional curvature, but more localized than the full Ricci curvature. That interpretation is consistent with the fact that the definition is attached to a chosen subspace rather than to a tangent vector or the whole tangent space (Gajer et al., 14 Aug 2025).

2. Small-sphere asymptotics and geometric meaning

The primary geometric role of intrinsic mean Ricci in (Gajer et al., 14 Aug 2025) is as the second-order coefficient in the volume expansion of small geodesic spheres inside $2$8. In geodesic polar coordinates inside the flat $2$9-plane $\Pi$0, the Riemannian volume element on the geodesic sphere $\Pi$1 satisfies

$\Pi$2

where $\Pi$3. After integrating over $\Pi$4, the total $\Pi$5-volume becomes

$\Pi$6

In particular, the coefficient of $\Pi$7 is exactly $\Pi$8 (Gajer et al., 14 Aug 2025).

This identifies intrinsic mean Ricci as the curvature quantity controlling the first non-Euclidean correction to the intrinsic $\Pi$9-sphere measure in $r^2/6$0. Positive $r^2/6$1 decreases small-sphere volume relative to the Euclidean model at order $r^2/6$2, while negative $r^2/6$3 increases it. That interpretation follows directly from the sign in the expansion.

The same paper introduces the normal counterpart. If $r^2/6$4, $r^2/6$5 is an orthonormal basis of $r^2/6$6, and

$r^2/6$7

for $r^2/6$8, then the normal mean Ricci curvature is

$r^2/6$9

Its own small-sphere expansion is

$(d-1)$0

The paired appearance of $(d-1)$1 and $(d-1)$2 clarifies that “intrinsic” and “normal” refer to whether the averaged sectional curvatures lie entirely within $(d-1)$3 or mix $(d-1)$4 with its orthogonal complement (Gajer et al., 14 Aug 2025).

3. Bochner–Weitzenböck identity for simple $(d-1)$5-vectors

A central structural result of (Gajer et al., 14 Aug 2025) is a Bochner–Weitzenböck identity in which the curvature term for simple $(d-1)$6-vectors is expressed by the normal mean Ricci, not the intrinsic mean Ricci. Let

$(d-1)$7

be a pointwise-simple $(d-1)$8-vector field with $(d-1)$9 orthonormal and spanning $\Pi$0. The Hodge (Lichnerowicz) Laplacian satisfies

$\Pi$1

and the standard Bochner formula for $\Pi$2 is

$\Pi$3

Proposition 2.1 of Gajer–Ravel, as summarized in the source, gives

$\Pi$4

Hence

$\Pi$5

or equivalently

$\Pi$6

These identities show that the curvature term in the simple-$\Pi$7-vector Bochner theory is encoded by the normal mean Ricci of the underlying $\Pi$8-plane (Gajer et al., 14 Aug 2025).

This creates an instructive asymmetry. Intrinsic mean Ricci controls the intrinsic small-sphere expansion inside $\Pi$9, whereas normal mean Ricci governs the curvature term in the Hodge Laplacian on simple $2$0-vectors. A plausible implication is that the former is a local volumetric invariant internal to $2$1, while the latter measures how $2$2 is curved relative to complementary directions.

4. Vanishing and spectral consequences

Two immediate applications are extracted in (Gajer et al., 14 Aug 2025). The first is a Bochner vanishing criterion. Define

$2$3

If $2$4 is a smooth simple $2$5-vector field with $2$6, then pairing $2$7 with $2$8 and integrating over the closed manifold yields

$2$9

Since both terms on the right are nonnegative and $\Pi$0, one must have $\Pi$1 (Gajer et al., 14 Aug 2025).

The second is a Lichnerowicz-type lower bound for the first eigenvalue of the Hodge Laplacian on simple $\Pi$2-eigenfields. If $\Pi$3 is a nonzero smooth simple $\Pi$4-vector eigenfield with $\Pi$5, then

$\Pi$6

and therefore

$\Pi$7

These applications are explicitly stated as consequences of the Bochner–Weitzenböck identity (Gajer et al., 14 Aug 2025).

Although the hypotheses and conclusions concern $\Pi$8, they sharpen the interpretation of intrinsic mean Ricci by placing it within a two-invariant framework. The paper does not claim an analogous Bochner identity with $\Pi$9 in the curvature term; rather, intrinsic mean Ricci enters through intrinsic sphere-volume asymptotics, while normal mean Ricci enters through Hodge theory.

5. Relation to Ricci curvature and mean curvature bounds on manifolds with boundary

A different appearance of “mean” and “Ricci” in the literature occurs in Perales’s study of manifolds with boundary under interior Ricci and boundary mean-curvature bounds (Perales, 2014). The geometric setup assumes a connected, oriented, smooth Riemannian manifold $\Pi^\perp$0 with smooth boundary $\Pi^\perp$1, complete length metric $\Pi^\perp$2, interior nonnegative Ricci curvature

$\Pi^\perp$3

and uniform bounds

$\Pi^\perp$4

Writing

$\Pi^\perp$5

the paper proves a barrier Laplacian comparison: $\Pi^\perp$6 This comparison yields annular volume bounds, total volume bounds under a diameter assumption, and almost-everywhere area estimates for level sets $\Pi^\perp$7 (Perales, 2014).

The source explicitly summarizes the mechanism as follows: “The nonnegative interior Ricci bound guarantees that distance-spheres (even off a boundary) do not ‘bulge out’ too fast,” and “Integrating that inequality along normals from the boundary produces sharp control on the rate at which the $\Pi^\perp$8-area of level-sets $\Pi^\perp$9 can grow, the volumes of collars $\Pi\subset T_pM$00, and hence of $\Pi\subset T_pM$01 itself if $\Pi\subset T_pM$02 is finite” (Perales, 2014). It then states that these estimates underpin Sormani–Wenger intrinsic flat compactness theorems.

The paper also uses the phrase “intrinsic (mean + Ricci)” in describing how the pair of hypotheses

$\Pi\subset T_pM$03

“completely govern both the classical volume/area comparison results and the modern SWIF-compactness behaviour” (Perales, 2014). This is not a definition of intrinsic mean Ricci in the sense of (Gajer et al., 14 Aug 2025). Rather, it is a separate usage in which intrinsic Ricci curvature and mean curvature jointly control geometric comparison and compactness for manifolds with boundary.

6. Intrinsic–extrinsic pinching context in submanifold geometry

Further context comes from Ricci pinching results for compact submanifolds in spheres and space forms, where lower bounds on intrinsic Ricci curvature depend on the length of the mean curvature vector of the immersion (Dajczer et al., 2023, Dajczer et al., 2023). These works do not define intrinsic mean Ricci as a subspace average of sectional curvatures, but they are relevant because they exhibit another precise interaction between intrinsic Ricci data and mean curvature.

In “Ricci pinched compact submanifolds in spheres,” Dajczer and Vlachos prove that for a compact immersed $\Pi\subset T_pM$04-manifold $\Pi\subset T_pM$05, if

$\Pi\subset T_pM$06

where

$\Pi\subset T_pM$07

then homology-vanishing and rigidity conclusions follow (Dajczer et al., 2023). In the even-dimensional extremal case $\Pi\subset T_pM$08, the condition becomes

$\Pi\subset T_pM$09

and the paper concludes that either $\Pi\subset T_pM$10 is homeomorphic to $\Pi\subset T_pM$11, or $\Pi\subset T_pM$12 is the minimal Clifford torus $\Pi\subset T_pM$13, or the minimal $\Pi\subset T_pM$14 (Dajczer et al., 2023).

In “Ricci pinched compact submanifolds in space forms,” the corresponding lower bound is

$\Pi\subset T_pM$15

for compact $\Pi\subset T_pM$16-manifolds immersed in the simply-connected space form $\Pi\subset T_pM$17 with $\Pi\subset T_pM$18 and $\Pi\subset T_pM$19 (Dajczer et al., 2023). Under this hypothesis, the classification theorem yields exactly one of the following: $\Pi\subset T_pM$20 is homeomorphic to the sphere $\Pi\subset T_pM$21; or a product

$\Pi\subset T_pM$22

or $\Pi\subset T_pM$23 of holomorphic curvature $\Pi\subset T_pM$24, with the same $\Pi\subset T_pM$25, immersed through the stated models (Dajczer et al., 2023).

These results are described in the source as an “intrinsic–extrinsic rigidity principle”: “a purely intrinsic lower-bound on Ricci curvature which ‘knows about’ the mean curvature $\Pi\subset T_pM$26 is already strong enough to force the manifold to be either topologically trivial (a sphere) or one of the classical model immersions” (Dajczer et al., 2023). A plausible implication is that the emergence of intrinsic mean Ricci and normal mean Ricci in (Gajer et al., 14 Aug 2025) fits a broader trend: curvature quantities that average sectional data over distinguished subspaces can mediate between intrinsic invariants and extrinsic geometry.

7. Conceptual scope and possible misconceptions

Intrinsic mean Ricci, as defined in (Gajer et al., 14 Aug 2025), is specifically

$\Pi\subset T_pM$27

for a $\Pi\subset T_pM$28-plane $\Pi\subset T_pM$29. It is therefore not the standard Ricci curvature, not the scalar curvature, and not the mean curvature of a submanifold or boundary. Its defining feature is that it averages sectional curvatures entirely within a chosen plane.

A common source of confusion is the phrase “mean Ricci,” which can suggest an average of Ricci eigenvalues or a boundary mean-curvature/Ricci combination. The available sources support two distinct usages. One is the Gajer–Ravel notion of intrinsic and normal mean Ricci curvatures as subspace averages of sectional curvature with Jacobi-field and Bochner significance (Gajer et al., 14 Aug 2025). The other is Perales’s discussion of how “intrinsic (mean + Ricci)” curvature assumptions—namely $\Pi\subset T_pM$30 in the interior plus $\Pi\subset T_pM$31 on the boundary—govern volume comparison and SWIF compactness (Perales, 2014). These should not be conflated.

Another misconception would be to treat intrinsic mean Ricci and normal mean Ricci as interchangeable. The source assigns them distinct roles: intrinsic mean Ricci appears in the small-sphere expansion inside $\Pi\subset T_pM$32, whereas normal mean Ricci appears in the Bochner–Weitzenböck identity for simple $\Pi\subset T_pM$33-vectors and in the resulting vanishing and spectral estimates (Gajer et al., 14 Aug 2025).

Taken together, the cited works place intrinsic mean Ricci within a developing curvature vocabulary centered on subspace-averaged sectional data, Jacobi expansions, and intrinsic–extrinsic rigidity. The strongest concrete claims currently available from the sources are the exact definition of $\Pi\subset T_pM$34, its appearance in the coefficient of the intrinsic small-sphere volume expansion, and its companion role alongside $\Pi\subset T_pM$35 in the curvature analysis of simple $\Pi\subset T_pM$36-vectors (Gajer et al., 14 Aug 2025).