The sheaf-theory tag has no usage guidance.

**1**

vote

**1**answer

351 views

### Descent of Morphisms of Sheaves

While reading Brylinski I am trying to understand the descent of morphisms of sheaves.
In trying to form a new definition of a presheaf $A$ over a space $X$, we associate to each surjective local ...

**3**

votes

**1**answer

139 views

### Which limits are preserved by prolongation of presheaves?

Let $F:C \to D$ be a full and faithful functor between small categories. Then we get a triple of adjoint functors $F_! \dashv F^* \dashv F_*$, with $$F_!:Set^{C^{op}} \to Set^{D^{op}}.$$
Notice that ...

**29**

votes

**3**answers

2k views

### What are the benefits of viewing a sheaf from the “espace étalé” perspective?

I learned the definition of a sheaf from Hartshorne---that is, as a (co-)functor from the category of open sets of a topological space (with morphisms given by inclusions) to, say, the category of ...

**9**

votes

**3**answers

1k views

### Sheafification - Why does twice suffice?

Hi,
I'm currently reading through "Sheaves in Geometry and logic" by Mclane-Moerdijk and this one issue has been bugging me for a long time, which I hope you could help me resolve.
It is known that ...

**0**

votes

**1**answer

489 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 ...

**1**

vote

**1**answer

305 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} \ ...

**8**

votes

**2**answers

623 views

### Example of a Sheaf (on the site of smooth manifolds) with Nontrivial Cohomology on $\mathbb{R}^n$?

Does such a sheaf of abelian groups exist? If not, is there a reference or a proof? Does such a sheaf of non-abelian groups exist?
I realized recently that while I've taken it for granted that ...

**2**

votes

**1**answer

590 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

463 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
...

**2**

votes

**1**answer

235 views

### How does torsion behave under the direct image functor?

Assume we have a finite morphism $f: X\rightarrow Y$ of smooth projective varieties of degree $d$ over $k=\mathbb{C}$. Then $f_{*}$ induces an equivalence between the categoy of coherent $O_X$-modules ...

**1**

vote

**2**answers

275 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 ...

**7**

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?

**18**

votes

**5**answers

833 views

### Sheafification via hypercovers

The sheafification of a presheaf on a site is often constructed in a two-step process $X^{++}$, where $X^+$ consists of matching families in $X$, is always separated, and is a sheaf if $X$ is ...

**7**

votes

**2**answers

1k views

### Is Sheafification Functor Exact?

I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology.
My question is:
...

**1**

vote

**1**answer

237 views

### Do Categorical Quotients Preserve Covering Maps?

