pith. sign in

arxiv: 2605.19601 · v1 · pith:XZ6HHP6Enew · submitted 2026-05-19 · 🧮 math.DG

First Chen Inequality for CR-Warped Product Submanifolds of a Complex Space Form and Applications

Abdulqader Mustafa , Monika Sati , Uday Chand De , Cenap Ozel , Alexander Pigazzini This is my paper

Pith reviewed 2026-05-20 02:42 UTC · model grok-4.3

classification 🧮 math.DG
keywords CR-warped productsChen inequalitycomplex space formssubmanifoldsmean curvaturedelta invariantBishop-O'Neill formula
0
0 comments X

The pith

CR-warped product submanifolds in complex space forms obey a sharp first Chen inequality that bounds leaf-wise delta invariants by mean curvature uniformly in curvature sign.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes the first Chen inequality for CR-warped product submanifolds immersed in complex space forms. The inequality relates a leaf-wise δ-invariant and sectional curvature on the intrinsic side to the mean curvature vector on the extrinsic side. A key distinction is made between the leaf-wise δ-invariant of a factor and its intrinsic Chen invariant, with the two connected on the totally real factor by the Bishop-O'Neill formula. The resulting bound is sharp and holds equally whether the holomorphic sectional curvature c is positive, zero, or negative. The inequality also supplies necessary conditions for such an immersed submanifold to be minimal.

Core claim

For a CR-warped product submanifold M = N^T ×_f N^⊥ immersed in a complex space form with holomorphic sectional curvature c, the first Chen inequality asserts that the leaf-wise δ-invariant of the totally real factor is controlled from above by an expression involving the squared norm of the mean curvature vector together with a term linear in c; the inequality is sharp, equality cases are characterized, and the bound remains valid independently of the sign of c.

What carries the argument

CR-warped product structure M = N^T ×_f N^⊥ together with the Bishop-O'Neill formula that relates the leaf-wise δ-invariant on the totally real factor to its intrinsic Chen invariant.

If this is right

  • Necessary conditions follow for the CR-warped product submanifold to be minimal in the complex space form.
  • Equality cases in the inequality classify those immersions that attain the bound.
  • The uniformity in c extends the same inequality statement to complex projective space, Euclidean space, and complex hyperbolic space.
  • The result supplies partial progress toward Chern's problem on minimal submanifolds in complex space forms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same separation of leaf-wise and intrinsic invariants may clarify Chen-type inequalities for other classes of warped products.
  • The technique could extend to CR-warped products in other ambient spaces with constant holomorphic sectional curvature.
  • Equality-case classification may lead to rigidity theorems for minimal CR-warped products.
  • The bound might be tested numerically on explicit examples such as Hopf fibrations or standard immersions of products.

Load-bearing premise

The immersed submanifold admits a CR-warped product structure with a totally real factor on which the Bishop-O'Neill formula relates the leaf-wise δ-invariant to the intrinsic Chen invariant of that factor.

What would settle it

A concrete CR-warped product submanifold in a complex space form for which the leaf-wise δ-invariant of the totally real factor exceeds the explicit upper bound expressed in terms of the mean curvature norm and c.

read the original abstract

In this paper, the first Chen inequality is proved for CR-warped product submanifolds in complex space forms. This inequality involves intrinsic invariants (a leaf-wise $\delta$-invariant and the sectional curvature) controlled by an extrinsic one (the mean curvature vector), which provides an answer to Problem [1]. We carefully distinguish the leaf-wise $\delta$-invariant of a factor (used in the bound) from the intrinsic Chen invariant of the same factor, the two being related, on the totally real factor, by the Bishop--O'Neill formula. The bound is sharp and is uniform in the sign of the holomorphic sectional curvature $c$. As a geometric application, we derive necessary conditions for the immersed CR-warped product submanifold to be minimal in a complex space form, providing a partial answer to a well-known problem proposed by S.S. Chern (Problem [2]). For further research directions, we address a couple of open problems (Problem [3]} and Problem [4]).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves the first Chen inequality for CR-warped product submanifolds immersed in complex space forms. The inequality bounds a combination of the leaf-wise δ-invariant (on the totally real factor) and sectional curvature by the squared norm of the mean curvature vector. The authors explicitly distinguish the leaf-wise δ-invariant from the intrinsic Chen invariant of the factor and relate the two via the Bishop-O'Neill formula. The resulting bound is claimed to be sharp and uniform with respect to the sign of the holomorphic sectional curvature c. Geometric applications include necessary conditions for the submanifold to be minimal, providing a partial answer to Chern's problem, together with two open problems for future work.

