DDVV conjecture for Riemannian maps from quaternionic space forms
In this paper, we investigate the DDVV-type inequality for Riemannian maps from quaternionic space forms to Riemannian manifolds. We also discuss the equality case of the derived inequality with application.