Questions tagged [spectral-sequences]
The spectral-sequences tag has no usage guidance.
49 questions
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 $\...
- 10.5k
20
votes
3
answers
3k
views
Multiplicative structure on spectral sequence
Let $E$ be a spectral sequence and assume that there is a product
$E^{r}_{p_1,q_1} \times E^r_{p_2,q_2} \to E^r_{p_1+p_2,q_1+q_2}$
which satisfies the Leibniz rule (for all $p_i,q_i$, but $r$ fixed)....
- 63.1k
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$ ...
- 6,813
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 ...
- 755
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{...
- 755
128
votes
12
answers
12k
views
Spectral sequences: opening the black box slowly with an example
My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials.
...
- 13.5k
44
votes
19
answers
16k
views
introductory book on spectral sequences
I have studied some basic homological algebra. But I can't send to get started on spectral sequences. I find Weibel and McCleary hard to understand.
Are there books or web resources that serve as ...
9
votes
1
answer
455
views
Is this sequence of Lie algebra cohomology a part of spectral sequence?
There is an exact sequence
$$0 \to H^2(\mathfrak{g}, k) \to H^1(\mathfrak{g}, \mathfrak{g}^*) \to H^0(\mathfrak{g}, S^2\mathfrak{g}) \xrightarrow{d} H^3(\mathfrak{g}, k) \to H^2(\mathfrak{g}, \...
- 1,980
8
votes
1
answer
474
views
Spin cobordism v.s. KO theory in low or in any dimensions
It seems that from this webpage, the spin cobordism is equivalent to KO theory in low dimension.
If we denote the $p$-torsion part (mean $\mathbb{Z}_{p^n}$ for some $n$) $$\Omega_d(BG)_p.$$
...
- 10.5k
7
votes
2
answers
4k
views
Conditions for the restriction $H^i(G,A)\to H^i(H,A)$ being surjective
I was wondering what the condition is for the restriction map (in group cohomology) $H^i(G,A)\to H^i(H,A)$ to be surjective.
I am a little confused about when maps between cohomology groups are ...
- 1,211
7
votes
2
answers
2k
views
isomorphic spectral sequences => quasi-isomorphic filtered chain complexes?
Let $(C,\partial)$ and $(C',\partial')$ be chain complexes of $R$-modules where $R$ is a (commutative) ring. Let $F$ and $F'$ be finite filtrations of $C$ and $C'$ respectively, i.e., $$\varnothing = ...
- 15.5k
5
votes
2
answers
2k
views
On two spectral sequences for the cohomology of a double complex
For a (bounded) double complex (of abelian groups or vector spaces) one can consider two spectral sequences that converge to the cohomology of the totalization: one can first compute either the ...
- 16.9k
56
votes
5
answers
9k
views
Why are spectral sequences so ubiquitous?
I sort of understand the definition of a spectral sequence and am aware that it is an indispensable tool in modern algebraic geometry and topology. But why is this the case, and what can one do with ...
- 25.6k
44
votes
6
answers
9k
views
Simple examples for the use of spectral sequences
I'm looking for basic examples that show the usefulness of spectral sequences even in the simplest case of spectral sequence of a filtered complex.
All I know are certain "extreme cases", where the ...
- 2,756
32
votes
2
answers
2k
views
Persistence barcodes and spectral sequences
Persistent homology is a well-developed tool which allows topological analysis of large data sets. From a topological perspective, the input is a filtered complex, and the output is a sequence of ...
- 35.9k
17
votes
2
answers
2k
views
Are the homology and cohomology Serre spectral sequences dual to each other?
If we use homology and cohomology over a field $k$, if a space has homology and cohomology groups of finite type in each degree, then $H_\ast(X;k)$ is dual to $H^\ast(X;k)$ using the universal ...
- 8,167
16
votes
1
answer
808
views
"Rotated" version of the Atiyah-Hirzebruch spectral sequence
Let $G$ be a group, $X$ a topological space with $G$-action. For an Abelian group $A$, let $\mathcal{C}^n(X,A)$ be the group of $n$-cochains on $X$ with $A$ coefficients. We can treat this as a $G$-...
- 863
12
votes
4
answers
1k
views
Triply graded spectral sequence?
As we know, most of the spectral sequences are doubly graded. However, this "doubly graded" condition is not a part of the formal definition of spectral sequence. Is there any useful triply (quadruply,...
- 1,108
11
votes
1
answer
957
views
Technology for various models of spectra
There are a couple different models for spectra, or constructions of the categories of spectra that have the desired properties (homotopically and otherwise). The construction of the Categories of $S$-...
- 3,726
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}\}$ ...
- 1,329
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}$$
...
- 10.5k
10
votes
1
answer
560
views
Fibrations with isomorphic Leray-Serre spectral sequences and non-isomorphic cohomology ?
Are there fibrations $F_i \to X_i \to B_i$ $(i=1,2)$ with path-connected bases $B_i$ and connected fibres $F_i$ such that their corresponding Leray-Serre spectral sequences (integral coefficients) are ...
- 16.2k
10
votes
2
answers
2k
views
Sphere spectrum, Character dual and Anderson dual
The homotopy groups of the sphere spectrum are the stable homotopy groups of spheres.
However, could you help me to appreciate the mathematical meanings of the following:
What is the significance of ...
- 10.5k
9
votes
0
answers
257
views
Building examples of elements of $\Omega_4(\xi)$ via surgery theory: how to do it?
When computing special bordism groups, I often need to determine existence of (singular) smooth $4$-manifolds with fixed fundamental group and certain properties like the spin behaviour (i.e. being ...
- 2,018
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
9
votes
1
answer
2k
views
How to Compute Transgressions in a Serre Spectral Sequence?
For a short exact sequence of groups $1\rightarrow A\rightarrow B\rightarrow C\rightarrow 1$ there is an associated fibration $K(A,1)\rightarrow K(B,1)\rightarrow K(C,1)$, which can be constructed by ...
- 1,108
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
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 ...
- 353
7
votes
1
answer
845
views
Mayer Vietoris Spectral sequence for topological K theory
In Sheaf theory one can obtain the Mayer Vietoris spectral sequence for cohomology. For $\mathcal{U}$ an open cover of $X$ we get the convergence
$E_2^{pq} = \check H^p(\mathcal{U},H^q(-,F)) \...
- 659
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
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 ...
- 10.5k
6
votes
1
answer
375
views
Different flavours of Vassiliev Conjecture
There is something that puzzles me about "Vassiliev's Conjecture". I am sure I am missing some detail which is obvious to the community, since there are several tightly related kind of ...
- 2,152
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
6
votes
1
answer
858
views
What kind of spectral sequences come from double complexes?
Given a double complex in the first quadrant, one can derive from it a (homological or cohomological) spectral sequence converging to the (co)homology of the total complex of the double complex.
My ...
- 945
5
votes
1
answer
609
views
Functoriality of filtered spectral sequences
What is the appropriate functoriality statement of a filtered chain map between filtered spectral sequences?
Suppose that we have two filtered chain complexes $C,C'$ and a filtered chain map $f\colon ...
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$...
- 579
5
votes
1
answer
2k
views
Generalized Beilinson spectral sequences
Assume we are workling on $\mathbb{P}^n$ for some $n\geq 1$ and we have a coherent sheaf $F$ on it.
Then there are two (well known?) spectral sequences $E_r^{p,q}$ with $E_1$-term:
$E_1^{p,q}=H^q(\...
- 1,391
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
5
votes
1
answer
549
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 ...
- 395
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 ...
- 305
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 ...
- 1,367
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$ ...
- 12.5k
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
3
votes
2
answers
319
views
cohomology algebra of braid spaces, configuration spaces
In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for $p$...
- 2,223
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)\...
- 2,223
3
votes
1
answer
529
views
Weak Lefschetz theorem for Lef line bundles
I'm studying
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
The premises are the following....
- 828
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
1
vote
1
answer
379
views
Spectral sequence of Galois cohomology over local fields
On page 530 in his paper,
Notes on etale cohomology of number fields, Ann. Scient. ENS (1973),
Mazur insisted that
$$
\text{Ext}^q_{G_K} (M,~\bar{K}^*) \...
- 367
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,\...
- 755