Questions tagged [spectral-sequences]
The spectral-sequences tag has no usage guidance.
388 questions
2
votes
1
answer
233
views
Borel spectral sequence with non-compact fibers
I was reading the following paper which claims to generalize Borel spectral sequence for non-compact Stein fibers. However, I don't understand how the following bundle fits into the picture:
$$
(\...
- 1,374
2
votes
1
answer
355
views
Leray-Serre spectral sequence for projective bundles
Let $\mathcal{E} \rightarrow X$ be a complex vector bundle of rank $r+1$ and let $F=\mathbb{P}^r \rightarrow E = \mathbb{P}\mathcal{E}\rightarrow X$ be the associated projective bundle. We know that ...
- 1,325
2
votes
1
answer
746
views
Hochschild-Serre filtration and etale cohomology
I encountered the Hochschild-Serre spectral sequence in étale cohomology
$$H^i(\text{Gal}(\overline{k}/k), H^j_{et}(X_{\overline{k}}, F))\Rightarrow H^{i+j}_{et}(X_{{k}}, F)$$
How is the filtration ...
user97068
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. ...
- 755
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
2
votes
1
answer
594
views
Leray spectral sequence for lowest weight part of a smooth morphism
Let me assume everything in sight is as nice as possible, probably if the result I want is true then these conditions are too restrictive. All spaces will be smooth algebraic varieties over the ...
- 40.3k
2
votes
1
answer
259
views
Poset filtrations
Consider a chain complex $C$ and a poset $P$ so that there is a filtration by subcomplexes $C^p$ of $C$ where $p\in P$ in such a way that $p<q$ implies $C^p \leqslant C^q$.
As a second option, ...
- 1,554
2
votes
1
answer
142
views
Extending the maps between the bordism groups: NONE exsistence of a certain kind of extended group
Let $M^d$ be a nontrivial bordism generator for the bordism group
$$
\Omega_d^G= \mathbb{Z}_n,
$$
suppose $G$ (like O, SO, Spin, etc) specify the group structure of the boridsm group. The $\mathbb{Z}...
- 2,147
2
votes
1
answer
615
views
Is There a Mayer-Vietoris Spectral Sequence of Motivic Cohomology for Closed Coverings?
For etale cohomology, there is a spectral sequence of the following form ("Mayer-Vietories spectral sequence for closed covers"):
$E_{1}^{p,q}=\oplus_{i_{0}< \cdots < i_{p}} H_{ Y_{i_{0} \cdots ...
- 945
2
votes
1
answer
247
views
Colimit of intersections
Let $B_i^p$ be a family of sets, where $p\in \mathbb{N}$ and $i \in I$, $I$ being a directed set, and such that, for every $i$, we have a descending chain of inclusions
$$
\dots \supset B_i^{p-1} \...
- 1,975
2
votes
1
answer
215
views
Surjection of a short exact sequence induced by spectral sequence (from paper of Schneider/Stuhler)
Let $K=\mathbb{Q}_p$ and $X$ a smooth separated rigid analytic variety over $K$ with coherent sheaf $\mathcal{F}$. Furthermore, $U \subset X$ is an open subvariety with admissible covering
$$ \dotsb \...
- 473
2
votes
1
answer
185
views
How to compute the $G$-theory groups of $k[x,y]/(xy)$ for any field $k$
I am trying to compute the $G$-theory groups of the ring $k[x,y]/(xy)$ for any field $k$. What I have tried so far are two approaches.
Approach 1: Use the $G$-theory localization sequence for $k[x,y]/(...
- 639
2
votes
1
answer
212
views
Leray spectral sequence for continuous functions on pairs of topological spaces
Let $A \subset X$ and $B \subset Y$ be topological spaces, with $A$ and $B$ closed, and $f: X \to Y$ be a continuous functions such that $f(A) \subset B$.
The Leray spectral sequence (with complex ...
- 1,227
2
votes
1
answer
148
views
An attempt at an alternative calculation of the rank of $\pi_n(MO)$
$\newcommand{\a}{\mathfrak a}\newcommand{\Z}{\mathbb Z}$Let $MO$ be the Thom Spectrum, then I am trying to come up with an alternative calculation that the rank of $\pi_n(MO)$ as a $\Z_2$ vector space ...
- 391
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
2
votes
0
answers
102
views
Alternative construction for the loop space (?)
There is a way to realize the (infinite) loop space which relies on the (homotopy) totalization of a cosimplicial space. Given a (nice?) topological space $X$, consider the cosimplicial space $X_{\...
- 2,152
2
votes
0
answers
147
views
Homotopy equivalence of chain complexes from subcomplexes and quotient complexes
Let $C_1$ be a finite-dimensional chain complex over $\mathbb{C}$ coefficients. Let $S_i$ be a subcomplex of $C_1$ and let $Q_1$ be the quotient complex. Suppose $S_1$ and $Q_1$ are chain homotopy ...
- 673
2
votes
0
answers
284
views
Notation for spectral sequences [closed]
Every single spectral sequence I have seen in my life was denoted by $E$. Even when there is more than one spectral sequence, people tend to use the same letter with some workaround (e.g. a fourth ...
- 2,152
2
votes
0
answers
98
views
Name for the "other term" in a derived exact couple
I'm building a spectral sequence using an exact couple $D^1 \to D^1 \to E^1 \to D^1$, with $k$th derived exact couple $D^k \to D^k \to E^k \to D^k$. In this case, I happen to have more information ...
- 455
2
votes
0
answers
222
views
Grothendieck spectral sequence and exact couples
I'm thinking about the Grothendieck spectral sequence. I'm trying to understand how it relates to exact couples. Can anyone help me prove in general that the Grothendieck Spectral sequence converges ...
user30211
2
votes
0
answers
193
views
When does Tate spectral sequence degenerate at $E_2$?
For a spectrum $M \in \text{Sp}^{B\mathbb{S}^1}$ with a circle group action, there is Tate spectral sequence
$$
E_2^{ij}=\pi_{-i}(H(\pi_{-j}M))^{t\mathbb{S}^1} \Longrightarrow \pi_{-i-j}(M^{t\mathbb{S}...
- 519
2
votes
0
answers
163
views
Frölicher spectral sequence of a surface
Asked this on MSE but didn't get much attention.
Let $ S $ be a compact complex surface. Can anyone provide a proof of the fact that the Frölicher spectral sequence of $ S $ degenerates at $ E_1 $?
...
- 936
2
votes
0
answers
164
views
Exact sequence for low-degree terms of relative de Rham cohomology
Let $\varphi:X\to Y$ be a morphism of schemes, smooth of relative dimension 1. The de Rham cohomology $H^\bullet(X/Y)$ is the result of applying the derived functor $R^\bullet\varphi_*$ to the de Rham ...
- 1,338
2
votes
0
answers
208
views
Galois-action on spectral sequence
Let $X_\bullet\to S$ be a proper surjective hypercover of a $k$-scheme by smooth proper $k$-schemes. This gives a proper surjective hypercover $X'_\bullet\to S_{\bar{k}}$ where $X'_n:=X_n\times_k \bar{...
- 4,418
2
votes
0
answers
269
views
Dress' construction and Serre spectral sequence
Currently, I am reading Serre spectral sequence, given below, using Dress' construction.
Let $f:E\to B$ be a Serre fibration. Then, there is a first quadrant
spectral sequence $\big\{E^r,d^r\}_{...
- 632
2
votes
0
answers
486
views
An alternative proof of Künneth spectral sequence, independent of Künneth formula for homology
I am currently reading Künneth spectral sequence, which is given below.
Let $R$ be a ring and A$=\big\{A_n,d_n:A_n\longrightarrow A_{n-1}\big|d_{n-1}\circ d_n=0\big\}_{n\in \Bbb Z}$ be a chain ...
- 632
2
votes
0
answers
163
views
A Thom isomorphism for sheaves
Let say $\mathcal{F}$ is a locally free sheaf of abelian groups over $X$, where $X$ is an algebraic variety over $\mathbb{C}$ (or a field $k$) with analytic (or étale) topology and $Z$ is a closed ...
2
votes
0
answers
108
views
Computation of mod p homology of $MSU$
I am trying to proof Novikov theorem
\begin{equation}
MSU_*\otimes \mathbb Z[\frac 1 2] \cong \mathbb Z[\frac 1 2][y_2, y_4, \ldots],\quad \deg y_i = 2i.
\end{equation}
This can be proved by using ...
user131113
2
votes
0
answers
69
views
Condition for a map to carry over to Leray spectral sequences
I am trying to understand the conditions for two Leray spectral sequences to be related by a map.
Let $f_1 : X_1 \to Y_1$ and $f_2 : X_2 \to Y_2$ be two continuous maps of topological spaces (with ...
- 1,227
2
votes
0
answers
143
views
Maps between Leray spectral sequences
Let $f_1 : X_1 \to Y_1$ and $f_2 : X_2 \to Y_2$ be two continuous maps between topological spaces. Suppose that there exists a commutative diagram of singular cohomology groups (say with coefficients ...
- 1,227
2
votes
0
answers
299
views
Local coefficients system
Let $G$ be a compact group. Then there exists a universal principal $G$-bundle $G\rightarrow E_{G}\rightarrow B_{G}$. Let $X$ be a paracompact $G$-space and suppose that $X\rightarrow X_{G}\rightarrow ...
- 1,367
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
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
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
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
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 ...
- 121
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 (...
- 579
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
2
votes
0
answers
123
views
cohomology ring of cross-section space of one-point compactification of tangent bundle
Let $M$ be an $m$-manifold whose cohomology is known. Let $TM$ be the tangent bundle of $M$ and $\xi$ be the fibre-wise one-point compactification of $TM$. Then $\xi$ is a $m$-sphere bundle over $M$. ...
- 2,223
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
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
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
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
477
views
Morphisms of Spectral Sequences and alternating products
Let $E_{a,b}^{r}, F_{a,b}^{r}$ be two (co)homologica first quadrant spectral sequences of vector spaces over a field $K$, and $f : E \to F$ be a morphism of spectral sequences.
Assume that morphisms $...
2
votes
0
answers
757
views
Leray-Hirsch for HOMOLOGY?
Let $E\to B$ be a fibre bundle. The Leray-Hirsch theorem states under suitable assumptions, the cohomology of $E$ is an $H^*(B)$-module generated by suitable cohomology classes in $E$.
Is there any ...
- 1,207
1
vote
1
answer
513
views
Why should we study the total complex?
Recall that for every double complex $C_{\bullet,\bullet}$, there is a canonical construction called the total complex $\operatorname{Tot}(C_{\bullet,\bullet})$ associated to it. This complex can be ...
- 165
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
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