The eilenbergmoore spectral sequence in ktheory core reader. For any two differential modules m and n over a graded differential kalgebra. Consider, over any field, the homological eilenberg moore spectral sequence converging to h lm. Moore spectral sequences generalizes the above isomorphism to the situation where p is a fibration of topological spaces and the base b is simply connected. On the collapse of certain eilenbergmoore spectral sequences. The purpose of this article is to introduce an eilenberg moore spectral sequence converging to the cohomology algebra of a function space with an adjunction space as its source. I claim that everybody here knows at least one example of a derived functor, since in his talk yesterday on the eilenbergmoore spectral sequence, richard w.
B e2be a map of diagrams such that the associated spectral sequences e0, e converge indconstantly to kf0 and kf, respectively. The heart of the book is an exposition of the classical examples from homotopy theory, with chapters on the lerayserre spectral sequence, the eilenberg moore spectral sequence, the adams spectral sequence, and, in this new edition, the bockstein spectral sequence. Osse abstract we construct the eilenberg moore spectral sequence for some generalized cohomology theories, along the lines of smith and hodgkin. As a consequence, we show that the eilenbergmoore spectral sequence converging to the loop homology of a gorenstein space admits a multiplication and a comultiplication with shifted degree which are compatible with the loop product and the loop coproduct of its target, respectively. The eilenberg moore spectral sequence as a kunneth spectrals sequence multiplicative fibrations the cobar construction. Given a topological space x with known homology groups, we can consider the eilenbergmoore spectral sequence to compute h x. Lectures on the eilenberg moore spectral sequence lecture notes in mathematics 9783540049234. The eilenberg moore spectral sequence as a kunneth spectralssequence. Spectral sequence double complex injective resolution structure morphism adams spectral sequence these keywords were added by machine and not by the authors. There are two eilenbergmoore spectral sequences that we. This chapter describes the eilenbergmoore spectral sequence converging to h k. Then the eilenbergmoore spectral sequences associated to the path loop. In contrast, the subject of colimits in categories of algebras is less easy, but a good deal can be said. The eilenbergmoore spectral sequence ubc library open.
This result is useful for practical applications of the gravity spectral sequence and simpli. A category of spectral triples and discrete groups with length function bertozzini. Samuel eilenberg at the mathematics genealogy project oconnor, john j. This process is experimental and the keywords may be updated as the learning algorithm improves. Derived string topology and the eilenbergmoore spectral sequence. Weights in cohomology and the eilenbergmoore spectral. New york journal of mathematics university at albany, suny. The heart of the book is an exposition of the classical examples from homotopy theory, with chapters on the lerayserre spectral sequence, the eilenbergmoore spectral sequence, the adams spectral sequence, and, in this new edition, the bockstein spectral sequence.
Homological algebra and the eilenbergmoore spectral sequence by larry smitho in 6 eilenberg and moore have developed a spectral sequence of great use in algebraic topology. The eilenbergmoore spectral sequence is an example of this spectral sequence applied to the cobar construction of a. Pdf eilenbergmoore spectral sequence calculation of. The thomified eilenbergmoore spectral sequence 5 is the co. The eilenbergmoore spectral sequence as a kunneth spectrals sequence multiplicative fibrations the cobar construction. Behavior of the eilenbergmoore spectral sequence in derived.
We show that in the category of complex algebraic varieties, the eilenberg moore spectral sequence can be endowed with a weight filtration. In contrast with the situation for the serre spectral sequence, for the eilenberg moore spectral sequences the homology and cohomology versions arise in two different topological settings, although the two settingsareinasensedual. The eilenberg moore category of a monad t t on a category c c has all limits which exist in c c, and they are created by the forgetful functor. Lectures on the eilenbergmoore spectral sequence lecture notes in mathematics 9783540049234. The eilenbergmoore category of a monad t t on a category c c has all limits which exist in c c, and they are created by the forgetful functor. In contrast with the situation for the serre spectral sequence, for the eilenbergmoore spectral sequences the homology and cohomology versions arise in two different topological settings, although the two settingsareinasensedual. Osse abstract we construct the eilenbergmoore spectral sequence for some generalized cohomology theories, along the lines of smith and hodgkin. I would like to thank bill dwyer for helping me get started on this project, paul.
The reader interested only in the eilenbergmoore spectral sequence is directed to y. Consider, over any field, the homological eilenbergmoore spectral sequence converging to h lm. The purpose of this article is to introduce an eilenbergmoore spectral sequence converging to the cohomology algebra of a function space with an adjunction space as its source. Historically predating the bar spectral sequence, the emss is actually much harder to understand because it is a secondquadrant or left halfplane, for nonconnec.
A users guide to spectral sequences by john mccleary. Hence this spectral sequence is also called the generalized eilenbergmoore spectral sequence. Convergence of the eilenbergmoore spectral sequence for. We prove its multiplicativity and give some su cient conditions for. Finally we use the technique of spectral sequence to compute the cohomology of some classes of eilenbergmaclane spaces, and apply it to the calculation 5s3. Introduction to the serre spectral sequence, with a number of applications, mostly fairly standard, the adams spectral sequence, eilenbergmoore spectral sequences.
The chapter discusses a cohomology version of this spectral sequence. There are two eilenbergmoore spectral sequences that we shall consider, one for homology and the other for cohomology. This paper is about the dual of the bar spectral sequence, the eilenberg moore spectral sequence emss cotork b ke,k kf. Our description of the loop product enables one to conclude that this spectral sequence is multiplicative with respect to the chassullivan loop product and that its e 2term is the hochschild cohomology of hm. The adams spectral sequence appeared in the 60s trying to determine the homotopy groups of some topological spaces. There are two eilenberg moore spectral sequences that we shall consider, one for homology and the other for cohomology. Lecture notes in algebraic topology pdf 392p download book. Lectures on the eilenbergmoore spectral sequence larry. We prove that the moravaktheorybased eilenbergmoore spectral sequence has good convergence properties whenever the base space is a plocal. The eilenberg moore spectral sequence is a spectral sequence for the singular homology of product topological spaces which generalizes the kunneth theorem in two ways. Historically, forthe eilenbergmoore spectral sequence, good convergence.
We also generalize our main result to more complicated stable two stage postnikov systems, using the eilenberg moore spectral sequence and analytic methods involving betti numbers and their. The reader interested in the change of rings spectral sequence should cover the first five sections of this paper. We follow the geometric viewpoint due originally to larry smith and luke hodgkin, rather than the more usual algebraic approach. Convergence of the eilenbergmoore spectral sequence for generalized cohomology theories by. Introduction a space x having only one nontrivial homotopy group nx g is called an eilenbergmaclane space kg. Dwyer considered the convergence properties of the. The grothendieck spectral sequence minicourse on spectral.
Convergence of the eilenberg moore spectral sequence 3 corollary 1. This implies that it degenerates if all involved spaces have pure cohomology. We prove that the moravaktheorybased eilenberg moore spectral sequence has good convergence properties whenever the base space is a plocal. Abstractwe prove a collapse theorem for the eilenbergmoore spectral sequence and as an application we show that under certain conditions the cohomology of a homogeneous space of a connected finite loop space with a maximal rank torsion free subgroup is concentrated in even degrees and torsionfree, generalizing classical theorems for compact lie groups of borel and bott. Moreover, it is proved that the spectral sequence is functorial on the category of simplyconnected poincare duality spaces over a space. The eilenbergmoore spectral sequence is an example of this spectral sequence applied to the cobar construction of a bre square. Behavior of the eilenberg moore spectral sequence in derived string topology katsuhiko kuribayashi, luc menichi and takahito naito abstract. In section 8 we note that our exotic convergence result for the eilenbergmoore spectral sequence of a fibre square generalizes one of w.
We also generalize our main result to more complicated stable two stage postnikov systems, using the eilenbergmoore spectral sequence and analytic methods involving betti numbers and their. Steenrod operations in the eilenbergmoore spectral sequence. Moore spectral sequence is a device which allows the computation of the cohomology of the fiber product in certain situations. The eilenbergmoore spectral sequence is a spectral sequence for the singular homology of product topological spaces which generalizes the kunneth theorem in two ways. At present all that is written is the construction of the spectral sequences, without any applications. The purpose of this paper is to give applications of the eilenbergmoore type spectral sequence converging to the relative loop homology algebra of a gorenstein space, which is introduced in the previous paper due to the authors.
818 1393 152 134 696 1145 1211 1389 1015 1598 842 724 1451 165 460 320 575 638 359 1438 257 1310 506 1266 29 739 443 119 838 945 1131 166 967 28