All Questions
Tagged with spectral-sequences ag.algebraic-geometry
21 questions with no upvoted or accepted answers
27
votes
0
answers
1k
views
Spectral sequences as deformation theory
I believe that running the spectral sequence of a filtered complex / spectrum $ \cdots \to F_n \to F_{n+1} \to \cdots$ can be viewed as doing deformation theory in some very primitive "derived ...
- 64k
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
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
5
votes
0
answers
714
views
Spectral sequence from a stratification by closed subvarieties
I am looking for a reference for the following result: If $X$ is an algebraic variety and
$$X = T_n \supset T_{n-1} \supset \cdots \supset T_{-1} = \varnothing$$
is a stratification (edit: filtration) ...
5
votes
0
answers
264
views
Spectral sequences and hypercohomology for projective space
Suppose we are given a complex of sheaves on $\mathbb P^N$ in which every term is direct sum of invertible sheaves:
$$
\mathcal F^\bullet = \dots \to \oplus_{j=1}^{n_{p-1}} \mathcal O (k_j^{p-1}) \...
user80337
4
votes
0
answers
240
views
Exact sequence in example in Grothendieck's Tohoku paper resulting from the Cech-to-derived-functor spectral sequence
Grothendieck gives in his Tohoku paper in example 3.8.3 an example for that $\check{\mathrm{H}}^{2}(X,\mathcal{F}) \neq \mathrm{H}^{2}(X,\mathcal{F})$.
In the beginning he states that there exisits ...
- 141
4
votes
0
answers
343
views
Does hypercohomology of the Koszul complex compute sheaf cohomology?
Let $i:X \to \mathbb{P}^n$ be a smooth projective variety defined by the vanishing locus of polynomials $(\underline{f}) = (f_1,\ldots,f_k)$ which have degrees $>0$ and are pairwise coprime, ...
- 1,716
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 ...
- 16.9k
3
votes
0
answers
226
views
Does Leray Spectral sequence degenerates at $E_2$ over product of curves
Let $C$ be a smooth, projective curve (can assume to be rational) and $X:=C \times C$. Denote by $p:X \to C$ one of the two natural projections. Let $E$ be a vector bundle on $X$. Is it true that,
$$...
- 2,032
3
votes
0
answers
506
views
Degeneration of relative Hodge-de Rham spectral sequence
$$\require{AMScd}$$
$$\newcommand{\CC}{\mathbb{C}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\Hdr}{H_{\mathrm{dRh}}}
\newcommand{\tensor}{\otimes}
\newcommand{\Ohol}{\mathcal{O}}$$
Please excuse that ...
- 708
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
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
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
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
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
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
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 ...
- 101
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 ...
- 1,713