Problem Set 1

1

With the definition of a vector bundle from class, show that the vector space operations define continuous maps:

+:E×BEE×:R×EE

Definition of vector bundle: need charts (U,ϕ) with ϕ:π1(U)U×Rn which when restricted to a fiber Fb yields an isomorphism FbRn. What are these maps??

?

2.

Suppose you are given the following data:

  • Topological spaces B and F

  • A set E and a map of sets π:EB

  • An open cover U={Ui} of B and for each i a bijection ϕ:π1(Ui)Ui×F so that πϕi=π.

Give conditions on the maps ϕi so that there is a topology on E making ϕ:EB into a fiber bundle with {(Ui,ϕi)} as an atlas.

?

3.

An oriented n-dimensional vector bundle is a vector bundle π:EB together with an orientation of each fiber Eb, so that these orientations are continuous in the following sense.

For each bB there is a chart (U,ϕ) with bU and ϕ:π1(U)U×Rn so that for all bU, ϕ|Eb:EbRn is orientation-preserving.

Show that given an oriented n-dimensional vector bundle there is an induced principal GL+(Rn)-bundle (the “bundle of oriented frames”), and conversely given a principal GL+(Rn)-bundle there is an induced oriented n-plane bundle.

?

4.

A Riemannian metric on a vector bundle π:EB is an inner product ,b on each fiber Eb of E, which is continuous in the sense that the induced map EE=E×BER is continuous.

Show that given a Riemannian metric on a vector bundle, there is an induced principal O(n)-bundle (the “bundle of orthonormal frames”), and conversely given a principal O(n)-bundle there is an induced vector bundle with Riemannian metric.

?

5.

What operation on principal O(n)-bundles corresponds to dualizing a vector bundle? What about the direct sum of vector bundle?

?

6.

For nice spaces X (e.g. CW complexes) and abelian groups G, there is a canonical isomorphism ˇHi(X;G)Hi(X;G) between Čech and singular cohomology of X with coefficients in G.

A nice, readable proof can be found in Frank Warner’s Foundations of Differential Manifolds and Lie Groups, Chapter 5. In the rest of this problem, cohomology either means Čech cohomology or singular cohomology after applying this isomorphism.

  • a: Let π:EB be an n-dimensional vector bundle, or equivalently, a principal GL(n,R)-bundle, given by a Čech cocycle ϕH1(B;GL(n,R)). Show that the sign of the determinant sgndet:GLn(R){±1}Z/2Z induces a map ˇH1(B;GL(n,R))ˇH1(B;Z/2Z), and so ϕ induces an element w1(E)H1(B;Z/2Z).

  • b: Compute w1 for the trivial line bundle (1-dimensional vector bundle) over the circle and for the Möbius band.

  • c: Prove that (for nice spaces) a line bundle π:EB is trivial if and only if w1(E)=0 H1(B;Z/2Z)

?

7.

Show that the exact sequence of abelian topological groups

0ZRS1=GL(1,C)0

induces an exact sequence in Čech cohomology

ˇH1(B,Z)˘H1(B,R)ˇH1(B;S1)δˇH2(B;Z)

Given a complex line bundle (principal GL(1,C)-bundle) π:EB coming from the cocycle data ϕH1(B;GL(1,C)), let c1(E)=δ(ϕ). Compute c1(E) for some complex line bundle over S2.

?