Let G be a complex analytic group, and let A be the representation space of a finite-dimensional complex analytic representation of G. We consider the cohomology for G in A, such as would be obtained in the usual way from the complex of holomorphic cochains for G in A. Actually, we shall use a more conceptual categorical definition, which is equivalent to the explicit one by cochains. In the context of finite-dimensional representation theory, nothing substantial is lost by assuming that G is a linear group. Under this assumption, it is the main purpose of this paper to relate the holomorphic cohomology of G to Lie algebra cohomology, and to the rational cohomology, in the sense of [1], of algebraic hulls of G. This is accomplished by using the known structure theory for complex analytic linear groups in combination with certain easily established results concerning the cohomology of semidirect products. The main results are Theorem 4.1 (whose hypothesis is always satisfied by a complex analytic linear group) and Theorems 5.1 and 5.2. These last two theorems show that the usual abundantly used connections between complex analytic representations of complex analytic groups and rational representations of algebraic groups extend fully to the superstructure of cohomology.
Composing and decomposing op-based CRDTs with semidirect products