General Chen's First Inequality and Applications for Riemannian Maps

Basic Information

• Paper ID: 2510.10505
• Title: General Chen's first inequality and applications for Riemannian maps
• Authors: Ravindra Singh, Kiran Meena, Kapish Chand Meena
• Classification: math.DG (Differential Geometry)
• Publication Date: October 12, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10505v1

Abstract

This paper establishes a general form of Chen's first inequality (CFI) for Riemannian maps between Riemannian manifolds. Based on this general framework, the authors derive CFI for Riemannian maps when the target space is a generalized complex space form or a generalized Sasakian space form. Furthermore, CFI is obtained for cases where the target space is a real space form, complex space form, real Kähler space form, Sasakian space form, Kenmotsu space form, cosymplectic space form, or almost C(α) space form. Additionally, geometric applications of CFI on generalized complex and generalized Sasakian space forms are discussed, with particular emphasis on estimates of δ-invariants under various assumptions.

Research Background and Motivation

Problem Background

1. Lack of Relations Between Extrinsic and Intrinsic Properties: In differential geometry, there is insufficient relationship between extrinsic and intrinsic properties of submanifolds.
2. Importance of Chen's Inequality: In 1993, Chen introduced an inequality relating extrinsic and intrinsic invariants of submanifolds, namely Chen's first inequality (CFI), which has become an important tool for constraining and relating curvature, establishing rigidity theorems, and exploring geometric flows.
3. Geometric Significance of Riemannian Maps: Riemannian maps possess rich geometric and physical significance, allowing comparison of geometric properties between source and target manifolds.

Research Motivation

• Existing research primarily focuses on CFI for submanifolds in various space forms, while research on CFI for Riemannian maps remains relatively limited
• Şahin and others have only studied CFI for Riemannian maps from Riemannian manifolds to real and complex space forms
• There is a need to establish a more general theoretical framework to handle Riemannian maps on various space forms

Core Contributions

1. Establishment of General Form CFI: Proposes a general form of Chen's first inequality for Riemannian maps between Riemannian manifolds (Theorem 3.1)
2. Extension to Special Space Forms: Applies the general CFI to generalized complex space forms and generalized Sasakian space forms
3. Coverage of Classical Space Forms: Obtains CFI for real, complex, real Kähler, Sasakian, Kenmotsu, cosymplectic, and almost C(α) space forms as special cases
4. Geometric Applications: Provides estimates of δ-invariants under various assumptions
5. Equality Conditions: Gives complete characterization of when equality holds in all inequalities

Detailed Methodology

Basic Setup

Let π : (M^m, g₁) → (N^n, g₂) be a smooth map between Riemannian manifolds, where 0 < rank π ≤ min{m,n}. Define:

• V_p = (ker π_p): the kernel of π_ at point p
• H_p = (ker π_*p)^⊥: the orthogonal complement of the kernel
• R_p = (range π_p): the range of π_
• R_p^⊥ = (range π_*p)^⊥: the orthogonal complement of the range

General CFI Theorem

Theorem 3.1: For a Riemannian map π : (M^m, g₁) → (N^n, g₂), for all p ∈ M and any plane section P ⊂ T_pM spanned by {h₁, h₂}, we have:

$K_H(P) \geq \frac{1}{2}\left\{2\rho_H - \frac{(r-2)}{(r-1)}\|\tau_H\|^2 - 2\rho_R + 2K_R(P)\right\}$

where 2ρ_H (resp. 2ρ_R) denotes the scalar curvature of H (resp. R).

Key Techniques

1. Gauss Equation: Utilizes the Gauss equation for Riemannian maps to relate the second fundamental form to the curvature tensor
2. Scalar Curvature Relations: Establishes relationships between scalar curvatures of the horizontal space and range space: $2\rho_H = 2\rho_R - \|\nabla\pi_*\|^2 + \|\tau_H\|^2$
3. Shape Operator Analysis: Characterizes equality conditions through special forms of the shape operator

Applications to Special Space Forms

Generalized Complex Space Forms

Definition: An almost Hermitian manifold (N, g₂, J) is called a generalized complex space form N(f₁, f₂) if there exist smooth functions f₁, f₂ such that: $R^N(X₁,X₂)X₃ = f₁\{g₂(X₂,X₃)X₁ - g₂(X₁,X₃)X₂\} + f₂\{...\}$

