The sheaf-theory tag has no usage guidance.

**5**

votes

**0**answers

48 views

### Examples of nonstable ∞-categories in which sifted colimits commute with finite limits

What are some natural examples (if any) of nonstable ∞-categories in which finite limits commute with sifted colimits (or rather just colimits over Δ^op)?
Stable ∞-categories do satisfy this property,...

**9**

votes

**1**answer

307 views

### Understanding the purely formal part of the sheaf theoretic (cohomological) framework for representation theory

By now I have the impression that many statements in representation theory can be phrased a lot more elegantly using cohomological language. Therefore I'm trying to understand a bit better the sheaf ...

**24**

votes

**5**answers

2k views

### Heuristic explanation of why we lose projectives in sheaves.

We know that presheaves of any category have enough projectives and that sheaves do not, why is this, and how does it effect our thinking?
This question was asked(and I found it very helpful) but I ...

**2**

votes

**0**answers

107 views

### Double dual of ample sheaf

Let $X$ be a projective manifold. Then we can define ample sheaves on $X$, and many results of ample vector bundles still hold in this more general case (See K. Kubota, Ample sheaves).
Now I was ...

**3**

votes

**0**answers

58 views

### When is a functorial coverage a sheaf, and what universal property does it have?

In The Elephant (A.2.1.9), Johnstone defines the notion of a coverage on a category $\mathcal{C}$. Quoting verbatim, a coverage on $\mathcal{C}$ is
a function assigning to each object $A$ of $\...

**10**

votes

**1**answer

295 views

### Polylogarithm sheaves

In many different places, I could find the notion on ''(poly)logarithm sheaves''. As is indicated in the name of it, I guess that it should have something to do with (poly)logarithm function: $\mathrm{...

**-1**

votes

**0**answers

158 views

### Stalks of the sheaf

Let $X$ be a scheme. For $m < \infty$, given the surjection ${\cal O}_X^{\oplus m} \twoheadrightarrow {\cal F}$ between sheaves on $X$, where ${\cal O}_X$ is the structural sheaf of $X$. Choose a ...

**0**

votes

**0**answers

207 views

### Canonicity of Čech cohomology

For a topological space $X$, consider the Leray covering $U_\lambda$ (i.e. $\cap U_\lambda$ is sufficiently fine, e.g. affine for Zariski topology) of $X$.
For a sheaf $F$ on $X,$ the cohomology $H^...

**3**

votes

**1**answer

116 views

### ample subsheaf contained in the tangent bundle of projective space

Let $\mathcal F$ be an ample subsheaf of $T_{\mathbb P^n}$. Is it actually locally free? If not, is there a counterexample?

**5**

votes

**0**answers

37 views

### Expressing the stack of sheaves with 1-limits

Zhen Lin's answer to the MSE question mentions that $\mathsf{Sh}(-)$ is a stack for the canonical topology on the site of open subsets of a space. One of the comments asks whether the stack descent ...

**0**

votes

**0**answers

98 views

### “Sheaf” on the nerve of a category

So I have the nerve of a category and want to communicate information about the sets at each level in the simplicial set (nerve). Is there a way to regard the nerve as a category itself? Then one ...

**4**

votes

**2**answers

335 views

### An apparent equivalence of the category of affine schemes over $S$ and the category of quasi-coherent $\mathcal{O}_S$-algebras

I had asked something very similar before on math.se (deleted now) but unfortunately it hadn't received a lot of attention. I decided to re-ask here.
Let $S$ be a fixed scheme. Is the following true?
...

**57**

votes

**8**answers

5k views

### equivalence of Grothendieck-style versus Cech-style sheaf cohomology

Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...

**2**

votes

**0**answers

107 views

### Derived Categories provide a good Framework for Sheaf Cohomology?

I'm a bit new to this sheaf cohomology business. Can someone explain how derived categories provide a good setting for Sheaf Cohomology? I understand that sheaf coho arises as right derived functors, ...

**0**

votes

**0**answers

58 views

### Equivalent definitions for fine sheaves

There are some different definitions for fine sheaves.
Let X is a paracompact Hausdorff space, a sheaf F over X is a fine sheaf, if
a) Hom(F,F) is soft
b) For every two disjoint closed subsets A,B$\...

