arxiv:math/ v3 [math.at] 11 Jul 2004

Size: px
Start display at page:

Download "arxiv:math/ v3 [math.at] 11 Jul 2004"

Transcription

1 arxiv:math/ v3 [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 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 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 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

3 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 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 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

5 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 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 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 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 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

7 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 + ξ 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 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] 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 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 ( ) Φ α : 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), ( ) Φ α (φ ) = Φ α φ : C A N the assignment to α of Φ α yields a morphism ( ) 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 τ.

9 HPT, EQUIVARIANT COHOMOLOGY, KOSZUL DUALITY 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 ( ) A τ C N C τ N which passes through an isomorphism ( ) R A (A τ C N) C τ N 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 ( ) ρ : Hom(C τ A, M ) Hom τ (A, M ); the latter, in turn, passes through a chain map ( ) 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 10 JOHANNES HUEBSCHMANN is an isomorphism of differential graded Hom τ (A, C )-modules. When C is, furthermore, of finite type, the chain map ( ) amounts to and ( ) amounts an isomorphism ρ : C τ A M A τ M R C (C τ A M ) A τ M. These are special cases of ( ) and ( ) 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.

11 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 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.

13 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 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)

15 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 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 ) 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 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 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);

17 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 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 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 The functors t and h are homotopy inverse to each other. Remark 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 ) 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 ;

19 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 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 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 20 JOHANNES HUEBSCHMANN Proposition 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 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) 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 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 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

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse

KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES by Benoit Fresse Abstract. The goal of this article is to make explicit a structured complex computing the cohomology of a

More information

KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE)

KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE) KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE) BERNHARD KELLER Abstract. This is a brief report on a part of Chapter 2 of K. Lefèvre s thesis [5]. We sketch a framework for Koszul duality [1]

More information

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon

More information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv:math/ v1 [math.at] 6 Oct 2004 arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences

More information

Kathryn Hess. Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011

Kathryn Hess. Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011 MATHGEOM Ecole Polytechnique Fédérale de Lausanne Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011 Joint work with... Steve Lack (foundations) Jonathan Scott (application

More information

Iterated Bar Complexes of E-infinity Algebras and Homology Theories

Iterated Bar Complexes of E-infinity Algebras and Homology Theories Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,

More information

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when

More information

EXT, TOR AND THE UCT

EXT, TOR AND THE UCT EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem

More information

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we

More information

CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE

CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE 1. January 16, 2018: Byunghee An, bar and cobar Today I am going to talk about bar and cobar constructions again, between categories of algebras and coalgebras.

More information

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0 NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of

More information

Realization problems in algebraic topology

Realization problems in algebraic topology Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization

More information

On the Merkulov construction of A -(co)algebras

On the Merkulov construction of A -(co)algebras On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to

More information

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given

More information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

More information

Groupoids and Orbifold Cohomology, Part 2

Groupoids and Orbifold Cohomology, Part 2 Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:

More information

Kathryn Hess. International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008

Kathryn Hess. International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008 Institute of Geometry, Ecole Polytechnique Fédérale de Lausanne International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008 Joint work with John Rognes. Outline 1

More information

On a Conjecture of Goresky, Kottwitz and MacPherson

On a Conjecture of Goresky, Kottwitz and MacPherson Canad. J. Math. Vol. 51 1), 1999 pp. 3 9 On a Conjecture of Goresky, Kottwitz and MacPherson C. Allday and V. Puppe Abstract. We settle a conjecture of Goresky, Kottwitz and MacPherson related to Koszul

More information

Applications of one-point extensions to compute the A -(co)module structure of several Ext (resp., Tor) groups

Applications of one-point extensions to compute the A -(co)module structure of several Ext (resp., Tor) groups Applications of one-point extensions to compute the A -(co)module structure of several Ext (resp., Tor) groups Estanislao Herscovich Abstract Let A be a nonnegatively graded connected algebra over a noncommutative

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Introduction to Chiral Algebras

Introduction to Chiral Algebras Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument

More information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

CHAPTER 10. Cohomology

CHAPTER 10. Cohomology 208 CHAPTER 10 Cohomology 1. Cohomology As you learned in linear algebra, it is often useful to consider the dual objects to objects under consideration. This principle applies much more generally. For

More information

Math 210B. The bar resolution

Math 210B. The bar resolution Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial

More information

An Introduction to Spectral Sequences

An Introduction to Spectral Sequences An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

More information

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy

More information

MODEL-CATEGORIES OF COALGEBRAS OVER OPERADS

MODEL-CATEGORIES OF COALGEBRAS OVER OPERADS Theory and Applications of Categories, Vol. 25, No. 8, 2011, pp. 189 246. MODEL-CATEGORIES OF COALGEBRAS OVER OPERADS JUSTIN R. SMITH Abstract. This paper constructs model structures on the categories

