Codazzi-Mainardi equation

In Riemannian geometry, the Gauss–Codazzi–Mainardi equations are fundamental equations in the theory of embedded hypersurfaces in a Euclidean space, and more generally submanifolds of Riemannian manifolds. They also have applications for embedded hypersurfaces of pseudo-Riemannian manifolds.

In the classical differential geometry of surfaces, the Gauss–Codazzi–Mainardi equations consist of a pair of related equations. The first equation, sometimes called the Gauss equation, relates the intrinsic curvature (or Gauss curvature) of the surface to the derivatives of the Gauss map, via the second fundamental form. This equation is the basis for Gauss's theorema egregium. The second equation, sometimes called the Codazzi–Mainardi equation, is a structural condition on the second derivatives of the Gauss map. It was named for Gaspare Mainardi (1856) and Delfino Codazzi (1868–1869), who independently derived the result, although it was discovered earlier by Karl Mikhailovich Peterson. It incorporates the extrinsic curvature (or mean curvature) of the surface. The equations show that the components of the second fundamental form and its derivatives along the surface completely classify the surface up to a Euclidean transformation, a theorem of Ossian Bonnet.

Let i : M ⊂ P be an n-dimensional embedded submanifold of a Riemannian manifold P of dimension n+p. There is a natural inclusion of the tangent bundle of M into that of P by the pushforward, and the cokernel is the normal bundle of M:

...
Wikipedia