**23**

votes

**3**answers

2k views

### Sheaf Description of G-Bundles

Now, among algebraic geometers, at least, it is well known that there is an equivalence between locally free O_X-modules of rank n and vector bundles of rank n. So, equivalently, principal GL(n,C)-...

**11**

votes

**2**answers

239 views

### Homotopy property of constructible sheaves on stratified spaces

Let $X$ be a stratified topological space (in my case $X$ is a compact space presented as a finite union of locally closed topological manifolds of finite dimension (strata) such that the closure of ...

**4**

votes

**2**answers

200 views

### Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups:
(1) singular cohomology $H_{sing}^*(X,A)$;...

**4**

votes

**1**answer

167 views

### On push-forward of the constant sheaf for fibrations

Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...

**9**

votes

**0**answers

153 views

### Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor $\mathcal{...

**2**

votes

**1**answer

553 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 $p\...

**25**

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

**0**answers

125 views

### First sheaf cohomology $H^1(\mathscr{O}_D, \mathbb{D})=0$

Given a finite divisor$$D=p_1+\dots +p_m -q_1 -\dots -q_n$$on the unit disk $\mathbb{D}$, does it necessarily follow that the first sheaf cohomology group equals zero, i.e.$$H^1(\mathscr{O}_D, \mathbb{...

**5**

votes

**1**answer

200 views

### Is the analytification functor part of a geometric morphism of topoi?

Let $Sh(\mathsf{\mathbb{C}-fAlg}^{op})$ be the topos of zariski sheaves on finitely genertaed $\mathbb{C}$-algebras.
A complex analytic space for our purpose is a locally ringed space locally ...

**0**

votes

**1**answer

68 views

### Can we always extend a vector bundle on an open subset of a ringed space with soft structure sheaf?

Let $(X,\mathcal{O}_X)$ be a ringed space with soft structure sheaf. Moreover let $X$ be paracompact.
Let $U$ be an open subset on $X$ and let $E$ be a finite dimensional vector bundle on $U$, i.e. $...

**6**

votes

**1**answer

333 views

### Needless axiom for Grothendieck topologies?

Hi,
The first axiom for a Grothendieck (pre)topology on a category $C$ says that for every object $X\in C$, the family consisting of just the identity $1_X : X\to X$ should be a covering family.
Why ...

**5**

votes

**1**answer

501 views

### Reference request: sheaves on closed sets

I am faced with a context in which the most natural notion of a sheaf $\mathcal F$ is as a functor on the category of compact subsets of a (locally compact Hausdorff) space $X$. Specifically, I say a ...

**2**

votes

**0**answers

85 views

### Sheaf on a filtered topological space?

Is there any nice way of defining a sheaf of abelian groups on a filtered topological space?
Let $X$ equipped with filtration $X_0\subset X_1\subset X_2\subset ... \subset X_k=X$ be an object in the ...

**8**

votes

**1**answer

309 views

### Topology on the space of constructible sheaves

Let $X$ be a nice compact topological space with a fixed finite stratification by locally closed topological manifolds. At the beginning one may assume that $X$ is a complex algebraic manifold with ...

**3**

votes

**1**answer

147 views

### On the ordered set of real numbers, does sheaf+cosheaf imply constant?

I have a technical question about unbounded chain complexes. I couldn't think of a descriptive title for it.
Let $P$ be a chain complex of contravariant functors on $\mathbf{R}$ (the real numbers ...

**5**

votes

**0**answers

130 views

### Push forward of the constant sheaf for a Serre's fibration

Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...

**2**

votes

**0**answers

63 views

### Pre-cosheaf of connected components

Consider a continous map $f:Y \to X$ between topological spaces. The pre-cosheaf $\mathcal{F}: Open(X) \to Set$ of connected components of the inverse image is defined as $\mathcal{F}(U):= \pi_0(f^{-1}...

**1**

vote

**1**answer

57 views

### Co-stalk of co-presheaves and cosheaves

Consider the co-presheaf $\mathcal{F}$ of continous real-valued functions with relatively-compact support on a topological space $X$. Consider a point $x\in X$.
1) When $\mathcal{F}$ is considered a ...

**7**

votes

**0**answers

165 views

### “Flat” and “Affine” morphisms of smooth manifolds

Let $f: X \to Y$ be a qcqs morphism of qcqs schemes. We have the following characterizations:
$f$ is flat $\iff$ $f^*:QCoh(Y) \to QCoh(X)$ is exact.
$f$ is affine $\iff$ $f_*: QCoh(X) \to QCoh(Y)$ ...

**8**

votes

**2**answers

312 views

### Examples of calculating perverse sheaves on algebraic varieties with easy stratification

I have been learning intersection homology and perverse sheaves in the following way. I started by reading the first $7$ chapters of Kirwan and Woolf's book
http://www.amazon.com/Introduction-...

**5**

votes

**0**answers

149 views

### Extension of ample vector bundles is ample

As I read Huybrechts-Lehn's book on Moduli of Sheaves, it is making a claim that extensions of several (at least 2) ample vector bundles (on curves) is again ample. Somehow, I am unable to see this ...

**8**

votes

**1**answer

122 views

### Homology in the sections of an infinite exact sequence of injective sheaves of $\mathcal O_X$-modules?

Let $(X, \mathcal O_X)$ be a scheme and the following an infinite, exact sequence of injective sheaves of $\mathcal O_X$-modules:
$$
\cdots \overset{f_5}\longrightarrow I_5\overset{f_4}\longrightarrow ...

**3**

votes

**0**answers

134 views

### A question about the adjunction between pushforward and pullback of sheaves

I am reading this article: http://arxiv.org/pdf/1310.5978.pdf. In definition 2.6 on page 4 there is claim that is made and I don't see why it is true. I will recall it here:
Let $X$ be an integral ...

**2**

votes

**2**answers

141 views

### Sections of a sheaf of differentials on a weighted complete intersection

Let $X\subset\mathbb{P}(a_0,...,a_N)$ be a smooth $n$-dimensional weighted complete intersection in a weighted projective space $\mathbb{P}(a_0,...,a_N)$.
Is it true that if $q\geq 1$ then $H^0(X,\...

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

**3**

votes

**0**answers

89 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

**2**answers

366 views

### Application of sheaves theory in ring theory

Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?

**0**

votes

**1**answer

171 views

### If presheaf is zero on a covering is the sheaf zero?

Let $C$ be a site and $F$ an abelian presheaf on $C$. Suppose that for each object $U$ in $C$ there is a covering $\{ U_i\to U \}$ such that $F(U_i)=0$. Is it true that $F^{sh}=0$?
This should be ...

**4**

votes

**1**answer

216 views

### Information and intuition packed in the Chern character for coherent sheaves

even after quite some time learning it, I still get somehow puzzled by the Chern character. Let me recall some stuff to get notation and setting.
Let us consider a smooth projective algebraic variety ...

**6**

votes

**0**answers

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

**11**

votes

**1**answer

637 views

### Sheaves on Contractible Analytic Spaces

Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is contractible to conclude,...

**3**

votes

**0**answers

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

**4**

votes

**1**answer

185 views

### Does the nearby cycle functor commute with the Verdier duality?

I would be interested to know the answer to the above question for the constructible bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference ...

**6**

votes

**1**answer

199 views

### Sections of the conormal bundle

Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and $\mathcal{I}_X/\mathcal{I}_X^...

**4**

votes

**2**answers

340 views

### Natural operators in differential geometry - why are they natural?

I'm reading bits and pieces of Kolar, Michor, & Slovak's Natural Operations in differential Geometry, and I'm having "doubt" about some of the definitions. All I'm trying to do is sheafify some of ...