Prefer a chat interface with context about you and your work?
The normal holonomy group
We prove that the restricted normal holonomy group of a submanifold of a space of constant curvature is compact and that the nontrivial part of its representation on the normal space is the isotropy representation of a semisimple Riemannian symmetric space.