MTH3483

|TOPICSINTOPOLOGY|

FALL1998

PROF.A.SUCIU

Homework2

1.Letªbe aprincipalG-bundle.Show:
(a)
f§(ª) isaprincipalG-bundle.
(b)If
G acts eÆectively on F , then f § (ª )[F ] ª f § (ª [F ]).

2.GivenaprincipalG-bundleP!Bandaclosed subgroupHofG, show:
(a)
P=H!BisaG-bundle withØberG=HassociatedtoP!B.
(b)IfHis alsoanormal subgroup ofG, thenP=H!BisaprincipalG=H-bundle.

3.LetGbe atopological group actingon aspaceX.Show:
(a)If
A is an open subset of X,thenG¢Aisopen.
(b)IfGiscompact andA is a closed subset of X , thenG¢Ais closed.
(b)IfGiscompact andA is a compact subset of X , thenG¢Ais compact.
(d)If
Xis HausdorÆ, thenXGisHausdorÆ.
(e)If
Gis compact andXis HausdorÆ, thenX=GisHausdorÆ.
(f)The compactness assumption in part(e)isnecessary.
[Hint:FindanR-action onR2such thatR2=RisnotHausdorÆ.] 4.LetªnbetheprincipalZn-bundlepn:S1!S1,wherepn(z)=zn.Considerthe
associated
Zn-bundle¥n=ªn[S1],whereZn actsonS1by left-translation.Show
that
¥nis nottrivial as aZn-bundle, butit istrivial as a(principal)S1-bundle. 5.Consider theZn-action onS3givenby (z1;z2)7!(ªz1;ªz2), whereª=e2ºi=n.LetLnbe
the orbitspace.
(a)DeØne aprincipal
S1-bundleLn!S2.
(b)What isthe clutching function ofthisbundle?
(c)Showthat
L1=S3andL2= SO(3).

6.Letp:E!Bbe areal vectorbundle of rankk.Let
F(E) =f(b;f)jb2Bandf= (f1;:::;fn) isabasisforpº1(b)g
be thespaceof framesofE,and letq:F(E)!Bbe givenbyq(b;f) =b.Showthat:
(a)
q:F(E)!Bisaprincipal GL(n;R)-bundle.
(b)Thegivenvector bundleisassociatedtoits framebundle viathenatural actionof
GL(
n;R) onRn, i.e.,E=F(E)£GL(n;R)Rn.


Back to MTH 3483, or back to my Home page.

Created by Alexandru I. Suciu, Saturday October 24, 1998.   alexsuciu@neu.edu

http://www.math.neu.edu/~suciu/mth3483/toptop.hw2.html