 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $b'\in B$. Since $B$ is path-connected, choose a path $\gamma$ from $b$ to $b'$. Horizontality of $\mu$ and part c imply
$$
\mu(b')
=\mathcal P_\gamma^{\mathcal A}\,
\mu(b)\,
(\mathcal P_\gamma^{\mathcal A})^{-1}.
$$
Thus $\mu(b')$ is conjugate to the isomorphism $\mu(b)$ and is itself an isomorphism. Since $b'$ was arbitrary, $\mu$ is fiberwise invertible everywhere.

 Back to article page