Equivalence of cocycles
Two transition function cocycles are equivalent if they differ by a change of local trivializations
Let be a smooth manifold and let be an open cover. A -valued cocycle on this cover is a collection of smooth maps satisfying the cocycle condition
Such data defines a principal bundle by gluing trivial bundles, producing the usual notion of transition functions and a corresponding bundle atlas.
Definition (equivalent cocycles)
Two cocycles and on the same cover are equivalent if there exist smooth maps
such that on each overlap ,
Equivalently, if arises from local sections via (as in transition functions from local sections), then replacing the sections by
changes the transition functions to . Thus, equivalence of cocycles is precisely “the same gluing data after a change of local trivializations.”
Equivalent cocycles define isomorphic principal bundles; the corresponding isomorphism is a principal bundle isomorphism and, from the atlas perspective, this is the same relation as equivalence of bundle atlases.
Examples
- Trivial cocycle and coboundaries. The trivial bundle has cocycle . A cocycle is equivalent to the trivial cocycle exactly when there exist with This is the transition-function version of the global section criterion for triviality.
- Changing local sections on a trivial bundle. On , start with the canonical local sections giving . If you pick arbitrary smooth maps and set , then the new transition functions are and the cocycles and are equivalent by construction.
- Hopf line bundles of different degree are not equivalent. Cover by the standard northern and southern charts with overlap . For , transition functions define complex line bundles with different first Chern class (the integer ). If , there are no making , so the cocycles are not equivalent.