Significance. If the central inequality is correct, the result extends Chen-type inequalities to CR-warped products in complex space forms and supplies a uniform bound independent of the sign of c. The careful separation of leaf-wise and intrinsic invariants, together with the application to minimality conditions, would be useful for subsequent work on warped-product submanifolds. The manuscript also ships explicit statements of open problems, which aids reproducibility of the research direction.

major comments (1)
  1. [§3] §3 (derivation of the main inequality): the relation between the leaf-wise δ-invariant and the intrinsic Chen invariant is asserted to follow directly from the Bishop-O'Neill formula on the totally real factor. However, the warped-product sectional curvature on that factor contains additional terms of the form −(Hess f/f)(X,Y). Because the δ-invariant subtracts the maximum sectional curvature, these Hessian contributions can shift the maximum differently across planes; the manuscript does not exhibit an explicit estimate showing that the resulting error is controlled by the mean curvature or vanishes under the stated hypotheses. This step is load-bearing for both the inequality and the claimed sharpness.
minor comments (2)
  1. [Introduction] The abstract and introduction refer to Problems [1]–[4] without quoting their statements; the introduction should reproduce the precise formulations of Chern's problem and the other cited problems for self-contained reading.
  2. [Preliminaries] Notation for the warping function and the CR-structure should be introduced before the statement of the main theorem to avoid forward references.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address the major comment below and will incorporate clarifications in the revised version.

read point-by-point responses

  1. Referee: §3 (derivation of the main inequality): the relation between the leaf-wise δ-invariant and the intrinsic Chen invariant is asserted to follow directly from the Bishop-O'Neill formula on the totally real factor. However, the warped-product sectional curvature on that factor contains additional terms of the form −(Hess f/f)(X,Y). Because the δ-invariant subtracts the maximum sectional curvature, these Hessian contributions can shift the maximum differently across planes; the manuscript does not exhibit an explicit estimate showing that the resulting error is controlled by the mean curvature or vanishes under the stated hypotheses. This step is load-bearing for both the inequality and the claimed sharpness.

    Authors: We appreciate the referee drawing attention to this technical point in the derivation. In the CR-warped product structure, the totally real factor serves as the base of the warped product, so the Bishop-O'Neill formula indeed introduces the term −(Hess f/f)(X,Y) to the sectional curvatures of planes tangent to this factor. Because this term is direction-dependent, it can in principle alter which plane realizes the maximum sectional curvature and thereby affect the value of the δ-invariant. However, the leaf-wise δ-invariant employed in our inequality is defined directly with respect to the induced metric on the factor (which already incorporates the warping), while the intrinsic Chen invariant is the corresponding quantity computed on the factor equipped with its own Riemannian metric prior to warping. The difference between these two quantities is therefore given exactly by the Bishop-O'Neill correction. Under the standing hypotheses of the immersion into a complex space form, the Hessian term is controlled by the second fundamental form of the submanifold; an explicit computation shows that the resulting discrepancy is bounded by a multiple of the squared norm of the mean curvature vector. We will add a short lemma in the revised §3 that records this estimate in full detail, thereby making the passage from the leaf-wise to the intrinsic invariant completely transparent and confirming that the bound remains valid and sharp. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on standard external formulas and prior independent results

full rationale

The paper derives the Chen inequality for CR-warped products by applying the standard Bishop-O'Neill sectional curvature formula on the totally real factor to relate the leaf-wise δ-invariant to the intrinsic Chen invariant, then bounding via the mean curvature vector. This relation is a direct application of a well-known warped-product identity (not derived or fitted within the paper) and does not reduce the target inequality to any of the paper's own inputs by construction. Prior Chen-invariant results are invoked as external support rather than self-citations that bear the central load. The derivation remains self-contained against external benchmarks with no self-definitional loops, fitted predictions, or ansatz smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard axioms of Riemannian submanifold theory, the definition of complex space forms with constant holomorphic sectional curvature c, and the Bishop-O'Neill formula for warped products.

axioms (2)
  • domain assumption Ambient manifold is a complex space form with constant holomorphic sectional curvature c.
    This is the geometric setting stated in the abstract for the inequality.
  • domain assumption The submanifold admits a CR-warped product structure with a totally real factor.
    Required for applying the Bishop-O'Neill formula as described.

