Questions tagged [sheaf-cohomology]
The sheaf-cohomology tag has no usage guidance.
364 questions
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 $\...
2
votes
2
answers
579
views
sheaves for which the derived (compact or not) pushforward is zero
Conventions: sheaf = complex of constructible sheaves (in the l-adic setup with etale tplg or in the complex coefficients setup with analytical tplg).
I would like to understand if there is an ...
4
votes
2
answers
858
views
If $f: X \to Y$ is a finite flat morphism of schemes, $g: Y \to Z$ is a proper morphism of relative dimension one, $Z$ is affine and $E$ is a vector bundle on $Y$ with $R^1g_*E=0$ then $H^1(X,f^*E)=0$?
Let $f: X \to Y$ and $g: Y \to Z$ be morphisms of schemes* such that f is flat and finite, g is proper and $R^{> 1}g_*E=0$ for all sheaves and Z is affine.
Let E be a vector bundle on Y such that $...
2
votes
0
answers
151
views
Intersections of components of 'simple' ('local") Zariski coverings
I would like to study the ordered Cech cohomology with respect to a Zariski covering of a variety. I can pass to the limit with respect to refinements; the components of the 'limit covering' will be ...
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 ...
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)$ ...
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 ...
2
votes
0
answers
238
views
Non-realizable CR structures?
Hill, Penrose, and Sparling have an example of a non-realizable CR structure, a 5-manifold $M^5$ that comes equipped with a "twisted version" of the Lewy operator for the quadric $Q^2$,
$v = \frac{1}{...
4
votes
0
answers
166
views
orientations on a stratified space
For this question let $k$ be any field of characteristic not equal to $2$ and $X$ a stratified space whose strata are topological manifolds. I'm not sure what the definition of "stratified space" ...
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. ...
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 ...
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 ...
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 ...
32
votes
3
answers
4k
views
How should a homotopy theorist think about sheaf cohomology?
As a student of homotopy theory or algebraic topology, I have a certain outlook as to how one ought to think of a cohomology theory. There are axioms that help us with rudimentary computations, there ...