You are on page 1of 9

Theodore Voronov. Differentiable Manifolds.

Spring 2011

1 Differentiable manifolds and smooth maps.


(Solutions)
Last updated: March 17, 2011.

Problem 1. The state of the planar pendulum is entirely defined by the


position of its moving end in the plane R2 . Since the length is fixed, the end
is always at a constant distance from the origin O, i.e., is on the circle of
center O and certain radius R. It can be identified with the standard (unit)
circle by a change of scale. All positions on the circle are possible. Therefore
the configuration space of the planar pendulum is the manifold S 1 .

Problem 2. The stereographic projection maps a point P = (x, y, z) on


S R to the point P 0 = (u, v, 0), the intersection of the line (N P ) with
2 3

the plane z = 0. Parametric equation of the line: Pt = tN + (1 t)P =


(1 t)x, (1 t)y, t + (1 t)z = (1 t)x, (1 t)y, t(1 z) + z , and the
z 1
intersection with the plane z = 0 is for t = 1z or 1 t = 1z . Hence we
have the formulas
x y
u= , v= ,
1z 1z
valid for z 6= 0, i.e., for all points of S 2 except for the north pole itself (as
it should be, by the geometrical meaning). It is clear geometrically that
the intersection point P 0 can be an arbitrary point of the plane, i.e., the
coordinates (u, v) can be arbitrary, and there is a one-to-one correspondence
between S 2 \ {N } and R2 . To find the inverse map, i.e., for given (u, v) find
(x, y, z) S 2 , it is possible to express x and y via u, v and z from the above
formulas together with the equation of the sphere x2 +y 2 +z 2 = 1. We obtain
x = (1z)u, y = (1z)v, and, plugging that into the equation of the sphere,
we arrive at (1 z)2 (u2 + v 2 ) + z 2 = 1 or (1 z)2 (u2 + v 2 ) = 1 z 2 . We can
dive by 1 z (because z 6= 1 for P 6= N ), so obtain (1 z)(u2 + v 2 ) = 1 + z.
2 +v 2 +1
Finally we get 1 z = u2 +v2 2 +1 and z = uu2 +v 2 +1 . This gives the desired
answer:
2u 2v u2 + v 2 1
x= , y= , z= .
u2 + v 2 + 1 u2 + v 2 + 1 u2 + v 2 + 1
As expected, these formulas make sense for arbitrary (u, v) R2 .

Problem 3. For the south pole taken as the center of the projection,
everything is similar to the results obtained above (see the solution to Prob-
lem 2). Since the north pole N = (0, 0, 1) and the south pole S = (0, 0, 1)
exchange places under the transformation z 7 z, all the formulas can be
obtained from the corresponding formulas for the stereographic projection
from the north pole by a change of signs. Answers:
(a) The coordinates (u0 , v 0 ) are defined for all points of S 2 except for the

1
Theodore Voronov. Differentiable Manifolds. Spring 2011

point S, which is the center of projection.


(b) We have
x y
u0 = , v0 = ,
1+z 1+z
and, conversely,

2u0 2v 0 1 (u0 )2 (v 0 )2
x= , y= , z= .
(u0 )2 + (v 0 )2 + 1 (u0 )2 + (v 0 )2 + 1 (u0 )2 + (v 0 )2 + 1

(c) Both coordinate systems (u, v) and (u0 , v 0 ) are defined on S 2 \ {N, S}.
To find the change of coordinates u = u(u0 , v 0 ), v = v(u0 , v 0 ), we substitute
x, y, z as functions of u0 , v 0 to the expressions for u and v. For example,
x 2u0 (u0 )2 +(v 0 )2 +1 u0
for u we obtain u = 1z = (u0 )2 +(v 0 )2 +1 2((u0 )2 +(v 0 )2 ) = (u0 )2 +(v 0 )2 , because
0 2
1(u ) (v ) 0 2 0 2
2((u ) +(v ) ) 0 2
1 z = 1 (u0 )2 +(v 0 )2 +1 = (u0 )2 +(v 0 )2 +1 . And similarly for v. So the change of

coordinates u = u(u0 , v 0 ), v = v(u0 , v 0 ) has the form

u0 v0
u= , v= .
(u0 )2 + (v 0 )2 (u0 )2 + (v 0 )2

