Normal and geodesic curvature

When we have a curve γ:[0,L]R3 contained in a immersed surface f(M) we can define two notions related to the usual curvature of a curve and torsion of a curve. If we name NM to the unit normal to the surface and BM to the product T×NM, we can define:


Another approach (with other notation) (@needham2021visual page 116), if the curve is C and the tangent vector at the point of study is T we can consider the normal n to the surface S, and the planes TpS (the tangent plane to S) and ΠT the normal plane to the surface spanned by T and n.
Pasted image 20220207191435.png
Suppose the osculating plane to C at p is inclined an angle γ (γ is the angle between the binormal B of C and the normal n to S). Then κn and κg are the curvatures of the projections of C onto ΠT and TpS respectively. If the curvature of C is κ it is satisfied that

κn=κsin(γ)κg=κcos(γ)

Related to this notions is the Meusnier's theorem.

Intrinsic measurement of the geodesic curvature

As might be expected, the geodesic curvature can be obtained intrinsically. The inhabitants of the surface S do not know that they live in a surface so they can try to measure the usual curvature by their own means, for example, by the measuring the change in the angle, as is outlined here.
Pasted image 20220221074459.png
They weren't using tangent lines, indeed, but "tangent geodesics". The result is: what for them is the curvature, for us is the geodesic curvature.
See @needham2021visual page 119.

Relationship with covariant derivative

According to @needham2021visual page 243

vv=κ=κg+κn

Defining the covariant derivative inherited from the ambient R3 as the projection on the tangent space to the surface in every point Dvv=P[vv]=vv(nvv)n it turns out that

κg=Dvv,

since κn=(nvv)n.