All Questions
Tagged with sheaf-cohomology ag.algebraic-geometry
221 questions
21
votes
2
answers
1k
views
Cohomologically trivial stacks
The following theorem of Serre is well-known:
A noetherian scheme $X$ is affine if and only if $H^i(X; \mathcal{F}) = 0$ for all quasi-coherent sheaves $\mathcal{F}$ on $X$ and all $i>0$. (...
- 12.1k
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
2
votes
2
answers
645
views
Vanishing of Ext group
Let $C$ be a cartier divisor on a smooth projective surface in $\mathbb{P}^3$. Then we get the short exact sequence $$0 \to \mathcal{O}_X(-C) \to \mathcal{O}_X(-C_{red}) \to F \to 0$$
for some sheaf $...
- 1,070
4
votes
0
answers
447
views
Cohomology of a sheaf with only one stalk
Let $X$ be a proper scheme over a henselian discrete valation ring. I have a Nisnevich sheaf $F$ of which has only one stalk at the generic point of $X$ (and all other stalks vanish).
I believe that ...
- 1,553
10
votes
4
answers
3k
views
Cohomology of line bundles
For sure answers to my questions are well known - but I never saw them anywhere.
Let $X$ be a smooth projective (or just proper) variety over an algebraically closed field $k$. Let $A_i$ be the ...
- 16.2k
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
2
answers
315
views
Cohomology groups interpreted as sheafs
Hi Folks,
I just came across a few lines where a (sheaf-)cohomology group of a scheme is treated as a sheaf. I've never seen this in Hartshorne.
Could you give any reference for this?
Thanks
Steven
- 13
4
votes
0
answers
362
views
Weil Kostant Integrality Result as Stated by Brylisnki
I'm reading through Brylinski's "Loop Spaces, Characteristic Classes and Geometric Quantization" and I am stuck on a piece of Theorem 2.2.15, which asserts that If $K$ is a closed complex-valued 2-...
- 1,611
9
votes
1
answer
509
views
Deducing properness from $H^i(X, \mathcal{F})$ finitely generated over $\Gamma(O_X)$
Suppose that $X$ is a quasi-projective variety over a field $k$ and that we further know that for every coherent sheaf $\mathcal{F}$, $H^i(X,\mathcal{F})$ is finitely generated over $\Gamma(O_X)$. Is ...
- 3,758
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
7
votes
1
answer
1k
views
Are injective quasi-coherent modules acyclic?
Let $X$ be a scheme and $F$ be an injective object of $\mathrm{Qcoh}(X)$. Is it true that $F$ is acyclic with respect to the usual sheaf cohomology?
For noetherian schemes $X$ this is well-known; ...
- 63.1k
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 ...
- 887
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 $...
- 1,889
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 ...
- 16.9k
7
votes
1
answer
1k
views
Basic properties of Nisnevich cohomology; $l'$-topology?
I would like to know more about Nisnevich cohomology (especially, on its properties that could be easily formulated). In particular, I would like to know which of the following statements are true, ...
- 16.9k
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
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
15
votes
5
answers
6k
views
Non-cohomological proof that the pullback of an ample bundle by a finite morphism is ample
It is a standard fact that for any finite morphism of proper Noetherian $A$-schemes ($A$ being Noetherian), the pullback of an ample line bundle is ample. The usual proof of this fact is via Serre's ...
- 7,338
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