The sheaf-theory tag has no wiki summary.

**2**

votes

**0**answers

347 views

### large cardinal tree properties as properties of sheaves

As follows from this talk Large Properties for Small Cardinals, p.7,p.4 http://www2.dm.unito.it/paginepersonali/viale/SEMINARS-TORINO/Fontanella-Torino-19.1.2012.pdf, the definitions of weakly compact ...

**4**

votes

**0**answers

197 views

### Mixed structures on Hom spaces induced by mixed sheaves

Let $D^b_m(X)$ (resp $D^b(X)$) denote the derived category of mixed Hodge modules (resp. constructible sheaves) on a complex variety $X$. Let
$rat\colon D^b_m(X)\to D^b(X)$
be the `forgetful' ...

**4**

votes

**0**answers

334 views

### About an argument in `Koszul duality patterns in representation theory' by Beilinson-Ginzburg-Soergel.

I am trying to understand Proposition 3.4.2 in `Koszul duality patterns in representation theory' by Beilinson-Ginzburg-Soergel [BGS]. A copy of the paper can be found at ...

**2**

votes

**1**answer

294 views

### Showing morphism of sheaves is zero

I work in derived category $D^b(X)$ of constructible sheaves on a reasonable space $X$. Let $j\colon U\to X$ be an open inclusion and $i\colon Y\to X$ the closed complement. Let $M,N\in D^b(X)$ and ...

**1**

vote

**1**answer

247 views

### Inclusion of logarithmic de-Rham complex into differentials

Let $X$ be a complex manifold and $D$ a normal crossing divisor. Let $U = X - D$ and $j: U \rightarrow X$ the natural map. Voisen observes that there is a natural inclusion $$\Omega^k_X(\log D) ...

**2**

votes

**1**answer

311 views

### Tensor product of sheaves separated?

Let $(X, O_X)$ be an arbitrary scheme and $\mathcal{F}$ a presheaf of $O_X$-modules. The presheaf $\mathcal{F}$ is said to be separated if the natural map to it's sheafification $\mathcal{F}^+$ is an ...

**5**

votes

**2**answers

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

**7**

votes

**3**answers

530 views

### Representable Presheaf

I have a very quick question. Is there an easy example of a representable presheaf on a site that is not a sheaf? This certainly can't happen on a small FPPF site so I would expect a counterexample to ...

**2**

votes

**1**answer

276 views

### smooth manifold vs. exceptional inverse image

A well-known theorem in topology says that for a smooth manifold $M$ of dimension $n$ the map $f: M \rightarrow point$ satisfies
$$f^! \mathbf R = \mathbf R[n]$$
Here $\mathbf R$ is the constant ...

**9**

votes

**1**answer

384 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

**1**answer

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

**6**

votes

**2**answers

464 views

### Can one characterize those sheaves which have Hausdorff etale spaces?

Given a sheaf of sets $F$ on a space $X,$ under the equivalence of categories between etale spaces over $X$ and sheaves over $X,$ $F$ is associated to a local homeomorphism $$E\left(F\right) \to X$$ ...

**2**

votes

**1**answer

371 views

### system of local coefficients on X, locally constant sheaves and orientation sheaves

Hi,
I try to understand the orientation sheaves. When searching it in the google, i meet new areas such as local coefficient system and locally constant sheaves. I realize that any system of local ...

**8**

votes

**0**answers

332 views

### Are there simple conditions on a category C which guaranty that Ind(C) is a Grothendieck topos?

The category of finite sets is not a Grothendieck topos, but its Ind category
Ind(Finite-Sets) = Sets
is a Grothendieck topos. Similarly, given a pro-finite group G, the Grothendieck topos of discrete ...

**2**

votes

**0**answers

136 views

### Does mapping cylinder category have enough injectives?

Let $A, B$ be two abelian categories, and $\tau : A \to B$ a left exact functor.
We define a category $C$ as follows:
objects: triples $(M, N, \varphi)$ where $M\in A, N\in B$ and $\varphi: N\to ...

**1**

vote

**0**answers

196 views

### why is the local field Q_l not an etale sheaf over a scheme X?

I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?

**1**

vote

**2**answers

408 views

### Sheafification of a presheaf through the etale space

I have some problems to show that the following contruction defines a sheafification:
Let $\mathcal F$ be a presheaf on $X$, and let $Et(\mathcal F)$ be the etale space associated to $\mathcal F$, ...

**7**

votes

**2**answers

809 views

### Explaining Mukai-Fourier transforms physically

A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality).
The basic algorithm is ...

**0**

votes

**1**answer

331 views

### left adjoint to restriction functor

We know that for an immersion $j:U \to X$ the restriction functor $j^*:{\cal O}_X-mod \to {\cal O}_u-mod$ has a left adjoint $j!$.
I am looking for some condition to deduce that $j!$ takes its values ...

**1**

vote

**1**answer

326 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

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

**17**

votes

**3**answers

989 views

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

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

**8**

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

416 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

300 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

617 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

548 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

424 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

206 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

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

**6**

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

768 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

921 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

235 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

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

**59**

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

311 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

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

**11**

votes

**3**answers

624 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

481 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

215 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

378 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

318 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

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

**10**

votes

**1**answer

807 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

403 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

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

**1**

vote

**1**answer

798 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

327 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

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