shape operator
The shape operator of a surface in is the derivative of the sphere map given by unit normal
vector field
at . So at each , and it is the linear transformation . This is important, because the determinant
defines the Gaussian curvature at in .