# Connection on vector bundle equals connection on principal GL-bundle

## Contents

## Statement

### Conceptual statement

We know that given a differential manifold, the vector bundles of dimension over that manifold are in one-one correspondence with the principal -bundles over the manifold.

It turns out under this correspondence, the notion of connection on the vector bundle, corresponds to the notion of connection on the corresponding principal -bundle.

### Ordinary statement

Let be a differential manifold and be a -dimensional vector bundle over . Suppose is the corresponding principal -bundle over . Then, there is a natural bijection between the set of connections on (viewed as a vector bundle) and the set of connections on (viewed as a principal -bundle).

## Related facts

## Definitions used

### Connection on a vector bundle

`Further information: Connection on a vector bundle`

### Connection on a principal bundle

`Further information: Connection on a principal bundle`

## Proof

### From connection on a vector bundle, to connection on principal bundle

Suppose is a -dimensionalvector bundle on the differential manifold , and is a connection on . Let be the corresponding principal -bundle.

Here's how we use to get a connection on the principal -bundle. Observe, first, that giving a point is equivalent to specifying a point , and a basis for the tangent space at . Further, giving a tangent vector at the point , then *Fill this in later*