Stetige Kohomologie

In der Mathematik ist die stetige Kohomologie eine Variante der Gruppenkohomologie, bei deren Definition aber nur stetige Kozykel zugelassen werden. Sie ist häufig Berechnungen zugänglicher als die Gruppenkohomologie und wird deshalb in verschiedenen Bereichen der Darstellungstheorie und globalen Analysis verwendet.

Definition

Es sei $G$ eine topologische Gruppe. Die stetige Kohomologie $H_c^{*}(G)$ ist die Kohomologie des Komplexes $(C_c^n(G),d^n)$ mit

$C_c^n=\{f:G^{n+1}\to ℝ\text{stetig}\mid f(\sigma {\sigma }_1,\dots ,\sigma {\sigma }_{n+1})=\sigma \cdot f({\sigma }_1,\dots ,{\sigma }_{n+1})\mathrm{\forall }\sigma \in G\}$

und

$(d^{n-1}f)({\sigma }_1,\dots ,{\sigma }_{n+1})=\sum _{i=1}^{n+1}(-1{)}^{i}f({\sigma }_1,\dots ,{\hat{\sigma }}_i,\dots ,{\sigma }_{n+1}).$

Die Elemente dieses Komplexes heißen homogene stetige Koketten.

Beispiele

Die stetige Kohomologie halbeinfacher Lie-Gruppen kann mit dem Satz von van Est berechnet werden. Beispielsweise ist

$H_c^i(SO(n,1))=\{\begin{array}{cc}ℝ,& \text{für }i=0\\ 0,& \text{sonst}\end{array}$

und

$H_c^{*}(SL(n,ℂ))={\mathrm{\Lambda }}_{\mathbb{Z}}(b_3,b_5,\dots ,b_{2n-1}),$

wobei $b_i\in H_c^i(SL(n,ℂ))$ die i-te Borel-Klasse bezeichnet.

Literatur

• Armand Borel, Nolan Wallach: Continuous cohomology, discrete subgroups, and representations of reductive groups. Second edition. Mathematical Surveys and Monographs, 67. American Mathematical Society, Providence, RI, 2000. ISBN 0-8218-0851-6