Abstract. A Q-algebroid is a Lie superalgebroid equipped with a compatible homological vector field and is the infinitesimal object corresponding to a Q-groupoid. We associate to every Q-algebroid a double complex. As a special case, we define the BRST model of a Lie algebroid, which generalizes the BRST model for equivariant cohomology. We extend to this setting the Mathai-Quillen-Kalkman isomorphism of the BRST and Weil models, and we suggest a definition of a basic subcomplex which, however, requires a choice of a connection. Other examples include Roytenberg's homological double of a Lie bialgebroid, Ginzburg's model of equivariant Lie algebroid cohomology, the double of a Lie algebroid matched pair, and Q-algebroids arising from lifted actions on Courant algebroids. Since a bundle map A −→ A ′ does not, in general, induce a map of sections
Contentsthe differential graded algebra formulation has the distinction of being the point of view where the notion of morphism is obvious. This fact has been useful in making sense of categorical constructs involving Lie algebroids, even though a Lie algebroid structure cannot be described abstractly in terms of objects and morphisms. For example, Roytenberg [32] generalized the homological approach to Lie bialgebras [14,17] to give a homological compatibility condition for Lie bialgebroids. More recently, Voronov [38] generalized this idea further, giving a homological compatibility condition for double Lie algebroids [20].This paper deals with a closely related notion of categorical double, namely that of a Q-algebroid. A Q-algebroid may be thought of as a Lie algebroid in the category of Q-manifolds (or vice versa). As mentioned above, certain Q-manifolds are associated to Lie algebroids. Q-manifolds also arise from L ∞ -algebras [16] and in relation to the quantization of gauge systems (see, e.g. [11]).To any Q-algebroid, we can associate a double complex that is essentially the complex for Lie algebroid cohomology, "twisted" by the homological vector field. A first example is the "odd tangent algebroid . In this setting, the isomorphism of Mathai-Quillen [25] and Kalkman [12], which relates the two models, takes a surprisingly simple, coordinate-free form. Moreover, Kalkman's one-parameter family [12] that interpolates between the Weil and BRST models is immediately apparent in this context. 1 We are aware of independent work by Abad and Crainic [1], where a Lie algebroid generalization of the Weil model is given without using the language of supergeometry.
Q-ALGEBROIDS AND THEIR COHOMOLOGY 3The Weil and BRST complexes are both models for Ω(M × EG). In order to obtain equivariant cohomology 2 , one must first restrict to a subcomplex of forms that are basic for the G-action; it is this step that presents a problem in the general situation, as there does not seem to be a natural choice of a basic subcomplex of Ω ([−1]A). However, if we choose a linear connection on A, then we may define a basic subcomplex that, in the case of the canonical connection on M ×g, agrees...