Continuous group cohomology

ID: continuous-group-cohomology

In the continuous-cochain convention, continuous group cohomology of a topological group with coefficients in a topological abelian group uses continuous maps and the usual group cohomology differential. The action of on must be continuous. In degree one, a continuous cocycle satisfies
and one takes its class modulo maps . Requiring continuity is substantive additional data, including the topology chosen on .[ref]
For the additive topological group acting trivially on , the continuous one-cocycles are exactly . Additivity first determines values on the rational numbers, and continuity extends that identity to all real inputs. All one-coboundaries vanish, giving . Replacing the coefficients by discrete gives zero, since a continuous map from the connected real line to a discrete group is constant.

New to topics? Read the docs here!