Main Result (Theorem 4.3): For Riemannian maps to generalized complex space forms: $K_H(P) \geq \frac{1}{2}\left\{2\rho_H - \frac{(r-2)}{(r-1)}\|\tau_H\|^2 - (r-2)(r+1)f₁ - 3f₂(\|P\|^2 - 2\Theta(P))\right\}$

Generalized Sasakian Space Forms

Definition: An almost contact metric manifold (N, g₂, φ, ξ, η) is called a generalized Sasakian space form N(f₁, f₂, f₃) if there exist smooth functions f₁, f₂, f₃ satisfying corresponding curvature conditions.

Main Result (Theorem 4.8): Two cases are distinguished based on the location of the structure vector field ξ:

1. When ξ ∈ Γ(R): includes modification with f₃ term
2. When ξ ∈ Γ(R^⊥): the f₃ term vanishes, and the form simplifies

Estimates of δ-Invariants

Definition

The δ-invariant is defined as: $\delta_H = \rho_H - \inf\{K_H(P) : \text{plane section } P \subset T_pM\}$

Main Estimation Results

For Generalized Complex Space Forms (Theorem 5.1):

1. When f₂ ≥ 0: $\delta_H \leq \frac{(r-2)}{2}\left\{\frac{1}{(r-1)}\|\tau_H\|^2 + (r+1)f₁ + \frac{3r}{(r-2)}f₂\right\}$
2. When f₂ ≤ 0: $\delta_H \leq \frac{(r-2)}{2}\left\{\frac{\|\tau_H\|^2}{(r-1)} + (r+1)f₁\right\}$

For Generalized Sasakian Space Forms (Theorems 5.4, 5.5): Detailed classification estimates are provided based on the signs of f₂, f₃ and the location of ξ.

Equality Conditions

Equality in all inequalities requires specific geometric conditions, primarily involving:

• Special forms of the shape operator (Condition 3.2)
• Holomorphicity or total reality conditions
• Special positions of the structure vector field
• Orthogonality conditions

Related Work

This paper builds upon the following important works:

1. Chen (1993): First introduced the CFI concept
2. Şahin et al.: Studied CFI for Riemannian maps to real and complex space forms
3. CFI for Submanifolds in Various Space Forms: Including related work on Sasakian, Kenmotsu, and cosymplectic space forms

Conclusions and Discussion

Main Conclusions

1. Establishes a unified theoretical framework for CFI of Riemannian maps
2. Systematically handles various important space forms
3. Provides precise estimates for δ-invariants
4. Completely characterizes geometric conditions for equality

Theoretical Significance

• Extends Chen's inequality theory to Riemannian maps
• Unifies multiple special results in submanifold theory
• Provides new tools for studying geometric properties of Riemannian maps

Applied Value

• Can be used to study properties of harmonic maps
• Provides tools for geometric flows and rigidity theorems
• Has potential applications in field theory in physics

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Establishes a systematic and complete theoretical framework
2. Technical Depth: Employs sophisticated differential geometric techniques
3. Rich Results: Covers multiple important space forms
4. Broad Applications: δ-invariant estimates have important geometric significance

Technical Innovations

1. Generalization Method: Theoretical construction from special to general cases
2. Case-by-Case Analysis: Detailed analysis according to different geometric structures
3. Equality Conditions: Complete characterization of optimality conditions

Limitations

1. Dimension Restrictions: Requires rank π = r ≥ 3
2. Technical Complexity: Proofs involve complex tensor calculations
3. Application Scope: Primarily limited to theoretical differential geometry research

Impact Assessment

• Makes important contributions to inequality theory in differential geometry
• Provides new research directions for Riemannian map theory
• May inspire further research on related space forms

References

The paper cites 31 related references, primarily including:

• Chen's original work and subsequent developments
• Geometric theory of various space forms
• Foundational theory of Riemannian maps
• Related research on δ-invariants

This paper has significant theoretical value in the field of differential geometry, systematically developing Chen's inequality theory for Riemannian maps and laying a solid foundation for further research in this area.