All Questions
Tagged with sheaf-theory sheaf-cohomology
123 questions
2
votes
0
answers
306
views
Cech cohomology.
Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with $U_{\...
- 181
4
votes
1
answer
263
views
Relating deformations of a scheme to deformations of its singular locus
Let $X$ be a normal scheme with quotient singularities and $Y\subset X$ its singular locus. The first order deformations of $X$ are parametrized by $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$. ...
- 8,998
4
votes
0
answers
110
views
Convolution of DQ-Modules
On page 92 of Deformation Quantization Modules Kashiwara and Schapira define two different convolution products for DQ-modules that differ by whether one uses $Rp_{13*}$ or $Rp_{13!}$ to push forward....
- 41
4
votes
1
answer
601
views
Explicit examples presheaves associated to higher direct images which fail to be sheaves
So I would like to have a few simple examples where the presheaf associated to higher direct image of sheaf fails to be sheaf. So I'm looking for two (natural and simple) topological spaces $X$ and $Y$...
- 7,609
3
votes
1
answer
3k
views
Cohomology of tangent bundles
Let $X$ be a smooth scheme and $Z\subset X$ a smooth subscheme. Consider the blow-up
$$\pi:\widetilde{X}:=Bl_{Z}X\rightarrow X$$
of $X$ along $Z$.
What is the relation between the cohomology of the ...
- 8,998
2
votes
1
answer
293
views
global sections of higher direct images of étale sheaves
Is there a useful criterion for when $\Gamma(X, R^qf_*F) = H^q(X',F)$, $f: X' \to X$, $F$ an étale sheaf on $X'$?
user19475
4
votes
1
answer
478
views
Euler Characteristic of Coverings via Sheaf Theory
Let $X$ be a nice space (compact $CW$-complex or triangulated space, compact manifold, whatever works),
$f:Y\to X$ be a finite covering of degree $n$, and $\chi(X)$ be the euler characteristic.
By the ...
- 2,554
1
vote
2
answers
298
views
Terminology: complex of sheaves with cohomology sheaves concentrated in degree zero
What is the proper terminology for a complex of sheaves $\mathcal F^\bullet$ whose homology sheaves $\mathcal H^i\mathcal F^\bullet$ vanish for $i\ne 0$?
- 18.7k
10
votes
1
answer
2k
views
When does the sheaf cohomology of a topological space vanish?
The question is in the title. A more precise formulation is:
Let $X$ be a topological space. When does $H^i(X,F) = 0$ for all $i > 0$ and all abelian sheaves $F$ on $X$?
The obvious example is a ...
- 281
1
vote
0
answers
101
views
How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?
For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\...
- 16.9k
6
votes
2
answers
385
views
cohomology and $j_!$
I have a projective variety $X$ and an open immersion $j : U \to X$.
Say I have a sheaf, locally free in my case of interest, $\mathcal{S}$ on $U$. Is there any reasonable relationship between $H^i(X,...
- 758
1
vote
0
answers
238
views
why is the local field Q_l not an etale sheaf over a scheme X?
I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?
- 11
1
vote
1
answer
443
views
Is this Sequences of Complexes of Sheaves Exact?
So in another question of mine there is a sequence of complexes of sheaves which the author asserts is exact.
Let $K^{\bullet} = \underline{\mathbb{C}}^* \ \underrightarrow{d\ log} \ \underline{...
- 1,611
1
vote
2
answers
398
views
Cohomology of a cochain complex of acyclic sheaves
Ok, sort of as a follow up to my previous question, let's recall the de Rham-Weil theorem:
Let $F$ be a sheaf on a topological space $X$ and let $\mathcal{L}^{\bullet}$ be an acyclic resolution of $F$....
- 360
8
votes
2
answers
684
views
Is $H^i(X,F)$ finitely generated over $\Gamma(O_X)$ if $F$ is coherent?
Suppose $\mathcal{X}$ is a smooth quasi-projective variety over $\mathbb{C}$ (I apologize if these hypotheses have little to do with the question at hand). Let $\mathcal{F}$ be a coherent sheaf on $\...
- 3,758
5
votes
1
answer
468
views
Derived Equivalence of Sheaves and Homotopy
This question loosely elaborates on an earlier question. It is pretty silly, but I'd like to hear some authoritative answers.
Recall that if $f:S^{\bullet}\to T^{\bullet}$ is a quasi-isomorphism of ...
- 2,684
0
votes
0
answers
186
views
Do infinitesimal neighbourhoods help to compute the inverse images of coherent sheaves?
Let $i:Z\to X$ be a closed embedding of (projective) varieties; $S$ is a coherent sheaf on $X$. How could one compute $H^*(Z,i^\ast S)$ (I don't know whether I should write $H^\ast (Z,i^{-1}S)$ ...
- 16.9k
1
vote
0
answers
249
views
On inverse images with respect to Zariski-etale topology.
For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
- 16.9k
6
votes
1
answer
954
views
Sheaves with isomorphic cohomology, but not quasi-isomorphic
Suppose I have two (constructible) sheaves of vector spaces $F$ and $G$ over the same base space that have isomorphic cohomology (degree by degree), but no sheaf map inducing this isomorphism (i.e. ...
- 2,684
0
votes
1
answer
382
views
The behavior of pure sheaves under functor Hom( F, -)
We know that a submodule A of B is pure if and only if the functor $Hom(M, -)$ is exact on the sequence
$ 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$
for every finitely presented module ...
- 55
8
votes
0
answers
370
views
Dualizing complex of the product of two locally compact spaces
Hello!
In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...
- 2,756
5
votes
0
answers
374
views
Sheaf Cohomology on Zariski-Riemann Spaces
Can sheaf cohomology on the Zariski-Riemann spaces give some sort of classification for field extensions (even just for function fields)? If not, are there any significant or useful results (e.g. for ...
- 468
62
votes
8
answers
14k
views
Sheaf cohomology and injective resolutions
In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
user709