The nullity of a compact minimal real hypersurface in a quaternion projective space (Q1297640)

Denote by \(\mathbb{H} P^n\) the quaternionic projective space equipped with the Fubini Study metric of constant holomorphic sectional curvature 4. The author proves that the nullity of any compact minimal real hypersurface \(M\) in \(\mathbb{H} P^n\) is greater or equal than \(4n\), and equality holds if and only if \(M\) is a minimal geodesic hypersphere. The analogous result for complex projective spaces has been derived by the author in [Tokyo J. Math. 17, 201-209 (1994; Zbl 0817.53032)].