Before asking a question, please let me write down settings.
SETTINGS:
Let $C$ be a category with fiber products and $B$ be a closed subcategory of $C$ (i.e. $B$ contains any isomorphism of $C$, and ...

**7**

votes

**2**answers

458 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 ...

**66**

votes

**5**answers

4k views

### Is there a sheaf theoretical characterization of a differentiable manifold?

I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a ...

**5**

votes

**0**answers

314 views

### Do 'change of coefficients' functors for sheaves commute with the four functors (formalism)?

For a morphism $f$ of varieties over a field of characteristic $\neq l$ I can consider the functors $Rf_*$, $f^\ast$, $f_!$, and $f^!$ both for the corresponding derived categories of 'all' ...

**1**

vote

**0**answers

149 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 ...

**13**

votes

**3**answers

733 views

### Necessity of hypercovers for sheaf condition for simplicial sheaves

I'm trying to understand where the definition of simplicial sheaf on a space/site comes from.
For a presheaf $F$ of sets on a topological space $X$, the sheaf condition can be viewed as saying that ...

**2**

votes

**0**answers

484 views

### What essential property justifies the name “derivative”?

Most, if not all, of the notions of derivative that I have so far seen have the property that they are locally defined -- meaning that the derivative of a map-type object at a point depends on the map ...

**0**

votes

**1**answer

226 views

### Direct limit of sheaves over paracompact spaces

Let $\mathcal F_i, i\in I$, be a directed family of sheaves of abelian groups on a paracompact Hausdorff space $X$. Let $\mathcal F=\varinjlim F_i$ denote the direct limit sheaf. Is it true that ...

**0**

votes

**3**answers

383 views

### Cohomology of complexes

I sometimes see cohomologies of complexes of sheaves. What is the definition of these? Say if $\mathcal F^* $ is a complex of sheaves on $C$, what is $H^i(C,\mathcal F^*) $?

**2**

votes

**0**answers

324 views

### Quantum sheaves

Are the following definitions known?
Consider H a Hilbert space. A "quantum topology" on H is a set Sigma of closed subspaces satisfying the following conditions:
(a) {0} and H lie in Sigma
(b) If ...

**1**

vote

**1**answer

125 views

### Is the free R-module on a sheaf of sets still a sheaf?

Let $L$ be a sheaf of sets on some site $S$. Let $F$ be the presheaf obtained by composing $L$ with the free R-module functor, i.e. for any object $U$, we define $F(U)$ to be the free $R$-module on ...

**12**

votes

**1**answer

936 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^+$ ...

**4**

votes

**1**answer

478 views

### Is the stalk of the (co)limit of sheaves equal to the (co)limit of the stalks?

More precisely, if $\mathcal F_i$ is a system of sheaves, is it the case that
$$
(\lim \mathcal F_i)_p = \lim ((\mathcal F_i)_p)
$$
and similarly for colimits? I can see how to get a map
$$
(\lim ...

**4**

votes

**1**answer

220 views

### When do adjunctions preserve equivalence?

Let $\mathcal{C}'$ and $\mathcal{D}'$ be categories so that $\mathcal{C} \subseteq \mathcal{C}'$ and $\mathcal{D} \subseteq \mathcal{D}'$ are full subcategories. Suppose the forgetful functors ...

**2**

votes

**1**answer

959 views

### Orientation Sheaf and Double Cover

The orientation sheaf of an $n$-manifold $M$ is $\mathcal{O}_n=Sheaf(U\mapsto H_n(M,M-U;\mathbb{Z}))$, with stalks given by $(\mathcal{O}_n)_x = lim H_n(M,M-U)=H_n(M,M-x)=\mathbb{Z}$ (the limit is ...

**4**

votes

**1**answer

335 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 ...

**4**

votes

**1**answer

384 views

### Etale space construction for presheaves on a Grothendieck site

As it is described for example in [Mac Lane-Moerdijk, Sheaves in Geometry and Logic, II.6.], one can construct the sheafification functor very lucidly by associating to a presheaf a certain bundle ...

**0**

votes

**0**answers

166 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

207 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 ...

**1**

vote

**1**answer

368 views

### Restriction of a sheaf to an infinitely small neighbourhood of a closed submanifold: how to work with this ind-sheaf?

Let $X$ be a manifold, $i: Z\to X$ is a closed embedding.
For a sheaf $S$ (of abelian groups) on a manifold $X$ and each $\varepsilon>0$ we denote by $Z_\varepsilon$ the set of points of $X$ ...

**2**

votes

**0**answers

310 views

### What are the easiest cases of base change (for sheaves on sites)?

I have a closed embedding of schemes $i:X'\to X$, and for each of them I consider three Grothendieck topologies for the category of the corresponding (relatively) \'etale schemes: the \'etale one, the ...

**2**

votes

**0**answers

258 views

### Do inverse images respect flabby sheaves?

Let $i:Y\to X$ be a closed embedding of varieties, and let $S$ be a flabby \'etale (or Nisnevich) sheaf of abelian groups on $X$. Is $i^*S$ flabby also? I am mostly interested in the case when ...

**2**

votes

**1**answer

849 views

### Generalized Beilinson spectral sequences

Assume we are workling on $\mathbb{P}^n$ for some $n\geq 1$ and we have a coherent sheaf $F$ on it.
Then there are two (well known?) spectral sequences $E_r^{p,q}$ with $E_1$-term:
...

**2**

votes

**0**answers

196 views

### The Mayer-Viertoris exact sequence as a (Zariski) descent spectral sequence.

For certain 'spaces' $U,V$ (they are certain Henselizations of subvarieties) I would like to compute (certain etale) cohomology of $U\cup V$ in terms of the corresponding cohomology of the diagram ...

**2**

votes

**0**answers

376 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 ...

**1**

vote

**0**answers

225 views

### Can etale $X$-schemes be lifted to $Y$, where $X$ is closed in $Y$?

For a closed embedding (of varieties) $X\to Y$ let $U/X$ be etale. Is is true that there necessarily exists an etale $U'/Y$ such that $U'_X=U$? If this is wrong in general, are there any assumptions ...

**2**

votes

**1**answer

513 views

### Does one need to sheafify when defining the inverse image of a sheaf with respect to an embedding?

This seems to be a rather simple (stupid?:)) question; yet I was not able to find an answer quickly.
For a morphism $f:X\to Y$ of schemes (or topological spaces) and an (etale or topological) sheaf ...

**2**

votes

**1**answer

312 views

### Nisnevich points

Here is a probably stupid question : If $F$ is a sheaf on the big Nisnevich site, then is the morphism $F(X) \to \amalg F(x)$ injective where the sum is over ALL the points of $X$ (not just the closed ...

**3**

votes

**1**answer

528 views

### Vector space structure on the tangent bundle of a scheme and relation to the tangent sheaf

First a word of warning: I am not a trained algebraic geometer, so it is possible (likely) that these questions are inappropriate for MO, if so: my apologies.
Said this: As far as I understand the ...

**2**

votes

**0**answers

112 views

### Sheafification of Arens-Michael algebra-valued presheaves

Let $\mathcal A$ be the category of Arens-Michael algebras, that is, projective limits of Banach algebras. Since $\mathcal A$ is a concrete category, an $\mathcal A$-valued presheaf $A$ admits a ...

**2**

votes

**2**answers

191 views

### Is restricting the support of an Artinian sheaf a closed condition?

Given a projective surface $S$, and a smooth projective curve $C\subset S$ over $\mathbb{C}$. Furthermore we have a locally free sheaf $E$ of rank $r$ on $S$.
Then for any $l\geq 1$, the projective ...

**2**

votes

**2**answers

726 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

**0**answers

537 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

**0**answers

298 views

### Does n-multiplication maps of cohomology groups vanish if it vanishes at the 0th cohomology?

In general, we know that a morphism $f=(f ^ {q})$ between universal (cohomological) $\delta$ functors $S=(S ^ {q}),T=(T ^ {q})\ $vanishes if and only if $f ^ {0} \ \colon \ S^{0} \to T^{0}$ ...

**2**

votes

**1**answer

427 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

**1**answer

171 views

### Behaviour of Morita equivalence in families of sheaves

Given a projective scheme $X$, say over $\mathbb{C}$, another $\mathbb{C}$-scheme $S$
and a coherent and torsion free (as an $O_X$-module) $M_n(O_X)$-module $F$.
Now we can use Morita equivalence to ...