The sheaf-theory tag has no usage guidance.

**2**

votes

**1**answer

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

**5**

votes

**1**answer

225 views

### In what generality is the Verdier biduality map an isomorphism?

Let $X$ be a finite-dimensional, locally compact topological space, and consider the dualizing complex $K_X \in \mathbf{D}^b(X,k)$ (bounded derived category of $k$-sheaves, where $k$ is a noetherian ...

**3**

votes

**1**answer

318 views

### Sequences of groups, exact not just in étale but also in the Zariski topology

Let $A=k[[x,y]]$, with say $k=\mathbb{C}$ and $X = \operatorname{Spec}(A)$. Let $B$ denote a free $A$-algebra of rank $e^2$; actually, we have $B=A[u,v]$ with $u^e=x$, $v^e=y$ and $uv = \xi_e vu$, ...

**6**

votes

**1**answer

782 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$ ...

**2**

votes

**1**answer

272 views

### For an l-adic sheaf (F_n), why is the complex F_n of finite Tor dimension?

Let $X$ be a variety and let $\mathcal{F}=(\mathcal{F}_n)_{n\geq 0}$ be a (constructible) $\ell$-adic sheaf on $X$. Let $K_n$ be the object in the derived category $D(X,\mathbf{Z}/\ell^{n+1})$ of ...

**0**

votes

**2**answers

324 views

### Subsheaf of quotient of quasi coherent sheaves

We know that any submodule of a quotient module $\frac{M}{N}$ is of the form $\frac{K}{N}$, where $K$ is a submodule of $M$ containing $N$.
Now here is a question: Let $\cal F$ and ${\cal G}$
be quasi ...

**5**

votes

**1**answer

546 views

### Sheaves with isomorphic cohomology, but not quasi-isomorphic

Suppose I have two (constructible) sheaves of vector spaces $F$ and $G$ over the same base space that have isomorphic cohomology (degree by degree), but no sheaf map inducing this isomorphism (i.e. ...

**0**

votes

**1**answer

254 views

### The behavior of pure sheaves under functor Hom( F, -)

We know that a submodule A of B is pure if and only if the functor $Hom(M, -)$ is exact on the sequence
$ 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$
for every finitely presented module ...

**15**

votes

**4**answers

2k views

### The tangent bundle to an infinite-dimensional manifold

Suppose that $A,B$ are smooth ($\mathrm C^\infty$) manifolds, and denote by $\hom(A,B)$ the set of $\mathrm C^\infty$-maps $A \to B$. It is a perfectly well-defined set, but often one wants more. ...

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

**2**

votes

**0**answers

212 views

### Exercise concerning locally constant presheaves [closed]

Let $\mathscr{F}$ be a presheaf of abelian groups on some topological space $X$. We say that $\mathscr{F}$ is locally constant if there exists an open cover $\mathcal{U}$ of $X$ (i.e. ...

**8**

votes

**0**answers

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

**15**

votes

**4**answers

2k views

### When will the pushforward of a structure sheaf still be a structure sheaf?

Let $f:X\rightarrow Y$ be a morphism of schemes.
When $PicY\rightarrow PicX$ is an embedding and $f_{*}\mathscr{O}_{X}$ is invertible, it is the structure sheaf of $Y$.
In the proof of Zariski's ...

**13**

votes

**2**answers

3k views

### Elementary short exact sequence of sheaves

This question arised when I was trying to use this answer to understand Reid's "Young Person's guide to Canonical Singularities". In particular page 352 when computing the blow-up $Y\rightarrow ...

**3**

votes

**0**answers

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

**6**

votes

**2**answers

1k views

### Inverse Image as the left adjoint to pushforward

This is a repost of a question on Math stackexchange. No one is biting at it there, so I guess it is harder than I thought.
Assume $X$ and $Y$ are topological spaces, $f : X \to Y$ is a continuous ...

**6**

votes

**4**answers

1k views

### Is the direct image of a constant sheaf a constant sheaf?

Is the direct image of a constant sheaf a constant sheaf? I'm not an expert on sheaf theory and can't find this anywhere

**5**

votes

**2**answers

1k views

### Can we relate Cech cohomology and derived functor cohomology even when the cover we choose isn't nice?

In my algebraic geometry class this semester, we've learned about Leray's Theorem, which states that for a sheaf $\mathcal{F}$ on a topological space $X$, and $\mathcal{U}$ a countable cover of $X$, ...

**3**

votes

**0**answers

131 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

**1**answer

581 views

### Question on the interpretation of a presheaf category as a co-completion

The category of presheaves $Pre(C)$ on a small category $C$ is the category of functors $C^{op}\to Sets$. Since the category of sets is co-complete and every presheaf is a colimit of representable ...

**4**

votes

**1**answer

336 views

### Extension of a first order deformation of a sheaf

Given a coherent and torsion free sheaf $F$ on a smooth projective scheme $S$.
Then we have a bijection between $Ext^1_S(F,F)$ and deformations of $F$ over $k[\epsilon]$, $\epsilon^2=0$.
Assume all ...

**0**

votes

**1**answer

465 views

### Chern classes of the direct image of an ideal sheaf resp. skyscraper sheaf

Given a double cover $\pi: X\rightarrow \mathbb{P}^2$ of the projective plane by choosing a square root $S$ of $O_{\mathbb{P}^2}(Q)$, where $Q$ is a quartic in the plane.
Choose a closed point ...

**3**

votes

**4**answers

1k views

### Interesting examples of flasque sheaves?

Does anyone know any interesting examples of flasque sheaves? Ideally, I would like to see one that both arises naturally and is geometric in some sense. On the other hand, I know so few examples ...

**3**

votes

**2**answers

2k views

### On a proof of the existence of tubular neighborhoods.

Studying analysis on manifolds, I have found, in the proof of the existence of tubular neighborhoods, a reference to theorem 3.1.2 in "Topologie algebrique et theorie des faisceaux" of Godement.
...

**4**

votes

**2**answers

467 views

### If one wants to work with $Q_l$-adic sheaves, should the scheme be of finite type over a 1-dimensional one?

In section 6 of his 'Adic Formalism' T. Ekedahl states that $l$-adic sheaves 'behave nicely' for finite type separated schemes over $S$ that is regular of dimension $\le 1$. Is the dimension ...

**3**

votes

**1**answer

513 views

### How to compute cohomology groups of a closed subscheme Z of projective space, defined by a homogeneous polynomial of degree d?

Let $Z = \mathrm{Proj}\,k[x_{0},x_{1},\ldots,x_{r}]/f$ be a closed subscheme of degree $d$, i.e., $f$ is a homogeneous polynomial of degree $d$, and ...

**18**

votes

**1**answer

1k views

### Naive question about constructing constructible sheaves.

In algebraic geometry, an etale sheaf on a Noetherian scheme is called constructible if the scheme has a finite stratification by locally closed subschemes such that the pullback of the sheaf to each ...

**12**

votes

**5**answers

2k views

### Cohomology of Structure Sheaves: Algebraic, Constructible and more

I am not an algebraic geometer, but I am a topologist who uses sheaves. I have studied some algebraic geometry and am interested in what happens as I reduce the amount of rigidity in the structure ...

**1**

vote

**2**answers

348 views

### Chern classes in flat families

Given a smooth projective variety $X$ over an algebraically closed field $k$. Now given a another projective variety $T$ and a coherent $O_{X\times T}$-module $F$, which is flat over $T$.
Given $r,s ...

**11**

votes

**2**answers

1k views

### Locally constant sheaves for the étale topology, lack of intuition about “étale-localness”

I have started studying some étale cohomology and I am trying to build up some intuition about the concept of local for the étale topology. I can understand some nice examples (like Kummer exact ...

**6**

votes

**2**answers

999 views

### Under what circumstances do morphisms on the stalks of a sheaf induce a sheaf morphism

It is very well known that if $\alpha : \mathscr{F} \to \mathscr{G}$ is a morphism of sheaves, then it induces homomorphisms on the stalks. I have been wondering for a while if given a collection of ...

**5**

votes

**3**answers

1k views

### Presheaves are locally sheaves?

On nlab it says that a presheaf is locally isomorphic to a sheaf. What do they mean by locally isomorphic? Their definition of locally isomorphic is given in terms of Grothendieck topologies which i ...

**6**

votes

**1**answer

326 views

### What kind of colimits are preserved by a certain Yoneda embedding?

(This question is related to this one)
Let $k$ be a field and consider the category $Sch/k$ of schemes over $k$, say also separable and of finite type. The Yoneda embedding
$$
Y:Sch/k \to Pre(Sch/k)
...

**3**

votes

**2**answers

345 views

### The single-plus construction is not the left adjoint of the inclusion of separated presheaves?

Convention:
Before I start, please note that it is not going to be sufficient to assume that the topology is subcanonical or that the site $C$ has finite limits, since the application I have in mind ...

**4**

votes

**0**answers

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

**3**

votes

**1**answer

402 views

### About direct image of ideal sheaves

Let $\mu:X'\rightarrow X$ be a birational morphism of normal complex projective varieties.
Consider the two ideal sheaves $I_1= \mu_*\mathcal{O}_{X'}(-\sum d(E)E)$, ...

**1**

vote

**2**answers

425 views

### Why is this a local constant sheaf

If a group $G$ acts on a topological space $M$, and a representation of $G$ on a vector space $V$, why $M \times_G V$ is a local constant sheaf over $M/G$?

**9**

votes

**1**answer

334 views

### Homotopical descent information contained in the Dwyer-Kan function complexes of a presheaf category?

Recall that the category of sheaves on some site $C$ equipped with a grothendieck topology $\tau$ is equivalent to the localization of the category of presheaves $W^{-1}Psh(C)$ at $W$ where $W$ is the ...

**6**

votes

**1**answer

2k views

### How to “globalize” the inverse function theorem?

Let $F: V \times W\rightarrow Z$, where $V,W,Z$ are finite-dimensional smooth (or analytic) manifolds and $F$ is smooth (or analytic). Assume that $\dim W=\dim Z$ and the usual inverse function ...

**3**

votes

**2**answers

528 views

### finite-dimensionality of cohomology groups on compact riemann surfaces

does the finite dimensionlity of the first cohomology group ($ H^1 $) of the sheaf of meromorphic sections of a holomorphic line bundle on a compact riemann surface follow easily from the finite ...

**6**

votes

**1**answer

249 views

### Automorphisms of constant sheaves

Let E be a Grothendieck topos, such as the category of sheaves of sets on a topological space. Then there is a unique geometric morphism $(\Delta \dashv \Gamma)\colon E\to \mathrm{Set}$, where ...

**3**

votes

**1**answer

564 views

### A form of cohomology and base change

Let $f \colon X \to Y$ be a proper morphism of (Noetherian) schemes, $\mathcal{F} \in \mathop{Coh}(X)$. Let $i_Z \colon Z \hookrightarrow Y$ be a closed subscheme and take the inverse image $W := X ...

**8**

votes

**3**answers

3k views

### Serre's FAC versus Hartshorne as an introduction to sheaves in algebraic geometry

I just found an English translation of Serre's FAC at Richard Borcherds' Algebraic Geometry course web page. I really want to read it sometime. I am beginner in Algebraic Geometry, just started ...

**1**

vote

**0**answers

350 views

### Another stupid question on l-adic sheaves: does a generically zero constructible sheaf vanish on an open subvariety?

Suppose that the stalk of a constructible l-adic ($\mathbb{Z}_l$-adic or $\mathbb{Q}_l$-adic) etale sheaf $S$ over a generic (Zariski) point of a variety $V$ is zero. Does this imply that $S$ vanishes ...

**21**

votes

**8**answers

4k views

### How should one think about sheafification and the difference between a sheaf and a presheaf

The first time I got in touch with the abstract notion of a sheaf on a topological space $X$, I thought of it as something which assigns to an open set $U$ of $X$ something like the ring of continuous ...

**3**

votes

**2**answers

367 views

### Colimits of covers

Suppose I have category $C$ equipped with a Grothendiek pretopology of covers, and let $y:C \to Sh(C)$ be the Yoneda embedding into sheaves and $y/c:C/c \to Sh(C)/y(c)\cong Sh(C/c)$. How can I show ...

**11**

votes

**2**answers

2k views

### Wikipedia's definition of 'locally free sheaf'

Let $R$ be a, say, noetherian ring and $M$ an $R$-module. The Wikipedia article on 'locally free sheaf' tells me that the following two statements are equivalent:
The module $M$ is locally free ...

**4**

votes

**1**answer

670 views

### When are non-quasi-coherent sheaves used?

Non-quasi-coherent sheaves of $\mathcal O_X$ modules on a scheme seem like a wild concept to me; are they actually used for something?

**3**

votes

**2**answers

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

**2**

votes

**2**answers

303 views

### Equivalence of two definitions of sheaves on a site

I'd like to prove that two definitions of sheaves on a site are equivalent, but I'm having trouble proving one direction.
Let $C$ be a category with pullbacks. Let $(C,T)$ be a site defined through a ...