Improved Chen–Ricci Inequalities

• The paper introduces an improved Chen–Ricci inequality that sharpens classical estimates by reducing extrinsic coefficients and adding ambient correction terms.
• The approach employs a curvature-like tensor framework across complex, contact, and quaternionic geometries to derive precise intrinsic–extrinsic bounds.
• Equality cases reveal rigidity phenomena, indicating conditions under which submanifolds are totally geodesic or display specialized curvature configurations.

Improved Chen–Ricci inequalities are sharp or sharpened intrinsic–extrinsic comparison estimates that bound Ricci-type curvature quantities of a geometric object by quadratic expressions in its mean-curvature-type data, together with ambient correction terms determined by the surrounding geometry. In the modern literature, the term encompasses several closely related developments: abstract inequalities for curvature-like tensors, refined Ricci bounds for submanifolds in complex, contact, and quaternionic geometries, and generalized versions for Riemannian submersions and Riemannian maps. A recurring feature is that the classical Chen–Ricci pattern is preserved while additional geometric structure—such as a complex structure, contact tensor, warping function, or map-induced second fundamental tensor—produces sharper coefficients, new correction terms, or more rigid equality cases (Tripathi, 2011, Faghfouri et al., 2015, Singh et al., 18 Sep 2025).

1. Classical pattern and the meaning of “improved”

The classical point of departure is Chen’s Ricci inequality for an $n$-dimensional submanifold of a real space form $R^m(c)$: $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$ for each unit tangent vector $X$. The standard equality theory already exhibits the characteristic rigidity of Chen inequalities: if $H(p)=0$, equality for a unit vector is equivalent to membership in the relative null space, and equality for all unit vectors occurs only at a geodesic point or, when $n=2$, at an umbilical point (Tripathi, 2011).

In later work, an inequality is called “improved” when the right-hand side is sharpened in one of two ways. First, the coefficient of the extrinsic term may be reduced; for Riemannian maps, the general bound

