Questions tagged [spectral-sequences]
The spectral-sequences tag has no usage guidance.
158 questions with no upvoted or accepted answers
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
5
votes
0
answers
675
views
Do exact functors commute with spectral sequences ?
Let $F: \mathcal{A} \to \mathcal{B}$ be an exact covariant functor of abelian categories and let
$$\mathscr{C}: A \to A \to B \to A$$ be an exact couple in $\mathcal{A}$ with corresponding spectral ...
- 16.2k
4
votes
0
answers
87
views
Lifting maps on the spectral sequence of a double complex to the derived category
Question
The differentials on the $(r+1)$th page of a spectral sequence are maps on the cohomologies of the complexes on $r$th page. So, between two adjacent complexes $K^\bullet,L^\bullet$ on the $r$...
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 ...
- 171
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/...
- 641
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 ...
- 5,349
4
votes
0
answers
240
views
Exact sequence in example in Grothendieck's Tohoku paper resulting from the Cech-to-derived-functor spectral sequence
Grothendieck gives in his Tohoku paper in example 3.8.3 an example for that $\check{\mathrm{H}}^{2}(X,\mathcal{F}) \neq \mathrm{H}^{2}(X,\mathcal{F})$.
In the beginning he states that there exisits ...
- 141
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 ...
- 901
4
votes
0
answers
207
views
Trivial action in the Hochschild-Serre spectral sequence
I probably don't understand something very basic about Hochschild-Serre spectral sequence.
Let $G$ be a group with normal subgroup $N$ and $M$ a $G$-module with trivial action. Then as far as I ...
4
votes
0
answers
71
views
Relating bordism invairants in $d$ and $d+2$ dimensions
Are there some relationship between mapping the bordism invairants of eq.1 and eq.2?
$$\Omega_{O}^{d}(B(PSU(2^n)\rtimes\mathbb{Z}_2)) \tag{eq.1}$$
and
$$\Omega_{O}^{d+2}(K(\mathbb{Z}/{2^n},2)) \...
- 2,147
4
votes
0
answers
419
views
Cohomology of double complex with exact rows
Let $(C^{p,q},d_h,d_v)$ be an unbounded double complex of modules of some algebra $A$ in an abelien category. Let $d_h,d_v$ be the horizontal and vertical differential respectively. Suppose that
(1) ...
- 205
4
votes
0
answers
343
views
Does hypercohomology of the Koszul complex compute sheaf cohomology?
Let $i:X \to \mathbb{P}^n$ be a smooth projective variety defined by the vanishing locus of polynomials $(\underline{f}) = (f_1,\ldots,f_k)$ which have degrees $>0$ and are pairwise coprime, ...
- 1,716
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
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(...
- 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 ...
- 61
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). $$
...
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 ...
- 301
3
votes
0
answers
77
views
Tensor product of exact couples
Suppose $(D_1,E_1;i_1,j_1,k_1)$ and $(D_2,E_2;i_2,j_2,k_2)$ are two exact couples, ie., there are exact sequences $D_1\xrightarrow{i_1}D_1\xrightarrow{j_1}E_1\xrightarrow{k_1}D_1$ and $D_2\xrightarrow{...
- 673
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 ...
- 663
3
votes
0
answers
170
views
Do we really need degeneracies for spectral sequence of homotopy simplicial chain complex?
Let's consider an homotopy simplicial chain complex, that is a functor of $\infty$-categories $X_{\bullet} = \textrm{N}(\Delta^{op}) \to \mathcal{C}_{\ge 0}$, where $\mathcal{C}_{\ge 0}$ is the $\...
- 2,152
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 ...
- 31
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 ...
- 10.5k
3
votes
0
answers
174
views
When the Leray spectral sequences for nice compactifications give the Deligne's weight ones?
Assume that $X$ is a proper smooth variety over an algebraically closed field $k$, $U=X\setminus (\cup D_i))$ where $D_i$ are closed subvarieties such that the set-theoretic intersections of all sets ...
- 16.9k
3
votes
0
answers
277
views
Dimension three spectral sequences
If you have two triangulated functors $F,G$, you can compute the cohomology of $FG(-)$ in terms of the cohomology of $G(-)$ and the cohomology of $F(-)$, in terms of a ``Grothendieck spectral sequence'...
- 5,711
3
votes
0
answers
148
views
Group cohomology with coefficients in a graded module
I am working in a problem group cohomology and nailed it down to compute a cohomology using an spectral sequence argument. The situation is as follows:
Let $G = C_4 = \langle \sigma \rangle$ be the ...
- 283
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 ...
- 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 ...
- 10.5k
3
votes
0
answers
79
views
Pro-trivial cosimplicial tower of spaces
Let $\{X^\bullet_s\}$ be a cosimplicial tower of spaces. In other words, for each fixed "tower degree" n, we have a (let's assume Reedy fibrant) cosimplicial space $X^\bullet_n$, and for each fixed ...
- 31
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
$\...
- 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 ...
- 21.8k
3
votes
0
answers
71
views
Deformations of nilpotent parts of superalgebras
I have two questions concerning some results in the article "Deformations of nilpotent parts of superalgebras" of N. van den Hijligenberg, J.Math.Phys. 35, 1427 (1994); doi:10.1063/1.530598
After ...
- 95
3
votes
0
answers
174
views
Induced Homomorphism on Cohomology of Symmetric Group 3
For the symmetric group $S_3$, there is an inclusion $i:\mathbb{Z}/3\mathbb{Z}\hookrightarrow S_3$. How can I assert that the induced homomorphism $$i^{\ast}:H^{n}(S_3,\mathbb{Z})\rightarrow H^{n}(\...
- 39
3
votes
0
answers
226
views
Does Leray Spectral sequence degenerates at $E_2$ over product of curves
Let $C$ be a smooth, projective curve (can assume to be rational) and $X:=C \times C$. Denote by $p:X \to C$ one of the two natural projections. Let $E$ be a vector bundle on $X$. Is it true that,
$$...
- 2,032
3
votes
0
answers
166
views
Edge map in derived categories
Let $\mathscr{A},\mathscr{B}$ be abelian categories, the first with enough projectives, together with a right-exact functor $F\colon \mathscr{A}\to\mathscr{B}$ (in my example, it is a tensor product, ...
- 5,670
3
votes
0
answers
122
views
Twisted spin cobordism v.s. KO theory in low dimensions
Based on the background info and this this webpage, here is a more advanced problem:
Question: If we consider a different more subtle twisted structure, like
$${\Omega_d^{(\mathrm{spin} \times G)/N}},...
- 10.5k
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 ...
- 404
3
votes
0
answers
506
views
Degeneration of relative Hodge-de Rham spectral sequence
$$\require{AMScd}$$
$$\newcommand{\CC}{\mathbb{C}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\Hdr}{H_{\mathrm{dRh}}}
\newcommand{\tensor}{\otimes}
\newcommand{\Ohol}{\mathcal{O}}$$
Please excuse that ...
- 708
3
votes
0
answers
149
views
Gel'fand's and Fuks' calculation of cohomology of formal vector fields - isomorphic spectral sequences yield isomorphic cohomology?
In this book (and, in what seems to be an equivalent fashion, in this article), Gel'fand and Fuks calculate the Lie algebra cohomology of the formal vector fields $W_n$ on $\mathbb{R}^n$ with trivial ...
user126256
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}:...
- 1,716
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....
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\...
- 21.8k
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
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
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
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
0
answers
223
views
spectral sequence differential for cobordism
From page 6 of these solutions:
the differential\begin{equation}d_2: H_p(X,\Omega_1^{Spin})\rightarrow H_{p-2}(X,\Omega_2^{Spin})\end{equation}connecting the 1-st and the 2-nd row is the $\textbf{...
- 1,219
3
votes
0
answers
175
views
"Cut-off" of the Adams exact couple
(This question has been asked on Math.StackExchange where it attracted a few upvotes, but - unfortunately - no answer.)
I have been reading Chapter 2. of A. Hatcher's draft of "Spectral Sequences in ...
- 2,197
2
votes
0
answers
138
views
Leray spectral sequence for étale homology
Let $X$, $Y$, $Z$ be quasi-projective varieties over an algebraically closed field $k$, $f: X \to Y$ and $g: Z \to X$ proper (even projective) maps with $f$ smooth, and $h: Z \to Y$ their composite. ...
- 658
2
votes
0
answers
161
views
Vanishing differential of Brown-Gersten-Quillen spectral sequence
Let $k$ be an algebraically closed field of characteristic zero and $X$ be an affine, simplicial toric 3-fold over the field $k$. I am trying to use the Brown-Gersten-Quillen spectral sequence to ...
- 639
2
votes
0
answers
179
views
Differentials in the Atiyah-Hirzebruch spectral sequence for a bounded generalized cohomology theory
$\newcommand{\res}{\mathrm{res}}$Let $X$ be a connected finite CW complex, and let $E$ be a bounded spectrum. For simplicity, let me assume that it has homotopy groups concentrated in degrees 0,1,2.
...
- 1,001