MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $E\longrightarrow B$ be a vector bundle of rank $k$, then its structure group $GL(R^{k})$ acts on the fibre. Now assume that $G$ is a compact Lie group and $E\longrightarrow B$ is a $G$-equivariant vector bundle. From the definition of equivariant bundle we know that $G$ acts on each fibre of $E$ as a linear isomorphism, so that there are two actions of groups on the fibre: $GL(R^{k})$ and $G$, is it true that such two actions commute?

Let $B_{(H)}=\{x\in B:G_{x}\quad is\quad conjugate\quad to\quad H\}$, then every connected component of $B_{(H)}$ is a closed submanifold. Consider the isotropy representation: for any $x$, $y$ contained in the same connected component of $B_{(H)}$ we have representations $$\rho_{x}:G_{x}\longrightarrow GL(R^{k})$$ and $$\rho_{y}:G_{y}\longrightarrow GL(R^{k})$$ is it true that $\rho_{x}=\rho_{y}$?

share|cite|improve this question
Beware of the phrase "the fibre". There is not a canonical action of $GL(R^k)$ on each fibre of a rank $k$ vector bundle. – Tom Goodwillie Oct 12 '13 at 12:11
Also beware that "equivariant bundle" often means a bundle in which $G$ acts on both $E$ and $B$, compatibly. – Tom Goodwillie Oct 12 '13 at 12:12
@yangyang: Yes, they has to commute. You can write out local trivilizations and this become $g(\phi(e))=\phi(g(e))$, which means $g$' action does not depend on the charts. – Bombyx mori Oct 12 '13 at 21:27

Following up on Tom's comment, real G-vector bundles are generally understood to be $O(n)$-bundles and $G$-maps $E\longrightarrow B$ (with local equivariant triviality appropriately defined). Both $G$ and $O(n)$ act on the total space of the associated principal bundle, and it is required that the actions commute. When $G$ acts non-trivially on $B$, it is not true that $G$ acts on fibers. For $b\in B$, the isotropy subgroup $G_b$ of elements that fix $b$ acts on the fiber over $b$.

share|cite|improve this answer
Peter, just to be clear, your $E$ is the principal bundle associated to a vector bundle, yes? – Tom Goodwillie Oct 12 '13 at 14:13
Yes, that is what I meant to say. Thanks. Answer edited – Peter May Oct 12 '13 at 17:15
"Real $G$-vector bundles are generally understood to be $O(n)$-bundles"... I highly doubt that, as this reduction from $GL(n)$ to $O(n)$ is equivalent to choosing a metric. – Matthias Ludewig Oct 15 '13 at 17:57

Your Answer


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.