Let be the Euclidean connection and split the ambient tangent bundle along the embedded submanifold as . The second fundamental form is the normal-bundle-valued bilinear formIt is symmetric because is torsion-free and the Lie bracket of tangent vector fields remains tangent:This is the symmetry of the second fundamental form.
With the curvature convention , the Gauss equation for a Euclidean embedded submanifold isThe Codazzi equation iswhere the derivative uses the Levi-Civita connection on tangent arguments and the normal connection on the value of .
On the unit sphere choose the outward unit normal . For tangent vector fields ,soIf are orthonormal, the Gauss equation givesThus the round unit sphere has sectional curvature one. Tracing over an orthonormal basis gives its scalar curvature
Articles by others on the same topic
There are currently no matching articles.