---
title: Normal Mean Ricci Curvature
url: https://www.emergentmind.com/topics/normal-mean-ricci
type: topic
---

# Normal Mean Ricci Curvature

Normal mean Ricci curvature is a pointwise subspace average of sectional curvature attached to a \(d\)-dimensional plane \(\Pi\subset T_pM\) in a Riemannian \(n\)-manifold. It is defined by averaging the sectional curvatures of all \(2\)-planes spanned by one direction in \(\Pi\) and one direction in \(\Pi^\perp\). In "Intrinsic and Normal Mean Ricci Curvatures: A Bochner--Weitzenboeck Identity for Simple d-Vectors" the notion is introduced together with its companion, the intrinsic mean Ricci, and is shown to govern both small normal-sphere volume expansions and a Bochner--Weitzenböck identity for simple \(d\)-vectors [2508.10306].

## 1. Definition and geometric content

Let \((M^n,g)\) be a Riemannian \(n\)-manifold, let \(p\in M\), and let
\[
\Pi\subset T_pM,\qquad 1\le d\le n-1.
\]
Choose orthonormal bases
\[
\{e_1,\dots,e_d\}\quad\text{of }\Pi,\qquad \{n_1,\dots,n_{n-d}\}\quad\text{of }\Pi^\perp.
\]
For each mixed \(2\)-plane \(\operatorname{span}\{e_i,n_\alpha\}\), its sectional curvature is
\[
K(e_i,n_\alpha)=g\bigl(R(e_i,n_\alpha)n_\alpha,e_i\bigr).
\]
The normal mean Ricci curvature of \(\Pi\) is then
\[
\overline{\mathrm{Ric}^{\perp}_{\Pi}}
=\frac{1}{d(n-d)}\sum_{i=1}^{d}\sum_{\alpha=1}^{n-d}K(e_i,n_\alpha).
\]
This quantity is independent of the choice of orthonormal frames and depends only on the splitting \(T_pM=\Pi\oplus\Pi^\perp\) [2508.10306].

The defining average is neither the ordinary Ricci curvature of a vector nor the scalar curvature of a subspace. It is a subspace invariant built from all mixed sectional curvatures between \(\Pi\) and its orthogonal complement. In the terminology of the same work, it is the "normal (mixed) mean Ricci" of \(\Pi\), whereas the intrinsic mean Ricci is the average of sectional curvatures of \(2\)-planes contained in \(\Pi\) [2508.10306].

## 2. Jacobi-field interpretation and local volume asymptotics

A central feature of normal mean Ricci is its appearance in small-radius geometry transverse to \(\Pi\). Fix \(\Pi\) and consider the normal sphere of radius \(r\),
\[
S^{\,n-d-1}_{r,\Pi^\perp}=\{\exp_p(r\,u)\mid u\in\Pi^\perp,\;\|u\|=1\}.
\]
A Jacobi-field calculation yields a small-\(r\) expansion for the \((n-d-1)\)-dimensional volume element:
\[
dV_{S^{\,n-d-1}_{r,\Pi^\perp}}
=
r^{\,n-d-1}\Bigl(1-\tfrac{r^2}{6}\,\overline{\mathrm{Ric}^{\perp}_{\Pi}}+O(r^4)\Bigr)\,dV_{S^{\,n-d-1}}.
\]
Accordingly, the normal mean Ricci occurs as the \(r^2/6\) coefficient in the transverse sphere-volume expansion [2508.10306].

The same paper places this result alongside the corresponding intrinsic construction: intrinsic mean Ricci appears as the \(r^2/6\) coefficient in the intrinsic \((d-1)\)-sphere volume element, while normal mean Ricci appears in the normal \((n-d-1)\)-sphere volume element. This gives the invariant a direct metric interpretation. Rather than being introduced purely algebraically, it is extracted from the second-order behavior of geodesic spheres in directions orthogonal to \(\Pi\) [2508.10306].

A plausible implication is that normal mean Ricci plays, for transverse volume comparison relative to a chosen \(d\)-plane, a role analogous to that played by ordinary Ricci curvature in classical geodesic-ball asymptotics. The paper states this in the more specific form that the invariant "appears in small-sphere/tube expansions transverse to \(\Pi\)" [2508.10306].