These formulas are defined for all (u0 , v 0 ) except for (u0 , v 0 ) = (0, 0), which
are the coordinates of the north pole N in the (u0 , v 0 )-system. Conversely,
the change of coordinates u0 = u0 (u, v), v 0 = v 0 (u, v) is given by
u v
u0 = , v0 = .
u2 + v2 u2 + v2
These formulas are defined for (u, v) 6= (0, 0), which are the coordinates of
the south pole S in the (u, v) coordinate system.

Problem 4. Consider the unit sphere S n Rn+1 . It is specified by the


equation
(x1 )2 + . . . + (xn )2 + (xn+1 )2 = 1.
Let x = (x1 , . . . , xn ) Rn and denote xn+1 = z. We write P = (x, z) for
P = (x1 , . . . , xn+1 ) Rn+1 . We take the point N = (0, 1), i.e., (0, . . . , 0, 1),
as the center of the projection. There are two maps: F : S n \ {N } Rn
and F 1 : Rn S n \ {N }. If (N P ) is the line through N and P = (x, z)
S n \ {N }, and P 0 = (u, 0) is the intersection of (N P ) with the z = 0 plane,
then F : P 7 u and F 1 : u 7 P . Here u = (u1 , . . . , un ) is a point in
Rn . To find the explicit formulas, we write a point Pt on the line (N P ) as
Pt = tN + (1 t)P = (1 t)x, t + (1 t)z . The last coordinate vanishes
z 1
when t = 1z , hence 1 t = 1z . We obtain for F : (x, z) 7 u,
x
u= .
1z

2
Theodore Voronov. Differentiable Manifolds. Spring 2011

For the inverse map, we solve for x and z having in mind the relation |x|2 +
z 2 = 1. We have x = u(1 z), hence we arrive at the quadratic equation
(denoting 1 z = w): |u|2 w2 + (1 w)2 = 1, or (1 + |x|2 )w2 2w = 0, from
which we obtain the unique solution w = 2/(|u|2 + 1), since w = 1 z 6= 0,
and therefore
2u
x=
|u|2 + 1
|u|2 1
z=
|u|2 + 1

We have arrived at two mutually inverse maps establishing a bijection be-


tween S n \ {N } and Rn . The map F 1 : Rn S n \ {N } can be viewed as a
chart for S n . We can change notation and denote it N := F 1 . So we have
N : Rn(N ) S n \ {N },

|u(N ) |2 1
 
2u(N )
N : u(N ) 7 , ,
|u(N ) |2 + 1 |u(N ) |2 + 1
x
1
N : (x, z) 7 u(N ) = .
1z
(We have introduced the subscript N as a label of the chart.)
By considering the south pole S = (0, 1) as the center of the projection
instead of N , we can construct the chart S : Rn(S) S n \ {N } in the same
way. The formulas differ by the sign of the last coordinate only (since N and
S are swapped under z 7 z):

|u(S) |2 + 1
 
2u(S)
S : u(S) 7 , ,
|u(S) |2 + 1 |u(S) |2 + 1
x
1
S : (x, z) 7 u(S) = .
1+z
These two charts make an atlas because (S n \ {N }) (S n \ {S}) = S n . On
the intersection (S n \ {N }) (S n \ {S}) = S n \ {N, S} we can calculate the
changes of coordinates, i.e., the expression of u(N ) via u(S) and vice versa.
Note that S n \ {N, S} corresponds to Rn \ {0} at each chart. One can find
directly:
u(S)
u(N ) =
|u(S) |2
(check!). This is a smooth map (even analytic), therefore we have a structure
of a smooth manifold for S n .

Problem 5. (Solution for arbitrary n.) We have RP n = {(x1 : . . . : xn+1 )}


where (x1 : . . . : xn+1 ) stands for the equivalence class of a non-zero vector

3
Theodore Voronov. Differentiable Manifolds. Spring 2011

(x1 , . . . , xn+1 ) Rn+1 . (Two non-zero vectors are considered equivalent if


they are proportional.) Define subsets

Uk := {(x1 : . . . : xn+1 ) | xk 6= 0} .

For convenience, introduce copies of Rn , denoting them Rnk , as subsets of


Rn+1 where the kth coordinate equals 1:

Rnk := {(u1(k) , . . . , 1, . . . , un+1


(k) )}

