Structure Groups and Transition Functions
Fiber bundles often come with a group of symmetries which describe the matching conditions between overlapping local trivialization charts. Specifically, let G be a topological group which acts continuously on the fiber space F on the left. We lose nothing if we require G to act effectively on F so that it may be thought of as a group of homeomorphisms of F. A G-atlas for the bundle (E, B, π, F) is a local trivialization such that for any two overlapping charts (Ui, φi) and (Uj, φj) the function
is given by
where tij : Ui ∩ Uj → G is a continuous map called a transition function. Two G-atlases are equivalent if their union is also a G-atlas. A G-bundle is a fiber bundle with an equivalence class of G-atlases. The group G is called the structure group of the bundle; the analogous term in physics is gauge group.
In the smooth category, a G-bundle is a smooth fiber bundle where G is a Lie group and the corresponding action on F is smooth and the transition functions are all smooth maps.
The transition functions tij satisfy the following conditions
The third condition applies on triple overlaps Ui ∩ Uj ∩ Uk and is called the cocycle condition (see Čech cohomology). The importance of this is that the transition functions determine the fiber bundle (if one assumes the Čech cocycle condition).
A principal G-bundle is a G-bundle where the fiber F is a principal homogeneous space for the left action of G itself (equivalently, one can specify that the action of G on the fiber F is free and transitive). In this case, it is often a matter of convenience to identify F with G and so obtain a (right) action of G on the principal bundle.
Read more about this topic: Fiber Bundle
Famous quotes containing the words structure, groups, transition and/or functions:
“With sixty staring me in the face, I have developed inflammation of the sentence structure and definite hardening of the paragraphs.”
—James Thurber (1894–1961)
“If we can learn ... to look at the ways in which various groups appropriate and use the mass-produced art of our culture ... we may well begin to understand that although the ideological power of contemporary cultural forms is enormous, indeed sometimes even frightening, that power is not yet all-pervasive, totally vigilant, or complete.”
—Janice A. Radway (b. 1949)
“Some of the taverns on this road, which were particularly dirty, were plainly in a transition state from the camp to the house.”
—Henry David Thoreau (1817–1862)
“The English masses are lovable: they are kind, decent, tolerant, practical and not stupid. The tragedy is that there are too many of them, and that they are aimless, having outgrown the servile functions for which they were encouraged to multiply. One day these huge crowds will have to seize power because there will be nothing else for them to do, and yet they neither demand power nor are ready to make use of it; they will learn only to be bored in a new way.”
—Cyril Connolly (1903–1974)