Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
1 answer
458 views

Spectral sequence of a bicomplex equipped with a group action

Let $(A_1^\bullet,\partial_1)$ and $(A_2^\bullet,\partial_2)$ be complexes of $\mathbb{C}$-vector spaces. We suppose that $(A_1^\bullet,\partial_1)$ and $(A_2^\bullet,\partial_2)$ are equipped with ...
Yeping Zhang's user avatar
6 votes
1 answer
2k views

cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology: If $X$ is a connected pace on which the group $\...
Shiquan Ren's user avatar
  • 1,990
6 votes
1 answer
399 views

Leray-Serre spectral sequence for algebraic groups

Let $G$ be a semisimple, simply-connected, complex algebraic group. Fix a Borel subgroup $B$ and let $P$ be a parabolic subgroup properly containing $B$. If $M$ is a $B$-module, then we have the Leray-...
Evan Wilson's user avatar
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
2 answers
2k views

Construction of Serre Spectral Sequence

I'm trying to follow Hopkins' construction of the Serre Spectral Sequence, but some "obvious" things are not that obvious to me. He starts with considering a double complex $C_{\bullet,\bullet}$ with ...
mathdonk's user avatar
  • 305
5 votes
1 answer
472 views

Two spectral sequences arising from a simplicial spectrum

Let $X_\bullet$ be a simplicial spectrum, and let $X = |X_\bullet|$ be the geometric realization. Let's assume each $X_n$ is connective. From this situation, we can form two filtrations on $X$: the ...
Brian Shin's user avatar
5 votes
1 answer
550 views

Show that if $p\neq 2$, then $\mathbb{Z}_p$ cannot act freely on $\mathbb{C}P^n$

If $p\neq 2$, then the cyclic group $\mathbb{Z}_p$ has no free continuous action on $\mathbb{C}P^n$. My question is how to prove the above fact using Leray-Serre spectral sequence associated to the ...
Shivani Sengupta's user avatar
5 votes
1 answer
653 views

Spin bordism group of classifying space $BG$ with a finite Abelian $G$