## 3. Bochner--Weitzenböck identity for simple \(d\)-vectors

The principal analytic result is a Bochner--Weitzenböck identity specialized to simple \(d\)-vectors. On the bundle \(\Lambda^d TM\), the Hodge (Lichnerowicz) Laplacian is
\[
\Delta_H=\nabla^*\nabla+\mathcal R_d,
\]
where \(\mathcal R_d\) is the curvature endomorphism on \(\Lambda^d\). If
\[
V=X_1\wedge\cdots\wedge X_d
\]
is a pointwise orthonormal simple \(d\)-vector spanning \(\Pi\), then
\[
\bigl\langle \mathcal R_dV,V\bigr\rangle
=
\sum_{i=1}^d\sum_{\alpha=1}^{n-d}K(X_i,n_\alpha)
=
d(n-d)\,\overline{\mathrm{Ric}^{\perp}_{\Pi}}.
\]
Thus the curvature term in the Bochner formula is exactly \(d(n-d)\) times the normal mean Ricci of the underlying \(d\)-plane [2508.10306].

For a unit simple field \(V\), the usual Bochner identity becomes
\[
\tfrac12\,\Delta|V|^2
=
\langle\nabla^*\nabla V,V\rangle
-
|\nabla V|^2
+
d(n-d)\,\overline{\mathrm{Ric}^{\perp}_{\Pi}}\,|V|^2.
\]
This formula is structurally notable because the curvature term collapses from the full endomorphism \(\mathcal R_d\) to a scalar quantity determined by the mixed sectional curvatures between \(\Pi\) and \(\Pi^\perp\) [2508.10306].

The identity applies specifically to simple \(d\)-vectors, not arbitrary \(d\)-forms or decomposable tensors in a broader sense. That restriction is essential: the simplification of the curvature term depends on the presence of an orthonormal frame \(X_1,\dots,X_d\) spanning a genuine \(d\)-plane \(\Pi\).

## 4. Vanishing and eigenvalue estimates on closed manifolds

The paper defines the global lower bound
\[
\kappa_d
:=
d(n-d)\inf_{p\in M}\inf_{\Pi\in G_d(T_pM)}
\overline{\mathrm{Ric}^{\perp}_{\Pi}}.
\]
This quantity packages the infimum of the pointwise normal mean Ricci over the Grassmann bundle of \(d\)-planes [2508.10306].

Two analytic consequences are immediate on a closed manifold.

First, if \(\kappa_d>0\), then any smooth simple \(d\)-vector field \(V\) satisfying \(\Delta_HV=0\) must vanish identically. The argument integrates the Bochner identity and uses positivity of the curvature term to force \(V\equiv0\) [2508.10306].

Second, if \(V\) is a nonzero smooth simple \(d\)-vector field with
\[
\Delta_HV=\lambda V,
\]
then
\[
\lambda\ge \kappa_d
=
d(n-d)\inf_{\Pi}\overline{\mathrm{Ric}^{\perp}_{\Pi}}.
\]
Equivalently,
\[
\frac{\langle\Delta_HV,V\rangle}{\|V\|_{L^2}^2}\ge \kappa_d.
\]
This is presented as a Lichnerowicz-type lower bound for the first eigenvalue of the Hodge Laplacian on simple \(d\)-eigenfields [2508.10306].

These consequences place normal mean Ricci within the Bochner tradition, but with a domain of application adapted to decomposable multivector fields. The positivity hypothesis is not a lower bound on ordinary Ricci curvature, nor on the full curvature operator on \(\Lambda^d\); it is a lower bound on the mixed average associated with each \(d\)-plane.

## 5. Explicit formulas and model spaces

The paper gives explicit computations of \(\overline{\mathrm{Ric}^{\perp}_{\Pi}}\) in several standard geometries [2508.10306].