$${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$

is improved to

$${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$

and this is explicitly described as sharper because $\frac{r-1}{4r}\le \frac14$ for $r>1$ (Singh et al., 18 Sep 2025). Second, the inequality may retain the classical Chen–Ricci shape while incorporating structure-sensitive correction terms. In generalized $R^m(c)$0-contact space forms, for example, the Ricci bound contains additional $R^m(c)$1, $R^m(c)$2, and $R^m(c)$3 contributions involving $R^m(c)$4 and $R^m(c)$5, and the paper characterizes these as contact-structure corrections (Faghfouri et al., 2015).

This suggests that “improvement” in the Chen–Ricci literature is not limited to numerical sharpening. It also includes refinement of the geometric content of the bound, so that the inequality detects more of the ambient and induced structure than the original real-space-form estimate.

2. Abstract algebraic framework

A decisive generalization is the curvature-like tensor approach. A tensor $R^m(c)$6 is called curvature-like if it satisfies the standard algebraic curvature symmetries, and if $R^m(c)$7 fits an algebraic Gauss equation

$R^m(c)$8

then $R^m(c)$9 plays the role of an abstract second fundamental form. In this setting, the associated $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$0-Ricci curvature satisfies the general estimate

$n|H|^{2}\geq \{Ric(X)-(n-1)c\},$1

Equality for a given unit vector $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$2 is characterized by the conditions $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$3 for all $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$4 and

$n|H|^{2}\geq \{Ric(X)-(n-1)c\},$5

while equality for all unit vectors occurs only when $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$6 or when $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$7 and the indicated two-dimensional condition holds (Tripathi, 2011).

The improved version appears when $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$8 satisfies an additional normal-frame condition denoted in the paper by equation $n|H|^{2}\geq \{Ric(X)-(n-1)c\},$9. Under that restriction, the bound becomes

$X$0

The proof uses algebraic lemmas of Deng to estimate the diagonal components under a trace constraint, and the strengthened coefficient is the algebraic source of several later geometric improvements (Tripathi, 2011).

The applications in the same work show how this abstract formalism specializes to concrete submanifold geometries. For a Lagrangian submanifold of a complex space form,

$X$1

For an $X$2-dimensional Kaehlerian slant submanifold of a $X$3-dimensional complex space form,

$X$4

For a $X$5-totally real submanifold of a Sasakian space form,

$X$6

In each case, the ambient structure is encoded by modifying the curvature-like tensor inserted into the abstract theorem, so the improvement is transferred from an algebraic statement to a geometric one (Tripathi, 2011).

3. Improved Chen–Ricci inequalities in contact and related submanifold geometries

A major development concerns $X$7-totally real submanifolds in generalized $X$8-contact space forms with divided $X$9. The ambient curvature tensor is written as

$H(p)=0$0

and the submanifold condition is that the structure vector field $H(p)=0$1 is normal, equivalently $H(p)=0$2 for all $H(p)=0$3. The central Ricci estimate is

$H(p)=0$4

This is explicitly presented as the paper’s main Chen–Ricci inequality in the generalized $H(p)=0$5-contact setting. Its equality case is determined by the relations

$H(p)=0$6

for $H(p)=0$7. If $H(p)=0$8, equality holds iff $H(p)=0$9, and equality for all unit tangent vectors occurs only when the point is totally geodesic or, for $n=2$0, totally umbilical (Faghfouri et al., 2015).

The same paper exhibits a Sasakian-type specialization, defined by

$n=2$1

for which the correction terms disappear and the sharp bound simplifies to

$n=2$2

together with the tensor inequality

$n=2$3

This specialization is described as a cleaner, sharper Chen–Ricci bound because the $n=2$4- and $n=2$5-terms vanish (Faghfouri et al., 2015).

A different ambient refinement appears for Lagrangian submanifolds of Kähler QCH-manifolds. With ambient curvature tensor

$n=2$6

the upper Ricci estimate becomes

$n=2$7

The paper states that this extends the known complex-space-form estimate to the broader QCH class, and when $n=2$8 and $n=2$9 it reduces to the improved Chen–Ricci inequality for complex space forms (Zhang et al., 2017).

The paper also proves a lower Ricci bound,

$${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$0

with equality for every unit vector only at totally geodesic points. A plausible implication is that the modern Chen–Ricci program has broadened from one-sided upper estimates to a more flexible Ricci-comparison theory in structured Kähler settings (Zhang et al., 2017).

4. Quaternionic and non-Levi-Civita extensions

In quaternionic Kähler geometry endowed with a Ricci quarter-symmetric metric connection, the Chen–Ricci philosophy persists but the curvature terms are altered by the connection tensor $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$1 and the quaternionic projections $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$2. The ambient connection is

$${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$3

and the curvature tensor of $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$4 is expressed by the corresponding deformation formula involving $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$5, $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$6, $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$7, and $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$8. For an $${\rm Ric}^{\cal H}(X)\leq {\rm Ric}^{\cal R}(F_{\ast }X) + \frac14\|\operatorname{trace}B^{\mathcal H}\|^2$$9-dimensional submanifold $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$0, the Ricci estimate takes the form

$${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$1

The paper identifies this as the result most directly connected to improved Chen–Ricci inequalities in its setting (Wani et al., 2020).

Its equality case is likewise rigid: off-diagonal second fundamental form components must vanish,

$${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$2

and the diagonal components must satisfy the Chen-lemma equality condition. The conclusions are dimension-sensitive: for $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$3, equality forces a totally geodesic point, whereas for $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$4 it yields a totally umbilical situation (Wani et al., 2020).

The same paper also derives scalar-curvature and $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$5 Chen-type inequalities, as well as generalized normalized Casorati inequalities. Those results are not Ricci inequalities in the narrow sense, but they demonstrate a systematic extension of the Chen framework to non-Levi-Civita connections and quaternionic ambient structures. This suggests that improved Chen–Ricci inequalities are part of a larger optimization-based family of intrinsic–extrinsic estimates rather than an isolated theorem schema (Wani et al., 2020).

5. Warped products, leaf-wise invariants, and generalized $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$6-frameworks

Although not every recent refinement is a Ricci inequality in the strict sense, several are structurally adjacent to the improved Chen–Ricci program because they replace full scalar or Ricci curvature by adapted invariants of distributions or factors. For CR-warped product submanifolds

$${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$7

in a complex space form $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$8, the 2026 paper introduces a leaf-wise $${\rm Ric}^{\cal H}\left( X\right) \leq {\rm Ric}^{\cal R}\left( F_{\ast}X\right) +\frac{(r-1)}{4r}\left\Vert {\rm trace~}B^{\cal H}\right\Vert^{2},$$9-invariant

$\frac{r-1}{4r}\le \frac14$0

The distinction between $\frac{r-1}{4r}\le \frac14$1 and the intrinsic Chen invariant of $\frac{r-1}{4r}\le \frac14$2 is controlled by the Bishop–O’Neill formula,

$\frac{r-1}{4r}\le \frac14$3

while the mixed sectional curvature identity

$\frac{r-1}{4r}\le \frac14$4

supplies the warping contribution to the inequality (Mustafa et al., 19 May 2026).

The resulting bounds are

$\frac{r-1}{4r}\le \frac14$5

and

$\frac{r-1}{4r}\le \frac14$6

The paper calls these the “first Chen inequalities” for CR-warped products and emphasizes that the bound is sharp and uniform in the sign of $\frac{r-1}{4r}\le \frac14$7 (Mustafa et al., 19 May 2026).

A related earlier CR-warped-product result in Bochner Kähler geometry gives

$\frac{r-1}{4r}\le \frac14$8

and, under compactness and an additional compatibility condition,

$\frac{r-1}{4r}\le \frac14$9

These are scalar-curvature and second-fundamental-form estimates rather than Chen–Ricci inequalities, but they show how warping data enters as an unavoidable extrinsic correction term in the same general comparison philosophy (Lone et al., 2016).

The generalized $r>1$0-invariant program reaches beyond submanifolds. For Riemannian submersions and Riemannian maps, the 2026 paper defines

$r>1$1

$r>1$2

and derives vertical and horizontal analogues adapted to the map geometry. The main submersion inequality is

$r>1$3

with

$r>1$4

The corresponding Riemannian-map inequality is

$r>1$5

These statements are presented as generalized B.-Y. Chen inequalities and are explicitly linked to the improved Chen–Ricci tradition in spirit and method (Singh, 17 Jun 2026).

6. Equality, rigidity, and current directions

Across the literature, equality cases are not incidental; they encode the extremal geometry. In the curvature-like tensor framework, equality forces the vanishing of mixed $r>1$6-components and alignment of $r>1$7 with the trace, and global equality leads to either $r>1$8 or a rigid two-dimensional model (Tripathi, 2011). In the generalized $r>1$9-contact setting, equality in the scalar-curvature inequality requires shape operators of block form

$R^m(c)$00

and the Ricci equality conditions impose the linear relations in equation $R^m(c)$01 of that paper (Faghfouri et al., 2015).

In the QCH Lagrangian setting, equality for all unit tangent vectors holds only at totally geodesic points or, for $R^m(c)$02, at $R^m(c)$03-umbilical points with

$R^m(c)$04

The quaternionic quarter-symmetric setting yields analogous conclusions: equality either forces total geodesicity or a two-dimensional totally umbilical configuration (Zhang et al., 2017, Wani et al., 2020).

The same rigidity appears in map-theoretic versions. For Riemannian maps, equality in the improved bound

$R^m(c)$05

holds for all unit horizontal $R^m(c)$06 iff either $R^m(c)$07 or $R^m(c)$08 and

$R^m(c)$09

The 2026 generalized-$R^m(c)$10 paper describes equality in terms of block-balancing and vanishing off-block coefficients of the O’Neill tensor or $R^m(c)$11, which is the same rigid pattern in a higher-order invariant language (Singh et al., 18 Sep 2025, Singh, 17 Jun 2026).

A common misconception is that improved Chen–Ricci inequalities are only coefficient refinements of the original real-space-form estimate. The literature shows a broader picture. Some improvements are genuinely coefficient-theoretic, as in the replacement of $R^m(c)$12 by $R^m(c)$13 for Riemannian maps (Singh et al., 18 Sep 2025). Others are ambient-structure-sensitive refinements, where extra curvature terms from $R^m(c)$14, $R^m(c)$15, $R^m(c)$16, $R^m(c)$17, quaternionic projections, or warping data sharpen the geometric information without necessarily changing the formal coefficient of the mean-curvature term (Faghfouri et al., 2015, Zhang et al., 2017, Mustafa et al., 19 May 2026).

Current directions recorded in the cited works include extending CR-warped-product inequalities to locally conformal Kähler space forms, answering open problems associated with the first Chen inequality in the CR-warped setting, and developing generalized Chen inequalities for submersions and maps in real and complex space forms with full equality characterizations (Mustafa et al., 19 May 2026, Singh, 17 Jun 2026). Taken together, these developments define improved Chen–Ricci inequalities as a mature and expanding branch of submanifold and mapping geometry, centered on optimal intrinsic–extrinsic comparison and the rigidity of its equality cases.