Beruflich Dokumente
Kultur Dokumente
metric on S3
Axel Tiger Norkvist
December 2018
Introduction
The standard metric on S 3 is given by
2
sin η 0 0
g= 0 cos2 η 0 ,
0 0 1
sin2 η
2
0 0 csc η 0 0
g̃ = e 2H(θ,φ,η)
0 cos2 η 0 , g̃ −1 = e−2H(θ,φ,η) 0 sec2 η 0 .
0 0 1 0 0 1
We would like to calculate the Christoffel symbols for this new metric on S 3 ,
and moreover determine the Levi-Civita connection on the Riemannian manifold
(S 3 , g̃).
1
−∂3 (H) sin2 η − sin η cos η
0 ∂1 (H)
Γ3jk = 0 −∂3 (H) cos2 η + sin η cos η ∂2 (H) (3)
∂1 (H) ∂2 (H) ∂3 (H)
or equivalently by:
∂
∇X Y = (X(Y i ) + Γijk X j Y k ) .
∂xi
Thus we get that the Levi-Civita connection on (S 3 , g̃) is given by:
∂ ∂ ∂ ∂
∇θ = ∂1 (H) − ∂2 (H) tan2 η − (∂3 (H) sin2 η + sin η cos η) (4)
∂θ ∂θ ∂φ ∂η
∂ ∂ ∂ ∂
∇θ = ∂2 (H) + ∂1 (H) = ∇φ (5)
∂φ ∂θ ∂φ ∂θ
∂ ∂ ∂ ∂
∇θ = (∂3 (H) + cot η) + ∂1 (H) = ∇η (6)
∂η ∂θ ∂η ∂θ
∂ ∂ ∂ ∂
∇φ = −∂1 (H) cot2 η + ∂2 (H) + (sin η cos η − ∂3 (H) cos2 η) (7)
∂φ ∂θ ∂φ ∂η
∂ ∂ ∂ ∂
∇φ = (∂3 (H) − tan η) + ∂2 (H) = ∇η (8)
∂η ∂φ ∂η ∂φ
∂ ∂ ∂ ∂
∇η = −∂1 (H) csc2 η − ∂2 (H) sec2 η + ∂3 (H) (9)
∂η ∂θ ∂φ ∂η
2
¯ is given
where H̃(ϕ1 , ϕ2 ) = H(ϕ1 , ϕ2 , η0 ); the induced Levi-Civita connection ∇
by:
The unit normal to the tangent plane of T 2 at a point is N := e−H(ϕ1 ,ϕ2 ,η0 ) ∂η
∂
,
and using this we may get the shape operator:
∂ ∂ ∂
SN = −∇1 N = −∇1 e−H = ... = −e−H (∂3 (H) + cot η0 )
∂ϕ1 ∂η ∂θ
∂ ∂ ∂
SN = −∇2 N = −∇2 e−H = ... = −e−H (∂3 (H) − tan η0 ) ,
∂ϕ2 ∂η ∂φ
or in matrix form:
−H ∂3 (H) + cot η0 0
SN = −e . (13)
0 ∂3 (H) − tan η0
From this we see, in particular, that if ∂3 (H)|η=η0 = − cot 2η0 it follows that
T 2 is minimal in S 3 with the perturbed metric. This is equivalent with H being
of the following form:
f (η) cot 2η0
H(θ, φ, η) = H̄(θ, φ) − (14)
f 0 (η0 )
for an arbitrary function f with a nonzero derivative at η = η0 .
3
−∂2 (H̃) tan2 η0
∂1 (H̃)
Γ̃2jk = . (16)
∂1 (H̃) ∂2 (H̃)
These Christoffel symbols can then be used to calculate the Laplace-Beltrami
operator for T 2 :
2
˜ i ∇i f = g jk ∂ ∂
∆T 2 f = ∇ − Γ̃ijk (f )
∂j ∂k ∂i
= /Christoffel symbols cancel each other out/
∂2 ∂2
= e−2H̃ csc2 η0 + sec2 η0 (f ).
∂11 ∂22