The spin bordism group for the classifying space $BG$ of group $G$ can be denoted as $\Omega^{Spin}_d(BG)$. For example, $\Omega^{Spin}_d(pt)$ are computed by Anderson-Brown-Peterson (D. W. Anderson, ...
miss-tery's user avatar
  • 755
5 votes
2 answers
526 views

The inability to continue a fibration sequence even when a delooping exists

$\newcommand{\i}{\iota}$ The general notion that I am trying to disprove is that if we are given a fibration $X \to Y$ with fiber $F$ such that the delooping $BF$ exists, that there is a map $Y \to BF$...
Hari Rau-Murthy's user avatar
5 votes
1 answer
924 views

When is the cohomology of a fiber bundle a tensor product?

Let $F\rightarrow E\rightarrow B$ be a fiber bundle. Let $\pi_1$ be the fundamental group of $B$ with base point say $b_0$. In the following we are considering cohomology with coefficients in $\mathbb{...
Hugo Chapdelaine's user avatar
5 votes
1 answer
516 views

Computation of $\Omega^{Pin-}_{d}(B\mathbb{Z}_2)$ and Smith isomorphism

question: I am looking for the literature with the result or the computation of Pin- bordism group: $\Omega^{Pin-}_{d}(B\mathbb{Z}_2)$. Can someone point out some useful ways to do this or any helpful ...
wonderich's user avatar
  • 10.5k
5 votes
1 answer
407 views

spectral sequence for cobordism without leaving smooth category

In Bott & Tu's marvelous book there is a derivation of the spectral sequence for a (smooth) fiber bundle for deRham cohomology done entirely in the realm of the smooth category. Unfortunately, as ...
Dylan Wilson's user avatar
  • 13.5k
5 votes
1 answer
186 views

Decompose $MT(E(d)\times_{\mathbb Z_2} SU(2))$ as the wedge sum or smash product of spectra

Consider the extension $$1\to SU(2)\to X\to O\to1,$$ there are 4 possibilities for $X$: $X=O\times SU(2)$ or $E\times_{\mathbb{Z}_2}SU(2)$ or $Pin^+\times_{\mathbb{Z}_2}SU(2)$ or $Pin^-\times_{\...
annie marie cœur's user avatar
5 votes
1 answer
425 views

Can we construct a filtered chain complex from a spectral sequence?

Suppose $\{(E_r,d_r)\}$ for $r>0$ forms a spectral sequence over a field $\mathbb{F}$, i.e. for any $r$, $(E_r,d_r)$ is a chain complex over $\mathbb{F}$ and $E_{r+1}=H(E_r,d_r)$. For simplicity, ...
Faniel's user avatar
  • 673
5 votes
2 answers
651 views

Inflate a finite-group cocycle into coboundary in non-Abelian groups

Edit: In case that there is no solution for the original question, I modify to enrich the question. We like to ask a possible specific inflation a $H^3(Q, \mathbb{R} /\mathbb{Z})$ cocycle with a ...
miss-tery's user avatar
  • 755
5 votes
1 answer
363 views

Transgression in terms of k-invariant for chain complexes

I am looking for a reference for the following. Say we have a $G$-space $X$ whose homology groups (in field coefficients $k$) are non-zero only in dimension zero and for a fixed $n>0$. Let $M$ ...
Nick's user avatar
  • 235
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
2 answers
1k views

Cup product of cohomology in a Serre spectral sequence

How to use Serre spectral sequence to compute cup product structures? Let $F\to E\to B$ be a fibration. Suppose all the differentials of the corresponding Serre spectral sequence of cohomology are ...
QSR's user avatar
  • 2,223
4 votes
2 answers
514 views

stability results 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
4 votes
2 answers
409 views

Classifying space of a non-discrete group and relationship between group homology and topological homology of Lie groups

I have a very soft question which might be very standard in textbooks or literature but I haven't seen it. To a fixed group $G$ we may attach different topologies to make it different topological ...
XYC's user avatar
  • 441
4 votes
2 answers
290 views

Loop-space functor on cohomology

For a pointed space $X$ and an Abelian group $G$, the loop-space functor induces a homomorphism $\omega:H^n(X,G)\to H^{n-1}(\Omega X,G)$. More concretely, $\omega$ is given by the Puppe sequence $$\...
Leo's user avatar
  • 663
4 votes
1 answer
2k views

Tensor product of spectral sequences?

I'm wondering about a cross product for spectral sequences. I've got an idea, and I wonder if it is written up anywhere, or if it even holds water. Let's start with three spectral sequences, $E, F$ ...
Jeff Strom's user avatar
  • 12.5k
4 votes
1 answer
320 views

Higher order differentials of Bockstein spectral sequence

The Bockstein SS is obtained from the exact sequence $$0\to\mathbb{Z}\xrightarrow{2}\mathbb{Z}\to\mathbb{Z}/2\to 0$$ with $E_1^p=H^p(X,\mathbb{Z}/2)$ and the differential $d_1=Sq^1$. How to identify ...
Nanjun Yang's user avatar
4 votes
1 answer
227 views

How are p-primary parts determined for odd p?

When looking at surveys of computations of the homotopy groups of spheres there is a common theme. All the odd primary parts are thrown away. How are odd primary part calculations done in relation ...
El_Nombre's user avatar
4 votes
1 answer
598 views

Thom space, homotopy group and cohomology group

In Thom's 1952 paper, Thom showed that the Thom class, the Stiefel–Whitney classes, and the Steenrod operations were all related. He used these ideas to prove in the 1954 paper Quelques propriétés ...
wonderich's user avatar
  • 10.5k
4 votes
1 answer
373 views

How do you know when something must die in the Adams Spectral Sequence for $\pi_*^s$

Hey everybody, I think this question might be just a simple oversight on my part, but this has been bugging me a few days. I am reading Hatcher's Spectral Sequences book, and trying to understand ...
Joseph Victor's user avatar
4 votes
1 answer
639 views

Sphere spectrum, Thom spectrum, and Madsen-Tillmann bordism spectrum

This is a following up question of Sphere spectrum, Character dual and Anderson dual. What are the differences and the significances of the following: (1). Homotopy classes of maps from a Thom ...
wonderich's user avatar
  • 10.5k
4 votes
1 answer
754 views

spectral sequence with non-trivial action on coefficients

Set-up: Consider the trivial extension, where $p$ is the projection onto the $\mathbb{Z}_2$ component,$$1\rightarrow N\rightarrow N\times\mathbb{Z}_2\xrightarrow{p}\mathbb{Z}_2\rightarrow 1$$ Define ...
Alex Turzillo's user avatar
4 votes
1 answer
514 views

A question about spectral sequences

In the following proof (from The pontrjagin numbers of an orbit map and generalized G-signature theorem by Hsu-Tung Ku & Mei-Chin Ku https://link.springer.com/chapter/10.1007/BFb0085610), it is ...
Mehmet Onat's user avatar
  • 1,367
4 votes
1 answer
448 views

The Hochschild–Serre spectral sequence and cup products

Let $X$ be a variety over a field $k$ with separable closure $k_s$. Let $A$, $B$ be étale sheaves on $X$. Consider now the Hochschild–Serre spectral sequences. \begin{align*} E_2^{pq}: H^p(k, H^q(X_{...
Tim Santens's user avatar
4 votes
1 answer
290 views

Grading in Eilenberg-Moore spectral sequence

I am puzzled over something I read in Quillen's On the Cohomology and K-Theory of the General Linear Groups Over a Finite Field. On page 557, when computing the $E_2$ page of a case of the Eilenberg-...
safety stegosaurus's user avatar
4 votes
1 answer
394 views

$SO(3)$ 2-cocycle trivialized to a 2-coboundary in $SU(2)$?

I was trying to understand this interesting question by example. Let me follow their previous discussion and ask: Let a generic nontrivial 2-cocycle $\omega_2^G(g_1,g_2) \in H^2(G,\mathbb{R}/\mathbb{...
miss-tery's user avatar
  • 755
4 votes
1 answer
315 views

Functoriality of Atiyah-Hirzebruch spectral sequence - Reference Request

I'm interested in a text book reference on the functoriality of the Atiyah–Hirzebruch spectral sequence. The only reference I found are these lecture notes by Kupers (link should lead to the target ...
Excalibur's user avatar
  • 301
4 votes
1 answer
195 views

Can Bockstein Spectral Sequence detect multiple summands of the same power, in homology?

I understand that the differential $d^k$ of the Bockstein S.S. (mod p) is nonzero iff the homology $H_*(X;\mathbb{Z})$ has summand of the form $\mathbb{Z}/p^k$. How about for multiple summands in the ...
yoyostein's user avatar
  • 1,229
4 votes
1 answer
182 views

The converse of Vietoris-Begle theorem

It is well known the following result: Lemma: Let $F\rightarrow E\rightarrow B$ be a fibration with $B$ connected and simply connected. Suppose that $F$ is $n$-acyclic, i.e. $H^{p}\left( F;% %...
Mehmet Onat's user avatar
  • 1,367
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