pith-pipeline@v0.9.0 · 5718 in / 1346 out tokens · 60574 ms · 2026-05-20T02:42:40.204882+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Bejancu,CR submanifolds of a Kaehler manifold I, Proc

    A. Bejancu,CR submanifolds of a Kaehler manifold I, Proc. Amer. Math. Soc.69(1978), 135–142

    work page 1978

  2. [2]

    Bejancu,Geometry of CR-submanifolds, D

    A. Bejancu,Geometry of CR-submanifolds, D. Reidel Publishing Company, 1986

    work page 1986

  3. [3]

    R. L. Bishop, B. O’Neill,Manifolds of negative curvature, Trans. Amer. Math. Soc.145(1969), 1–49

    work page 1969

  4. [4]

    Chen,Some pinching and classification theorems for minimal submanifolds, Arch

    B.-Y. Chen,Some pinching and classification theorems for minimal submanifolds, Arch. Math. 60(1993), 568–578. 17

    work page 1993

  5. [5]

    Chen,Relations between Ricci curvature and shape operator for submanifolds with arbi- trary codimensions, Glasgow Math

    B.-Y. Chen,Relations between Ricci curvature and shape operator for submanifolds with arbi- trary codimensions, Glasgow Math. J.41(1999), 33–41

    work page 1999

  6. [6]

    Chen,Geometry of warped products as Riemannian submanifolds and related problems, Soochow J

    B.-Y. Chen,Geometry of warped products as Riemannian submanifolds and related problems, Soochow J. Math.28(2002), 125–156

    work page 2002

  7. [7]

    Chen,On isometric minimal immersions from warped products into real space forms, Proc

    B.-Y. Chen,On isometric minimal immersions from warped products into real space forms, Proc. Edinb. Math. Soc.45(2002), 579–587

    work page 2002

  8. [8]

    Chen,Another general inequality for CR-warped products in complex space forms, Hokkaido Math

    B.-Y. Chen,Another general inequality for CR-warped products in complex space forms, Hokkaido Math. J.32(2003), 415–444

    work page 2003

  9. [9]

    Chen,On warped product immersions, J

    B.-Y. Chen,On warped product immersions, J. Geom.82(2005), 36–49

    work page 2005

  10. [10]

    Chen,δ-invariants, inequalities of submanifolds and their applications, in:Topics in differential Geometry, Editura Academiei Romˆ ane, Bucharest, 2008, 29–155

    B.-Y. Chen,δ-invariants, inequalities of submanifolds and their applications, in:Topics in differential Geometry, Editura Academiei Romˆ ane, Bucharest, 2008, 29–155

    work page 2008

  11. [11]

    Chen,A survey on geometry of warped product submanifolds, J

    B.-Y. Chen,A survey on geometry of warped product submanifolds, J. Adv. Math. Stud.6 (2013), 1–43

    work page 2013

  12. [12]

    B.-Y. Chen, S. Uddin,Warped product pointwise bi-slant submanifolds of Kaehler manifolds, Publ. Math. Debrecen92(2018), 183–199

    work page 2018

  13. [13]

    S. S. Chern,Minimal submanifolds in a Riemannian manifold, Lawrence, Kansas, 1968

    work page 1968

  14. [14]

    Moroianu,Lectures on K¨ ahler Geometry, Cambridge University Press, 2007

    A. Moroianu,Lectures on K¨ ahler Geometry, Cambridge University Press, 2007

    work page 2007

  15. [15]

    Mustafa, A

    A. Mustafa, A. De, S. Uddin,Characterization of warped product submanifolds in Kenmotsu manifolds, Balkan J. Geom. Appl.20(2015), 86–97

    work page 2015

  16. [16]

    J. F. Nash,C 1-isometric imbeddings, Ann. Math.60(1954), 383–396

    work page 1954

  17. [17]

    J. F. Nash,The imbedding problem for Riemannian manifolds, Ann. Math.63(1956), 20–63

    work page 1956

  18. [18]

    O’Neill,Semi-Riemannian geometry with applications to relativity, Academic Press, New York, 1983

    B. O’Neill,Semi-Riemannian geometry with applications to relativity, Academic Press, New York, 1983

    work page 1983

  19. [19]

    Osserman,Curvature in the eighties, Amer

    R. Osserman,Curvature in the eighties, Amer. Math. Monthly97(1990), 731–756. 18

    work page 1990