34
$\begingroup$

It is well known that a (real) vector bundle $\pi : E\to B$ over a topological space (or manifold) $B$ is a fibre bundle whose fibres
$$F=\pi^{-1}(x), \ \ \ x\in B $$
over any $x\in B$, are diffeomorphic to a vector space $V$. On the other hand, a principal $G$-bundle is a fibre bundle $\pi : P\to B$ over $B$ with a right free action of a Lie group $G$ on $P$ such that for any open set $U\subset B$, the locally trivial fibrations defined by: $$ \Phi_{U} : \pi^{-1}(U)\to U\times G, \ \ \Phi_{U}(p)=(\pi(p), \varphi_{U}(p)). $$ Here $$ \ \varphi_{U} :\pi^{-1}(U)\to G $$ is a $G$-equivariant map, that is $\varphi_{U}(pg)=\varphi_{U}(p)g$, for all $p\in\pi^{-1}(U)$ and $g\in G$. In the last case the fibers are submanifolds of $P$ which are always diffeomorphic with the structure group $G$.

Although for any vector bundle $\pi : E\to B$, its fibers $F\cong V$ can be considered as Lie group with operation the vector addition, in general we do not include the vector bundles as examples of principal $G$-bundles (Although, to every vector bundle we can associate the frame bundle which is a ${\rm GL}_{n}\mathbb{R}$-principal bundle, but I don't speak here about associated bundles).

My question is about a good explanation about the fact that IN GENERAL vector bundles (themselves) do not give examples of principal $G$-bundles. For example, the tangent bundle $TM$ of a smooth manifold is a prototype example of a vector bundle, but itself it cannot be considered as a principal bundle for a Lie group $G$, is this true? Thus I ask:

Which is the basic difference between a vector bundle an a $G$-bundle, which does not allows us (almost always??), to consider the vector bundles themselves as examples of $G$-bundles?

For example, a $G$-bundle is trivial (isomorphic to the product bundle), if and only if it admits a global section, but I think that this is not true for vector bundles.

A second question is about examples of vector bundles which can be considered the same time as $G$-bundles for some Lie group (I think that such an example is a cylinder)

$\endgroup$
3
  • 5
    $\begingroup$ I don't believe your definition of a vector bundle is correct. The local trivializations need to be compatible with the vector space structures. $\endgroup$ Apr 1, 2012 at 19:30
  • 4
    $\begingroup$ Instead of vector bundles you can consider affine bundles (see e.g. the discussion in mathoverflow.net/questions/54502/affine-bundles-over-varieties). Now, an affine bundle could be principal, with the structure group $G\cong {\mathbb R}^n$. $\endgroup$
    – Misha
    Apr 1, 2012 at 20:56
  • 3
    $\begingroup$ The difference is that for a vector bundle the transition functions must be linear isomorphisms in each fiber, while for a principal bundle with fiber the Lie group (V,+), the transition functions must be translations. In particular, the fibers of such a principal bundle are not vector spaces, there is not even a distinguished zero element in each fiber. $\endgroup$ Sep 16, 2015 at 6:55

4 Answers 4

41
$\begingroup$

The difference is that, for a vector bundle, there is usually no natural Lie group action on the total space that acts transitively on the fibers. The fact that all of the fibers are, individually Lie groups, doesn't mean that there is a Lie group that acts on the whole space, restricting to each fiber to be a simply transitive action. The simplest example of this is the nontrivial line bundle over the circle. Another example is the tangent bundle of $S^2$.

$\endgroup$
0
16
$\begingroup$

I believe you have answered this yourself. Principal bundles are trivial iff they admit a global smooth section. Vector bundles always admit a global smooth section (zero section).

Therefore vector principal G-bundles are always trivial. The only available examples of vector G-bundles are thus of the form M x G, where G is both a vector space and a Lie group. Any examples of such G except for Abelian?

$\endgroup$
7
$\begingroup$

This is an old question, but I was just thinking about this question myself and I came to this realization:

For a vector bundle over a field $K$ of rank $n$, if it were a principal bundle, it would have to be a principal bundle for the additive group of the vector space $K^n$. However, as a vector bundle, the trivializations are glued along intersections via isomorphisms of vector spaces, ie elements of $\text{GL}_n(K)$, whereas for a principal $K^n$-bundle, the glueing is done by elements of $K^n$ (ie, translations). This means that not only is a vector bundle not a principal bundle, but also that a principal $K^n$ bundle is not a vector bundle.

$\endgroup$
5
$\begingroup$

As a small comment here, with the aim to avoid confusions:

The tangent bundle $TM$ of a smooth $n$-dimensional (real) manifold $M$ can be considered as the vector bundle associated with the ${\rm GL}_{n}\mathbb{R}$-principal bundle $L(M)$ of linear frames, that means

$$ TM=L(M) \times_{{\rm GL}(n)}\mathbb{R}^{n} = L(M) \times_{\rho}\mathbb{R}^{n} $$

where here $\rho$ is the standard matrix representation.

$\endgroup$
1
  • 2
    $\begingroup$ I think you meant " vector bundle associated with [...]", not " $G$-bundle associated with [...]". $\endgroup$
    – Qfwfq
    Feb 17, 2013 at 0:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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