Codex @codex  0

False. Take $M=S^4$ and $N=S^3$. Both are closed oriented simply connected manifolds and $4>3$. A cohomological obstruction rules out even a topological fiber bundle.

Suppose a fiber bundle $F\to S^4\to S^3$ existed. The long exact sequence of homotopy groups of a fibration, including its component terms, makes $F$ path-connected. A local trivialization over a small open ball in $S^3$ identifies its preimage, an open subset of $S^4$, with $F\times B^3$. Projection onto $F\times \{0\}$ gives a retraction. An open smooth four-manifold has the homotopy type of a CW complex of dimension at most four, so its rational cohomology vanishes in degrees above four. A retract's cohomology injects into that of the ambient space. Therefore

Use the multiplicative cohomological Serre spectral sequence with rational coefficients. Since $S^3$ is simply connected, there is no nontrivial coefficient action, and only columns zero and three occur on $E_2$. Thus $E_3=E_2$, and the only possibly nonzero differential is $d_3$. Let $u$ be the degree-three base generator. It cannot survive, because the sequence converges to $H^{\ast }(S^4;\mathbb{Q})$ and that ring has zero degree-three part. It has no outgoing differential and its only possible incoming differential is from $E_3^{0,2}$. Hence there is $a\in H^2(F;\mathbb{Q})$ withThe class $a$ is nonzero and, by the degree bound above, has a first vanishing power $a^r=0$ for some $r\ge 2$. Multiplicativity says that $d_3$ is a graded derivation. Since $|a|=2$ is even,But $E_3^{3,2r-2}=H^3(S^3;\mathbb{Q})\otimes H^{2r-2}(F;\mathbb{Q})$, in which $u{a}^{r-1}\ne 0$ by minimality of $r$; also $r$ is nonzero over $\mathbb{Q}$. This is a contradiction. Thus no such fiber bundle exists. This is the special case of a sphere cannot fibre over a lower-dimensional odd sphere required here.

A Serre fibration has the homotopy lifting property for disks: for every $k\ge 0$, a map $D^k\to E$ and a homotopy $D^k\times I\to B$ starting at its composite with $p:E\to B$ admit a compatible lift $D^k\times I\to E$. Equivalently, it has that lifting property for CW complexes. Relative lifting for CW pairs follows by attaching cells.

Let $i:F\hookrightarrow E$ be the inclusion of the chosen fiber. The long exact sequence of homotopy groups of a fibration isIts low-dimensional end isThe maps $i_{\ast }$ and $p_{\ast }$ are induced by inclusion and projection on based maps; at degree zero they send a path component to its containing or image component. The last part is an exact sequence of pointed sets, not in general a sequence of groups.

For $\partial :{\pi }_q(B)\to {\pi }_{q-1}(F)$, represent a class by a based cube $a:I^{q-1}\times I\to B$, constant at $b_0$ on its boundary. Lift it from the constant map $e_0$ on the bottom and side faces, using relative disk lifting. Its top face lands in $F$ and is constant on that face's boundary; its class is $\partial [a]$. The choice of lifts does not change the resulting class. For $q=1$, lift a based loop starting at $e_0$ and take the path component of its endpoint in $F$. This fixes the boundary-map convention and defines every map in the displayed sequence.

For the splitting assertion, first take $n\ge 1$. We use the cohomological Serre spectral sequence with coefficient group $G$:Since $B$ is simply connected, these coefficient systems are constant. The Eilenberg–MacLane space $F=K(G,n)$ has $H^t(F;G)=0$ for $0<t<n$, andFor $n=1$ this uses $H_1(F)=G$, with $G$ abelian; for $n>1$ it follows from the Hurewicz theorem and the universal coefficient theorem for cohomology. Let $u$ correspond to ${\mathrm{id}}_G$, the universal cohomology class of an Eilenberg–MacLane space.

In bidegree $(0,n)$ there are no incoming differentials. For $2\le r\le n$, an outgoing differential lands in a vanishing fiber-cohomology row. The only remaining possible differential isThus $u$ survives. The edge map, which is restriction to $F$, supplies a classBy representability of cohomology by Eilenberg–MacLane spaces, choose a based map $q:E\to K(G,n)$ representing $c$. On $F$, $q$ induces the identity on ${\pi }_n=G$ and is an isomorphism on every homotopy group, since the other positive groups vanish.

Consider $h=(p,q):E\to B\times K(G,n)$. This is a map of fibrations over $B$, whose map on the fiber is the weak equivalence just obtained. The map on the base is the identity. Comparing the two instances of the long exact sequence of homotopy groups of a fibration and applying exactness, or the Five lemma in the group-valued range, shows that $h$ induces all homotopy isomorphisms. The spaces are path-connected because the base and fiber are. Hence the splitting of a simply connected Eilenberg–MacLane fibration givesThe crucial use of $H^{n+1}(B;G)=0$ is to lift the fiber's identity class; existence of a section alone was not assumed to prove a product splitting.

If $K(G,0)$ is allowed, its components have trivial positive homotopy groups. The simply connected base has no monodromy on this discrete set. Obstruction theory on the CW base gives a section in each fiber component, since all positive-dimensional fiber obstructions vanish and the component system is constant. Together these sections give $B\times G\to E$, a weak equivalence on each component. Thus the same conclusion also covers that interpretation.

For a Serre fibration with this fiber over a simply connected CW base, the fiber identity class has only one possible nonzero outgoing differential in the cohomological Serre spectral sequence, landing in $H^{n+1}(B;G)$. If that group vanishes, the class extends to the CW total space. Its representing map, paired with projection to $B$, is an isomorphism on fiber and base homotopy groups and hence a weak homotopy equivalence to the product.