Teorema de holonomia normal

Abstract

In this work we will introduce the concept of normal holonomy and restricted normal holonomy of a riemannian submanifold. They are subgroups of the orthogonal matrices that are realized from parallel translating normal vectors, along loops and null-homotopic loops respectively, using the normal connection. We will proof that the restricted normal holonomy is a Lie subgroup of the orthogonal matrices. With the aid of the Ambrose-Singer Theorem, which relates the concept of curvature with restricted normal holonomy, we will prove the Normal Holonomy Theorem which is the extrinsic analogue of the algebraic de Rham-Berger s Theorem.