The sheaf-theory tag has no usage guidance.

**21**

votes

**0**answers

445 views

### Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?

Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...

**19**

votes

**0**answers

631 views

### The topologies for which a presheaf is a sheaf?

Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal.
Suppose that $Q$ is a presheaf on ...

**12**

votes

**0**answers

1k views

### Sheaf cohomology and inverse limits

In proving the formal function theorem, Grothendieck uses a rather technical lemma in EGA 0-III.13:
Lemma: Let $\mathcal{F}_n$ be an inverse system of sheaves on a space $X$ with surjective ...

**12**

votes

**0**answers

1k 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 ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

293 views

### Dualizing complex of the product of two locally compact spaces

Hello!
In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...

**8**

votes

**0**answers

355 views

### Applications of sheaf theory to the computation of invariants of LS-category type

I would like to know if sheaf theory can be applied to a particular class of questions in topology.
The Schwarz genus (also known as sectional category) of a continuous map $p\colon\thinspace E\to ...

**7**

votes

**0**answers

187 views

### What's the Hochschild homology of the category of constructible sheaves?

Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?

**7**

votes

**0**answers

262 views

### Colimits of quasi-coherent sheaves on a ringed space

Recall from the stacks project that a sheaf of modules $F$ on a ringed space $X$ is called quasi-coherent if there is an open covering $\{U_i\}$ such that each $F|_{U_i}$ has a presentation, i.e. is ...

**7**

votes

**0**answers

183 views

### sheaves on thickened nodal cubics

Suppose F is an algebraically closed field (of any characteristic) and that h in F[x,y,z]
is an irreducible cubic form defining a plane curve C with a node. A lot is known about
sheaves on C; for ...

**6**

votes

**0**answers

169 views

### Grothendieck - A group as a sheaf over simplicial complexes

In this blog post, Terence Tao gives the following definition of a group.
Definition. A group is (identifiable with) a (set-valued) sheaf on the category of simplicial complexes such that the ...

**6**

votes

**0**answers

199 views

### How do the direct and inverse image sheaf functors interact with homotopy?

