Skip to main content

All Questions

19 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
14 votes
0 answers
404 views

Computations using "Stover's spectral sequence"

In this article from 1990, Stover describes a specral sequence which converges to the higher homotopy groups of the homotopy colimit of a diagram $\underline{X}$ of topological spaces. The second ...
Matt's user avatar
  • 208
8 votes
0 answers
267 views

A diagram in the proof of Theorem 2.5.5 of 'Cohomology of Number Fields' and the Tate Spectral Sequence

I've been reading the book 'Cohomology of Number Fields' for years. But I couldn't check the commutativity of the diagram on page 126 until now. So I ask for help. The diagram is induced by taking ...
gualterio's user avatar
  • 1,013
6 votes
0 answers
723 views

On the multiplicative structure in spectral sequences.

Let $f\colon X \rightarrow Y$ be a continuous map of sufficiently nice topological spaces (say, smooth manifolds). Let ${\cal F}=(\dots\rightarrow F_i \rightarrow F_{i+1}\to \dots)$ be a bounded ...
asv's user avatar
  • 21.8k
6 votes
0 answers
418 views

The Hochschild-Serre spectral sequence relative to an ideal containing the derived subalgebra

Is the Hochschild-Serre spectral sequence $$H_\bullet(\mathfrak g/\mathfrak h,H_\bullet(\mathfrak h,k))\Rightarrow H_\bullet(\mathfrak g,k)$$ for an extension of Lie algebras $$0\to\mathfrak h\to\...
Mariano Suárez-Álvarez's user avatar
5 votes
0 answers
521 views

Spectral sequences coming from filtrations (Postnikov systems) in triangulated categories: references and convergence

Let $c^i: M^{\ge i+1}\to M^{\ge i}$ for $i\in \mathbb{Z}$ be an sequence of morphisms in a triangulated category $C$ and assume that $M^{\ge i}$ are equipped with compatible morphisms into an object $...
Mikhail Bondarko's user avatar
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 ...
Ralph's user avatar
  • 16.2k
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 ...
Eric's user avatar
  • 301
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 ...
Mikhail Bondarko's user avatar
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'...
Pulcinella's user avatar
  • 5,711
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, ...
Filippo Alberto Edoardo's user avatar
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 ...
ort96's user avatar
  • 404
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\...
asv's user avatar
  • 21.8k
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 ...
user43326's user avatar
  • 3,051
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 ...
PrimeRibeyeDeal's user avatar
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
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
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
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