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
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
35
0
http://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=35
www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf#page=35
pi : Rn → Rm given by pi : (x1, . . . , xn) 7→ (x1, . . . , xm). Its differential dpix at a point x is surjective since dpix(v1, . . . , vn) = (v1, . . . , vm). This means that the projection is a submersion. An important sub- mersion between spheres is given by the following. Example 3.30. Let <span class="highlight">S3</span> and S2 be the unit spheres in C2 and C× R ∼= R3, respectively. The Hopf map φ : <span class="highlight">S3</span> → S2 is given by φ : (x, y) 7→ (2xȳ, |x|2 − |y|2). For p ∈ <span class="highlight">S3</span> the Hopf circle Cp through p is given by Cp = {eiθ(x, y)| θ ∈ R
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
|
iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.
If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.
If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.