Shape operator in a normal direction
ID: shape-operator-in-a-normal-direction
For a normal vector , this identity defines the corresponding shape operator using the vector-valued second fundamental form. It is self-adjoint because of the symmetry of the second fundamental form. Differentiating shows that . In higher codimension there is a different operator for each normal direction.
New to topics? Read the docs here!