Questions tagged [spectral-sequences]
The spectral-sequences tag has no usage guidance.
388 questions
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 ...
- 41
8
votes
1
answer
1k
views
Convergence of spectral sequences of cohomological type
Following the first chapter of Hatcher's great book "Spectral Sequences in Algebraic Topology", I got into problems with spectral sequences of cohomological type. Fix a ring $R$ once and for all. ...
- 727
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 ...
- 1,716
6
votes
0
answers
366
views
Transgression map spectral sequence of Ext
Let $X$ be a scheme over $k$ and $p:\ X \to Spec(k)$ the structure morphism. If $M$ is an étale sheaf of abelian groups over $Spec(k)$ I have a Grothendieck spectral sequence $$E^{p,q}_2=Ext^p_k(M,R^...
- 111
2
votes
0
answers
1k
views
What is a Beilinson spectral sequence?
I'm writing to ask just a question. I would like to understand better what is the Beilinson's spectral sequence and how it can be used. Is there any useful and clear reference you advice to someone ...
- 21
1
vote
1
answer
293
views
Unordered configuration space of $\mathbb{R}P^1$
In the paper
GEOMETRY OF TRUNCATED SYMMETRIC PRODUCTS AND REAL
ROOTS OF REAL POLYNOMIALS, JACOB MOSTOVOY, Bull. London Math. Soc. (1998) 30 (2):
159-165,
Theorem 2. (b): $TP^n(\mathbb{R}P^1)$ is ...
- 1,990
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 ...
- 1,219
6
votes
2
answers
1k
views
How does one view the De Rham spectral sequence as a Grothendieck spectral sequence?
I was rereading basic results on de Rham cohomology, and this led me inevitably to the fact that $H^q(X,\Omega^p)$ converges to $H^*(X)$ for any smooth proper variety (over any field). How does one ...
- 6,348
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 ...
- 3,749
19
votes
1
answer
2k
views
Slick Proof of Kudo Transgression Theorem
The Kudo Trangression Theorem has to do with the transgression in the Leray-Serre spectral sequence for cohomology in $\mathbb{Z}/p$ ($p$ odd). It can be proved by the method of the universal example,...
- 12.5k
3
votes
1
answer
816
views
When does the filtration in the limit of the Leray spectral sequence split?
Let $\ell$ be a prime, and $k$ a field of characteristic $\ne \ell$. Let $f \colon X \to Y$ be a proper map of smooth projective $k$-varieties. The Leray spectral sequence says
$$
E_{2}^{pq} = H^{p}(\...
- 5,504
9
votes
2
answers
1k
views
H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory
Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...
- 10.5k
2
votes
0
answers
77
views
hirzebruch spectral sequence for a cohomology theory on a subcategory of TOP
The answer to my question is probably going to be 'yes, sometimes'. So I'll give my motivation first.
I am trying to give a short argument that for a fibration $F \hookrightarrow E \to B$ and a $\...
- 123
1
vote
0
answers
627
views
Hochschild-Serre spectral sequence
The Hochschild-Serre spectral sequence says that for a short exact sequence $$1 \to G \to H \to K \to 1 \quad (1)$$ of (discrete) groups, we have a first quadrant spectral sequence with $E_2$ page
$$...
- 11.9k
7
votes
1
answer
1k
views
Explicit 2-Cocycles of G=Z2×Z2xZ2 over U(1)
We know that group cohomology $H^2(G,U(1))$ consists of 2-cocycles $\beta(A,B)\in U(1)$ corresponding to elements in the group $H^2(G,U(1))$, where $A\in G,B \in G$. Note that $\beta(A,B)$ satisfies 2-...
- 10.5k
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 $...
- 10.5k
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 ...
- 1,129
5
votes
1
answer
1k
views
Inverse limit of spectral sequences
I find myself in the following situation:
I have a sequence of first quadrant spectral sequences, let's call them $ E(n)_{p,q}^* $, each convergent to $E(n)_{p,q}^\infty$, with spectral sequence ...
- 651
3
votes
0
answers
574
views
Serre Spectral Sequence and Cohomology Ring of Circle Bundles
I have the following (maybe simple) question about the cup product structure in the Serre spectral sequence.
Consider a fiber bundle $S^1 \rightarrow E \rightarrow B$ with euler class $e \in H^2(B)$. ...
- 31
3
votes
1
answer
317
views
Spectral sequence associated to elliptic fibration degenerates?
Let $\phi:S\rightarrow \mathbb{CP}^1$ be an elliptic fibration of a K3 surface. When is the Leray spectral sequence associated to the fibration $E_2$-degenerate? Are there any good criteria for the $...
- 31
7
votes
1
answer
523
views
Hochschild-Serre spectral sequence and non-trivial action on coefficients
Consider an extension\begin{equation}1\rightarrow N\rightarrow G\xrightarrow{\rho} K\rightarrow 1\end{equation}Let $K$ act on a $K$-module $A$ by $\phi_k: a\mapsto k\cdot a$. Define a $G$-action $a\...
- 1,219
7
votes
1
answer
2k
views
Cohomology groups of quotient by finite group
I know there are already lots of questions about (co)homology groups of a quotient manifold, but please let me ask one more question.
Let $G$ be a finite group acting on a manifold $M$ without fixed ...
- 71
17
votes
1
answer
1k
views
Multiplicativity in the descent spectral sequence
For a homotopy sheaf $\mathcal{F}$ of ring spectra over some space (/ site / whatever) $X$ with a cover $U_i$, we can build a "descent spectral sequence" with signature $$E^1_{p, q} = \pi_{p+q} \...
- 6,308
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 ...
- 3,051
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
$...
- 928
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 ...
- 10.5k
5
votes
0
answers
264
views
Spectral sequences and hypercohomology for projective space
Suppose we are given a complex of sheaves on $\mathbb P^N$ in which every term is direct sum of invertible sheaves:
$$
\mathcal F^\bullet = \dots \to \oplus_{j=1}^{n_{p-1}} \mathcal O (k_j^{p-1}) \...
user80337
2
votes
1
answer
1k
views
Transgression maps in group cohomology and group homology / duality of spectral sequences
I am interested in whether the transgression maps for group cohomology and group homology are related via a version of the universal coefficient theorem.
Let $G$ be a group, $H$ a normal subgroup of $...
- 1,000
8
votes
1
answer
2k
views
How does one get the short exact sequence in a two-column spectral sequence?
In a two-column double complex, one gets from the associated spectral sequence short exact sequences $0\to E_2^{1,n-1}\to H^n\to E_2^{0,n}\to 0$, where $H^n$ is the cohomology of the total complex, ...
- 1,488
1
vote
1
answer
376
views
Multiplicative structure in the cohomological Leray-Serre spectral sequence - please elucidate a proof
Let $\pi \colon X \to B$ be a fibration with $B$ a path-connected CW complex. Write $B^p$ for the $p$-th skeleton of $B$ and set:
$X_p = \pi^{-1}(B^p)$,
$F_p^m = \ker [H^m(X) \to H^m(X_{p-1})]$, the ...
- 19
4
votes
2
answers
1k
views
Tracking spectral sequence differentials
I read a number of posts here on MO, but haven't quite found an answer to the question of where the differentials in a spectral sequence come from.
I came across a differential $d^{0,1}$ on the $E_2$-...
- 1,211
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 (...
- 2,147
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 ...
- 1,219
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 ...
- 40.3k
8
votes
1
answer
739
views
Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?
The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH:
In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence
...
- 83
2
votes
0
answers
747
views
What is the abutment filtration of the second spectral sequence of hypercohomology?
I have been recently learning about spectral sequences, following mainly Illusie's notes and EGA, and I am about to write some expository notes, but there are still some points that I was not able to ...
- 142
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 ...
- 21
3
votes
1
answer
938
views
Computing the homology groups of spaces in a fibration
Let $F\rightarrow X\rightarrow B$ be a fibration. If we know very well the spaces $F$ and $B$ and wish to compute the homology of $X$. One possible tool is the Serre Spectral Sequence. However, it ...
- 1,108
13
votes
2
answers
713
views
How do you compute the space of lifts of an E-infinity map?
Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g:...
- 3,103
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 ...
- 13.5k
7
votes
0
answers
2k
views
An example computation of etale cohomology
(edited for clarity)
In a comment on a response to this question, moonface states the following: "Even if you tried to compute H^2 [etale with Z/5Z-coefficients] of a surface fibered in genus 2 ...
- 13.1k
9
votes
0
answers
517
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}...
- 1,219
5
votes
1
answer
2k
views
Natural morphism appearing in Grothendieck spectral sequence
Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
- 63.1k
6
votes
1
answer
1k
views
Unbounded complexes, resolutions and computation of derived functors
Hey guys, let $F: \mathcal{A} \rightarrow \mathcal{B}$ be a left exact functor between abelian categories with enough injectives, let $K \in Kom(\mathcal{A})$ be an unbounded complex, I've heard that ...
- 456
2
votes
0
answers
301
views
Spectral sequences and Batalin-Vilkovisky formalism
I have been studying the BRST quantization in quantum field theory recently and noticed that the subject is very much related to algebraic topology and cohomology. A quick google search led me to the ...
- 321
9
votes
1
answer
399
views
Third bordism group of BG, where G is an arbitrary compact Lie group.
Is anything known about $\Omega_3(BG)$, where $G$ is an arbitrary compact Lie group; i.e., is it possible to describe the structure of $\Omega_3(BG)$ for any compact Lie group? I know that $H_3(BG)$ ...
- 1,709
2
votes
2
answers
708
views
Leray spectral sequence of the inclusion of an open subvariety
Let $X$ be a smooth variety over a field $k \subset \mathbb{C}$ and $Z$ a smooth subvariety. Let $U=X-Z$. I'm trying to understand what information do the Leray spectral sequences attached to the ...
- 23
4
votes
1
answer
2k
views
Comparing Spectral Sequences
There is a comparison theorem for spectral sequnces in Weibel's book (5.2.12) stating;
Assume $E_{p,q}$ and $\bar E_{p,q}$ converge to $H_* $ $\bar H_*$ respectively. Furthermore we have given a map ...
- 235
7
votes
2
answers
1k
views
Proof of the ''trangression theorem''
Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am ...
- 20.9k
2
votes
0
answers
233
views
Cohomology spectral sequence over $k[t]$
I am trying to compute $H^*(X)$ for a (potentially large, finite, finitely filtered) simplicial complex $X$ using a cover $U_i$ of $X$.
I am building chain complexes for $X$ with a simplex that ...
- 2,537