All Questions
12 questions
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
6
votes
1
answer
518
views
Leray spectral sequence and pullbacks
I am trying to find a reference for the following well-known result on the functoriality of the Leray spectral sequence:
Let $\pi:X\to Y$ and $\pi':X'\to Y'$ be morphisms of schemes and denote by $E_2^...
- 177
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 $\...
- 1,805
9
votes
1
answer
748
views
In the not necessarily abelian cat setting, is there a Grothendieck spectral sequence for computing the homotopy of a composition of derived functors?
Recall the Grothendieck spectral sequence which computes the homology groups of a composition of left derived functors $F$ and $G$ on abelian categories:
\begin{align*}
E_{p,q}^{2}(A)=L_{p}G\circ L_{q}...
- 301
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
7
votes
0
answers
374
views
Arbitrarily non-degenerate Hodge to de Rham spectral sequence
It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...
- 7,377
6
votes
0
answers
366
views
Transgression map spectral sequence of Ext
Let $X$ be a scheme over $k$ and $p:\ X \to Spec(k)$ the structure morphism. If $M$ is an étale sheaf of abelian groups over $Spec(k)$ I have a Grothendieck spectral sequence $$E^{p,q}_2=Ext^p_k(M,R^...
- 111
17
votes
2
answers
1k
views
Grothendieck spectral sequence when one of the functors is contravariant
Let $f \colon X \rightarrow S$ be a morphism of schemes. I am interested in computing the cohomology groups of
$$
\mathbf{R}\mathscr{H}om(\mathbf{R}f_* \mathcal{O}_X, \mathcal{O}_S)
$$
in terms of $\...
- 2,663
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
10
votes
0
answers
813
views
On functoriality of the Leray spectral sequence
The Leray spectral sequence is functorial in the following sense: given a commutative square of spaces,
$$\begin{matrix} A & \to & B \\ \downarrow & & \downarrow \\ C & \to & D ...
- 40.3k
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 ...
- 479
5
votes
1
answer
3k
views
Question about hypercohomology / spectral sequence of a complex of "almost-acyclic" sheaves
I have a very particular situation involving a (non-exact) complex $K$ of coherent sheaves on a nonsingular projective variety $X$, and I need to compute the hypercohomology of the complex. The ...
- 545