Tuesday, 21 July 2009

dg.differential geometry - When are fiber bundles reversible?

My question, in its most general form is this:




Given a fiber bundle FrightarrowErightarrowB, when is there a fiber bundle BrightarrowErightarrowF?




Here, F,E, and B can lie in whichever category you wish, but I'm mostly interested in the case where all 3 are smooth closed manifolds.



Now, I realize that the initial answer is "unless E is a product, essentially never", so here is a more focused question (with background).



I've been studying a certain class of free actions of the 3-torus T3 on S3timesS3timesS3=(S3)3. For each of these actions, by quotienting out by various subtori, I can show that the orbit space E=(S3)3/T3 simultaneously fits into 2 fiber bundles:



S2rightarrowErightarrowS2timesS2

and S2timesS2rightarrowErightarrowS2
where the structure group for both bundles is S1.



(In fact, the class of actions also gives rise to examples where either S2timesS2 can independently be replaced with mathbbCP2sharpmathbbCP2, the unique nontrivial S2 bundle over S2.)



By computing characteristic classes for (the tangent bundle to) E, I know that for an infinite sublcass of the actions I'm looking at, E is not homotopy equivalent to S2timesS2timesS2, and each of the E are pairwise nondiffeomorphic.



I suspect the reason I could find so many E which fit into "reversible" fiber bundles is strongly related with the fact that the fiber and base are so closely related.



And so, I ask




For fixed manifold M, what is the relationship between bundles XrightarrowErightarrowM and MrightarrowErightarrowX where X is some M bundle over M?




And just in case there is no general relationship,




Is there a reason I should have expected there to be a relationship in my examples, even though in general there isn't?


No comments:

Post a Comment