Optimal inequalities involving Casorati curvatures along Riemannian maps and Riemannian submersions for quaternionic space form

TL;DR

This paper establishes new inequalities involving Casorati curvatures for Riemannian maps and submersions in quaternionic space forms, characterizing equality cases with geometric conditions like invariance and integrability.

Contribution

It introduces novel Casorati inequalities for Riemannian maps and submersions in quaternionic space forms, with detailed geometric characterizations of equality cases.

Findings

Casorati inequalities for Riemannian maps to quaternionic space forms.

Characterization of equality cases involving invariantly quasi-umbilical leaves.

Conditions for integrability of horizontal distribution and quasi-umbilical fibres.

Abstract

In this paper, we establish Casorati inequalities for Riemannian maps and Riemannian submersions involving quaternionic space forms, and we provide geometric characterisations of their equality cases. First, we derive Casorati inequalities for Riemannian maps to quaternionic space forms and describe the corresponding equality cases, showing that the leaves of the range space are invariantly quasi-umbilical, and that the associated shape operator matrix commutes. Next, we obtain Casorati inequalities involving the fundamental tensor fields $T$ and $A$ for Riemannian submersions from quaternionic space forms onto Riemannian manifolds, together with their geometric interpretations. In particular, we prove that the equality case corresponding to the tensor field $A$ along the horizontal distribution is equivalent to the integrability of the horizontal distribution. Moreover, the equality case associated with the tensor field $T$ along the vertical distribution characterises fibres that are invariantly quasi-umbilical with a commuting shape operator matrix. Finally, the simultaneous equality cases involving both tensor fields $T$ and $A$ along the horizontal and vertical distributions imply the integrability of the horizontal distribution together with the invariantly quasi-umbilical nature of the fibres and the commutativity of the corresponding shape operators.