Geometry of submanifolds via moving frames

Consider, for simplicity, a 2-dimensional manifold Σ embedded into the 3-dimensional Riemannian manifold (M,g), in such a way that the given frame {e1,e2,e3} is adapted to Σ, i.e., ω3|TΣ=0, where ω1,ω2,ω3 is the dual coframe.
The surface Σ inherits a Riemannian metric from the ambient manifold, with its corresponding Levi-Civita connection. We will denote by ˜ω1,˜ω2 the restrictions of ω1,ω2 to TΣ, and by ˜Θ and ˜Ω the connection forms and the curvature forms, respectively, of the inherited connection.

According to Cartan's first structural equation,
dωj=ωiΘji.
By restricting to Σ (and by the uniqueness of ˜Θ) we conclude that
˜Θij=Θij|TΣ,i,j=1,2,
and that
0=˜ω1Θ31|TΣ+˜ω2Θ32|TΣ.
So there exists (by Cartan lemma) smooth functions sij defined on Σ, i,j=1,2, such that
Θ31|TΣ=s11˜ω1+s12˜ω2,
Θ32|TΣ=s21˜ω1+s22˜ω2,
with s12=s21.
The (0,2)-tensor II=sij˜ωi˜ωj is called the second fundamental form, and its definition can be proven to be independent of the chosen frame. Observe that
e1e3=e1Θ13e1+e1Θ23e2+e1Θ33e3=s11e1s21e2,
so II(ei,ej)=g(eie3,ej).
It is the "lowering indices version" of the (1,1)-tensor called the shape operator or Weingarten map:
S(X)=Xe3
In term of the given frame the shape operator can be written as
S=sij˜ωi˜ej,

where ˜ej=ej|TΣ, j=1,2.
This new tensor has the following invarians:
- The semi-trace H=12(s11+s22), which is called the mean curvature.
- The determinant Kext=s11s22s12s21, which is the extrinsic Gauss curvature.

On the other hand, by Cartan's second structural equation, the curvature 2-forms Ωij of M, defined by
Ωij=dΘij+ΘikΘkj.
are related to the Riemann curvature tensor of M by the equation
Rijab=Ωij(ea,eb)
in the given frame.  
Denote by ˜R the Riemann curvature tensor of Σ with respect to the inherited metric. The curvature 2-form ˜Ω of Σ satisfies, by its definition,
˜Ωij=Ωij|TΣ+Θ31|TΣΘ32|TΣ=Ωij+Kext˜ω1˜ω2.
From here, and according to equation (), we obtain the well-known Gauss' equation,
Kint=R1212+Kext,
where Kint:=˜R1212 is the intrinsic Gaussian curvature of Σ.

Comments

Popular posts from this blog

About the definition of angle, from Geometric Algebra

Spherical, hyperbolic and parabolic geometry

4-dimensional spheres, or haunting an ant