Skip to main content

Questions tagged [spectral-sequences]

Filter by
Sorted by
Tagged with
1 vote
1 answer
138 views

Relation between $G_0(X)$ and $\mathrm{Cl}(X)$ for a normal variety $X$

Let $k$ be an algebraically closed field and $X$ be a normal variety over $k$. I am trying to show that there is a surjective group homomorphism $G_0(X)\rightarrow \mathbb{Z}\oplus \mathrm{Cl}(X)$, by ...
Boris's user avatar
  • 639
1 vote
1 answer
551 views

Borel's transgression theorem for spectral sequences

My question is about part of the Borel Transgression Theorem on spectral sequences, translated from [1, Theorem 13.1] (see also [2] for a translated version of the whole paper): Let $B^\bullet := \...
user avatar
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 ...
a student's user avatar
1 vote
1 answer
728 views

A Question on McCleary's book on Spectral Sequences

I am reading John McCleary's A User's Guide to Spectral Sequence and was quite confused about one result: On page 15 of the version I was reading, it says that if $E^{\star,\star}_2$ is the bigraded ...
Zuriel's user avatar
  • 1,108
1 vote
0 answers
87 views

The derived exact couple of an exact couple without chasing elements

$\def\Ker{\operatorname{Ker}} \def\Im{\operatorname{Im}}$Given an exact couple $(A,E,\alpha,f,g)$ in some abelian category, we define its derived exact couple $(A',E',\alpha',f',g')$ to be $A'=\alpha ...
Elías Guisado Villalgordo's user avatar
1 vote
0 answers
101 views

Categorification of spectral sequence

All sorts of things are categorified. What about spectral sequences? Question: What is a categorification of a spectral sequence? Talking through my hat, I could imagine an $\infty$-category (...
Bugs Bunny's user avatar
  • 12.4k
1 vote
0 answers
78 views

A question about the localization theorem of Borel-Hsiang and spectral sequence

Suppose that $T$ is a torus acting on a topological space $X $. Let $T\longrightarrow E_{T}\longrightarrow B_{T}$ be the universal $T$-bundle. Let $X\longrightarrow X_{T}\longrightarrow B_{T}$ be the ...
Mehmet Onat's user avatar
  • 1,367
1 vote
0 answers
107 views

Spectral sequence for a truncated semi cosimplicial space

Consider the simplicial indexing category $\Delta$. Now, let's denote the subcategory consisting of injections as $\Delta_{inj}$. When we're dealing with a cosimplicial space, which is essentially a ...
happymath's user avatar
  • 177
1 vote
0 answers
86 views

Image of the boundary maps in the homological spectral sequence of a filtration of a chain complex

I'm trying to understand the construction of the homological spectral sequence of a filtration given in C.A.Weibel ''An introduction to homological algebra''. Here, they start with a filtration of a ...
Marcos's user avatar
  • 911
1 vote
0 answers
167 views

Spectral sequence for two fibrations

Given maps of fibrations, i.e. commutative diagrams of smooth manifolds $$\begin{matrix} \ F & \to & E &\to & B \\\ \downarrow & & \downarrow & & \downarrow \\\ \ F'...
UserIn's user avatar
  • 103
1 vote
0 answers
93 views

Spectral sequences associated to cohomologies of simplicial type and derived-functor type: Proof of convergence

Assume I have two cohomology theories $\mathrm{\tilde{H}^{*}}$ and $\mathrm{H^{*}}$, the latter being defined over a Grothendieck site $X$ as the derived functor of some left-exact covariant functor $\...
The Thin Whistler's user avatar
1 vote
0 answers
165 views

spectral sequence Ext(R/I,H^g(M)) => Ext^{p+q}(R/I,M)

I am reading papers of Local cohomology and came across some spectral sequences. I then started reading about spectral sequences from Rotman's book. I havent finished reading the chapters on spectrals ...
dongrugose's user avatar
1 vote
0 answers
160 views

Diagrams filled by the edge homomorphism of the Grothendieck spectral sequence

Suppose $A,B,C,D,Z$ are abelian categories. Let $G:C\longrightarrow D$, $F:D\longrightarrow Z$, $P:C\longrightarrow A$, $G':A\longrightarrow B$, $P':D\longrightarrow B$ and $F':B\longrightarrow Z$ are ...
Pritthijit Biswas's user avatar
1 vote
0 answers
222 views

Cohomology spectral sequence of a CW complex filtered by its skeletons

Let $X$ be a CW complex. Suppose, $$\emptyset\subset X^0\subset X^1\subset \cdots \subset X^p\subset \cdots \subset X= \bigcup_{i=0}^{\infty} X^i,$$ is a filtration of $X$ by its skeletons $X^i$. Now ...
Uncool's user avatar
  • 191
1 vote
0 answers
132 views

On the dual version of an isomorphism of spectral sequence term (from Cartan and Eilenberg)

I'm trying to take spectral sequences as a black box for application in commutative algebra and I admit that I haven't really gone through (or understand) all the proofs of all the isomorphisms ...
sdey's user avatar
  • 642
1 vote
0 answers
331 views

When the local system of coefficients are simple in the Leray-Serre spectral sequence

Let $F\to E\to B$ a fibration and $\{E_{r}^{\ast,\ast},d_{r}\}$ the Leray-Serre Spectral sequence converging to $H^{\ast}(E;R),$ such that $$E_{2}^{p,q}=H^{p}(B;\mathcal{H}^{q}(F;R))$$ is the ...
Alphatha's user avatar
1 vote
1 answer
331 views

Spectral sequence associated with a Postnikov tower (Solved by myself)

Suppose $E$ is an $S^1$-spectra of simplicial Nisnevich sheaves. For any $r\in\mathbb{Z}$, we have a distinguished triangle $$E_{\geq r+1}\longrightarrow E_{\geq r}\longrightarrow F_r\longrightarrow ...
Nanjun Yang's user avatar
1 vote
0 answers
174 views

Characterization of weakly convergence of spectral sequences

Let $C$ be a chain complex (in any abelian category) and let $\{F_p\}$ be a decreasing filtration of $C$. It induces a filtration on the homologies of $C$, given by $$F_pH=im(H(F_p)\rightarrow H(C)),$$...
Rafael's user avatar
  • 183
1 vote
0 answers
91 views

non zero differential in a spectral sequence

This is the situation: Let $A = R_* \otimes C_*$ be an $R$-module where $C_*$ is a finitely generated graded ($*\geq 0$) vector space over a field $F$ which is also bounded above, and $R$ is a ...
Vitolo's user avatar
  • 81
1 vote
0 answers
43 views

Spectral sequence with a column isomorphic to its homology

I have a first-quadrant spectral sequence $E^r_{p, q}$ of abelian groups of finite rank converging to $E^{\infty}_{p, q}$. We have $E^{\infty}_{p, q}=E^{\infty}_{r, s}$ if $p+q=r+s$. We also have $E^...
misha's user avatar
  • 287
1 vote
0 answers
112 views

Reference request for Leibniz rule and spectral sequences

Suppose $A_*$,$B_*$, and $C_*$ are chain complexes equipped with filtrations and a map $m:A_* \otimes B_* \to C_*$ respecting these filtrations. I am looking for a reference for the fact that the map $...
eeeeee's user avatar
  • 41
1 vote
0 answers
91 views

Continuous maps vs filtrations construction of the Leray spectral sequence

The Leray spectral sequence of a continuous map $f : X \to Y$ between two topological spaces can be constructed, as far as I understand, in two ways, one very general, and the other a bit more ...
BrianT's user avatar
  • 1,227
1 vote
0 answers
122 views

maps between two Leray spectral sequences based on maps on cochain complexes

Let $f_1:X_1 \to Y_1$ and $f_2:X_2 \to Y_2$ be two continuous maps between topological spaces. I am trying to understand under what condition there could be a map relating the Leray spectral sequences ...
BrianT's user avatar
  • 1,227
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 ...
Samarkand's user avatar
  • 1,129
1 vote
0 answers
132 views

Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...
user052715's user avatar
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 $$...
Jens Reinhold's user avatar
1 vote
0 answers
184 views

A naturality question concerning the universal coefficient spectral sequence

I am reading Hillman's book "algebraic invariants of links" and on page 20 he mentions the following universal coefficient spectral sequence. Let X be a connected finite CW complex.Let $H$ be a ...
Anthony Conway's user avatar
1 vote
0 answers
135 views

Spectral sequence and HOM functor

I work with the category $A-{\rm Mod}$ of left modules over a unital ring $A$, but I could ask the same question for any abelian category with enough projectives. Let $M$ and $N$ be two $A$-modules ...
Paul Broussous's user avatar
1 vote
0 answers
561 views

Profiniteness Condition for Hochschild-Serre Spectral Sequence?

This question may seem elementary to experts but I am quite confused about it: According to the entry of Lyndon–Hochschild–Serre spectral sequence on wikipedia, for a group extension $1\to N\to G\to ...
Zuriel's user avatar
  • 1,108
0 votes
1 answer
238 views

Infinite dimensional homology and spectral sequences

I am new to spectral sequences, so I'm not sure about the difficulty of this question. Suppose we have a filtration of a chain complex $\emptyset=D_{-1}\subset D_{0}\subset D_1\subset\dots D_n= C$ and ...
Marcos's user avatar
  • 911
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,\...
miss-tery's user avatar
  • 755
0 votes
2 answers
226 views

sequence, such that sum of any combinations in the sequence does not equal another [closed]

Hi, Is there any known sequence such that the sum of a combination of one subsequence never equals another subsequence sum. The subsequences should have elements only from the parent sequence. ...
jyotirmoy sundi's user avatar
0 votes
1 answer
800 views

Spectral sequence for composition of global sections and tensor product of sheaves

Hi all, on the forum page http://www.groupsrv.com/science/about506648.html one can read the following (i cut out nonimportant parts): Question: Does anyone know any condition (non trivial) that ...
Joachim's user avatar
  • 479
0 votes
0 answers
80 views

Relation between Chow groups and K theory

I am reading about Chow groups and algebraic K-theory of schemes. I get to know that for smooth schemes the re is a strongly convergent spectral sequence $$E_2^{p,q} = CH^{-q}(X,-p-q) \implies K_{-p-q}...
KAK's user avatar
  • 613
0 votes
0 answers
47 views

Generalized edge map in spectral sequence of double complex

suppose we have a cohomologically indexed double complex $C^{\bullet,\bullet}$ with its spectral sequence $$E_2^{p,q}=H^p_{vert}(H^q_{horiz}(C))\Rightarrow H^{p+q}(C)$$ and suppose that the horizontal ...
xir's user avatar
  • 2,054
0 votes
0 answers
185 views

Interpreting the edges in the Serre spectral sequence

Let $F \hookrightarrow E \stackrel{\pi}{\rightarrow} B$ be a fiber bundle. For simplicity, assume that $F$ is connected, that $B$ is $1$-connected, and that $B$ is a CW complex. Consider the Serre ...
SpectralSequenceGuy's user avatar
0 votes
0 answers
160 views

Splitting of Atiyah-Hirzebruch Spectral Sequence

Suppse E is a cohomology theory which has Kunneth Formula, i.e $ E(A \wedge B)= E(A) \otimes_{E(pt)} E(B) $. What happens to the Atiyah Hirzebruch Spectral sequence while we compute $ E(A \wedge B) $?...
Monkey.D.Luffy's user avatar
0 votes
0 answers
448 views

Behavior of Ext under base change

Let $x$ be a nonzerodivisor on a local Noetherian ring $(R,m).$ Let $M,N$ be finitely generated $R/xR$-modules. How to show the existence of the following exact sequence $\cdots\longrightarrow ...
Cusp's user avatar
  • 1,713

1
4 5 6 7
8