General Casorati inequalities and implications for Riemannian maps and Riemannian submersions

Basic Information

• Paper ID: 2510.12760
• Title: General Casorati inequalities and implications for Riemannian maps and Riemannian submersions
• Authors: Ravindra Singh, Kiran Meena, Kapish Chand Meena
• Classification: math.DG (Differential Geometry)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.12760

Abstract

This paper establishes general forms of Casorati inequalities for Riemannian maps and Riemannian submersions. Using these general formulations, the authors derive Casorati inequalities for Riemannian maps (submersions) whose target spaces (source spaces) are generalized complex space forms and generalized Sasakian space forms. As corollaries, Casorati inequalities are obtained for target spaces (source spaces) that are real, complex, real Kähler, Sasakian, Kenmotsu, cosymplectic, and almost C(α) space forms. To validate these general forms, known Casorati inequalities are verified in special cases where the target or source spaces are real, complex, Sasakian, and Kenmotsu space forms. Furthermore, Casorati inequalities for invariant and anti-invariant Riemannian maps (submersions) are provided, and conditions for equality are discussed.

Research Background and Motivation

Problem Background

1. Importance of Casorati Curvature: Although Gaussian curvature is a fundamental tool in differential geometry, it may vanish on certain curved surfaces. To address this limitation, Casorati introduced the concept of Casorati curvature, an extrinsic invariant that vanishes only at planar points.
2. Applications of Riemannian Maps and Submersions: Riemannian submersions have broad applications in physics, mechanics, relativity, spacetime, robotics, supergravity, superstring theory, Kaluza-Klein theory, Yang-Mills theory, and other fields. Riemannian maps generalize submanifolds and Riemannian submersions, possessing rich geometric properties.
3. Limitations of Existing Research: While scholars have studied Casorati inequalities for real space forms, complex space forms, and Sasakian space forms, a unified general theoretical framework is lacking.

Research Motivation

This paper aims to establish a general theoretical framework for Casorati inequalities of Riemannian maps and Riemannian submersions and apply it to various space forms, thereby bridging geometry and physics.

Core Contributions

1. Establishment of General Casorati Inequalities: Provides a unified theoretical framework for Riemannian maps and Riemannian submersions (Theorems 4, 14, 24).
2. Extension to Generalized Space Forms: Extends results to generalized complex space forms and generalized Sasakian space forms (Theorems 5, 9, 15, 20, 25, 27).
3. Coverage of Multiple Classical Space Forms: As direct corollaries, obtains inequalities for real, complex, real Kähler, Sasakian, Kenmotsu, cosymplectic, and almost C(α) space forms.
4. Verification of Known Results: Validates known Casorati inequalities in special cases, ensuring theoretical consistency.
5. Discussion of Invariant and Anti-invariant Cases: Provides specialized results for invariant and anti-invariant Riemannian maps (submersions).
6. Analysis of Equality Conditions: Discusses in detail the geometric characteristics when equality holds in the inequalities.

Methodology Details

Fundamental Definitions and Notation

Generalized Complex Space Forms

Let $(M, g, J)$ be an even-dimensional Riemannian manifold with an almost complex structure $J$. If there exist smooth functions $c_1, c_2$ such that the curvature tensor satisfies: $R(Z_1,Z_2)Z_3 = c_1\{g(Z_2,Z_3)Z_1 - g(Z_1,Z_3)Z_2\} + c_2\{g(Z_1, JZ_3)JZ_2 - g(Z_2, JZ_3)JZ_1 + 2g(Z_1, JZ_2)JZ_3\}$

Generalized Sasakian Space Forms

Let $(M,\phi, \xi, \eta, g)$ be an odd-dimensional Riemannian manifold with a $(1,1)$ tensor field $\phi$, structure vector field $\xi$, and 1-form $\eta$. If there exist smooth functions $c_1, c_2, c_3$ such that the curvature tensor satisfies the corresponding expressions.

Core Technical Methods

1. Application of the Gauss Equation

For a Riemannian map $F: (M_1^{m_1}, g_1) \to (M_2^{m_2}, g_2)$, the key Gauss equation is: $g_2(R^{M_2}(F_*Z_1, F_*Z_2)F_*Z_3, F_*Z_4) = g_1(R^{M_1}(Z_1, Z_2)Z_3, Z_4) + g_2((\nabla F_*)(Z_1, Z_3), (\nabla F_*)(Z_2, Z_4)) - g_2((\nabla F_*)(Z_1, Z_4), (\nabla F_*)(Z_2, Z_3))$

2. Optimization Techniques

Using the constrained optimization result in Lemma 3, for the quadratic form: $f(z_1, \ldots, z_r) = \lambda_1\sum_{i=1}^{r-1}z_i^2 + \lambda_2z_r^2 - 2\sum_{1\leq i<j\leq r}z_iz_j$ under the constraint $z_1 + \cdots + z_r = k$, the minimum is attained at $z_1 = \cdots = z_{r-1} = \frac{k}{\lambda_1+1}$, $z_r = \frac{k}{\lambda_2+1}$.