(here 1 stands on the kth place). We used subscript for denoting the number
of chart and put it in brackets to avoid confusion. Define maps k : Rnk Uk ,

k (u1(k) , . . . , 1, . . . , un+1 1 n+1


(k) ) := (u(k) : . . . : 1 : . . . : u(k) ) .

The inverse maps are given by the formulas


 x1 xn+1 
1 1
k (x : . . . : x
n+1
)= k
, . . . , 1, . . . , .
x xk
The overlap of two charts Uk Ul = {(x1 : . . . : xn+1 ) | xk 6= 0 and xl 6= 0}
corresponds to the open subsets {ul(k) 6= 0} Rnk and {uk(l) 6= 0} Rnl . To
find the transition functions (= changes of coordinates)

kl = 1 n k n l
k l : {u(l) Rl | u(l) 6= 0} {u(k) Rk | u(k) 6= 0}

we write down the equation k (uk ) = l (ul ), i.e.,

(u1(k) : . . . : 1 : . . . : un+1 1 n+1


(k) ) = (u(l) : . . . : 1 : . . . : u(l) )

(where 1 appears at the kth place in the LHS and at the lth place, in the
RHS), from where we obtain

kl : (u1(l) , . . . , 1, . . . , un+1 1 n+1


(l) ) 7 (u(k) , . . . , 1, . . . , u(k) )

where
ui(l)
ui(k) = .
uk(l)
for all i. (Two special cases of this formula are i = k where we get uk(k) = 1
as it should be, and i = l where ul(k) = u1k , since ul(l) = 1.)
(l)

In small dimensions, we have two charts for RP 1 and three charts for
RP 2 . For RP 1 , the charts are 1 : R U1 where U1 = {(x1 : x2 ) | x1 6= 0)},
1 : x(1) 7 (1 : x(1) ), and 2 : R U1 where U2 = {(x1 : x2 ) | x2 6= 0)},
2 : x(2) 7 (x(2) : 1), and the changes of coordinate are
1 1
x(2) = , x(1) = .
x(1) x(2)

4
Theodore Voronov. Differentiable Manifolds. Spring 2011

For RP 2 , the charts are 1 : R2 U1 where U1 = {(x1 : x2 : x3 ) | x1 6= 0)},

1 : (x(1) , y(1) ) 7 (1 : x(1) : y(1) ) ,

2 : R2 U2 where U2 = {(x1 : x2 : x3 ) | x2 6= 0)},

2 : (x(2) , y(2) ) 7 (x(2) : 1 : y(2) ) ,

and 3 : R2 U3 where U3 = {(x1 : x2 : x3 ) | x3 6= 0)},

3 : (x(3) , y(3) ) 7 (x(3) : y(3) : 1) ,

so that the changes of coordinates are


   
1 y(2) y(3) 1
(x(1) , y(1) ) = , = , ,
x(2) x(2) x(3) x(3)
   
1 y(1) x(3) 1
(x(2) , y(2) ) = , = , ,
x(1) x(1) y(3) y(3)
   
1 x(1) x(2) 1
(x(3) , y(3) ) = , = , .
y(1) y(1) y(2) y(2)

(For local coordinates on RP 1 and RP 2 , we used a traditional notation such


as x or x, y, with a superscript indicating the chart number, instead of the
notation ui(k) used for general RP n .)

Problem 6. For CP n , everything is literally the same as for RP n , with Cn


instead of Rn in the coordinate charts. (Note that Cn may be regarded as
R2n by replacing each complex coordinate by its real and imaginary parts.)
The resulting changes of coordinates are complex-analytic.

Problem 7. The general reason why the identifications of RP 1 with S 1


and CP with S 2 arise is thatin suitable atlasesthe descriptions of the
1

corresponding manifolds in terms of local coordinates and their transforma-


