|
Education
Web
Viewing 1-1 of 1 total results
 Riemannian Geometry (PDF)
from above that (TM,M, pi) together with the maximal bundle atlas B̂ defined by B is a differen- tiable vector bundle. Definition 4.8. Let M be a differentiable manifold, then a section X : M → TM of the tangent bundle is called a vector field. The set of smooth vector fields X : M →...
1
0
from above that (TM,M, pi) together with the maximal bundle atlas B̂ defined by B is a differen- tiable vector bundle. Definition 4.8. Let M be a differentiable manifold, then a section X : M → TM of the tangent bundle is called a vector field. The set of smooth vector fields X : M → TM is denoted by C∞(TM). Example 4.9. We have seen earlier that the 3-sphere S3 in H ∼= C2 carries a group structure · given by (z, w) · (α, β) = (zα− wβ̄, zβ + wᾱ). This makes (S3, ·) into a Lie group with neutral element e = (1
18
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=18
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=18
16 2. DIFFERENTIABLE MANIFOLDS Example 2.25. The result of Proposition 2.24 can be used to show that the following maps are all smooth. (i) φ1 : S 2 ⊂ R3 → <span class="highlight">S3</span> ⊂ R4, φ1 : (x, y, z) 7→ (x, y, z, 0), (ii) φ2 : S 3 ⊂ C2 → S2 ⊂ C×R, φ2 : (z1, z2) 7→ (2z1z̄2, |z1|2−|z2|2), (iii) φ3 : R1 → S1 ⊂ C, φ3 : t 7→ eit, (iv) φ4 : Rm+1 \ {0} → Sm, φ4 : x 7→ x/|x|, (v) φ5 : Rm+1 \ {0} → RPm, φ5 : x 7→ [x], (vi) φ6 : S m → RPm, φ6 : x 7→ [x]. In differential geometry we are especially interested in differentiable manifolds
19
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=19
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=19
→ p · q̄ and a real valued norm given by |p|2 = p · p̄. Then the 3-dimensional unit sphere <span class="highlight">S3</span> in H ∼= R4 with the restricted multiplication forms a compact Lie subgroup (<span class="highlight">S3</span>, ·) of (H∗, ·). They are both non-abelian. We shall now introduce some of the classical real and complex matrix Lie groups. As a reference on this topic we recommend the wonderful book: A. W. Knapp, Lie Groups Beyond an Introduction, Birkhäuser (2002). Example 2.31. Let Nil3 be the subset of R3×3 given by Nil3 = { 1 x z0 1 y 0 0 1
22
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=22
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=22
R3 and the Riemann sphere Ĉ are diffeomorphic. Exercise 2.8. Find a proof of Proposition 2.24. Exercise 2.9. Let the spheres S1, <span class="highlight">S3</span> and the Lie groups SO(n), O(n), SU(n), U(n) be equipped with their standard differentiable structures introduced above. Use Proposition 2.24 to prove the fol- lowing diffeomorphisms S1 ∼= SO(2), <span class="highlight">S3</span> ∼= SU(2), SO(n)×O(1) ∼= O(n), SU(n)×U(1) ∼= U(n). Exercise 2.10. Find a proof of Corollary 2.28. Exercise 2.11. Let (G, ∗) and (H, ·) be two Lie groups. Prove that the product
32
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=32
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=32
embedding if and only if k = ±1. Example 3.23. Let q ∈ <span class="highlight">S3</span> be a quaternion of unit length and φq : S 1 → <span class="highlight">S3</span> be the map defined by φq : z 7→ qz. For w ∈ S1 let γw : R → S1 be the curve given by γw(t) = weit. Then γw(0) = w, γ̇w(0) = iw and φq(γw(t)) = qwe it. By differentiating we yield dφq(γ̇w(0)) = d dt (φq(γw(t)))|t=0 = d dt (qweit)|t=0 = qiw. Then |dφq(γ̇w(0))| = |qwi| = |q||w| = 1 6= 0 implies that the differen- tial dφq is injective. It is easily checked that the immersion φq is an embedding. In the next
36
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=36
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=36
ψk : z 7→ zk. For which k ∈ N0 are φk, ψk immersions, submersions or embeddings. Exercise 3.7. Prove that the map φ : Rm → Cm given by φ : (x1, . . . , xm) 7→ (eix1 , . . . , eixm) is a parametrization of the m-dimensional torus Tm in Cm. Exercise 3.8. Find a proof for Theorem 3.26. Exercise 3.9. Prove that the Hopf-map φ : <span class="highlight">S3</span> → S2 with φ : (x, y) 7→ (2xȳ, |x|2 − |y|2) is a submersion.
41
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=41
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=41
from above that (TM,M, pi) together with the maximal bundle atlas B̂ defined by B is a differen- tiable vector bundle. Definition 4.8. Let M be a differentiable manifold, then a section X : M → TM of the tangent bundle is called a vector field. The set of smooth vector fields X : M → TM is denoted by C∞(TM). Example 4.9. We have seen earlier that the 3-sphere <span class="highlight">S3</span> in H ∼= C2 carries a group structure · given by (z, w) · (α, β) = (zα− wβ̄, zβ + wᾱ). This makes (<span class="highlight">S3</span>, ·) into a Lie group with neutral element e = (1
83
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=83
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=83
(− � , � )→ O(n) is a geodesic if and only if γt · γ̈ = γ̈t · γ. Exercise 7.3. Find a proof for Proposition 7.23. Exercise 7.4. Find a proof for Corollary 7.24. Exercise 7.5. For the real parameter θ ∈ (0, pi/2) define the 2- dimensional torus T 2θ by T 2θ = {(cos θeiα, sin θeiβ) ∈ <span class="highlight">S3</span>| α, β ∈ R}. Determine for which θ ∈ (0, pi/2) the torus T 2θ is a minimal submanifold of the 3-dimensional sphere <span class="highlight">S3</span> = {(z1, z2) ∈ C2| |z1|2 + |z2|2 = 1}. Exercise 7.6. Find a proof for Corollary 7.27. Exercise 7.7. Determine the totally
95
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=95
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=95
zkw̄k and let Tm = {z ∈ Cm| |z1| = ... = |zm| = 1} be the m-dimensional torus in Cm with the induced metric. Find an isometric immersion φ : Rm → Tm, determine all geodesics on Tm and prove that the torus is flat. Exercise 8.6. Find a proof for Proposition 8.17. Exercise 8.7. Let the Lie group <span class="highlight">S3</span> ∼= SU(2) be equipped with the metric g(Z,W ) = 1 2 Re(trace(Z̄tW )). (i) Find an orthonormal basis for TeSU(2). (ii) Prove that (SU(2), g) has constant sectional curvature +1. Exercise 8.8. Let Sm be the unit sphere in
|