3. Scalar Curvature Decomposition

Through the Gauss equation, the relationship between scalar curvatures is established: $2\text{scal}_H = 2\text{scal}_R + \|\text{trace}B^H\|^2 - rC^H$

Proof Strategy of Main Theorems

Proof Strategy of Theorem 4

1. Construct quadratic polynomials $P_R$ and $Q_R$
2. Use optimization techniques to prove $P_R \geq 0$ and $Q_R \geq 0$
3. Obtain the desired inequalities through infimum and supremum operations
4. Determine equality conditions through critical point conditions of the optimization problem

Experimental Setup

Theoretical Verification

This paper is primarily pure mathematical theoretical research, with results verified through:

1. Comparison with Known Results: In special cases, the newly obtained inequalities are verified to be consistent with results in references 15, 27, 39.
2. Consistency Checks: Ensures that general results reduce to classical cases under specific parameter choices.
3. Equality Condition Analysis: Verifies the tightness of inequalities by analyzing the geometric conditions for equality.

Experimental Results

Main Results

1. General Inequalities for Riemannian Maps (Theorem 4)

For Riemannian maps of rank $r \geq 3$: $\rho^H \leq \delta_C^H(r-1) + \rho^R \quad \text{and} \quad \rho^H \leq \hat{\delta}_C^H(r-1) + \rho^R$

2. Application to Generalized Complex Space Forms (Theorem 5)

$\rho^H \leq \delta_C^H(r-1) + c_1 + \frac{3c_2}{r(r-1)}\|P^R\|^2$

3. Application to Generalized Sasakian Space Forms (Theorem 9)

Different inequality forms are obtained depending on whether $\xi_2$ belongs to $\Gamma(\text{range}F_*)$.

Verification Results

• Remark 7: Equations (15) and (16) are verified to be completely consistent with results in reference 15
• Remark 11: Confirms that equation (18) is consistent with results in references 27, 28
• Remark 17: Verifies that equations (28) and (29) match corresponding results in reference 15

Corollaries for Special Cases

By selecting specific parameter values, Casorati inequalities for the following classical space forms are obtained:

• Real space forms: $c_1 = c, c_2 = 0$
• Complex space forms: $c_1 = c_2 = \frac{c}{4}$
• Sasakian space forms: $c_1 = \frac{c+3}{4}, c_2 = c_3 = \frac{c-1}{4}$
• Kenmotsu space forms: $c_1 = \frac{c-3}{4}, c_2 = c_3 = \frac{c+1}{4}$

Related Work

Historical Development

1. Origins of Casorati Curvature: Introduced by Casorati in 1890 to address limitations of Gaussian curvature
2. Submanifold Theory: Various geometers have studied Casorati inequalities in real, complex, generalized complex, cosymplectic, Sasakian, Kenmotsu, and other ambient spaces
3. Riemannian Submersions and Maps: Recently, Lee and others obtained related results in real and complex space forms

Innovations of This Paper

• Provides a unified theoretical framework
• Extends to more general space forms
• Systematically handles invariant and anti-invariant cases

Conclusions and Discussion

Main Conclusions

1. Establishes a general theory of Casorati inequalities for Riemannian maps and submersions
2. Unifies results across multiple space forms
3. Provides potential bridges between geometry and physics
4. Equality conditions yield important geometric information

Limitations

1. Restriction requiring rank $r \geq 3$
2. Some results depend on the existence of specific geometric structures
3. Geometric interpretation of equality conditions requires further investigation

Future Directions

1. Extension to other types of space forms
2. Investigation of more general curvature inequalities
3. Exploration of specific applications in physical theories
4. Development of numerical methods to verify theoretical results

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a unified framework encompassing multiple classical cases
2. Technical Rigor: Proofs are rigorous, employing modern optimization theory
3. Practical Value: Results are applicable across multiple geometric branches
4. Sufficient Verification: Correctness is ensured through comparison with known results

Weaknesses

1. Lack of Application Examples: Concrete geometric or physical application examples are missing
2. Computational Complexity: Practical computation of certain inequalities may be complex
3. Equality Conditions: Geometric interpretation of equality conditions lacks depth

Impact

1. Academic Contribution: Provides important theoretical tools for the differential geometry field
2. Generalizability: Methods may be applicable to other types of geometric inequalities
3. Interdisciplinary Value: Provides theoretical foundation for the combination of geometry and physics

Applicable Scenarios

• Study of curvature properties in Riemannian geometry
• Analysis of optimization problems in geometric structures
• Geometric modeling in physical theories
• Theoretical research in related mathematical branches

References

The paper cites 41 related references, primarily including:

• Foundational theory of Casorati curvature
• Classical results on Riemannian maps and submersions
• Geometric properties of various space forms
• Applications of optimization theory in differential geometry

Overall Assessment: This is a high-quality pure mathematics theoretical paper with significant theoretical value in the field of differential geometry. The authors systematically establish a general theoretical framework for Casorati inequalities and successfully unify multiple classical cases. The technical treatment is rigorous, and the results possess strong generalizability, laying a solid theoretical foundation for further research in related fields.