Friday, 6 July 2012

at.algebraic topology - Cohomology classes annihilated by pullbacks

Here's my two cents although it's rather sketchy.



For any CW complex X, H3(X;mathbbZ)=[X,K(mathbbZ,3)], where K(mathbbZ,3) comes equipped with a fibration mathbbCPinftytoPtoK(mathbbZ,3). The total space P is contractible. Now suppose X is a compact manifold of dimension n which is 2-connected and H3(X;mathbbZ)=mathbbZ. Then choosing a generator of H3(X;mathbbZ) corresponds to a (homotopy class of) map f:XtoK(mathbbZ,3). The pullback bundle fastPtoX has the property that H3(fastP;mathbbZ)=0.



Since we need a finite dimensional manifold which fastP isn't, let E denote the (n+5)-skeleta of fastP. It is compact and locally looks like XtimesmathbbCP2. I think(?) that pi:EtoX is a fibre bundle. Since pi3 is unchanged for 4-skeleta or higher, it follows that 0=pi3(E)=pi3(fastP), whence H3(E;mathbbZ)=0.



Feel free to tweak the answer if need be.



Edit As pointed out by algori and Igor, the second paragraph doesn't give you a fibre bundle.

No comments:

Post a Comment