The sheaf-theory tag has no wiki summary.

**6**

votes

**1**answer

663 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

256 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

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

**4**

votes

**1**answer

485 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

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

**13**

votes

**4**answers

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

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

**7**

votes

**0**answers

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

**12**

votes

**4**answers

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

**12**

votes

**2**answers

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

**2**

votes

**0**answers

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

**5**

votes

**1**answer

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

**4**

votes

**4**answers

884 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

**4**

votes

**2**answers

844 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

126 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

440 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

316 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

377 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

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

**2**

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

437 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

445 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

**2**answers

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

**11**

votes

**5**answers

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

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

**10**

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

**5**

votes

**2**answers

758 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

973 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

263 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)
...

**2**

votes

**2**answers

271 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

216 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

379 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

409 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

307 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

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

**2**

votes

**2**answers

465 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

240 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

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

**6**

votes

**3**answers

2k 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

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

**14**

votes

**6**answers

3k 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

300 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

552 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

318 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

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

**4**

votes

**5**answers

2k views

### sheaves and cosheaves

I am struggling hard to understand the pushforwards and pullbacks of cosheaves. Are they also cosheaves? And what are quasicoherent cosheaves? Is there anything like coquasicoherent cosheaves? Please ...

**8**

votes

**4**answers

2k views

### Derived categories of coherent sheaves: suggested references?

I am interested in learning about the derived categories of coherent sheaves, the work of Bondal/Orlov and T. Bridgeland. Can someone suggest a reference for this, very introductory one with least ...

**2**

votes

**2**answers

253 views

### Is a submodule of the sheaf of sections of a smooth vector bundle necessarily finitely generated?

Let $X$ be a finite-dimensional smooth manifold, $\mathcal C^\infty(X)$ its algebra of smooth functions, $V\to X$ a finite-dimensional smooth vector bundle, and $\Gamma(V)$ the space of smooth ...