Skip to main content

All Questions

84 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
27 votes
0 answers
1k views

Spectral sequences as deformation theory

I believe that running the spectral sequence of a filtered complex / spectrum $ \cdots \to F_n \to F_{n+1} \to \cdots$ can be viewed as doing deformation theory in some very primitive "derived ...
Tim Campion's user avatar
17 votes
0 answers
757 views

The spectral sequence of a tower of principal fibrations

Assume we have a tower of fibrations (of simplicial sets, let's say): $$\cdots\rightarrow X_{n+1}\rightarrow X_n\rightarrow\cdots\rightarrow X_0.$$ Let $X=\lim_nX_n$ be the (homotopy) inverse limit. ...
Fernando Muro's user avatar
14 votes
0 answers
404 views

Computations using "Stover's spectral sequence"

In this article from 1990, Stover describes a specral sequence which converges to the higher homotopy groups of the homotopy colimit of a diagram $\underline{X}$ of topological spaces. The second ...
Matt's user avatar
  • 208
14 votes
0 answers
830 views

What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?

Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...
Jonathan Beardsley's user avatar
11 votes
0 answers
266 views

Madsen-Tillmann spectrum $MTE$ of the group $E$ which is defined in Freed-Hopkins's paper

In Freed-Hopkins's paper, the group $E(d)$ is defined to be the subgroup of $O(d)\times\mathbb{Z}_4$ consisting of the pairs $(A,j)$ such that $\det A=j^2$, where $\mathbb{Z}_4=\{\pm1,\pm\sqrt{-1}\}$ ...
Borromean's user avatar
  • 1,329
10 votes
0 answers
325 views

Adams blue book lemma 17.14: computing a $\mathbb{F}_2$ basis for a filtration of $H\mathbb{Z}_*(bu \wedge bu)$

First off let me apologize for not being able to give all the context for this question. I'm learning how to do computations in stable homotopy theory and have been particularly spending a lot of time ...
Francis Baer's user avatar
10 votes
0 answers
813 views

On functoriality of the Leray spectral sequence

The Leray spectral sequence is functorial in the following sense: given a commutative square of spaces, $$\begin{matrix} A & \to & B \\ \downarrow & & \downarrow \\ C & \to & D ...
Dan Petersen's user avatar
  • 40.3k
10 votes
0 answers
494 views

Differentials in the Adams-Novikov spectral sequence and the geometric boundary theorem

$\newcommand\Ext{\mathrm{Ext}} \newcommand\Z{\mathbb{Z}} \newcommand\G{\mathbb{G}}$ The reference for this question will be the paper by Henn, Karamanov and Mahowald - "The homotopy of the $K(2)$-...
Drew Heard's user avatar
  • 3,784
9 votes
0 answers
421 views

Hochschild-Serre spectral sequence via explicit filtration

Let $$1 \longrightarrow K \longrightarrow G \longrightarrow Q \longrightarrow 1$$ be a short exact sequence of groups and let $M$ be a $\mathbb{Z}[G]$-module. The Hochschild--Serre spectral ...
Laura's user avatar
  • 163
9 votes
0 answers
131 views

Relating bordism groups of $\Omega_{d}^{Spin_c}$ and $\Omega_{d}^{(Spin \times SU(N))/\mathbb{Z}_2}$ to that of $U(N)$

I felt that the earlier question may be too challenging, so let me provide a different angle and more infos to tackle an easier and separate problem. Let us consider a more explicit a short exact ...
wonderich's user avatar
  • 10.5k
9 votes
0 answers
516 views

extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}...
Alex Turzillo's user avatar
8 votes
0 answers
125 views

Relating bordism generators in d and d+2 dimensions --- an explicit example

This is an attempt to make my relation between bordism invariants in $d$ and $d+2$ dimensions, following a previous attempt more explicit. This counts as a different question, since some more specific ...
annie marie cœur's user avatar
7 votes
0 answers
270 views

Differentials in spectral sequences and Massey products

Consider a multiplicative spectral sequence such as the cohomological Serre spectral. It is known that differentials will satisfy a Leibniz rule. Is there a clean statement involving differentials and ...
qqqqqqw's user avatar
  • 965
7 votes
0 answers
541 views

Convergence of a spectral sequence of a double complex

