# Difference between revisions of "Holonomy group"

From Diffgeom

m (4 revisions) |
(→Reduction of structure group to holonomy group) |
||

Line 20: | Line 20: | ||

* In particular, any two bases at <math>m</math> differ by the [[holonomy of a loop]], which lies in <math>H</math>. Thus <math>H</math> acts freely and transitively on the fibre at each point. | * In particular, any two bases at <math>m</math> differ by the [[holonomy of a loop]], which lies in <math>H</math>. Thus <math>H</math> acts freely and transitively on the fibre at each point. | ||

− | Moreover the holonomy group is the smallest group to which | + | Moreover the holonomy group is the smallest group to which the structure group can be reduced (for the same reasons). |

## Latest revision as of 22:09, 24 July 2011

## Definition

Let be a differential manifold, a vector bundle over and a connection for . For a point the holonomy group at is the subgroup of comprising those linear transformations that arise as the holonomy of a loop at .

If the differential manifold is path-connected, the holonomy groups at distinct points are conjugate as subgroups of so we can talk of **the holonomy group**.

## Related notions

## Facts

### Reduction of structure group to holonomy group

Any path-connected differential manifold can be treated as a principal bundle with structure group being the holonomy group. The description is as follows:

- Pick (arbitrarily) a basis at a particular point
- Now, for each point , the fibre at that point is the set of all bases at that can arise from the basis at by means of transport along a curve using the connection .
- In particular, any two bases at differ by the holonomy of a loop, which lies in . Thus acts freely and transitively on the fibre at each point.

Moreover the holonomy group is the smallest group to which the structure group can be reduced (for the same reasons).