The sheaf-theory tag has no usage guidance.

**0**

votes

**0**answers

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

**3**

votes

**0**answers

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

**2**

votes

**0**answers

94 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

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

**4**

votes

**2**answers

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

**9**

votes

**0**answers

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

**11**

votes

**2**answers

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

**3**

votes

**0**answers

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

**5**

votes

**1**answer

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

**4**

votes

**1**answer

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

**0**

votes

**1**answer

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

**2**

votes

**0**answers

82 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

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

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

**3**

votes

**1**answer

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

**2**

votes

**0**answers

61 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):= ...

**1**

vote

**1**answer

54 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

160 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

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

**5**

votes

**0**answers

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

**5**

votes

**1**answer

114 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

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

**0**

votes

**0**answers

119 views

### Canonicity of Cech cohomology

For a topological space X, consider the
Leray covering U_λ(i.e. ∩U_λ is sufficiently fine, e.g. affine for Zariski topology) of X.
For a sheaf F on X, the cohomology H^i(X,F) is calculated via Cech ...

**3**

votes

**0**answers

87 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?

**4**

votes

**2**answers

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

**6**

votes

**0**answers

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

**3**

votes

**0**answers

190 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

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

**4**

votes

**1**answer

197 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

**1**answer

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

**3**

votes

**2**answers

357 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?

**4**

votes

**2**answers

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

**0**

votes

**1**answer

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

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

**0**

votes

**0**answers

41 views

### Hilbert Manifold structure on global sections of a sheaf

Let $<U_i,\phi_i>$ be an atlas on a Hilbert manifold $M$. If $F(M,U_i)$ is a Hilbert space for every $U_i$ then does this imply that $F(M,M)$ can be made into a Hilbert manifold also with ...

**3**

votes

**0**answers

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

**5**

votes

**0**answers

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

**3**

votes

**1**answer

141 views

### For what kind of sheaves can we always extend a sheaf map from a closed subset to the whole space?

Let $X$ be a topological space. We know that a sheaf on $X$ is call soft if for any closed subset $Z$ of $X$, a section on $Z$ can be always extend to a section on $X$.
Now we consider a similar ...

**3**

votes

**0**answers

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

**7**

votes

**0**answers

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

**3**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**2**answers

164 views

### Vanishing of sheaf cohomology with compact support

Let $X$ be a smooth manifold. Let $F$ be a sheaf of $\mathbb{R}$-vector spaces on $X$. I have three closely related questions.
1) Under what sufficient conditions on $F$ for any compact subset ...

**9**

votes

**1**answer

403 views

### Grothendieck - sheaves as meter sticks

I'm trying to read parts of McLarty's Grothendieck on Simplicity and Generality. In the article, I read Grothendieck thought of sheaves over some topological space as meter sticks measuring it.
...

**12**

votes

**1**answer

473 views

### Which nice/deep elaborations on the (operators <-> sheaves) / (endomorphisms <-> objects) theme are there?

A linear operator $T:V\to V$ on a (say) vector space over a field $k$ is just a $k[T]$-module, and may be viewed as the sheaf $\mathscr F_T$ over $\mathbb A^1_k$, with fibre over $\lambda\in k$ equal ...

**4**

votes

**1**answer

135 views

### Topology of ring of global sections of finite union of affinoid opens in a rigid analytic space

Let $X$ be a rigid analytic space over a non-Archimedean field $k$. If $U_1,\ldots,U_n\subseteq X$ are affinoid opens, then it's usually not clear whether or not the admissible open ...

**2**

votes

**0**answers

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

**1**

vote

**2**answers

171 views

### Canonical (tautological) section of a family of sheaves

A couple of months ago, i saw a construction, that somehow looks like the construction of the tautological section of the pullback of a vector bundle to its total space, i am trying to piece it ...

**15**

votes

**1**answer

992 views

### Do I know what “coherent sheaf” means if I know what it means on locally Noetherian schemes?

I've been trying to convince myself that "coherent sheaf" is a natural definition. One way I might be satisfied is the following: for modules over a Noetherian ring $A$, coherent and finitely ...

**1**

vote

**1**answer

136 views

### Is there a nonzero sheaf with all cohomologies vanish?

Is there a topological space $X$ with a nonzero sheaf $\mathcal{F}$ of abelian groups such that $H^i(X,\mathcal{F})=0$ for all $i=0,1,2...$?