We define shriek map for a finite codimensionnal embedding of fibration. We study the morphisms induced by shriek maps in the Leray-Serre spectral sequence. As a byproduct, we get two multiplicative spectral sequences of algebra wich converge to the Chas and Sullivan algebra $\mathbb{H}_*(LE)$ of the total space $E$ of a fibration. We apply this technic to find some result on the intersection morphism $I: \mathbb{H}_*(LE) \longrightarrow H_*(ΩE)$ and to the space of free paths on a manifold $M^I$.
Let X be a 1-connected space with free loop space LX. We introduce two spectral sequences converging towards H^*(LX;Z/p) and H^*((LX)_hT;Z/p). The E2-terms are certain non Abelian derived functors applied to H^*(X;Z/p). When H^*(X;Z/p) is a polynomial algebra, the spectral sequences collapse for more or less trivial reasons. If X is a sphere it is a surprising fact that the spectral sequences collapse for p=2.
The purpose of this paper is to give applications of the Eilenberg-Moore 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. Moreover, it is proved that the spectral sequence is functorial on the category of simply-connected Poincaré duality spaces over a space.
Chas and Sullivan introduced string homology, which is the equivariant homology of the loop space with the $S^1$ action on loops by rotation. Craig Westerland computed the string homology for spheres with coefficients in $\mathbb{Z} /2\mathbb{Z}$ and Somnath Basu computed the string homology and string bracket for spheres over rational coefficients and found that the bracket is trivial in his dissertation. In this paper, we compute string homology and the string bracket for spheres with integer coefficients, treating the odd- and even-dimensional cases separately. We use the Gysin sequence and…
We show the homological Serre spectral sequence with coefficients in a field is a spectral sequence of coalgebras. We also identify the comultiplication on the $E^2$ page of the spectral sequence as being induced by the usual comultiplication in homology. At the end, we provide some example computations highlighting the use the co-Leibniz rule.
We construct some spectral sequences as tools for computing commutative cohomology of commutative Lie algebras in characteristic 2. In a first part, we focus on a Hochschild-Serre-type spectral sequence, while in a second part we obtain comparison spectral sequences which mediate between Chevalley-Eilenberg-, commutative-and Leibniz cohomology. These methods are illustrated by a few computations.
For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is completely determined by the $ρ$-Bockstein spectral sequence. Using results of Heard, we also obtain applications to the Hill-Hopkins-Ravenel slice spectral sequences for connective Real K-theory, Real Mo…
We show that in a generalized Adams spectral sequence, the presence of a vanishing line of fixed slope (at some term of the spectral sequence, with some intercept) is a generic property.
Let $M$ be any simply-connected Gorenstein space over any field. Félix and Thomas have extended to simply-connected Gorenstein spaces, the loop (co)products of Chas and Sullivan on the homology of the free loop space $H_*(LM)$. We describe these loop (co)products in terms of the torsion and extension functors by developing string topology in appropriate derived categories. As a consequence, we show that the Eilenberg-Moore 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…
In this paper, we develop a structure theory for generalized spectral sequences, which are derived from chain complexes that are filtered over arbitrary partially ordered sets. Also, a more general construction method reminiscent of exact couples is studied, together with examples where they arise naturally. As for ordinary spectral sequences we will see differentials and group extensions, however the real power comes from the appearance of natural isomorphims between pages of differing indices. The constructions reveal finer invariants than ordinary spectral sequences, and they connect to oth…
In this article we construct what we call a higher spectral sequence for any chain complex (or topological space) that is filtered in $n$ compatible ways. For this we extend the previous spectral system construction of the author, and we show that it admits considerably more differentials than what was previously known. As a result, this endows the successive Leray--Serre, Grothendieck, chromatic--Adams--Novikov, and Eilenberg--Moore spectral sequences of the author with the structure of a higher spectral sequence. Another application is a universal coefficient theorem analog for spectral sequ…
We study the motivic Adams-Novikov spectral sequence at an odd prime $l$ over the base fields $\mathbb{C}$ and $\mathbb{R}$. This spectral sequence converges to the stable motivic homotopy groups of the $l$-completed motivic sphere spectrum. We show that the spectral sequence is determined by the topological Adams-Novikov sequence, similar to the situation at the prime two over the base field $\mathbb{C}$.
We describe two types of localization for $(\infty, 1)$-categories which determine the successive terms in the homotopy spectral sequence of a (co)simplicial object.
This mostly expository paper records some basic facts about towers of homotopy fiber sequences. We give a proof that a pairing of towers induces a pairing of associated spectral sequences, for towers of spaces and towers of spectra.
Chas and Sullivan introduced string homology, which is the equivariant homology of the loop space with the $S^1$ action on loops by rotation. Craig Westerland computed the string homology for spheres with coefficients in $\mathbb{Z} /2\mathbb{Z}$, and in Somnath Basu's dissertation, he computes the string homology and string bracket for spheres over rational coefficients, and he finds that the bracket is trivial. In this paper, we compute string homology and the string bracket for spheres with integer coefficients, treating the odd- and even-dimensional cases separately. We use the Gysin seque…
In previous work with Niles Johnson the author constructed a spectral sequence for computing homotopy groups of spaces of maps between structured objects such as G-spaces and E_n-ring spectra. In this paper we study special cases of this spectral sequence in detail. Under certain assumptions, we show that the Goerss-Hopkins spectral sequence and the T-algebra spectral sequence agree. Under further assumptions, we can apply a variation of an argument due to Jennifer French and show that these spectral sequences agree with the unstable Adams spectral sequence. From these equivalences we obtain i…
When $X$ is an associative H-space, the bar spectral sequence computes the homology of the delooping, $H_{*}(BX)$. If $X$ is an $n$-fold loop space for $n\geq2$ this is a spectral sequence of Hopf algebras. Using machinery by Sugawara and Clark, we show that the spectral sequence filtration respects the Browder bracket structure on $H_{*}(BX)$, and so it is moreover a spectral sequence of Poisson algebras. Through the bracket on the spectral sequence, we establish a connection between the degree $n-1$ bracket on $H_{*}(X)$ and the degree $n-2$ bracket on $H_{*}(BX)$. This generalizes a result …
In this paper the Serre spectral sequence of Moerdijk and Svensson is extended from Bredon cohomology to RO(G)-graded cohomology for finite groups G. Special attention is paid to the case G=Z/2 where the spectral sequence is used to compute the cohomology of certain projective bundles and loop spaces.
We describe an algorithm for the automated deduction of many $d_2$ differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.
We construct hyper-homology spectral sequences of Z-graded and ROG-graded Mackey functors for Ext and Tor over G-equivariant S-algebras (A-infty ring spectra) for finite groups G. These specialize to universal coefficient and Kunneth spectral sequences.
Colocalization is a right adjoint to the inclusion of a subcategory. Given a ring-spectrum R, one would like a spectral sequence which connects a given colocalization in the derived category of R-modules and an appropriate colocalization in the derived category of graded modules over the graded ring of homotopy groups of R. We show that, under suitable conditions, such a spectral sequence exists. This generalizes Greenlees' local-cohomology spectral sequence. The colocalization spectral sequence introduced here is associated with a localization spectral sequence, which is shown to be universal…
The Leray spectral sequence of a map $f$ computes the homology of the domain of $f$ from the fibers of $f$. In this expository paper, we relate in full detail the Leray spectral sequence associated to a simplicial map $f$ to the Leray cosheaves of $f$. We then give applications to level set persistent homology and Reeb spaces.
We describe the slice tower and slice spectral sequence for arbitrary suspensions of the Eilenberg-MacLane spectrum of an arbitrary Mackey functor for the cyclic group of prime order.
In this paper, we investigate the behaviour of the Serre spectral sequence with respect to the algebraic structures of string topology in generalized homology theories, specificially with the Chas-Sullivan product and the corresponding coproduct and module structures. We prove compatibility for two kinds of fibre bundles: the fibre bundle $Ω^n M \to L^n M \to M$ for an $h_*$-oriented manifold $M$ and the looped fibre bundle $L^n F \to L^n E \to L^n B$ of a fibre bunde $F \to E \to B$ of $h_*$-oriented manifolds. Our method lies in the construction of Gysin morphisms of spectral sequences. We a…
A multicomplex, also known as a twisted chain complex, has an associated spectral sequence via a filtration of its total complex. We give explicit formulas for all the differentials in this spectral sequence.
Let X be a finite, n-dimensional, r-connected CW complex. We prove the following theorem: If p \geq n/r is an odd prime, then the loop space homology Bockstein spectral sequence modulo p is a spectral sequence of universal enveloping algebras over differential graded Lie algebras.
In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on the existence of kernels and cokernels with respect to an assigned ideal of null morphisms, a generalisation of abelian categories and Puppe-exact categories.
We build a spectral sequence converging to the cohomology of a fusion system with a strongly closed subgroup. This spectral sequence is related to the Lyndon-Hochschild-Serre spectral sequence and coincides with it for the case of an extension of groups. Nevertheless, the new spectral sequence applies to more general situations like finite simple groups with a strongly closed subgroup and exotic fusion systems with a strongly closed subgroup. We prove an analogue of a result of Stallings in the context of fusion preserving homomorphisms and deduce Tate's p-nilpotency criterion as a corollary.
We construct a bigraded spectral sequence from the gl(0)-homology to knot Floer homology. This spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules.
Given an abelian category $\mathcal{A}$ with enough injectives we show that a short exact sequence of chain complexes of objects in $\mathcal{A}$ gives rise to a short exact sequence of Cartan-Eilenberg resolutions. Using this we construct coboundary morphisms between Grothendieck spectral sequences associated to objects in a short exact sequence. We show that the coboundary preserves the filtrations associated with the spectral sequences and give an application of these result to filtrations in sheaf cohomology.
We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group.
In this work, we build a spectral sequence in motivic homotopy that is analogous to both the Serre spectral sequence in algebraic topology and the Leray spectral sequence in algebraic geometry. Here, we focus on laying the foundations necessary to build the spectral sequence and give a convenient description of its $E_2$-page. Our description of the $E_2$-page is in terms of homology of the local system of fibers, which is given using a theory similar to Rost's cycle modules. We close by providing some sample applications of the spectral sequence and some hints at future work.
It is shown that the Grayson tower for $K$-theory of smooth algebraic varieties is isomorphic to the slice tower of $S^1$-spectra. We also extend the Grayson tower to bispectra and show that the Grayson motivic spectral sequence is isomorphic to the motivic spectral sequence produced by the Voevodsky slice tower for the motivic $K$-theory spectrum $KGL$. This solves Suslin's problem for these two spectral sequences in the affirmative.
