Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Are there simple necessary and sufficient conditions for an (oriented) even-dimensional compact smooth manifold to fiber over an (oriented) odd-dimensional manifold (with oriented fibers)?

For example, if $M \to N$ is a fiber bundle of compact manifolds with fiber $F$, then their Euler characteristics satisfy $\chi(M) = \chi(N)\chi(F)$. But if $N$ and $F$ are odd-dimensional, $\chi(N) = \chi(F) = 0$, and so $\chi(M)$ must also vanish. Is the converse true? I.e. if $M$ has vanishing Euler class, does it fiber over an odd-dimensional manifold? Or perhaps there's a hint that $\chi(M) = 0^2$, not just $0$, and so maybe some combination of Massey products also must vanish?

share|improve this question
1  
Just take connected sum of two even-dimensional manifolds with Euler characteristics $-k, k+2$, where $k$ is positive. –  Misha May 5 '13 at 21:16
    
Fibering is a highly subtle question in general as the difficulty of the virtual fibering conjecture shows. If we substitute your question by the question whether the manifold fibers up to homotopy, then slightly more might be known. You might check out arxiv.org/pdf/0901.1250.pdf and miami.uni-muenster.de/servlets/DerivateServlet/Derivate-5587/… –  Lennart Meier May 6 '13 at 0:29

2 Answers 2

up vote 10 down vote accepted

Being the total space of a fiber bundle is not invariant under homotopy equivalences, so I doubt there is a criterion of the type you state (eg in terms of homological invariants).

However, one can say something a little weaker. If a manifold $M^k$ fibers over a manifold $N^{\ell}$, then the fibers form a codimension $\ell$ foliation of $M^k$. A deep theorem of Thurston says that if $\chi(M^k)=0$, then $M^k$ supports a codimension $1$ foliation (the converse is an easy exercise). By the way, to appreciate how deep this is, it implies in particular that an odd-dimensional closed oriented manifold always supports a codimension $1$ foliation. This is nontrivial to prove even in dimension $3$ (where it was first proved by Lickorish).

share|improve this answer
    
compactness of $M$ is essential in establishing the converse (left as `easy' exercise). –  J. Martel Dec 5 '13 at 1:23
    
@J.Martel : Of course. –  Andy Putman Dec 5 '13 at 3:44
    
I only mention it because there is another question floating around MO, on whether or not $R^3-0$ can be foliated by $2$-tori. There appears some vague (and unjustified) comments that the existence of such a foliation requires the total space (an open $3$-mfld) to have $\chi=0$. I find the question interesting and trying to work it out for myself. –  J. Martel Dec 5 '13 at 4:07
    
It is also not unusual for the compactness assumption to be (incorrectly!) omitted in certain texts, e.g. Corollary 4.11 of Lawson's ``Quantitative theory of foliations". –  J. Martel Dec 5 '13 at 4:11

No, I don't believe there's a simple solution. But here's an approach to the problem which indicates how it can be fractured up.

Assume $M,N$ are closed and connected. If $f\: M \to N$ is homotopic to a smooth fiber bundle with $M$ and $N$ compact, then the fibers are homotopy finite (i.e., they are homotopy equivalent to a finite complex).

Conversely, it is a result first stated by Quinn (later proved by Gottlieb, and then differently by me) that if $f\: M^m \to N^n$ is such that its homotopy fiber $F$ (at some basepoint in $N$) is homotopy finite, then $F$ is a Poincare duality space of dimension $m-n$. Thus, $f$ gives rise to a fibered surgery problem.

One can approach this problem in two steps:

Step 1: find a block bundle $E \to N$ and a fiber homotopy equivalence $E\simeq M$. This step can be attacked classical surgery techniques (here the dimension of the fiber should be $\ge 6$). What one studies here is the map $\tilde S_N(M) \to \tilde S(M)$ from the fiberwise block structure space to the block structure space.

Step 2: Study the map $S_N(M) \to \tilde S_N(M)$ from the fiberwise structure space to the fiberwise block structure space. This step involves higher algebraic $K$-theory a la Waldhausen. This step is only really understood in the "concordance stable range" which in this case requires $4n \le m$ (approximately).${}^\dagger$

The above is only meant to be an outline. I first learned about these ideas from the papers of Weiss and Williams, most notably:

Automorphisms of manifolds. Surveys on surgery theory, Vol. 2, 165–220, Ann. of Math. Stud., 149, Princeton Univ. Press, Princeton, NJ, 2001

An alternative approach which packages Step 1 and Step 2 into a single step is in the third WW paper which can be obtained from Michael Weiss' website.

More recently, see the papers of Wolfgang Steimle, especially

Obstructions to stably fibering manifolds. Geom. Topol. 16 (2012), no. 3, 1691–1724

${}^\dagger$ Added Later: According to Steimle, the "stable range" for the fibering problem is more complicated than what I wrote above. Rather than write it down, let me refer to his paper for the actual range.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.