In Weibel's book, a spectral sequence $E^r_{p,q}$ is said to weakly converge to a graded object $H_{\ast}$ if for every $n$ there exists a filtration $\dots \subset F_{r}H_{n} \subset F_{r-1}H_{\ast} \...
Federico Barbacovi's user avatar
7 votes
0 answers
436 views

spectral sequence for a complex with two filtrations

Suppose $(C,d)$ is a chain complex: an abelian group with a map $d:C \to C$ such that $d^2 = 0$ (people like to assume $C$ is graded; if that helps - feel free to do so). A filtration is an ascending ...
Just Me's user avatar
  • 353
7 votes
0 answers
168 views

Adams spectral sequence for loop spaces

Let $X = \Omega_0^3S^3$ a connected component of $\Omega^3S^3$. I am interested in explicit construction of spectral sequence converging to odd prime torsion in homotopy groups of $X$. There is a ...
Samarkand's user avatar
  • 1,129
7 votes
0 answers
149 views

Cohomology of Lie group $E_8$, e.g. $H^d(E_8,\mathbb{R}/\mathbb{Z})$

What is the $d$-th cohomology of a Lie group $E_8$, say $H^d(E_8,\mathbb{R}/\mathbb{Z})$ with $\mathbb{R}/\mathbb{Z}$ coefficient? I suppose that there are many nontrivial groups of $H^d(E_8,\mathbb{...
wonderich's user avatar
  • 10.5k
6 votes
0 answers
141 views

Are the $K(n)$-local $E_n$-Adams spectral sequences isomorphic to the Adams-Novikov spectral sequences?

Let $H$ be a closed subgroup of the Morava stabilizer group $\mathbb G_n$. [Devinatz-Hopkins, Prop. 6.7] identifies the $K(n)$-local $E_n$-Adams spectral sequence for $E_n^{hH}$ as the homotopy fixed ...
Max's user avatar
  • 155
6 votes
0 answers
211 views

$\mathbb{Z}/2\mathbb{Z}$ coefficients in gysin sequence

I am reading the article "Signature of links" by Kauffman and Taylor. Here they show that it is possible to calculate the nullity of a link $L\subset S^3$ by knowing the first betti number of the ...
Diego95's user avatar
  • 521
6 votes
0 answers
300 views

Degeneracy of the Serre Spectral Sequence

I am learning the Serre spectral sequence and I am intrigued about the degeneracy of such at the $E_2$-page. Assuming field coefficients in cohomology for simplicity. In fact, for a Serre fibration $...
Vitolo's user avatar
  • 81
6 votes
0 answers
122 views

Bordism groups and a short exact sequence

Let us consider a short exact sequence: $$ 1\to N\to G\to Q \to 1, $$ where $N$, $Q$, and $G$ can be continuous Lie groups in general (or finite groups). Suppose I have the data and the computations ...
wonderich's user avatar
  • 10.5k
6 votes
0 answers
562 views

The $E_2$-page of the May spectral sequence

I recently started to read about May spectral sequence, which converge to the $E_2$ term of the classical ASS. At the prime $2$, this is a spectral sequence with $E_1$ page a polynomial algebra on ...
S. carmeli's user avatar
  • 4,189
6 votes
0 answers
237 views

A Poincare dual spectral sequence for equivariant cohomology: extension to generalized cohomology?

This question is a follow-up to my previous question: "Rotated" version of the Atiyah-Hirzebruch spectral sequence In that question, I discussed two different spectral sequences for ...
Dominic Else's user avatar
6 votes
0 answers
163 views

Spectral Sequence for Twisted K-theory

Atiyah and Segal wrote in their Twisted K-theory that one can compute twisted K-theory using a spectral sequence similar to an Atiyah-Hirzebruch spectral sequence. They claimed that for any twisting $[...
Rui's user avatar
  • 61
6 votes
0 answers
167 views

A spectral sequence problem in Alejandro Adem's Paper

I am reading Adem's paper Periodic Complexes and Group actions. But I can't give an argument about a statement on spectral sequences. Suppose you have an orientable fibration of CW-complexes like ...
Zhipeng Duan's user avatar
6 votes
0 answers
723 views

On the multiplicative structure in spectral sequences.

Let $f\colon X \rightarrow Y$ be a continuous map of sufficiently nice topological spaces (say, smooth manifolds). Let ${\cal F}=(\dots\rightarrow F_i \rightarrow F_{i+1}\to \dots)$ be a bounded ...
asv's user avatar
  • 21.8k
5 votes
0 answers
290 views

Thom spectrum of $(\mathrm{Spin}\times_{Z_2} \mathrm{SO}(d))$

$\DeclareMathOperator\MSO{MSO}\DeclareMathOperator\MSpin{MSpin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\BSO{BSO}\DeclareMathOperator\BG{BG}\DeclareMathOperator\BO{BO}\DeclareMathOperator\MG{MG}\...
user34104's user avatar
  • 487
5 votes
0 answers
714 views

Spectral sequence from a stratification by closed subvarieties

I am looking for a reference for the following result: If $X$ is an algebraic variety and $$X = T_n \supset T_{n-1} \supset \cdots \supset T_{-1} = \varnothing$$ is a stratification (edit: filtration) ...
Eduardo de Lorenzo's user avatar
5 votes
0 answers
328 views

Bousfield-Kan and Generalized Eilenberg-Moore spectral sequences

Building on the work of Anderson and Rector, Bousfield's paper "On the homology spectral sequence of a cosimplicial space" constructs a spectral sequence which takes in a cosimplicial space (here ...
prefix.crm114's user avatar
5 votes
0 answers
102 views

Group cohomology of "twisted" projective SU(N) with various coefficients

Given a group $$ G= PSU(N) \rtimes \mathbb{Z}_2, $$ where $PSU(N)$ is a projective special unitary group. Say $a \in PSU(N)$, $c \in \mathbb{Z}_2$, then $$ c a c= a^*, $$ which $c$ flips $a$ to its ...
wonderich's user avatar
  • 10.5k
5 votes
0 answers
544 views

Strong Convergence vs Conditional Convergence for Spectral Sequences (Is there a simple explanation?)

I am curious if there is a relatively simple explanation of what is the difference between strong convergence and conditional convergence for Spectral Sequences? (Hopefully a simpler explanation than ...
yoyostein's user avatar
  • 1,229
5 votes
0 answers
290 views

Two natural maps asssociated with the nerve of a cover

Let $X$ be a nice (e.g. paracompact, locally contractible) topological space, and let $\mathcal{U}=\{U_i\}_{i\in I}$ be an open cover of $X$. Also denote by $N$ the (topological realization of) the ...
Roberto Frigerio's user avatar
5 votes
0 answers
229 views

Bockstein morphism of spectral sequences

Given an omega spectrum $E$, there is a type of chern character map given by its rationalization $$r:E\to E\wedge M\mathbb{R}\;,$$ where $M\mathbb{R}$ denotes a Moore spectrum. The cofiber of the map $...
Daniel Grady's user avatar
4 votes
0 answers
170 views

infinite families in stable homotopy groups

The question is about infinite families in stable homotopy groups. Yes, there are some Q&A about the topic. But I wonder if the order of Mahowald's elements is known? in Green Book it mentioned ...
Dr.Martens's user avatar
4 votes
0 answers
102 views

"Standard computations" with stable Hopf invariants

I am struggling in understanding the proof of Lemma 10.6 of the paper "Mapping class groups and function spaces" by Bodigheimer, Cohen and Peim http://www.math.uni-bonn.de/people/cfb/...
Tommaso Rossi's user avatar
4 votes
0 answers
201 views

Using the Serre spectral sequence - moving between $\mathbb{Z}/2$ and $\mathbb{Z}$ information

I am trying to understand the computation of $\pi_5(S^3)$ and $\pi_6(S^3)$ using the Serre spectral sequence. I know already that $\pi_5(S^3)$ is only 2-torsion and $\pi_6(S^3)$ is 2-torsion together ...
user101010's user avatar
  • 5,349
4 votes
0 answers
397 views

Eilenberg-Moore spectral Sequence calculation

I want to use the cohomology Eilenberg-Moore spectral sequence to calculate the cohomology of the fibre of the map $$ S^{n} \to \Omega S^{n+1}. $$ Question 1: Is anyone aware of any references for ...
Niall Taggart's user avatar
4 votes
0 answers
576 views

generalized Atiyah-Hirzebruch spectral sequence from Postnikov truncation

The Atiyah-Hirzebruch spectral sequence \begin{equation*}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}(E),\end{equation*} computes the generalized homology $h$ of a total space $E$ of a Serre fibration ...
Alex Turzillo's user avatar
4 votes
0 answers
733 views

Spectral sequence for reduced homology

In the Serre spectral sequence, is it true that we can replace homology by reduced homology? That is: If $f:X\rightarrow B$ is a Serre fibration,with $F$ the fiber, then if $\tilde E^2_{pq}=\tilde H_p(...
HYYY's user avatar
  • 1,499
3 votes
0 answers
90 views

Topological groups satisfying the Borel transgression theorem

I am using the Borel transgression theorem as given in Mimura and Toda's "Topology of Lie groups I and II", page 378, Theorem 2.7. I know that it applies when the fiber has the homotopy type ...
Andrew Davis's user avatar
3 votes
0 answers
264 views

Explicit description of the Leray spectral sequence with compact supports for a fibration

Consider a locally trivial fibration $f: E \to B$ with fiber $F = \mathbb{C}^n$. The Leray spectral sequence with compact supports is $$ E_2: H^p_c(B, \underline{H^q_c(F)}) \implies H^{p+q}_c(E). $$ ...
Eduardo de Lorenzo's user avatar
3 votes
0 answers
249 views

Explicit computation of hyper Ext in terms of the homologies of the input chain complexes

This question was asked on math.stackexchange and didn't receive any traction, so I'm turning to the MO community. Hello! Let $C_{\bullet}$ and $D_{\bullet}$ be chain complexes of $R$-modules for some ...
Eric's user avatar
  • 301
3 votes
0 answers
118 views

The $\pi_1(BM)$ action on $H^*(BH,R)$ in a Serre fibration $BH\to BG\to BM$

$R$ is a ring. Applying the Serre spectral sequence to a fibration $F\to E\to B$, to avoid local coefficients, we need to require that $\pi_1(B)$ acts on $H^*(F, R)$ trivially. Consider a fibration of ...
Leo's user avatar
  • 663
3 votes
0 answers
240 views

Does Kudo's transgression theorem still hold when the coefficient is ℤ/pⁿℤ?

I am trying to compute a Lyndon–Hochschild–Serre spectral sequence with coefficient $\mathbb{Z}/p^2\mathbb{Z}$, where $p$ is an odd prime, and Kudo's transgression theorem looks like a good tool for ...
Yuxiang Yao's user avatar
3 votes
0 answers
224 views

Cohomology ring $H^*(BG,\mathbb{Z}_2)$ for $G=\mathbb{Z}_2\ltimes B^2\mathbb{Z}^2$

$$ \newcommand{\Z}{\mathbb{Z}} $$ Consider the group $G=\Z_2\ltimes B^2\Z^2$ where $\Z_2$ acts on $\Z^2$ by interchanging the two factors of $\Z^2$, hence $\Z_2$ also acts on the Eilenberg-MacLane ...
wonderich's user avatar
  • 10.5k
3 votes
0 answers
101 views

Geometric filtration for Eilenberg-Moore spectral sequence

I'm reading the paper by Eilenberg-Moore (https://link.springer.com/content/pdf/10.1007/BF02564371.pdf) about the Eilenberg-Moore spectral sequence. In section 11, they introduce the notion of ...
Li Guanyu's user avatar
  • 449
3 votes
0 answers
186 views

Cobordism theory of some weird space

Let $G=SU(3)$ and $N=SO(3)$, then $G/N= SU(3)/SO(3)$ = a 5-dimensional Wu manifold $W$. The $W$ is a homogeneous space (also a quotient space), but not a group. Previously, I am aware of the ...
wonderich's user avatar
  • 10.5k
3 votes
0 answers
180 views

Computations of Bredon homology of $S(1+\sigma)$ with Universal Coefficient S.S

What I am trying to do is to compute $\mathbb{Z}$-graded Bredon homology of $S(1+\sigma)$ over $Q\times\Sigma_2$, where $Q$ is a cyclic group of order 2 $\sigma$ is its real sign representation $\...
Igor Sikora's user avatar
  • 1,759
3 votes
0 answers
70 views

Characterization of degeneracy of spectral sequence of a fiber bundle at the second term

Let $f\colon E\to B$ be a fiber bundle of compact manifolds with fiber $F$. Assume that the push-forward $Rf_*(\underline{\mathbb{F}})$ in the derived category of the constant sheaf with coefficients ...
asv's user avatar
  • 21.8k
3 votes
0 answers
165 views

Reference for specific detail on Serre spectral sequence

In "A primer on spectral sequences" http://www.math.uchicago.edu/~may/MISC/SpecSeqPrimer.pdf (by J.P.May apparently, although no name is given in the pdf) I found a very detailed version of the ...
ort96's user avatar
  • 404