Skip to main content
added 244 characters in body
Source Link
Angelo
  • 27k
  • 6
  • 92
  • 112

In the stated generality, it is false; for example, suppose that $G_1$ and $G_2$ are trivial groups, $P = B \times G$ (here $B$ is the base), and the maps $P_1 \to P$ and $P_2 \to P$ are given by two disjoint sections $B \to P$. In this case $Q$ is empty.

On the other hand, it is easy to see that the answer is positive if one of the $f_i$ is surjective (if $f_1$ is surjective, choose a local section of $P_2$, and locally lift the composite section of $P$ to a section of $P_1$, obtaining a local section of $Q$, which gives an local isomorphism of $Q$ with $B \times H$).

[Edit] The point is that the map $f_1: G_1 \to G$, as a surjective map of Lie groups, is a fibration; hence $P_1 \to P$ is also a fibration. If $B\to P$ is a section, the pullback of $P_1$ to $B$ is a fibration, hence it has local sections.

In the stated generality, it is false; for example, suppose that $G_1$ and $G_2$ are trivial groups, $P = B \times G$ (here $B$ is the base), and the maps $P_1 \to P$ and $P_2 \to P$ are given by two disjoint sections $B \to P$. In this case $Q$ is empty.

On the other hand, it is easy to see that the answer is positive if one of the $f_i$ is surjective (if $f_1$ is surjective, choose a local section of $P_2$, and locally lift the composite section of $P$ to a section of $P_1$, obtaining a local section of $Q$, which gives an local isomorphism of $Q$ with $B \times H$).

In the stated generality, it is false; for example, suppose that $G_1$ and $G_2$ are trivial groups, $P = B \times G$ (here $B$ is the base), and the maps $P_1 \to P$ and $P_2 \to P$ are given by two disjoint sections $B \to P$. In this case $Q$ is empty.

On the other hand, it is easy to see that the answer is positive if one of the $f_i$ is surjective (if $f_1$ is surjective, choose a local section of $P_2$, and locally lift the composite section of $P$ to a section of $P_1$, obtaining a local section of $Q$, which gives an local isomorphism of $Q$ with $B \times H$).

[Edit] The point is that the map $f_1: G_1 \to G$, as a surjective map of Lie groups, is a fibration; hence $P_1 \to P$ is also a fibration. If $B\to P$ is a section, the pullback of $P_1$ to $B$ is a fibration, hence it has local sections.

Source Link
Angelo
  • 27k
  • 6
  • 92
  • 112

In the stated generality, it is false; for example, suppose that $G_1$ and $G_2$ are trivial groups, $P = B \times G$ (here $B$ is the base), and the maps $P_1 \to P$ and $P_2 \to P$ are given by two disjoint sections $B \to P$. In this case $Q$ is empty.

On the other hand, it is easy to see that the answer is positive if one of the $f_i$ is surjective (if $f_1$ is surjective, choose a local section of $P_2$, and locally lift the composite section of $P$ to a section of $P_1$, obtaining a local section of $Q$, which gives an local isomorphism of $Q$ with $B \times H$).