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
(In fact, the class of actions also gives rise to examples where either S2timesS2 can independently be replaced with mathbbCP2sharp−mathbbCP2, 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 MrightarrowE′rightarrowX 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