smooth cohomology of Lie groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T04:59:29Z http://mathoverflow.net/feeds/question/53029 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53029/smooth-cohomology-of-lie-groups smooth cohomology of Lie groups gurs 2011-01-24T07:06:35Z 2011-01-24T10:35:12Z <p>Let $G$ be a Lie group and $A$ a smooth $G$-module. Define $C^n(G,A)=\{ f: G^n \to A|~f~\text{is smooth}\}$ and $\partial^n: C^n \to C^{n+1}$ by the standard formula as used in the cohomology of abstract groups. I think this cohomology must be well studied. Can somebody provide me some references for this cohomology. A similar cohomology for topological groups has been studied by <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.mmj/1028989726" rel="nofollow">Hu</a> and <a href="http://www.sciencedirect.com/science?_ob=ArticleURL&amp;_udi=B6V0K-45H34FP-21&amp;_user=4584237&amp;_coverDate=09%252F30%252F1973&amp;_rdoc=1&amp;_fmt=high&amp;_orig=search&amp;_origin=search&amp;_sort=d&amp;_docanchor=&amp;view=c&amp;_acct=C000063492&amp;_version=1&amp;_urlVersion=0&amp;_userid=4584237&amp;md5=cde7528bc489e42bf4ee877df0afc525&amp;searchtype=a" rel="nofollow">Heller</a> using continuous cochains.</p> <p>Also, can somebody tell me what kind of Lie group extensions $H^2(G,A)$ correspoind to.</p> http://mathoverflow.net/questions/53029/smooth-cohomology-of-lie-groups/53034#53034 Answer by Theo Buehler for smooth cohomology of Lie groups Theo Buehler 2011-01-24T10:03:31Z 2011-01-24T10:35:12Z <p>This is indeed very well studied. The standard references are Borel-Wallach, <em>Continuous cohomology, discrete subgroups and representations of reductive groups</em>, Annals of Math. Studies <strong>94</strong>, Princeton University Press (1980) and the more gentle book by A. Guichardet, <em>Cohomologie des groupes topologiques et des alg&egrave;bres de Lie</em> Textes Math&eacute;matiques <strong>2</strong> Fernand Nathan, Paris (1980). But there has been a lot of progress since. For instance, there is some recent work by Crainic extending the theory to Lie groupoids and algebroids.</p> <p>The continuous cohomology is usually attributed to Hochschild-Mostow and coincides with the smooth cohomology under reasonably weak hypotheses.</p> <p>The interesting fact is that there is an intimate interplay between the continuous cohomology of, say a semi-simple Lie group and the cohomology of its Lie algebra and the de Rham cohomology of the associated symmetric space. One of the most important results is the <em>van Est-isomorphism:</em></p> <blockquote> <p>Let $G$ be a semi-simple Lie group with finite center and no compact factors. Let $M = G/K$ be the associated symmetric space. Then the de Rham complex $\mathbb{R} \to \Omega^{0}(M) \to \Omega^{1}(M) \to \cdots$ is an injective resolution of $\mathbb{R}$. In particular, since a $G$-invariant differential form on $M$ is automatically closed, there is a natural isomorphism $H_{c}^{\ast}(G,\mathbb{R}) \cong \Omega^{*}(M)^{G}$ where the right hand side are the $G$-invariant differential forms on $M$. If $A$ is a sufficiently nice smooth $G$-module then the $A$-valued differential forms need not be closed, but one still has $H_{c}^{\ast}(G,A) \cong H^{\ast}(\Omega^{\ast}(M,A)^{G})$ Moreover, one may identify this with <em>relative Lie algebra cohomology</em> $H^{\ast}(\mathfrak{g},\mathfrak{k};A)$.</p> </blockquote> <p>This immediately gives us an interpretation of $H_{c}^{2}(G,\mathbb{R}) = \Omega^{2}(M)^{G}$. Namely, if $G$ is simple, then $\Omega^{2}(M)^{G}$ is one-dimensional if and only if $G$ is Hermitian (when it is generated by the K&auml;hler form on $M$), and otherwise it is zero. So the dimension of $H_{c}^{2}(G,\mathbb{R})$ corresponds to the number of of Hermitian simple factors of $G$.</p> <p>Of course, one may also bring discrete subgroups into play, together with all their rich and beautiful connections to geometry and number theory. There are far too many things to mention here, so I'd better stop now. </p> <p>Before I forget: I don't know of a direct interpretation of $H_{c}^{2}(G,A)$ as equivalence classes of suitable extensions of $G$. One problem is that in the topological category, it is not clear at all that there should be a smooth (or continuous) section of non-trivial extension.</p>