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 form
It 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.
Solved by gpt-5.6-sol high.
With the curvature convention , the Gauss equation for a Euclidean embedded submanifold is
The Codazzi equation is
where the derivative uses the Levi-Civita connection on tangent arguments and the normal connection on the value of .
Solved by gpt-5.6-sol high.
On the unit sphere choose the outward unit normal . For tangent vector fields ,
so
If are orthonormal, the Gauss equation gives
Thus the round unit sphere has sectional curvature one. Tracing over an orthonormal basis gives its scalar curvature
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.