More information

Rational homotopy theory

Rational homotopy theory Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents

More information

PBW for an inclusion of Lie algebras

PBW for an inclusion of Lie algebras PBW for an inclusion of Lie algebras Damien Calaque, Andrei Căldăraru, Junwu Tu Abstract Let h g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module

More information

Math Homotopy Theory Hurewicz theorem

Math Homotopy Theory Hurewicz theorem Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S

More information

GK-SEMINAR SS2015: SHEAF COHOMOLOGY

GK-SEMINAR SS2015: SHEAF COHOMOLOGY GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived

More information

Some topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller

Some topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller Some topological reflections of the work of Michel André Lausanne, May 12, 2011 Haynes Miller 1954: Albrecht Dold and Dieter Puppe: To form derived functors of non-additive functors, one can t use chain

More information

Polynomial Hopf algebras in Algebra & Topology

Polynomial Hopf algebras in Algebra & Topology Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules

More information

1 Categorical Background

1 Categorical Background 1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

More information

Hungry, Hungry Homology

Hungry, Hungry Homology September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of

More information

THE INTRINSIC FORMALITY OF E n -OPERADS

THE INTRINSIC FORMALITY OF E n -OPERADS THE INTRINSIC FORMALITY OF E n -OPERADS BENOIT FRESSE AND THOMAS WILLWACHER Abstract. We establish that E n-operads satisfy a rational intrinsic formality theorem for n 3. We gain our results in the category

More information

Koszul duality for operads

Koszul duality for operads Koszul duality for operads Bruno Vallette (This is in Chapters 6 and 7 of Loday-Vallette; we ll do exercises 1,7,8,9,10.) 1 Motivation We are interested in an arbitrary of P -algebras. We would like to

More information

BERTRAND GUILLOU. s G q+r

BERTRAND GUILLOU. s G q+r STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an

More information

MODULES OVER OPERADS AND FUNCTORS. Benoit Fresse

MODULES OVER OPERADS AND FUNCTORS. Benoit Fresse MODULES OVER OPERADS AND FUNCTORS Benoit Fresse Benoit Fresse UMR 8524 de l Université des Sciences et Technologies de Lille et du CNRS, Cité Scientifique Bâtiment M2, F-59655 Villeneuve d Ascq Cédex (France).

More information

Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

More information

We then have an analogous theorem. Theorem 1.2.

We then have an analogous theorem. Theorem 1.2. 1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

More information

HOMOLOGY AND COHOMOLOGY. 1. Introduction

HOMOLOGY AND COHOMOLOGY. 1. Introduction HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

EQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA

EQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA EQIVARIANT AND NONEQIVARIANT MODLE SPECTRA J. P. MAY Abstract. Let be a compact Lie group, let R be a commutative algebra over the sphere -spectrum S, and let R be its underlying nonequivariant algebra

More information

MODEL STRUCTURES ON PRO-CATEGORIES

MODEL STRUCTURES ON PRO-CATEGORIES Homology, Homotopy and Applications, vol. 9(1), 2007, pp.367 398 MODEL STRUCTURES ON PRO-CATEGORIES HALVARD FAUSK and DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract We introduce a notion

More information

Duality, Residues, Fundamental class

Duality, Residues, Fundamental class Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class

More information

Topological K-theory, Lecture 3

Topological K-theory, Lecture 3 Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ

More information

Hochschild homology and Grothendieck Duality

Hochschild homology and Grothendieck Duality Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

Nonabelian Poincare Duality (Lecture 8)

Nonabelian Poincare Duality (Lecture 8) Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any

More information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A Version of the Grothendieck Conjecture for p-adic Local Fields A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture

More information

Iwasawa algebras and duality

Iwasawa algebras and duality Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place

More information

REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES

REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES J. WU Abstract. For spaces localized at 2, the classical EHP fibrations [1, 13] Ω 2 S 2n+1 P S n E ΩS n+1 H ΩS 2n+1 play

More information

DERIVED CATEGORIES OF COHERENT SHEAVES

DERIVED CATEGORIES OF COHERENT SHEAVES DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground

More information

Lie bialgebras real Cohomology

Lie bialgebras real Cohomology Journal of Lie Theory Volume 7 (1997) 287 292 C 1997 Heldermann Verlag Lie bialgebras real Cohomology Miloud Benayed Communicated by K.-H. Neeb Abstract. Let g be a finite dimensional real Lie bialgebra.

More information

Kathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009

Kathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:

More information

The Hurewicz Theorem

The Hurewicz Theorem The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,

More information

