Principal bundle automorphism
A principal bundle isomorphism from a principal bundle to itself, possibly covering a nontrivial base diffeomorphism.
Principal bundle automorphism
Let be a principal G-bundle .
A principal bundle automorphism is a principal bundle isomorphism (so is an equivariant diffeomorphism) covering a base diffeomorphism , meaning
The automorphisms of form a group under composition, often denoted . The subgroup consisting of automorphisms with is the group of gauge transformations .
Examples
- Automorphisms of a trivial bundle. If , any pair consisting of a diffeomorphism and a smooth map defines which is equivariant and hence an automorphism.
- Lift of a base diffeomorphism to frames. A diffeomorphism acts on the frame bundle by sending a frame at to its pushforward frame at ; this is a principal bundle automorphism.
- Central right multiplication. If lies in the center of , then is equivariant and defines an automorphism covering .