tions are exactly the same.
(a) For RP 1 , consider the standard atlas described above. There are
two charts; denote the single coordinate in either of them by u(1) and u(2) .
Both variables take all real values, and the transformation of coordinate is
1
defined for non-zero values: u(1) = u(2) . For S 1 , consider the stereographic
atlas. Again, there are two 1-dimensional charts with the coordinates u(N )
and u(S) , resp., that take all real values; and the change of coordinate has
1
exactly the same form as for RP 1 : u(N ) = u(S) . Therefore we may identify
RP 1 and S 1 by the identification of coordinates: u(1) = u(N ) and u(2) = u(S) ,
which is consistent with the changes of coordinates. More formally, we may
view these formulas as defining a diffeomorphism RP 1 S 1 . (An alternative
and equally good choice is to set u(2) = u(N ) , hence u(1) = u(S) . Such two

5
Theodore Voronov. Differentiable Manifolds. Spring 2011

identifications differ by the antipodal symmetry of S 1 , which swaps the two


poles.)
(b) For CP 1 , consider the standard atlas. A point (w1 : w2 ) CP 1 has
2
the complex coordinate w(1) = w w1
in the chart where w1 6= 0 or the com-
w1 2
plex coordinate w(2) = w 2 in the chart where w 6= 0. On the intersection,
w(2) = w1(1) . For S 2 , consider the stereographic atlas (see Problem 3). We
may assemble the coordinates u, v into a complex number w = u + iv, and
u0 , v 0 into a complex number w0 = u0 + iv 0 . Then the change of coordinates
is w0 = |w| w w 1
2 = w w = w . Up to the complex conjugation, it is the same as

the change of coordinates on CP 1 . Therefore, we may introduce an iden-


tification of CP 1 with S 2 , for example, by the identification of coordinates
1
w = w(2) = w w2
, hence w(1) = w1 = w0 . (There are three other equally good
choices corresponding to swapping the poles of S 2 and applying the complex
conjugation to CP 1 .)
Remark. It is instructive to express the diffeomorphisms RP 1 = S 1 and
1 2
CP = S so obtained in a way independent of local coordinates. In terms of
homogeneous coordinates on RP 1 and CP 1 (which are not local coordinates!)
and the standard coordinates (x, y) and (x, y, z) on the ambient Euclidean
spaces R2 S 1 and R3 S 2 , the formulas are as follows:

S 1 RP 1 , (x, y) 7 (x : 1 y) RP 1 ,
S 2 CP 1 , (x, y, z) 7 (x + iy : 1 z) CP 1 ,

and
2x1 x2 (x1 )2 (x2 )2
 
1 1 1 2
RP S , (x : x ) 7 (x, y) = , ,
(x1 )2 + (x2 )2 (x1 )2 + (x2 )2
2w1 w2 |w1 |2 |w2 |2
 
1 2 1 2
CP S , (w : w ) 7 (x + iy, z) = , .
|w1 |2 + |w2 |2 |w1 |2 + |w2 |2
1
To get the first set, one writes (x1 : x2 ) = xx2 : 1 = (u : 1) = 1y x
 
: 1 , so
finally (x1 : x2 ) = (x, 1 y), and similarly for the complex case. To get the
1 1
second set, one has to plug u = xx2 or u + iv = w w2
into the inverse formulas
for the stereographic projection and get rid of denominators. In particular,
for (cos : sin ) RP 1 , we get as the image (x, y) = (sin 2, cos 2) S 1 .

Problem 8. Consider the special linear group


   
a b
SL(2) = g = | det g = 1 .
c d

For 2 by 2 matrices, the equation det g = 1 can be explicitly resolved w.r.t.


each of the matrix entries. Consider the subsets Ua = {g SL(2) | a 6= 0}

6
Theodore Voronov. Differentiable Manifolds. Spring 2011

and Ub = {g SL(2) | b 6= 0}. Define open sets Va := {(a, b, c) R3 | a 6= 0}


and Vb := {(a, b, d) R3 | a 6= 0}. There are maps
 
a b 1 + bc
a : Va Ua , (a, b, c) 7 where d = ,
c d a
 
a b ad 1
b : Vb Ub , (a, b, d) 7 where c = .
c d b
They are invertible (the inverses are just the projections g 7 (a, b, c) and
g 7 (a, b, d)) and hence can be taken as charts for SL(2). Note that Ua Ub =
SL(2) because a and b cannot simultaneously vanish on SL(2). On the
intersection Ua Ub both a and b are non-zero, and the change of coordinates
is given by the smooth formulas
 ad 1 
1
a b : (a, b, d)
7 (a, b, c) = a, b,
b
defined on an open subset of Vb . Hence SL(2) is a manifold of dimension 3.
For SL(n), n > 2, one can guess that it is a manifold of dimension n2 1.
To prove that, it is possible to follow closely the above proof for n = 2 by
considering the first row expansion of det g (recall that the coefficients of the
entries g1k are Mk , where Mk is the minor obtained by deleting the first
row and the kth column of g). One can introduce analogs of the charts above
and show that they make a smooth atlas for SL(n). (There is, however, an
alternative proof, which we shall consider later.)

