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 satisfiesand one takes its class modulo maps . Requiring continuity is substantive additional data, including the topology chosen on .[ref]
Some complements to the Lazard isomorphism by Annette Huber and others. Introduction and section 2.7, continuous cohomology in the p-adic setting
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!