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=−s11e1−s21e2,
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=s11s22−s12s21, 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
Post a Comment