0
votes
1answer
207 views

Global to local for Ext groups and Sheaves

Let $X$ be a projective variety. The sheaf $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$ is supported on $Sing(X)$. Now, there should be a theorem (perhaps by Schlessinger) that says that if $X$ ...
1
vote
1answer
257 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 ...
3
votes
1answer
116 views

Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?

I'm just starting to learn about sheaves, and I'm confused about a certain matter: I've just learned, to my delight, that every sheaf $S$ on a space $X$ is the sheaf of sections of a particular ...
9
votes
1answer
379 views

When do sheaves which are constant along the fibers come from the base?

Assume we are given a map $f: X \rightarrow Y$ between topological spaces which is open, surjective and has (pathwise) connected fibers. Consider categories $\text{Sh}(X)$, $\text{Sh}(Y)$ of sheaves ...
3
votes
1answer
189 views

Coverage, itself considered as a presheaf

A coverage $J$ on a category $C$ assigns to an object $U$ of $C$ a set of covering families $J(U)$. The covering families are required to be stable under pullback, which amounts to requiring that for ...
0
votes
1answer
368 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
1answer
510 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
2answers
384 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 ...
1
vote
2answers
261 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 ...
1
vote
0answers
139 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 ...
9
votes
1answer
728 views

Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?

It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$ versus the sheafification of a pre-sheaf. The definition of the sheaf $\mathscr F^+$ ...
1
vote
0answers
356 views

Fine and acyclic sheaves on locales

Hey all. Here's the thing, so I have a measure space. According to Johnstone's 'Topos theory' (page 213), let $(X,\Sigma,\mu)$ be a measure space, we can define a Grothendieck pretopology on it (and ...
2
votes
2answers
575 views

Are presheaves of constant functions sheaves?

Hey there, 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}$ ...
1
vote
0answers
471 views

The “pullback presheaf” and the proper base change theorem in topology

Let $f:X\rightarrow Y$ be a continuous map of topological spaces and let $\mathcal{F}$ be a sheaf (say of abelian groups to fix the idea) on $Y$. Define the following rule on open sets of $X$: $$ ...
1
vote
1answer
398 views

Question about the definition of a sheaf cohomology group for a sheaf using tensor products of sheaves

In Warner's 'Foundations of differentiable manifolds and Lie groups', in the section about axiomatic sheaf theory (page 178), when establishing the conditions necessary for the existence of a ...
2
votes
1answer
320 views

Does anyone understand the notation in this equation for the sheafification of a presheaf on a site?

Hi there, I'm trying to sheafify a constant presheaf on a site, I went to http://ncatlab.org/nlab/show/sheafification, but can't understand the notation in the equation for W (in the proof for ...
6
votes
1answer
682 views

Sheaves of $\mathbb Z$-modules = sheaves of abelian groups

Hi. In his Algebraic Geometry, Hartshorne proves that for any ringed spaces $(X,\mathcal O_X)$, category $Mod(X)$ of sheaves of $\mathcal O_X$-modules has enough injectives. If we tako $\mathcal O_X$ ...