All Questions
Tagged with homological-algebra sheaf-theory
77 questions
6
votes
1
answer
2k
views
Information and intuition packed in the Chern character for coherent sheaves
even after quite some time learning it, I still get somehow puzzled by the Chern character. Let me recall some stuff to get notation and setting.
Let us consider a smooth projective algebraic variety ...
3
votes
1
answer
515
views
For what kind of sheaves can we always extend a sheaf map from a closed subset to the whole space?
Let $X$ be a topological space. We know that a sheaf on $X$ is call soft if for any closed subset $Z$ of $X$, a section on $Z$ can be always extend to a section on $X$.
Now we consider a similar ...
3
votes
0
answers
422
views
What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?
It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor $\text{Hom}_{\text{Qcoh}(X)}(\...
3
votes
0
answers
115
views
Characterization of global sections (which are not products) of a sheaf which is locally a product
In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...
0
votes
1
answer
519
views
A functorial isomorphism in derived category
This question is a direct continuation of Question 1 in this post: Two basic questions on derived categories
Let $f\colon \mathcal{A}\to\mathcal{B}$ be a left exact functor between two abelian ...
4
votes
2
answers
809
views
Two basic questions on derived categories
Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon \mathcal{A}...
4
votes
0
answers
367
views
Cohomological dimension of the category of sheaves
Let $X$ be an $n$-dimensional manifold. Then for any sheaf $\mathcal{F}$ on $X$, the cohomology $H^i(X; \mathcal{F})$ vanishes for $i > n$.
Let $k$ be a field, and let $\mathrm{Shv}_k(X)$ be the ...
0
votes
0
answers
421
views
Split and pure exact sequence of sheaves
Let $X$ be a topological space and
$$\varepsilon \ :\ 0 \to A \to B \to C \to 0$$
be an exact sequence of sheaves of ${\cal O}_X$-modules. $\varepsilon$ is said to be pure if
for each point $x\in X$,...
7
votes
2
answers
611
views
Are subfunctors of left exact functors also left exact?
Consider the direct image functor $f_*: Sh(X) \rightarrow Sh(Y)$, let $X$ and $Y$ be topological spaces, let $f: X \rightarrow Y$ be a continuous map, let $G \in Sh(X)$ be a sheaf. I was reading this ...
2
votes
1
answer
2k
views
Does the Čech cohomology always yield long exact sequences from short ones?
Does the Čech cohomology always give rise to a long exact sequences given a short exact sequence of sheaves?
Clearly that cannot occur for sheaves on a paracomact (perhaps also Hausdorff, I'm not ...
4
votes
1
answer
781
views
Restricting a Soft Sheaf to an Open is again Soft?
Hi everyone! Answered to my satisfaction in the comments - thanks nosr and Jacob Bell! :)
Let $X$ be Hausdorff, locally compact, paracompact. Consider $\mathcal{F}$ a soft sheaf on $X$: as there are ...
1
vote
1
answer
1k
views
Sheaf Hom and the functor Hom
Let $\varepsilon: 0\to A\to B \to C\to 0$ be an exact sequence of ${\cal O}_X$-modules with $X$ a quasi-compact space. $\varepsilon$ is called pure if the induced sequence
$0\rightarrow Hom(F,A)\...
8
votes
1
answer
586
views
Injective objects in Mor(Ab)
Consider the abelian (Grothendieck) category $\mathcal{C} := \mathrm{Fun}(\{0<1\},\mathrm{Ab}) = \mathrm{Mor}(\mathrm{Ab})$. Objects are morphisms $(A \to B)$ of abelian groups, morphisms are ...
1
vote
1
answer
1k
views
Spectral sequences in Hypercohomology of sheaves (For a complex of acyclic sheaves) - Follow-up to previous question
Alright, this is a follow-up to my previous question (Spectral sequences in Hypercohomology of sheaves), sorry I took so long to reply. Let $X$ be a topological space, let $F^\bullet$ be a cochain ...
2
votes
1
answer
1k
views
Spectral sequences in Hypercohomology of sheaves
Alright, here I go again, don't know if I'm missing something here but let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I want to compute the cohomology of this ...
1
vote
2
answers
1k
views
Hypercohomology of a complex of sheaves that might be acyclic (or might not)
Back again, check this out, let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I'm trying to compute the cohomology of the complex of global sections of the sheaves
...
10
votes
3
answers
2k
views
Where can I find a proof of the de Rham-Weil theorem?
Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?
1
vote
0
answers
202
views
Soft sheaves on indiscrete paracompact spaces
Let $X$ be some space, I have basically 2 questions:
1 - Are sheaves on paracompact but not Hausdorff spaces acyclic? I've been doing some reading and some authors say that soft sheaves on ...
5
votes
2
answers
3k
views
Are presheaves of constant functions sheaves?
I was reading 'An introduction to homological algebra' by Rotman, and on page 279 in the section about sheaves, example 5.64, Rotman gives an example of a constant presheaf $\mathcal{P}$ that's not ...
3
votes
2
answers
552
views
Projectivity of free O_X modules with respect to the sheafy hom?
I've heard that given a ringed topos $(X,\mathcal{O}_X)$, the functor $Hom_{\mathcal{O}_X-\operatorname{Mod}}(\mathcal{O}_X, -)$ often fails to be exact. Is this only the case for the unenriched hom (...
20
votes
0
answers
3k
views
Idea of presheaf cohomology vs. sheaf cohomology
Let $X$ be a topological space and $U$ an open cover of $X$.
In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology:
The zeroth Cech ...
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 ...
5
votes
2
answers
830
views
Closed monoidal structure on the derived category of sheaves
Given a topological space X, i'd like to find Der X - the derived category of sheaves of abelian groups on X - to be a closed monoidal category. Hom should be cohomological and the internal-hom should ...
20
votes
5
answers
2k
views
Equivalence of ordered and unordered cech cohomology.
Given a topological space X and a finite cover X = $\cup X_i$, one can define Cech cohomology of a sheaf of abelian groups F with respect to the cover $\{X_i\}$ in two different ways:
(Ordered): ...
35
votes
5
answers
4k
views
Heuristic explanation of why we lose projectives in sheaves.
We know that presheaves of any category have enough projectives and that sheaves do not, why is this, and how does it effect our thinking?
This question was asked(and I found it very helpful) but I ...
48
votes
8
answers
8k
views
When are there enough projective sheaves on a space X?
This question is being asked on behalf of a colleague of mine.
Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
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 ...