This is a crosspost of this MSE question.
The direct image sheaf functor $f_\ast$ and inverse image sheaf functor $f^\ast$ (here I mean the usual inverse image sheaf functor often denoted by ...

**5**

votes

**0**answers

137 views

### Making the conceptual leap from locales to Grothendieck topologies?

I find the definition for locales and sheaves on locales to be straightforward, but I'm stumbling over the idea of a Grothendieck topology. Is there a nice way to see roughly how the latter ...

**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' ...

**4**

votes

**0**answers

63 views

### Applications and main properties of hyperfunctions

I am trying to get familiar with hyperfunctions, and I do have some familiarity with the classical theory of distributions.
I am wondering whether hyperfunctions have any advantages over ...

**4**

votes

**0**answers

149 views

### Homotopy-theoretic measure of operations on sheaves failing to be sheaves

Here's something I've been wondering about for a few weeks:
Consider a topological space $X$ and a sheaf of rings $\mathscr O_X$ on $X$. Suppose $\mathscr{F}$ and $\mathscr{G}$ are $\mathscr O_X$ ...

**4**

votes

**0**answers

207 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

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

228 views

### Topologies (and sheaves) on Cat and CAT

I've been wondering lately what sort of Grothendieck (pre)topologies there are on $Cat$ (the category of small categories) and $CAT$ (the v. large category of large categories - to forestall criticism ...

**4**

votes

**0**answers

453 views

### Monomorphisms of sheaves

The following is surely pretty standard, but I have been unable to prove it or find a proof in the literature (many sources assert it without proof).
Let $\phi : \mathcal{F} \rightarrow \mathcal{G}$ ...

**4**

votes

**0**answers

349 views

### A question on a proof that fine sheaves are soft

Let's open R.O.Wells "Differential Analysis on Complex Manifolds" p. 53 and have a look at the Proposition 3.5 stating that all fine sheaves are soft (over a paracompact Hausdorff $X$). In the proof ...

**3**

votes

**0**answers

84 views

### Are there Coherent Cosheaves?

Is there a well-defined notion of coherent cosheaves in a similar sense to coherent sheaves? If so, what properties do they hold?

**3**

votes

**0**answers

154 views

### Defining Inertia Stack

Let $X$ be a topos and $F: \zeta \rightarrow X$ a stack on $X$. Now in the paper http://arxiv.org/pdf/math/0411337v2.pdf ( Definitions 2.1.1.5 and 2.1.1.1) of Lieblich, he describes the inertia stack ...

**3**

votes

**0**answers

102 views

### Which sheaves on a projective bundle are flat over the base scheme?

Assume $X$ is a noetherian scheme over $\mathbb{C}$ and $E$ a locally free sheaf of finite rank on $X$. Denote the the associated projective bundle by $f: \mathbb{P}(E)\rightarrow X$.
Are there any ...

**3**

votes

**0**answers

82 views

### Can we extend a homotopy invertible chain morphisms between complexes of sheaves from a closed subspace to the whole space?

Let $X$ be a (say, topological) space and $i: Z\hookrightarrow X$ be a closed subspace. Let $Sh(X)$ and $Sh(Z)$ denote the categories of sheaves of abelian groups on $X$ and $Z$ respectively. ...

**3**

votes

**0**answers

107 views

### Elementary examples on sheaf extension

Let $V\subset\mathbb{P}^n$ be a projective variety and $C_V$ its conormal subvariety in $T^\ast\mathbb{P}^n$. Denote by $\mathscr{O}_{C_V}$ its structure sheaf, then when will the condition
...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

59 views

### Convolution of DQ-Modules

On page 92 of Deformation Quantization Modules Kashiwara and Schapira define two different convolution products for DQ-modules that differ by whether one uses $Rp_{13*}$ or $Rp_{13!}$ to push ...

**3**

votes

**0**answers

82 views

### Monodromy along strata of a pushforward

Work with complex varieties and constructible sheaves on the complex analytic site. All functors will be tacitly derived.
Let $X$ be a variety acted upon by a connected linear algebraic group. Let $X ...

**3**

votes

**0**answers

183 views

### Can one construct Freyd-Mitchell's embeddings that respect sheafifications?

For a certain presheaf $P$ with values in an abelian category $A$ satisfying AB5 and its sheafification $S$ (with respect to a small Grothendieck site) I would like to prove: $S(f):S(X)\to S(Y)$ is ...

**3**

votes

**0**answers

221 views

### serre duality for sheaves of logarithmic differentials

This question is motivated by a comment of Donu Arapura here dimension of compact support cohomology
Let $D$ be a divisor with normal crossings on some smooth projective (complex algebraic) variety ...

**3**

votes

**0**answers

97 views

### How does the machinery of left-exact comonads generalize from sheaves to stacks?

Suppose that we have two Grothendieck sites, their associated sheaves $\mathcal{E}=\rm{Sh}(\bf{C},J)$ and $\mathcal{F}=\rm{Sh}(\bf{D},K)$ and a geometric surjection $f:\mathcal{E}\to\mathcal{F}$. This ...

**3**

votes

**0**answers

236 views

### Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows:
Let $X$ be a say complex variety with an action by an algebraic group $G$.
...

**3**

votes

**0**answers

147 views

### Examples of Sheafification via Hypercovers

For a presheaf $F$ on a category equipped with a pretopology, one has the sheafification $F^{\sharp}$ of $F$.
I know well the plus-construction of sheafification, which is presented in Artin's paper ...

**3**

votes

**0**answers

302 views

### Does this property of subgroups (or sheaves of ideals) already have a name?

I'm constructing an example of a group which has a particular property on its subgroups, and the property looks like something that might have been considered before.
Fix a group $G$ and a pair of ...

**3**

votes

**0**answers

132 views

### Classification of Sheaves of Q-modules over R

Every constructible sheaf of $\mathbb{Q}-$modules over $\mathbb{R}$ is the direct sum of indecomposable sheaves, which are either sheaves with stalk $\mathbb{Q}$ at a point or constant sheaves with ...

**3**

votes

**0**answers

213 views

### Descent of singular cohomology

When proving that singular cohomology of an appropriate space $X$ equals sheaf cohomology of $X$ with "values" (does one say that?) in the sheaf $\mathbb{Z}_X$ of locally constant functions, the ...

**2**

votes

**0**answers

78 views

### Surjectivity locus of a morphism of families of sheaves

Let $X$ and $T$ be schemes and assume we have two coherent sheaves $\mathcal{F}$ and $\mathcal{G}$ on $X\times T$ which are flat over $T$, that is these are families of sheaves parametrized by $T$.
...

**2**

votes

**0**answers

170 views

### Relationship between coherent toposes/coherent logic and coherent sheaves

I've heard it claimed that the adjective "coherent" in logic/topos theory (i.e. coherent logic, coherent toposes, coherent categories) was adopted to fit in with the terminology of coherent sheaves in ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

68 views

### Sections of inverse image sheaf of sheaf of sections of vector bundle

Let $\eta \colon Y \to Z$ be holomorphic map between complex manifolds, $E$ holomorphic vector bundle over $Z$, $\eta ^\ast E$ its pullback over $Y$, ${\cal O}_E$ sheaf of sections of $E$, and ...

**2**

votes

**0**answers

61 views

### Sheaves, colimits and closure

I am considering the sheaf topos $\mathbf{Sh}(\mathfrak{X})$ on a topological space $\mathfrak{X}$.
Limits in this category are constructed pointwise, as in presheaves. Colimits, however, are not ...

**2**

votes

**0**answers

235 views

### Cech cohomology.

Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with ...

**2**

votes

**0**answers

121 views

### Reconstructing complexes of sheaves from their cohomology sheaves

If $R$ is an algebra over some field $k$, and $C$ is a complex of modules over $R$, then according to B. Keller's ``Introduction to A-infinity algebras and modules'', one can record the isomorphism ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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