arxiv:math/0401160v3 [math.at] 11 Jul 2004 HOMOLOGICAL PERTURBATIONS, EQUIVARIANT COHOMOLOGY, AND KOSZUL DUALITY Johannes Huebschmann Université des Sciences et Technologies de Lille UFR de Mathématiques CNRS-UMR 8524 F-59 655 VILLENEUVE D ASCQ Cédex, France Johannes.Huebschmann@math.univ-lille1.fr July 1, 2004 Abstract. Small models for equivariant (co)homology are explored via differential homological algebra techniques including homological perturbation theory. These small models are then shown to establish the fundamental properties of various Koszul duality functors. This relies on the extended functoriality of the differential graded Tor-, Ext-, Cotor-, and Coext functors, extended to the appropriate sh-categories. 2000 Mathematics Subject Classification. Primary 55N91; Secondary 16S37 16E45 18G15 18G55 55N10 55N33 55T20 57T30 57U10 58A12. Key words and phrases. Equivariant cohomology, Eilenberg-Moore type descriptions, Eilenberg-Zilber theorem, differential derived functors, small models for geometric bundles, homological perturbation theory, Koszul duality.
2 JOHANNES HUEBSCHMANN Introduction The purpose of this paper is to explore suitable small models for equivariant (co)homology via differential homological algebra techniques including, in particular, homological perturbation theory (HPT). These small models will then be shown to establish immediately a number of basic properties of various Koszul duality functors. Indeed, it will be shown that these Koszul duality functors yield small models for various differential graded Tor-, Ext-, Cotor-, and Coext functors which, in turn, yield a conceptual explanation of Koszul duality in terms of the extended functoriality of these functors. This also applies to situations which, to our knowledge, have not been addressed in the literature, e. g. Koszul duality for infinite dimensional groups. In general, when standard differential homological algebra techniques yield a huge object calculating some (co)homological invariant and when this object is replaced by an equivalent small model, higher homotopies arise. These higher homotopies reflect a loss of a certain high amount of symmetry which the huge object usually has; thus the huge object is not necessarily bad. HPT is a standard tool to handle such higher homotopies; we use it here, in particular, to construct twisting cochains and contractions. The notion of twisting cochain in differential homological algebra arises by abstraction from that of connection in differential geometry and, indeed, an ordinary connection determines a particular twisting cochain the values of which lie in an algebra of differential forms. Section 1 is preliminary in character. In Section 2, we explain briefly the requisite HPT-techniques. The small models for (singular) equivariant G-(co)homology for a topological group G having as homology a strictly exterior algebra of finite type in odd degree generators will be given in Section 3. These models rely on the familiar fact, cf. Theorem 3.1 below that, given a topological group G, the G-equivariant homology and cohomology of a G-space are given by a differential torsion product and a differential Ext, respectively, with reference to the chain algebra of G. This is an Eilenberg-Moore type result. Our approach includes a HPT-proof thereof which involves the twisted Eilenberg-Zilber theorem, see Lemma 3.2 below. A variant thereof, given as Theorem 3.1, describes the G-equivariant cohomology as a suitable Cotor, with reference to an appropriate coalgebra which is a replacement for the cochains on G (which do not inherit a coalgebra structure). In Section 4, the HPT-procedure in Section 3, applied to de Rham theory, will be shown to yield small models in equivariant de Rham theory, with reference to a not necessarily compact Lie group, which may even be infinite dimensional. In the infinite dimensional case, the group is still required to be of finite homological type; all that is needed is, then, a differentiable [4],[5] or diffeological structure [30]. Thus, our theory applies, for example, to groups of gauge transformations. Again, the first step (within our approach) is to describe equivariant de Rham theory as a suitable differential graded derived functor. One way to do this is to notice that the (real singular) chain algebra C G of a Lie group G acts on the de Rham complex of a G-manifold X via the integration mapping. The description of the G-equivariant theory in terms of a differential graded Ext over C G is then still available, and a small model for this differential graded Ext yields a small model for G-equivariant de Rham theory. In de Rham theory, another description of the G-equivariant theory in terms of a differential derived functor is obtained as follows: What is referred to above as a variant (of the description in terms of a differential graded Ext) consists
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 3 now in replacing the de Rham complex A(G) of the Lie group G by the reduced bar construction B A(N G) on the differential graded algebra A(N G) which, in turn, arises from the nerve NG of G, taken as a simplicial manifold, by application of the de Rham functor A and subsequent totalization and normalization; then B A(N G) is an ordinary differential graded coalgebra which, for our purposes, serves as a replacement for the missing coalgebra structure on A(G). Theorem 4.9.3 below says that the G-equivariant de Rham theory of X is canonically isomorphic to a suitably defined differential graded Cotor over B A(N G) ; when G is infinite dimensional, the hypothesis that G be of finite homological type is essential at this stage. From this description in terms of a differential graded Cotor, again the small models for equivariant de Rham theory are more or less immediate. Thus, essentially the same HPT-constructions yield the small models in ordinary as well as in de Rham theory. Our approach is completely formal and applies to equivariant intersection cohomology as well as to de Rham theory over other fields; the latter situation actually arises in number theory and arithmetical and algebraic geometry. For simplicity, we stick to the ordinary de Rham case. Our constructions of small models extend some of the results in [9,10,11] related with Koszul duality by placing the latter in the sh-context, and this clarifies the meaning and significance of Koszul duality, cf. Section 5 below. In particular, when a group G acts on a space X, even when the induced action of H G on H X lifts to an action on C (X), in general only an sh-action of H G on C (X) will recover the geometry of the original action, and the same kind of remark applies, of course, to ordinary cohomology and to de Rham cohomology. For example, the ordinary cohomology of a homogeneous space G/K of a compact Lie group G by a closed subgroup K amounts to the K-equivariant cohomology of G, and the corresponding sh-action of H K on C (G) cannot come down to an ordinary H K on C (G) since the homogeneous space is compact and finite dimensional. See Example 7.2 below for more details. What is referred to as cohomology operations in [11] is really a system of higher homotopies encapsulating the requisite sh-action of H G on C (X), C (X), or what corresponds to it on the de Rham algebra A(X) of a space X where a de Rham algebra is defined. Details will be given in Section 5. Our HPT-techniques enable us to handle these higher homotopies satisfactorily. Koszul duality, for a finite type exterior algebra Λ on odd degree generators, comes down to a duality between the category of sh-λ-modules and that of sh-bλ-comodules and, in this context, BΛ and the corresponding cofree graded symmetric coalgebra S are equivalent. For our purposes, the categories of sh-modules and sh-comodules serve as replacements for various derived categories exploited in [11] and elsewhere. The duality, then, amounts essentially to the fact that, when M I is an injective resolution of an S -comodule M, this injection is a chain equivalence and that, when P N is a projective resolution of a Λ-module N, this projection is a chain equivalence; indeed, given N and M, when h and t refer to the two Koszul duality functors, h(t(n)) is a generalized projective resolution and t(h(m)) a generalized injective resolution; see (5.3.3) below for details. Koszul duality reflects the old observation that, for any k 0, the non-abelian left derived of the k th exterior power functor in the sense of [6] is the k th symmetric copower on the suspension (the invariants in the k th tensor power on the suspension with respect to the symmetric group on k letters). In Section 6 we offer some unification: Exploiting isomorphisms between C G and
4 JOHANNES HUEBSCHMANN H G, between BC G and H (BG), and between B C G and H (BG), in suitably defined categories of sh-algebras and sh-coalgebras as appropriate, we show that the Koszul duality functors are equivalent to certain duality functors on the categories of C G-modules, B C G-modules, and BC G-comodules as appropriate. This equivalence amounts more or less to the extended functoriality of the differential graded Ext-, Tor-, and Cotor-functors in the sense of [16]. The idea behind these isomorphims goes back to the seminal paper [31] of Stasheff anf Halperin. Finally, in Section 7 we give various illustrations. In particular, we explore a notion of split complex, similar to that introduced in [11] but somewhat more general and adapted to our situation. Our approach includes an interpretation of the splitting homotopy as a generalization of the familiar momentum mapping in symplectic geometry. In the present paper, spectral sequences, one of the basic tools in the literature on Koszul duality and related topics, do not occur explicitly save that, in Section 7, we use them once to establish the link between our notion of split complex and that used elsewhere. A long time ago, S. Mac Lane pointed out to me that, in various circumstances, spectral sequences are somewhat too weak a tool, on the conceptual as well as computational level. This remark prompted me to develop small models of the kind given below via HPT techniques during the 80 s; the HPT-techniques include refinements of reasoning usually carried out in the literature via spectral sequences. In [18] [21], I have constructed and exploited suitable small models encapsulating the appropriate sh-structures in the (co)homology of a discrete group, and by means of these small models, I did explicit numerical calculations of group cohomology groups that still today cannot be done by other methods. Equivariant cohomology may be viewed as being part of group cohomology, and in this spirit, the present paper pushes further some of the ideas developed in [17] [22] and in [24]. I am much indebted to Jim Stasheff for a number of comments which helped improve the exposition. 1. Preliminaries Let R be a commutative ring with 1, taken henceforth as ground ring and not mentioned any more. Given a differential graded algebra A, we will refer to a differential graded left (or right) A-module more simply as a left (or right) A-module; we shall denote the categories of left A-modules by A Mod and that of right A- modules by Mod A. Likewise, for a differential graded coalgebra C, we will refer to a differential graded left (or right) C-comodule as a left (or right) C-comodule; we shall denote the categories of left C-comodules by C Comod and that of right C-comodules by Comod C. Chain complexes and cochain complexes will be treated on equal footing: a cochain complex (C, d) will be considered as a chain complex (C, d) by letting C j = C j for j Z. An ordinary cochain complex, concentrated in non-negative degrees as a cochain complex, is then a chain complex which is concentrated in non-positive degrees. Differential homological algebra terminology and notation will be the same as that in [18] [21] and [25]. In particular, the reduced cobar functor is written as Ω and, to avoid notational conflict, we will write the de Rham complex functor as A. We do not recall the notions of bundle or twisted tensor product. Augmentation and coaugmentation maps are denoted by ε and η, respectively. A twisting cochain τ from
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 5 a coaugmented differential graded coalgebra C to an augmented differential graded algebra A will be said to be acyclic when C τ A is an acyclic construction. Subject to mild appropriate additional hypotheses of the kind that C and/or A be projective as R-modules which will always hold in the paper the adjoints τ: C BA and τ: ΩC A are then chain equivalences. 1.1. The trivial simplicial object and the simplicial path object. Any object X of a category with appropriate structure including a product and a cocommutative diagonal we will take the categories of spaces, of smooth manifolds, of groups, of vector spaces, of Lie algebras, etc., defines two simplicial objects in the category, the trivial object which we still write as X and the path object PX; the trivial object X has a copy of X in each degree and all simplicial operations are the identity while, for p 0, PX p is a product of p + 1 copies of X with the obvious simplicial operations. Well known categorical machinery formalizes this situation but we shall not need this kind of formalization. 1.2. The geometric resolution and nerve construction. The universal simplicial G-bundle PG NG is a special case of these constructions; indeed, PG is a simplicial group, the diagonal maps combine to a morphism of simplicial groups G PG by means of which PG is made into a right G-bundle, and NG = PG / G. More generally, the obvious action of G on the simplicial space E PG X is principal, and N(E, G, X) is the base of the resulting simplicial principal G-bundle. Let G be a topological group and X a left G-space. The simplicial bar construction N(G, X) is a simplicial space whose geometric realization N(G, X) is the Borel construction EG G X; with reference to the obvious filtration, EG X is, in particular, a free acyclic G-resolution [29] of X in the category of left G-spaces. In particular, when X is a point, N(G, X) comes down to the ordinary nerve NG of G, the (lean) realization of which is the ordinary classifying space BG of G. (Within our terminology, it would be more consistent to write BG for the classifying space but we will stick to the standard notation BG.) For general X, the G-equivariant homology and cohomology of X are defined as the homology and cohomology of N(G, X). This definition works for any (co)homology theory, e. g. singular (co)homology or de Rham cohomology: Application of the (co)chain functor to N(G, X) yields a (co)simplicial chain complex the (co)homology of which is the G-equivariant theory. Thus, to define the equivariant theory, there is no need to pass through the Borel construction, cf. e. g. the discussion in [2]; in particular, this is the correct approach to equivariant de Rham theory since the de Rham functor does not naively apply to the Borel construction. It is worthwhile noting that the constructions to be given below apply to the two-sided constructions at no extra cost: For later reference, let E be a right G-space and let N(E, G, X) be the two-sided simplicial bar construction; we will always suppose that the projection E B = E/G is a principal bundle. It is a classical fact that then the canonical projection from N(E, G, X) to E G X is a homotopy equivalence which is compatible with the bundle structures in the appropriate sense. 1.3. The Eilenberg-Zilber theorem. We will have to exploit the version of the Eilenberg-Zilber theorem which results when the de Rham functor is applied to the product of two simplicial manifolds. For intelligibility, we explain this now. Given two simplicial sets X and Y, the ordinary Eilenberg-Zilber theorem yields
6 JOHANNES HUEBSCHMANN a contraction (1.3.1) (X Y α X Y, h) where we do not distinguish in notation between a simplicial set and its normalized chain complex; the morphisms and α are usually referred to as shuffle and Alexander-Whitney map, respectively. The salient feature of this result is that, α, and h, may be written out explicitly as linear combinations of simplicial operators defined merely on X, Y, and X Y. Let X and Y be two simplicial spaces. Their product X Y as simplicial spaces is the obvious one, that is, for every p 0, (X Y ) p = X p Y p, with the obvious simplicial operators. Applying the de Rham functor A and totalizing yields the chain complexes A(X Y ), AX, and AY. On the other hand, let X Y be the product of X and Y as a bisimplicial space, that is, for every p, p 0, (X Y ) p,p = X p Y p, with the obvious bisimplicial operators. Then A(X Y ) is a bicosimplicial chain complex, and we define the completed tensor product AX AY as the total complex A(X Y ). The morphisms, g, and h induce corresponding morphisms, g, and h, and the Eilenberg-Zilber theorem for the de Rham theory of simplicial manifolds says that (1.3.2) ( AX AY α A(X Y ), h ) is a contraction of chain complexes, and that the coshuffle map is a morphism of differential graded algebras. The co-alexander-whitney map α it is merely a morphism of chain complexes, though. 2. Homological perturbations Homological perturbation theory (HPT) is concerned with transferring various kinds of algebraic structure through a homotopy equivalence. Here is an essential piece of machinery. Definition 2.1. A contraction (M π N, h) of chain complexes consists of chain complexes N and M, chain maps π: N M and : M N, and a morphism h: N N of the underlying graded modules of degree 1; these data are required to satisfy π = Id, Dh = π Id, πh = 0, h = 0, hh = 0. We will then say that N contracts onto M. If furthermore, N and M are filtered chain complexes, and if π, and h are filtration preserving, the contraction is said to be filtered. This notion of contraction was introduced in 12 of [7]; it is among the basic tools in homological perturbation theory, cf. [14, 24] and the literature there. The argument in [16] (4.1) establishes the following: Proposition 2.2. Let C and C be coaugmented differential graded coalgebras, let (C π C, h) be a contraction of chain complexes where is a morphism of differential graded coalgebras, and let A be a complete augmented differential graded
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 7 algebra. Given a twisting cochain σ: C A, there is a unique twisting cochain ξ: C A with ξ = σ and ξh = 0. This twisting cochain is given by the inductive formula (2.2.1 ) ξ = σπ + (ξ ξ)h and is natural in terms of the data. Somewhat more explicitly, the formula (2.2.1 ) means that ξ = ξ 1 + ξ 2 +... where ξ 1 = σπ, ξ p = The dual statement reads as follows. i+j=p (ξ i ξ j )h (p > 1). Proposition 2.2. Let A and A be augmented differential graded algebras, let (A π A, h) be a contraction of chain complexes where π is a morphism of differential graded algebras, and let C be a cocomplete coaugmented differential graded coalgebra. Given a twisting cochain σ: C A, there is a unique twisting cochain ξ: C A with πξ = σ and hξ = 0. This twisting cochain is given by the inductive formula (2.2.1 ) ξ = σ + h(ξ ξ) and is natural in terms of the data. For intelligibility, we will recall another HPT-tool which we will frequently use in the rest of the paper. Recall that a perturbation of the differential d of a filtered chain complex Z is an operator on Z that lowers filtration and, moreover, satisfies d + d + = 0, so that d = d + is a new differential on Z; we shall then write Z for the new chain complex. Perturbation Lemma 2.3. Let (M g perturbation of the differential on N, and let N, h) be a filtered contraction, let be a (2.3.1) (2.3.2) (2.3.3) (2.3.4) D = g (h ) n = g( h) n n 0 n 0 = n 0(h ) n g = g( h) n n 0 h = (h ) n h = n 0 n 0h( h) n.
8 JOHANNES HUEBSCHMANN If the filtrations on M and N are complete, these infinite series converge, D is a perturbation of the differential on M and, if we write N and M D for the new chain complexes, (2.3.5) (M D g N, h ) constitute a new filtered contraction that is natural in terms of the given data. Proof. Details may be found in [3] and in Lemmata 3.1 and 3.2 of [12]. 2.4. Twisted Hom-objects. For convenience, we describe them briefly in the framework of homological perturbations. Let C be a coaugmented differential graded coalgebra, A an augmented differential graded algebra, and τ: C A a twisting cochain. 2.4.1. Given a differential graded right A-module N (we could equally well work with a left A-module), let δ τ be the operator on Hom(C, N) given by δ τ (f) = ( 1) f f τ. With reference to the filtration induced by the coaugmentation filtration of C, δ τ is a perturbation of the differential on Hom(C, N), and we write the perturbed differential on Hom(C, N) as d τ = d + δ τ. We will refer to Hom τ (C, N) = (Hom(C, N), d τ ) as a twisted Hom-object; for N = A, this construction turns Hom(C, A) into an augmented differential graded algebra and, for general N, Hom τ (C, N) inherits a differential graded Hom τ (C, A)-module structure in an obvious fashion. Under suitable circumstances, Hom τ (C, N) calculates the differential graded Ext A (R, N). Consider the canonical injection of Hom(C, N) into Hom(C A, N) which assigns (2.4.1.1) Φ α : C A N, Φ α (w a) = α(w)a, w C, a A, to α Hom(C, N); this injection identifies Hom(C, N) with the subspace of (right) A-module morphisms from C τ A to N; since, for φ Hom(C, A), (2.4.1.2) Φ α (φ ) = Φ α φ : C A N the assignment to α of Φ α yields a morphism (2.4.1.3) Hom τ (C, N) Hom(C τ A, N) of chain complexes which identifies Hom τ (C, N) with the subspace Hom A (C τ A, N) of differential graded (right) A-module morphisms from C τ A to N. In particular, the R-dual M of a differential graded left A-module M inherits a canonical differential graded right A-module structure, and the twisted Hom-object Hom τ (C, M ) obtains. Under these circumstances, when A is of finite type, its dual A inherits a coaugmented differential graded coalgebra structure and M an obvious left A -comodule structure, the dual τ : A C is a twisting cochain, and the canonical morphism of chain complexes C τ M Hom τ (C, M ) is an isomorphism of differential graded Hom τ (C, A)-modules. The twisted Hom-object Hom τ (C, M ) is always defined, though, whether or not A is of finite type; it is the completed twisted object for the data A, C, M, and τ.
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 9 2.4.2. Given a differential graded left A-module N, the assignment to a c n A C N of 1 a c c (an) C N yields a chain map (2.4.2.1) A τ C N C τ N which passes through an isomorphism (2.4.2.2) R A (A τ C N) C τ N. 2.4.3. Given differential graded left C-comodule M (we could equally well work with a right C-comodule), the twisted differential on the right-hand side of the adjointness isomorphism Hom(A, M ) = Hom(A M, R) dual to the twisted differential on A τ M determines a perturbed differential d τ on Hom(A, M ); we write the resulting twisted object as Hom τ (A, M ) and refer to it as a twisted Hom-object. This situation may be formalized in terms of C -modules in the following way: We define a complete C -module to be a chain complex M together with a pairing ρ: Hom(C, M ) M which satisfies the obvious associativity constraint; when C is of finite type, this pairing comes down to an ordinary C - module structure C M M. We denote the category of complete C -modules by C Mod. The dual M of a C-comodule M is a complete C -module in an obvious fashion. Denote the structure map of A by µ: A A A. Given a complete C -module M, with structure map ρ, for φ: A M, define δ τ (φ) to be the composite of Hom(A, M ) µ Hom(A A, M ) Hom(A, Hom(A, M )) where the unlabelled arrow comes from adjointness, with Hom(A, Hom(A, M )) τ Hom(A, Hom(C, M )) ρ Hom(A, M ). The operator δ τ is a perturbation of the naive differential on Hom(A, M ), and we will denote the perturbed object by Hom τ (A, M ). Under suitable circumstances, Hom(A, M ) calculates the differential graded Tor C (R, M ). The structure map ρ of M induces a morphism ρ from Hom(C A, M ) to Hom(A, M ) which is, in fact, a chain map (2.4.3.1) ρ : Hom(C τ A, M ) Hom τ (A, M ); the latter, in turn, passes through a chain map (2.4.3.2) R C Hom(C τ A, M ) Hom τ (A, M ). When A is of finite type, its dual A inherits a coaugmented differential graded coalgebra structure, the dual τ : A C is a twisting cochain, and the canonical morphism of chain complexes A τ M Hom τ (A, M )
10 JOHANNES HUEBSCHMANN is an isomorphism of differential graded Hom τ (A, C )-modules. When C is, furthermore, of finite type, the chain map (2.4.3.1) amounts to and (2.4.3.2) amounts an isomorphism ρ : C τ A M A τ M R C (C τ A M ) A τ M. These are special cases of (2.4.2.1) and (2.4.2.2) above. The twisted Hom-object Hom τ (A, M ) is always defined, though, whether or not A is of finite type; it is the completed twisted object for the data A, C, M, and τ. 3. Small models for ordinary equivariant (co)homology The differential graded Hopf algebra C G of normalized singular chains on G acts from the left on the normalized singular chains C (X) and from the right on the normalized singular cochains C (X) on X. The construction of the small models for ordinary equivariant (co)homology relies on the following folk-lore result the significance of which was already commented on in the introduction. Theorem 3.1. The G-equivariant homology of X is canonically isomorphic to the differential torsion product Tor C G (R, C X) and, likewise, the G-equivariant cohomology of X is canonically isomorphic to Ext C G (R, C X) where Ext refers to the differential Ext functor. Addendum. More generally, there are canonical isomorphims of the kind H (E G X, R) = Tor C G (C E, C X), H (E G X, R) = Ext C G(C E, C X). We now explain briefly how Theorem 3.1 is established by means of certain HPT-techniques needed later in the paper anyway. To this end, we denote by τ G : BC G C G the universal twisting cochain (which is acyclic) for the (reduced normalized) bar construction BC G of the augmented differential graded algebra C G. Lemma 3.2. The data determine an acyclic twisting cochain (3.2.1) τ: C (BG) C G. Furthermore, the data determine a contraction of C (EG G X) onto BC G τg C X which is natural in X, G, and the G-action, and which is a morphism of differential graded BC G-comodules via the adjoint τ: C (BG) BC G of τ. Proof. The twisted Eilenberg-Zilber theorem [3], [12] yields a twisting cochain τ: C BG C G and a contraction of C (EG G X) onto C BG τ C X, the adjoint τ: C BG BC G of τ is a chain equivalence and, in turn, induces a chain equivalence between C BG τ C X and BC G τg C X, and the two chain equivalences combine to a chain equivalence between C (EG G X) and BC G τg C X of the asserted kind. The construction is natural in X, G, and the G-action. We note that the proof of the twisted Eilenberg-Zilber theorem in [12] involves the Perturbation Lemma. Thus Lemma 3.2 relies on HPT as well. We now spell out a consequence of Lemma 3.2 which, in turn, immediately implies the statement of Theorem 3.1.
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 11 Corollary 3.3. The twisted tensor product BC G τg C X is a model for the chains of the Borel construction EG G X, and this model is natural in X, G, and the G-action. Likewise the twisted Hom-object Hom τ G (BC (G), C X) is a model for the cochains of the Borel construction EG G X, and this model is natural in X, G, and the G-action. A variant of Theorem 3.1 merely for cohomology is obtained in the following fashion: The cochains C G on G do not inherit a coalgebra structure; a replacement for the missing comodule structure on C X (dual to the C G-module structure on C X exploited above) is provided for by the following construction: The cochains C (EG G X) inherit a canonical C (BG)-module structure and hence, via the dual of the adjoint of the twisting cochain (3.2.1), a canonical B (C G)-module structure. The forgetful map from C (EG G X) to C X (which forgets the G-action) is a chain map which extends canonically to a projection (3.1.1 ) π: B(R, B (C G), C (EG G X)) C (X), necessarily a chain equivalence. We will refer to B(R, B (C G), C (EG G X)) as the extended cochain complex of X, with reference to G. For intelligibility, we recall that, by the construction of B(R, B (C G), C (EG G X)), the latter inherits a canonical (differential graded) BB (C G)-comodule structure. The following is a variant of Theorem 3.1, in the realm of ordinary singular cohomology. Theorem 3.1. The differential graded coalgebra BB (C G) is a model for the cochains on G in such a way that the diagonal map of BB (C G) serves as a replacement for the missing coalgebra structure on C G and that the G-equivariant cohomology of X is canonically isomorphic to the differential graded (3.1.2 ) Cotor BB (C G) (R, B(R, B (C G), C (EG G X))). Proof. With the notation A = B (C G), the differential graded Cotor is the homology of the twisted object A τ B B(R, A, C (EG G X)) which may be written as A τ B BA τ B C (EG G X), and the canonical injection of C (EG G X) into this twisted object is a chain equivalence, having as retraction map an obvious contraction which is, in fact, a relatively projective resolution of C (EG G X) in the category of (left) B (C G)-modules. We now proceed towards the construction of small models for equivariant (co)homology. The group G is said to be of strictly exterior type provided, as a graded algebra, its homology H (G) is, as a Hopf algebra, the exterior algebra Λ[x 1,...] in odd degree primitive generators x 1,...; when the number of generators is infinite, we will assume throughout that H (G) is of finite type (i. e. of finite R-dimension in each degree). When G is of strictly exterior type, it is necessarily connected, and S = H (BG) is a graded cocommutative coalgebra, indeed, the graded symmetric coalgebra on the suspension of the free R-module generated by x 1,... (the module of indecomposables). Henceforth we suppose that G is of strictly exterior type.
12 JOHANNES HUEBSCHMANN Lemma 3.4. A choice of cocycle of BC (G) for each x j the class of which the dual of x j in H G transgresses to determines an acyclic twisting cochain (3.4.1 ) ζ B : BC G H G. Consequently, for any differential graded right BC G-comodule M, the composite of the comodule structure map M M BC G with the canonical injection is an injective resolution M BC G M H G BC G (3.4.2 ) M M ζ B H G ζ B BC G of M in the category of differential graded right BC G-comodules. A version of this Lemma may be found in Section 4 of [17]. Alternative constructions for a twisting cochain of the kind (3.4.1 ) may be found in [25] (IV.7.3) or may be deduced from a corresponding construction in [15]. Since [17] is not easily available, and for later reference, we sketch a proof of the Lemma. Proof. The Eilenberg-Zilber theorem yields a contraction (3.4.3) (BC G BC G π B(C G C G), h), and the shuffle map is well known to be a morphism of differential graded coalgebras. Write Λ = H (G) = Λ[x 1,...] and, for each j 1, write Λ j = Λ[x 1,..., x j ]. For each x j, the chosen cocycle amounts to a twisting cochain ζ j : BC (G) Λ[x j ]. By induction, we construct a sequence of twisting cochains ζ j : BC (G) Λ j (j 1). The induction starts with ζ 1 = ζ 1. Let j 1, and suppose, by induction, that the twisting cochain ζ j : BC (G) Λ j has been constructed. Then ζ j ηε + ηε ζ j+1 : BC (G) BC (G) Λ j Λ[x j+1 ] = Λ j+1 is a twisting cochain. The construction (2.2.1 ), applied to σ = ζ j ηε + ηε ζ j+1 and (3.4.3), yields a twisting cochain from B(C G C G) to Λ j+1 which, combined with B : BC G B(C G C G), yields the twisting cochain ζ j+1 : BC G Λ j+1. This completes the inductive step. When the generators of H G constitute a finite set, the construction stops after finitely many steps and yields the twisting cochain ζ B ; otherwise, in view of the assumption that H G be of finite type, the ζ j s converges to a twisting cochain ζ B ; in fact, the convergence is naive in the sense that, in each degree, the limit is achieved after finitely may steps. Under the circumstances of Lemma 3.4, extend the adjoint ζ B : ΩBC (G) H G of ζ to a contraction (3.5.1) (H G ζb Ω BC (G), h) where the notation and h is abused somewhat. This is possible since, as a graded R-module, H G is free.
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 13 Lemma 3.5. Under the circumstances of Lemma 3.4, the choice of cocycle of BC (G) for each x j and the contraction (3.5.1) determine a twisting cochain (3.5.2) BH (G) C G such that the adjoints BC G BH (G) and BH (G) BC G of (3.4.1 ) and (3.5.2), respectively, are mutually chain homotopy inverse to each other. In particular, the composite (3.5.3) H (BG) BC G of the canonical injection H (BG) BH (G) with the adjoint BH (G) BC G of (3.5.2) is a morphism of differential graded coalgebras inducing an isomorphism on homology. Proof. The construction (2.2.1 ), applied to σ = τ BH G : BH G H G (the universal twisting cochain for H G) and (3.5.1), yields a twisting cochain BH G Ω BC (G). The composite of this twisting cochain with the universal morphism Ω BC (G) C (G) of differential graded algebras yields the twisting cochain (3.5.2). Standard arguments show that the adjoints of (3.4.1 ) and (3.5.2) are mutually chain homotopy inverse to each other. We will denote the twisting cochain which is the composite of (3.5.3) with the universal twisting cochain τ G of C G by (3.4.1 ) ζ G : H (BG) C G. This twisting cochain is plainly acyclic. The statement of the following Lemma is now immediate; yet we spell it out to bring the duality between G and BG to the fore, which is perfect. Lemma 3.4. For any differential graded left C G-module N, the canonical surjection C G H BG N C G N, combined with the C G-module structure map C G N N of N, is a projective resolution (3.4.2 ) C G ζg H BG ζg N N of N in the category of differential graded left C G-modules. Remark. Standard constructions yield sh-inverses of the adjoints of (3.4.1 ) and (3.4.1 ). Theorem 3.6. The bundle morphism (3.6.1 ) ζ G Id: H (BG) ζg C X BC (G) τg C X induces an isomorphim on homology, and so does the bundle morphism (3.6.1 ) Hom ζ G (H (BG), C X) Hom τ G (BC (G), C X). Consequently the bundle (3.6.2 ) H (BG) ζg C X calculates the G-equivariant homology of X as an H (BG)-comodule, and the bundle (3.6.2 ) Hom ζ G (H (BG), C X) = H (BG) ζ G C X calculates the G-equivariant cohomology of X as an H (BG)-module.
14 JOHANNES HUEBSCHMANN 4. Small models for equivariant de Rham theory We will now work over the reals R as ground ring. Let G be a Lie group, neither necessarily compact nor necessarily finite dimensional, and let X be a left G-manifold. We will present two methods of constructing small models for the equivariant de Rham cohomology of X. The first one is a direct translation of the construction in the previous section which relies on the integration mapping. The second one relies on a variant of Theorem 3.1 above. Application of the de Rham functor to N(G, X) yields the cosimplicial differential graded algebra A(N(G, X)). This procedure works in other situations, e. g. when X is a singular space and A(X) a G-equivariant sheaf on X, or over other fields, once a de Rham algebra is defined, e. g. for non-singular varieties over any field and G an algebraic group. For simplicity, we stick to the ordinary de Rham case. The de Rham operators of X and of each constituent G p (p 0) of N(G, X) induce operators d X and d G, respectively, and the resulting cosimplicial bicomplex (A(N(G, X)), d X, d G ) totalizes to a chain complex A(N(G, X)) which we always take to be normalized; we will write the bar operator coming from the cosimplicial structure (cf. e. g. [22]) as δ. By definition, the homology of A(N(G, X)) is the G-equivariant de Rham cohomology of X. As simplicial spaces, the nerve N(G G) of the product and the product NG NG of the nerves are canonically isomorphic, and we will identify the two. The composite of the morphism from A(NG NG) to A(NG) induced by the geometric diagonal map of G with the dual of the Alexander-Whitney map induces a differential graded algebra structure on A(N G)), and A(N(G, X)) inherits a differential graded right A(N G) -module structure in an obvious fashion. These structures are, in fact, induced by the canonical pairings A q (G p ) A q (G p ) A q+q (G p+p ) for each pairs (p, q) and (p, q ) of bidegrees, cf. e. g. [22]. Integration turns A(X) into a (right) C G-module in the following fashion: Write µ: G X X for the left G-action. The C G-module structure on A(X) is given by the association (4.1) Map( q, G) A p (X) A p q (X), (σ, ω) σ µ ω (p, q 0) where the integration is carried out with reference to the component in A q (G, A p q X) of µ ω A p (G X). Integration induces, furthermore, a chain map (4.2) A(PG, A(X)) Hom(BC G, A(X)) which descends to a chain equivalence (4.3) A(N(G, X)) Hom(BC G, A(X)) C G = Hom τ G (BC G, A(X)). In particular, for the special case where X is a point, (4.3) amounts to a morphism (4.4) A(NG) Hom(BC G, R)
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 15 of differential graded algebras, necessarily a chain equivalence. Suppose that G is connected and of strictly exterior type with finite type (co)homology; when G is finite dimensional, connectedness implies, of course, the other properties but G is now arbitrary, i. e. may be infinite dimensional. As a graded coalgebra, the cohomology H G is now the graded exterior coalgebra Λ = Λ [y 1,...] in primitive generators y 1,..., and H BG is the graded symmetric algebra S on the desuspension of these generators. Here is what corresponds to Lemma 3.4 under the present circumstances. Lemma 4.5. A choice of cycle in A(NG) for each y j to which y j in H G transgresses to determines an acyclic twisting cochain (4.5.1) ζ NG : H G A(NG). Proof. Given two twisting cochains σ: C A(NG) and σ : C A(NG) defined on graded cocommutative coalgebras C and C, the values of the twisting cochain σ ηε + ηε σ lie in A(NG) A(NG). Moreover, the Eilenberg-Zilber theorem yields the contraction (4.6) ( A(N G) A(N G) α AN(G G), h ), cf. (1.3) above. The inductive construction of the twisting cochain (3.4.1 ) in the proof of Lemma 3.4 dualizes, with (2.2.1 ) instead of (2.2.1 ). We leave the details to the reader. Remark 4.7. The adjoint ζ NG : ΩH G A(NG) of ζ NG is a special case of a small free model in the sense of [24]. We now suppose that a choice of cycle in A(NG) for each y j to which y j in H G transgresses to has been made. We give two different constructions of a small model for the G-equivariant de Rham cohomology of X. 4.8. First construction. By virtue of Theorem 3.1, the G-equivariant de Rham cohomology of X is naturally isomorphic to the differential graded Ext C G (R, A(X)), and the construction of a small model of the kind (3.6.2 ) obtains in the following way: Consider the acyclic twisting cochain ζ B : BC G H G given as (3.4.1 ) above, where the requisite choice of cocycles of BC G for the construction of (3.4.1 ) is the choice of cycles in A(N G), combined with (4.4). After having chosen an extension of the adjoint ζ B to a contraction of the kind (3.5.1), consider the acyclic twisting cochain (3.4.1 ) above, written as ζ G : H (BG) C G. It induces the morphism (4.8.1) Hom τ G (BC G, A(X)) Hom ζ G (H (BG), A(X)) of twisted Hom-objects, necessarily a chain equivalence. The resulting twisted object (4.8.2) Hom ζ G (H (BG), A(X)) is a small model of the kind (3.6.2 ). 4.9. Second construction; it relies on the observation that, with reference to an appropriate replacement for the de Rham algebra of G, the equivariant de Rham
16 JOHANNES HUEBSCHMANN theory of X may be described as a differential graded Cotor. With reference to the obvious A(N G) -module structure on A(N(G, X)), consider the bar construction (4.9.1) B(R, A(NG), A(N(G, X)) ) = B A(NG) τ B A(N(G, X)) ; it inherits a canonical (differential graded) B A(N G) -comodule structure. The forgetful map from A(N(G, X)) to A(X) (which forgets the G-action) is a chain map which extends canonically to a projection (4.9.2) π: B(R, A(NG), A(N(G,X)) ) A(X), necessarily a chain equivalence. We will refer to B(R, A(NG), A(N(G, X)) ) as the extended de Rham complex of X, with reference to G. The following Eilenberg-Moore type result is formally the same as Theorem 3.1 above, but in the realm of de Rham theory rather than ordinary singular cohomology. Theorem 4.9.3. The differential graded coalgebra B A(N G) is a model for the de Rham complex A(G) of G in such a way that the diagonal map of B A(NG) serves as a replacement for the missing coalgebra structure on A(G) and that the G-equivariant de Rham cohomology is canonically isomorphic to the differential graded Cotor B A(NG) (R, B(R, A(NG), A(N(G,X)) ). Proof. This is established by the same argument as that given for Theorem 3.1, with A(NG) and A(N(G, X)) substitued for B (C G) and C (EG G X), respectively. To proceed with the construction of a small model, extend the adjoint ζ NG of the twisting cochain (4.5.1) to a contraction (4.9.4) (Λ α ζ NG B A(NG), h). The construction (2.2.1 ), applied to (4.9.4) and the (acyclic) transgression twisting cochain τ : Λ S (the dual of the transgression twisting cochain τ: S Λ) yields the acyclic twisting cochain (4.9.5) ζ B A(NG) : B A(NG) S which, under the present circumstances, when B A(N G) is viewed as the correct differential graded coalgebra replacing the missing coalgebra for A(G), is the exact analogue of the twisting cochain (3.4.1 ) above. Now S ζ B A(NG) B(R, A(NG), A(N(G, X)) ) is a model for the G-equivariant de Rham cohomology of X, and by means of the Perturbation Lemma, we can cut this model down to one of the kind (4.8.2). Indeed, extend the projection (4.9.2) to a contraction. With reference to the trivial G-action on X, we then have an induced contraction of the kind (4.9.6) (S A(X) π ι S B(R, A(NG), A(N(G, X)) ), h);
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 17 after having incorporated the non-trivial G-action on X by means of a perturbation of the differential on the right-hand side, the Perturbation Lemma (2.3) yields the contraction (4.9.7) (S D A(X) π ι S ζ B A(NG) B(R, A(NG), A(N(G, X)) ), h ) onto the resulting twisted object (4.9.8) S D A(X) which is similar to the twisted Hom-object (4.8.2). 5. Duality 5.1. General duality. Let C be a coaugmented differential graded coalgebra, A an augmented differential graded algebra, and τ: C A an acyclic twisting cochain. Suppose there be given an explicit contracting homotopy on C τ A as well. We suppose that the cohomology of C, that is, the homology of C, is of finite type. Then the homology of A is of finite type as well. Consider the functors (5.1.1 ) (5.1.2 ) t: A Mod C Comod, t(n) = C τ N h: C Comod A Mod, h(m) = A τ M. Unfortunately the notation h conflicts with the earlier notation for a contracting homotopy, but for intelligibility we prefer to keep the notation h for both objects; in the sequel, which one is intended will always be clear from the context, though. Thus t assigns to a left A-module N a bundle which calculates the differential graded Tor A (R, N), and h assigns to a left C-comodule M a bundle which calculates the differential graded Cotor C (R, M). The composite of the comodule structure map M C M with the canonical injection C M C A M is a relatively injective resolution (5.1.3 ) M C τ A τ M = t(h(m)) of M in the category of left C-comodules, and the composite of the canonical projection A C N A N with the A-module structure map A N N of N is a relatively projective resolution (5.1.4 ) h(t(n)) = A τ C τ N N of N in the category of left A-modules; in particular, these morphisms are chain equivalences. Proposition 5.1.5. The functors t and h are homotopy inverse to each other. We remind the reader that the notation Mod has been explained in (2.4.2) above. With reference to the dual C, which is a differential graded algebra, the functor (5.1.1 ) t : Mod A C Mod, t (N ) = Hom τ (C, N )
18 JOHANNES HUEBSCHMANN assigns to a right A-module N the twisted Hom-object t (N ) which calculates the differential graded Ext A (R, N ), and the functor (5.1.2 ) h : C Mod Mod A, h (M ) = Hom τ (A, M ) assigns to a (complete) left C -module M the twisted Hom-object h (M ) which, since the homology of C is of finite type, calculates the differential graded Tor C (R, M ). When A is itself of finite type (i. e. finite dimensional in each dimension), A is a differential graded coalgebra, the dual τ : A C is a twisting cochain, and the obvious morphism is an isomorphism A τ M Hom τ (A, M ) of (differential graded) left A -comodules. Whether or not A is of finite type, the obvious injection and projection (5.1.3 ) (5.1.4 ) M Hom τ (C τ A, M ) = Hom τ (C, Hom τ (A, M )) = t (h (M )) N Hom τ (A τ C, N ) = Hom τ (A, Hom τ (C, N )) = h (t (N )), respectively, are chain equivalences. Moreover, Hom τ (C, Hom τ (A, M )) is a resolution of M in the category of left C -modules (relatively projective when C is of finite type), and the composite of the adjoint N Hom(A, N ) of the structure map N A N with the canonical injection ε : Hom(A, N ) Hom(A, Hom(C, N )) induced by the counit ε of C is a relatively injective resolution N Hom τ (A τ C, N ) = Hom τ (A, Hom τ (C, N )) = h (t (N )) of N in the category of right A-modules. Proposition 5.1.5. The functors t and h are homotopy inverse to each other. Remark 5.1.6. Suppose that C itself is of finite type, and let M be a left C -module. By adjointness, the left C -module structure is then induced from a left C-comodule structure on M, and the twisted Hom-object h (M ) calculates the differential graded Coext C (R, M ). 5.2. Sh-modules. A left (right) A -module N, for some augmented differential graded algebra A, together with a twisting cochain τ A : C A, is said to be a left (right) sh-module over A. When (N, τ A ) is an sh-module over A, N is an ΩC-module via the adjoint τ A : ΩC A, and we may in particular take A = ΩC and τ A = τ ΩC ; thus requiring the twisting cochain τ A : C A to be acyclic yields an equivalent notion of sh-module over A. The given definition allows for more flexibility, though. Likewise a left (right) sh-comodule over C is a left (right) C -comodule M, for some coaugmented differential graded coalgebra C, together with a twisting cochain τ C : C A. When (M, τ C ) is an sh-comodule over C, M is a BA-comodule via the adjoint τ C : C BA, and we may in particular take C = BA and τ C = τ BA ;
HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 19 again requiring the twisting cochain τ C : C A to be acyclic yields an equivalent notion of sh-comodule over C, and the given definition allows for more flexibility. Given two sh-modules (N 1, τ A 1 ) and (N 2, τ A 2 ) over A, we define a morphism from (N 1, τ A 1 ) to (N 2, τ A 2 ) to be a homotopy class of twisting cochains BA 1 A 2 such that, whenever τ is a representative of this homotopy class, the two twisting cochains τ τ A 1, τ A 2 : C A 2 are homotopic twisting cochains where τ A 1 : C BA 1 is the adjoint of τ A 1. Denote the resulting category by A Mod or Mod A, according to whether left- or right modules come into play. Likewise, given two sh-comodules (M 1, τ C 1 ) and (M2, τ C 2 ) over C, we define a morphism from (M 1, τ C 1 ) to (M2, τ C 2 ) to be a homotopy class of twisting cochains C 1 ΩC 2 such that, whenever τ is a representative of this homotopy class, the two twisting cochains τ C 2 τ, τ C 1 : C 1 A are homotopic twisting cochains where τ C 2 : ΩC 2 A is the adjoint of τ C 2. Denote the resulting category by C Comod or Comod C, according to whether left- or right comodules come into play. Let C be a coaugmented differential graded coalgebra, A an augmented differential graded algebra, and τ : C A an acyclic twisting cochain. Further, let ζ A : C A and ζ C : C A be acyclic twisting cochains. Proposition 5.2.1. The assignment a to left A -module N of the left sh-module (N, ζ A ) over A is a functor from A Mod to A Mod and, likewise, the assignment to a left C -comodule M of the left sh-comodule (M, ζ C ) over C is a functor from C Comod to CComod. Both functors are quasi-equivalences. 5.3. Koszul duality for homology. Let Λ = Λ[V ] be a strictly exterior R- algebra of finite type, i. e. V is a free graded R-module of finite type concentrated in odd degrees, and let S = S [sv ] be the symmetric coalgebra on the suspension sv of the indecomposables V of Λ; thus the canonical injection S BΛ is a homology isomorphism. To adjust to the notation established in (5.1) and (5.2) above, let (C, A, C, A, ζ C, ζ A ) = (S, Λ, BΛ, ΩS, τ BΛ, τ ΩS ) and let τ: S Λ be the universal (acyclic) twisting cochain determined by the desuspension sv V. For simplicity, write τ Ω = τ ΩS and τ B = τ BΛ. Non-negatively graded objects will be indicated with the notation 0 if need be. Consider the functors (5.3.1 ) (5.3.2 ) t : Λ Mod S Comod, t (N, τ Ω ) = S τω N h : S Comod Λ Mod, h (M, τ B ) = Λ τ B M. These functors restrict plainly to functors t : Λ Mod 0 S Comod 0, h : S Comod 0 ΛMod 0.
20 JOHANNES HUEBSCHMANN Proposition 5.3.3. The functors t and h yield a quasi-equivalence of categories between Λ Mod and S Comod which restricts to a quasi-equivalence of categories between Λ Mod 0 and S Comod 0. Proof. For any sh-comodule (M, τ B ) over S, the projection (5.3.4 ) ε ε Id: t(h (M, τ B )) = S τ Λ τ B M M is a chain equivalence. Likewise, for any sh-module (N, τ Ω ) over Λ, the injection (5.3.5 ) η η Id: N Λ τ S τω N = h(t (N, τ Ω )) is a chain equivalence. Hence the functors t and h are quasi-equivalences which are inverse to each other as asserted. Remark 5.3.6. When (M, τ B ) is an ordinary left S -comodule, that is, the BΛcomodule structure factors through the canonical injection S BΛ, the twisted object h (M, τ B ) comes down to Λ τ M, and t(h (M, τ B )) amounts to a relatively injective resolution of M in the category of left S -comodules of the kind (5.1.3). Likewise when (N, τ Ω ) is an ordinary left Λ-module, that is, the ΩS -module structure factors through the canonical projection ΩS Λ, the twisted object t (N, τ Ω ) comes down to S τ N, and h(t (N, τ Ω )) amounts to a relatively projective resolution of N in the category of left Λ-modules of the kind (5.1.4). 5.3.7. Koszul duality in ordinary equivariant homology, cf. [9], [10], [11]. Let G be a topological group of strictly exterior type, let Λ = H G and S = H (BG). Any left C G-module is a left sh-module over H G via the twisting cochain ζ G : H (BG) C G given in (3.4.1 ) and any any left BC G-comodule is a left sh-comodule over H (BG) via the twisting cochain ζ B : BC G H G given in (3.4.1 ). In particular, C X is a left sh-module over H G via ζ G and, for any space Y over BG, the chains C Y constitute a left sh-comodule over H (BG) via ζ B and the twisting cochain (3.2.1). Thus the functors (5.3.1 ) and (5.3.2 ) are defined, and the statement of Proposition 5.3.3 entails that ordinary and equivariant homology are related by Koszul duality in the following sense: On the category of (left) G-spaces, the functor h t C is chain-equivalent to the functor C as sh-module functors over Λ = H G; and on the category of spaces over BG, the functor t h C is chain-equivalent to the functor C as sh-comodule functors over S = H (BG). In particular, application of the functor h to the twisted object t (C X) calculating the G-equivariant homology of X reproduces an object calculating the ordinary homology of X; and application of the functor t to the twisted object h (C Y ) reproduces an object calculating the ordinary homology of Y. Geometrically, h (C Y ) is a model for the chains of the total space of the induced G-bundle over Y. 5.3. Koszul duality for cohomology. Let S = Hom(S, R); since V is of finite type, S amounts to S[s 1 V ], the symmetric algebra on the desuspension of the graded dual V of V. Likewise, Λ = Hom(Λ, R) amounts to the exterior coalgebra cogenerated by V, and the induced twisting cochain τ : Λ S is acyclic. Non-positively graded objects will be indicated with the notation 0 if need be. For intelligibility, we note that a (left) sh-module over S is a (left) ΩΛ -module, and that