All Questions
Tagged with spectral-sequences at.algebraic-topology
218 questions
6
votes
1
answer
284
views
Calculating topological index
Consider the space $X=BSL(8,\mathbb{C})/(\mathbb{Z}/2)$. The topological Brauer group of $X$ is given by $Br_{top}(X)=Tor(H^{3}(X;\mathbb{Z}))=\mathbb{Z}/2$. I'm studying concepts of topological ...
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 ...
3
votes
1
answer
260
views
non-simple local coefficient system on a fibration of classifying spaces
Long story short; I posted in MSE
https://math.stackexchange.com/questions/2500745/local-system-of-coefficients-on-a-fibration-of-classyfing-spaces
It is well known that if $G$ is a lie group ...
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 ...
15
votes
2
answers
1k
views
Pullback and homology
Suppose I have two maps of topological spaces, $f:X\rightarrow B$ and $g:Y\rightarrow B$, such that $f$ induces a homology isomorphism and $g$ is a fibration and $B$ is connected. Is it true that the ...
2
votes
1
answer
712
views
Oriented Bordism Group and Un-Oriented Bordism Group of points $pt$
Do we know, or are there any References that list down complete oriented and unoriented Bordism Group $Ω_{n,O}(pt)$ and $Ω_{n,SO}(pt)$ of points $pt$ for dimensions $n=1,2,...,10$?
Here are some ...
15
votes
1
answer
988
views
Why is it difficult to obtain the next differential in a spectral sequence?
I am following Hatcher's notes on spectral sequences. On page 522 an exact couple $(A, E, i, j, k)$ is defined. You can construct a derived exact couple easily from this to get your desired $E'$ ...
10
votes
1
answer
719
views
Leray-Hirsch theorem for Dolbeault cohomology
In Bott and Tu's Differential forms in algebraic topology there is a proof of Leray-Hirsch for the De Rham cohomology. The theorem is this:
Theorem (Leray-Hirsch): Let $E$ be a fiber bundle over $M$...
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 ...
3
votes
0
answers
234
views
How can I find the differential in the Serre spectral sequence for this sphere fibration?
Consider the assocaited sphere bundle $$S(E) \to \mathbb{P}^n$$ for the vector bundle $\mathcal{O}(k)\oplus \mathcal{O}(l) \to \mathbb{P}^n$. Is there a way to determine the differentials
$$
d_4^{p,m}:...
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-...
2
votes
0
answers
151
views
Monodromy and simple system of local coefficients
I was interested in the following question: if one has a fibration
$F\to E\to B$
there is associated a monodromy map, that is basically an action of the fundamental group $\pi_1(B)$ on the ...
8
votes
1
answer
363
views
Adams spectral sequence and short exact sequences. Some clarifications
as the title suggests I'm looking for some clarifications in the computations of the ext charts of some $A(1)$-modules arising as extensions of other modules. In particular, I've the following example ...
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 ...
3
votes
0
answers
163
views
Question about the precise statement of Leray spectral sequences and a simple example
On Bott's paper "Homogeneous vector bundles" there is the following statement of Leray spectral sequence:
Let $X$ and $Y$ be paracompact and locally compact spaces and $f : Y \to X$ be a proper map....
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{...
20
votes
1
answer
1k
views
Torsion in the Atiyah–Hirzebruch spectral sequence of a classifying space
Let $G$ be a compact, connected Lie group. There is an Atiyah–Hirzebruch spectral sequence
$$H^*(BG;K^*) \implies K^*(BG)$$
connecting $H^*BG$, which generally contains torsion, with $K^*BG \cong \...
2
votes
0
answers
71
views
Connected topological/Lie group $H$ and $Q$, inflate $Q$-cocycle to coboundary in $H$
I am interested in finding mathematical examples and criteria of inflating $Q$-cocycle to coboundary in $H$, under the requirement:
(1) Both $H$ and $Q$ are connected topological groups or Lie groups (...
3
votes
0
answers
310
views
Functoriality of Leray homology spectral sequences of fibrations
Let $p\colon E\to B$ and $p'\colon E'\to B'$ be two fibrations. Assume for simplicity that $B,B'$ are simply connected. Let we have morphism of these fibrations, i.e. two continuous maps
$$f\colon E\...
2
votes
0
answers
108
views
Relating inflation maps from spectral sequences in lower and higher dimensions
The spectral sequence has some nice property.
Consider $ N \to G \overset{R}{\to} Q $ and $G/N=Q$. There is a spectral sequence $\{E^{p,q}_n, d_n\}$ with: (i) The differential is defined as a map $...
1
vote
0
answers
109
views
Empty regions on the second list of unstable Adams spectral sequence
Define $\phi(n) = 4n - 2$. Is there a proof that on the second list of unstable Adams spectral sequence (for all spheres) there are no elements in squares $(n, m)$ such that $m < \phi(n)$. The ...
10
votes
1
answer
370
views
Adams Spectral sequence for computing some $B$-bordism groups
As the title suggests, I'm trying to apply the Adams Spectral sequence to get some insights of the bordism group
$$ \Omega_4(\xi)= \pi_4(M\xi)$$
where $\xi \colon BSpin \times K(D_{2n},1) \to BSO$ is ...
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 ...
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$...
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, ...
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 ...
0
votes
1
answer
143
views
Trivialize a cup-product 2-cocycle of $G$ in a larger group $J$
I like to ask a simple question: how to trivialize a cup-product 2-cocycle of $G$ into a 2-coboundary of $J$ in a larger group $J$.
Let us take a nontrivial 2-cocycle $\omega_3^G(g_a, g_b) \in H^2(G,\...
3
votes
0
answers
120
views
Trivialize a cocycle of a continuous Lie group-cohomology to a coboundary
Someone recently asks a question $SO(3)$ 2-cocycle trivialized to a 2-coboundary in $SU(2)$? now inspires me to revisit an earlier general question to ask an example of 3-cocycle
$\omega_3^G$ of a ...
2
votes
1
answer
264
views
Trivialize a cup-product 3-cocycle of $G$ in a larger group $J$
Inspired by this question, let us take a nontrivial 3-cocycle $\omega_3^G(g_a, g_b, g_c) \in H^3(G,\mathbb{R}/\mathbb{Z})$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. ...
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{...
6
votes
1
answer
609
views
References for properties of Atiyah-Hirzebruch Spectral Sequence for a spectrum $X$ and generalised homology theory $MSpin_*$
Currently I'm working on the following version of the AHSS $$ E^2_{pq}\cong H_p(M\eta; MSpin_q(\ast))\Rightarrow MSpin_{p+q}(M\eta)$$
where $\eta \colon B \to BSO$ is a stable vector bundle, and $M\...
2
votes
0
answers
206
views
Cohomology of fiber bundles with non constant coefficients
Let $E \to B$ be a topological fiber bundle. We know that the Serre spectral sequence allows you to compute the cohomology of $E$ with constant coefficient in terms of the cohomology of $F$ and the ...
7
votes
1
answer
506
views
$G$ cocycle split to a coboundary in $J$, via a group extension
Consider a generic nontrivial $d$-cocycle $\omega_d^G \in H^d(G,U(1))$ in the cohomology group of a group $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. In otherwords, here the $d$-cocycle $\...
11
votes
1
answer
495
views
Identification of a Serre Spectral Seq. via Thom Isomorphism with the Atiyah-Hirzebruch Spectral Seq
Let $\xi_n$ be an orientable $n$-dimensional vector bundle over a pointed space $B_n$. We can consider the relative Serre Spectral Sequence $$ H_p(B_n; h_q(D(\xi_n|\ast),S(\xi_n|\ast))\Rightarrow h_{p+...
11
votes
2
answers
656
views
$G$ cocycle split and trivialized to a coboundary in $J$, given a group homomorphism $J \overset{r}{\rightarrow} G$
Consider a generic nontrivial 3-cocycle $\omega_3^G(g_1,g_2,g_3) \in H^3(G,U(1))$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. In otherwords, here the 3-cocycle $\...
7
votes
1
answer
663
views
Explicit 2-cocycle from a 2nd cohomology group $H^2[Q_8 \times \mathbb{Z}/2\mathbb{Z}, U(1)]$
I would like to know the explicit expression of 2-cocycle from a 2nd cohomology group $H^2[Q_8 \times \mathbb{Z}/2\mathbb{Z}, U(1)]$ with $U(1)\equiv \mathbb{R}/\mathbb{Z}$ coefficient, or namely $H^2[...
3
votes
0
answers
274
views
Is there a spectral sequence for borel-moore homology associated to a whitney filtration?
Consider a Whitney stratified space
$$
\varnothing = X_{-1} \subseteq X_0 \subseteq X_1 \subseteq \cdots \subseteq X_n
$$
is there a spectral sequence for borel-moore homology which depends on the ...
2
votes
0
answers
326
views
A version of Leray Hirsch better for local coefficients
Let $F \hookrightarrow E \to B$ be a fibration, and let everything be over a field $k$.
The leray hirsch theorem in its usual form says that the (homology) cohomology spectral sequence degenerates at (...
8
votes
1
answer
503
views
Cohomology ring of a fiberwise join
I am very interested in the cohomology ring of the following construction. Let $f: Y\to X$ be a map between (connected) topological spaces. Suppose that the image of the map $f^*:H^*(X) \to H^*(Y)$ is ...
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 ...
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
$...
3
votes
0
answers
241
views
Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)
Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to
$PH_*(QY)$, and let's say $Y$ itself is a ...
6
votes
1
answer
564
views
a question about Bockstein spectral sequence
I find the following theorem for Bockstein spectral sequence at http://pages.vassar.edu/mccleary/files/2011/04/MC10.fin_.pdf, page 459:
Question. for a fixed $k$, if $\beta$ does not hit $H_k(X;\...
10
votes
1
answer
657
views
Cap product on Leray-Serre spectral sequences
Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and $H^*(...
3
votes
1
answer
463
views
cohomology module of unit tangent vector bundles over spheres
Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration
$$
S^{m-1}\longrightarrow \tau(S^m)\...
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 ...
15
votes
1
answer
1k
views
Multiplicative Structure of the Atiyah-Hirzebruch/Leray-Serre spectral sequence
This is related to this question (edit: now answered, see below). Is there a nice explanation of the multiplicative structure on the higher pages of that spectral sequence? I want to assume that $h$ ...
2
votes
0
answers
216
views
completion and convergence of spectral sequence
I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...
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$ ...
10
votes
1
answer
474
views
Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?
Given a fiber square of simplicial sets
$$\begin{array}{cc}
& \hspace{-7mm} E \\
&\hspace{-7mm}\downarrow \\
\ast\longrightarrow &\hspace{-7mm} B
\end{array}$$
...