On Borel's regularization theorem (Q2471453)

Let \(G\) be a non compact semi simple real Lie group with finite center and finitely many connected components. Assume that \(\Gamma \subseteq G\) is an arithmetic subgroup such that \(\Gamma \backslash G\) is non compact. If \(M\) is a finite dimensional representation of \(G\), then Borel proves that there are natural isomorphisms \[ H^{j}(\Gamma ,M)\rightarrow H^{j}(\Omega ^{\ast }(X,M)_{\text{umg}}^{\Gamma }) \] for all \(j\). Here \(H^{j}(\Gamma ,M)\) is the group cohomology of \(\Gamma \) acting on \(M\) and \(\Omega ^{\ast }(X,M)_{\text{umg}}^{\Gamma }\) is the complex of smooth \(M\)-valued \(\Gamma \)-invariant differential forms of uniform moderate growth on the symmetric space \(X\) attached to \(G\). The main result of this paper says that the above isomorphy holds if \(\Gamma\) is any discrete subgroup of a reductive Lie group \(G\) with finitely many connected components. Moreover \(M\) can be any smooth representation of \(G\) on a Fréchet space. Borel uses in his proof the Borel-Serre compactification of \(\Gamma \backslash X\) and a tricky spectral-sequence argument to go from moderate growth conditions to uniform moderate growth conditions. In this paper we work essentially only on the symmetric space \(X\). Here the uniform moderate growth conditions for the inverse map log of the exponential map \(\exp \mathfrak{p}\rightarrow X\) are most important. They are used to prove a global version of Poincaré's lemma with growth conditions on \(X\). There are other contributions to Borel's regularization theorem. J. Franke gave a different proof of Borel's result in the adelic context for reductive algebraic groups. U. Bunke and M. Olbrich gave an extension of the first version of Borel's result with moderate instead of uniform moderate growth conditions on \(\Omega ^{\ast }(X,M)\) to infinite dimensional coefficients \(M\) of moderate growth. Their result also holds for certain non arithmetic subgroups \(\Gamma \) of \(G\).