Problem 9. A k-dimensional linear subspace L in Rn can be specified


practically in two ways: either as the span of k linearly independent vectors
from Rn (which make a basis in L) or as the solution space of a system of
nk independent linear equations (i.e., of rank nk). Sometimes one way is
more convenient and sometimes there is no preference. We use the notation
Gk (Rn ) for the set of all k-dimensional linear subspaces in Rn .
(a) A 2-plane through the origin in R3 can be conveniently specified by
an equation
ax + by + cz = 0
where at least one coefficient is non-vanishing. Since multiplying the equation
by a non-zero factor does not change the plane, we may identify the 2-
planes with the equivalence classes (a : b : c), i.e., with the points of the
projective space RP 2 . In particular, G2 (R3 ) (which we identified with RP 2 )
is a manifold of dimension 2.
(b) To study 2-planes in R4 , it is more convenient to describe them using
bases. Suppose linearly independent vectors a1 and a2 span a 2-plane in R4 .
We may write them as a matrix 2 by 4,
 
a11 a12 a13 a14
A= ,
a21 a22 a23 a24

7
Theodore Voronov. Differentiable Manifolds. Spring 2011

of rank 2. That means that there is a non-vanishing 2 by 2 minor. Two


pairs of independent vectors (a1 , a2 ) and (b1 , b2 ) span the same subspace
L if and only if (b1 , b2 ) is obtained from (a1 , a2 ) by an invertible linear
transformation:
      
b1 g11 a1 + g12 a2 g11 g12 a1
= = .
b2 g21 a1 + g22 a2 g21 g22 a2

In the matrix form, we may express that as

A 7 gA

where g GL(2), and A and A0 specify the same subspace L if and only
if A0 = gA. Therefore the set of 2-planes (linear subspaces) in R4 can be
identified with the set of equivalence classes of 2 4 matrices A of rank 2
as above w.r.t. the equivalence relation A gA for all g GL(2). The
analogy with the projective space is clear: one takes matrices with linearly-
independent rows instead of non-zero vectors and multiplies/ divides them
by invertible square matrices instead of non-zero numbers. In detail, charts
for G2 (R4 ) can be introduced as follows. Define U34 G2 (R4 ) as the set of
planes specified by matrices A for which the square matrix made of the third
and fourth columns of A is invertible (this does not change under the left
multiplication by g GL(2)). There is a chart
   
4 b11 b12 b11 b12 1 0
: Mat(22) U34 G2 (R ) , B = 7 [A] =
b21 b22 b21 b22 0 1

(the square brackets denote the equivalence class), for which


   1  
1 b11 b12 a13 a14 a11 a12
: U34 Mat(22) , [A] 7 B = =
b21 b22 a23 a24 a21 a22

is the inverse map. We may put extra labels on and B denoting them
as (34) and B (34) , and introduce similar charts (12) , (13) , (23) , and (24)
corresponding to other choices of columns of A giving invertible 2 2 sub-
matrices. It is clear that the union of all images of these charts is the whole
G2 (R4 ) because of the rank condition satisfied by the matrices A. So it is an
atlas. As for the changes of coordinates, they are given by algebraic opera-
tions with matrix entries, hence are smooth. We conclude that G2 (R4 ) is a
smooth manifold of dimension 2 2 = 4.
(c) In general, the Grassmann manifold Gk (Rn ) is indeed a manifold of
dimension k (n k). The equivalence classes of matrices A Mat(k n) of
rank k can be considered as homogeneous coordinates (A A0 A0 = gA
for g GL(k)). A coordinate chart can be obtained by dividing A from
the left by an invertible k k submatrix with fixed column numbers j1 <
. . . < jk , so that the genuine (inhomogeneous) coordinates in each such

8
Theodore Voronov. Differentiable Manifolds. Spring 2011

chart are given by the entries of a k (n k) matrix. There are nk such


charts corresponding to the nk choices of k columns in A. (The alternative


description of k-dimensional subspaces using (n k) independent equations
gives rise to the identification Gk (Rn )
= Gnk (Rn ).) The complex case is
similar.

You might also like