PART II.1. IND-COHERENT SHEAVES ON SCHEMES

PART II.1. IND-COHERENT SHEAVES ON SCHEMES PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image

More information

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014 Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

More information

E ring spectra and Hopf invariant one elements

E ring spectra and Hopf invariant one elements University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,

More information

INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES

INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode

More information

LECTURE X: KOSZUL DUALITY

LECTURE X: KOSZUL DUALITY LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

arxiv: v1 [math.co] 25 Jun 2014

arxiv: v1 [math.co] 25 Jun 2014 THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres

More information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485 Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

More information

The Universal Coefficient Theorem

The Universal Coefficient Theorem The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in

More information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

Unstable modules over the Steenrod algebra revisited

Unstable modules over the Steenrod algebra revisited 245 288 245 arxiv version: fonts, pagination and layout may vary from GTM published version Unstable modules over the Steenrod algebra revisited GEOREY M L POWELL A new and natural description of the category

More information

Quaternionic Complexes

Quaternionic Complexes Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534

More information

Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold

Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Vasiliy A. Dolgushev arxiv:math/0703113v1 [math.qa] 4 Mar 2007 Abstract Boris Shoikhet noticed that the proof of lemma

More information

Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

More information

Homological Algebra and Differential Linear Logic

Homological Algebra and Differential Linear Logic Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,

More information

are additive in each variable. Explicitly, the condition on composition means that given a diagram

are additive in each variable. Explicitly, the condition on composition means that given a diagram 1. Abelian categories Most of homological algebra can be carried out in the setting of abelian categories, a class of categories which includes on the one hand all categories of modules and on the other

More information

Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold

Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold Vasiliy A. Dolgushev Abstract Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of [1] contains an error.

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Commutative algebra and representations of finite groups

Commutative algebra and representations of finite groups Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation

More information

Lecture 4 Super Lie groups

Lecture 4 Super Lie groups Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is

More information

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham

More information

On the Van Est homomorphism for Lie groupoids

On the Van Est homomorphism for Lie groupoids Fields Institute, December 13, 2013 Overview Let G M be a Lie groupoid, with Lie algebroid A = Lie(G) Weinstein-Xu (1991) constructed a cochain map VE: C (G) C (A) from smooth groupoid cochains to the

More information

Derivations and differentials

Derivations and differentials Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

An introduction to derived and triangulated categories. Jon Woolf

An introduction to derived and triangulated categories. Jon Woolf An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes

More information

IndCoh Seminar: Ind-coherent sheaves I

IndCoh Seminar: Ind-coherent sheaves I IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of

More information

A-INFINITY STRUCTURE ON EXT-ALGEBRAS

A-INFINITY STRUCTURE ON EXT-ALGEBRAS A-INFINITY STRUCTURE ON EXT-ALGEBRAS D.-M. LU, J. H. PALMIERI, Q.-S. WU AND J. J. ZHANG Abstract. Let A be a connected graded algebra and let E denote its Extalgebra L i Exti A (k A, k A ). There is a

More information

0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i

0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i Cohomology of Spaces (continued) Let X = {point}. From UCT, we have H{ i (X; G) = Hom(H i (X), G) Ext(H i 1 (X), G). { Z, i = 0 G, i = 0 And since H i (X; G) =, we have Hom(H i(x); G) = Furthermore, H

More information

Derived Algebraic Geometry I: Stable -Categories

Derived Algebraic Geometry I: Stable -Categories Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5

More information

Dual Adjunctions Between Algebras and Coalgebras

Dual Adjunctions Between Algebras and Coalgebras Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

PREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS

PREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS Ninth International Conference on Geometry, Integrability and Quantization June 8 13, 2007, Varna, Bulgaria Ivaïlo M. Mladenov, Editor SOFTEX, Sofia 2008, pp 301 307 Geometry, Integrability and Quantization

More information

Cohomology and Vector Bundles

Cohomology and Vector Bundles Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes

More information

TEST GROUPS FOR WHITEHEAD GROUPS

TEST GROUPS FOR WHITEHEAD GROUPS TEST GROUPS FOR WHITEHEAD GROUPS PAUL C. EKLOF, LÁSZLÓ FUCHS, AND SAHARON SHELAH Abstract. We consider the question of when the dual of a Whitehead group is a test group for Whitehead groups. This turns

More information

Homological mirror symmetry via families of Lagrangians

Homological mirror symmetry via families of Lagrangians Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants

More information

Multiplicative properties of Atiyah duality

Multiplicative properties of Atiyah duality Multiplicative properties of Atiyah duality Ralph L. Cohen Stanford University January 8, 2004 Abstract Let M n be a closed, connected n-manifold. Let M denote the Thom spectrum of its stable normal bundle.

More information