| Geometry | Condition on \(\Pi\) | \(\overline{\mathrm{Ric}^{\perp}_{\Pi}}\) |
|---|---|---|
| Space form \((M^n,g)\) of constant sectional curvature \(\kappa\) | Any \(d\)-plane | \(\kappa\) |
| \(\mathbb{C}P^n\) with Fubini–Study normalization (holomorphic sectional curvature \(=4\)) | \(\Pi\) a \(J\)-invariant real \(2k\)-plane | \(1\) |
| \(\mathbb{C}P^n\) with Fubini–Study normalization | \(\Pi\) totally real of dimension \(d\) | \(1+\dfrac{3}{2n-d}\) |
| \(S^a(\rho_a)\times S^b(\rho_b)\) with \(\kappa_a=\rho_a^{-2}\), \(\kappa_b=\rho_b^{-2}\) | \(\Pi=\Pi_A\oplus\Pi_B\), \(\dim\Pi_A=d_1\), \(\dim\Pi_B=d_2\) | \(\dfrac{1}{d(n-d)}\bigl[d_1(a-d_1)\kappa_a+d_2(b-d_2)\kappa_b\bigr]\) |

In space forms, the invariant is constant and equals the ambient sectional curvature. Consequently,
\[
\langle\mathcal R_dV,V\rangle=d(n-d)\kappa
\]
for every simple \(d\)-vector \(V\) [2508.10306].

For complex projective space, the formulas distinguish \(J\)-invariant and totally real planes. This shows that normal mean Ricci is sensitive not only to the ambient metric but also to how the chosen \(d\)-plane sits inside the tangent space relative to the complex structure [2508.10306].

For Riemannian products, the explicit formula records how the average splits according to the decomposition \(\Pi=\Pi_A\oplus\Pi_B\). The same work states that warped products, the Heisenberg group, and surfaces of revolution admit similar explicit formulae for \(\overline{\mathrm{Ric}^{\perp}_{\Pi}}\) in terms of base/fiber curvature and warping data; in all cases, the invariant measures the average "bending" of all \(2\)-planes that meet \(\Pi\) orthogonally [2508.10306].

## 6. Relation to Ricci pinching, normal curvature, and adjacent frameworks

The terminology surrounding "Ricci," "mean curvature," and "normal curvature" is not uniform across the literature, and normal mean Ricci occupies a distinct place within it.

In the framework of compact submanifolds in space forms, one encounters lower bounds of the form
\[
\Ric_M(X,X)\ge (n-2)(c+H^2),
\]
used to derive sphere theorems and rigidity without assuming \(\nabla^\perp\vec H=0\) [2310.19021]. In the hypersurface case in \(S^{n+1}\), a different pinching condition,
\[
\Ric_M(X,X)\ge b(n,k,H(x))\|X\|^2,
\]
is combined with a Bochner--Weitzenböck formula on \(p\)-forms to obtain topological consequences and Clifford-torus rigidity [2310.05457]. These are intrinsic Ricci lower bounds expressed in terms of mean curvature.

By contrast, in the theory of real hypersurfaces in non-flat complex space forms, "normal curvature in direction \(X\)" denotes
\[
\kappa_X=g(AX,X),
\]
and appears in the inequality
\[
\Ric(X)\le |\vec H|^2+\kappa_X+c\,(2n-2+3\|\phi X\|^2)
\]
[1805.09576]. In submanifolds of Bochner–Kähler manifolds, Chen-type inequalities again relate \(\Ric(X)\) to \(\|H\|^2\) and ambient curvature terms [1601.04129].

Normal mean Ricci is different from all of these quantities. It is not the Ricci tensor of the submanifold, not the scalar mean curvature of an immersion, and not the hypersurface normal curvature \(g(AX,X)\). It is instead the average of mixed sectional curvatures determined by a splitting \(T_pM=\Pi\oplus\Pi^\perp\) [2508.10306]. This distinction suggests that the invariant belongs to the intrinsic Riemannian geometry of tangent-space decompositions, while still interfacing naturally with Bochner theory and with volume-comparison phenomena in directions normal to \(\Pi\).

Within that broader landscape, the main significance of normal mean Ricci is that it isolates a curvature average precisely adapted to simple \(d\)-vectors. The resulting Bochner identity, vanishing criterion, and eigenvalue lower bound indicate that mixed sectional curvature averages can play the same structural role for decomposable multivector fields that ordinary Ricci curvature plays for vector fields and classical differential forms [2508.10306].

Source: https://www.emergentmind.com/topics/normal-mean-ricci