The sheaves tag has no usage guidance.

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

219 views

### Many-sorted nominal sets as sheaves

The category of nominal sets can also be presented as the Schanuel topos, the category of sheaves on $\mathbb{I}^\mathsf{op}$ under the atomic topology, where $\mathbb{I}$ is the category of finite ...

**7**

votes

**1**answer

174 views

### why don't (can't?) we sheafify the structure presheaf of an adic space

In the definition of an adic space, usually there is a presheaf defined by first saying what it is on a particular basis of the topology of the underlying space, the so called rational subsets. One ...

**11**

votes

**1**answer

248 views

### Reference request: sheaves on the site of d-manifolds

I believe I know how to prove the following results. I also know to whom to cite fancy-shmancy results that have these as a very special case. My question is: what are the correct citations for ...

**3**

votes

**1**answer

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

**8**

votes

**0**answers

66 views

### W-types and inverse image functor

All sheaf topoi have W-types and in fact there's an explicit construction given by Benno van den Berg & Ieke Moerdijk, but the construction is quite involved.
I would like to know whether the ...

**16**

votes

**3**answers

409 views

### Brouwer's theorem for the Cauchy reals

Brouwer famously proved, using principles motivated by intuitionistic choice sequences, that every function $\mathbb{R}\to \mathbb{R}$ is continuous. In Sheaves in geometry and logic (section VI.9), ...

**5**

votes

**0**answers

219 views

### Why do Kashiwara and Schapira require a base ring of finite global dimension?

In the book "Sheaves on Manifolds" by Kashiwara and Schapira, they work always with sheaves of $R$-modules, where $R$ is a ring of finite global dimension.
Why do they do this, what care ...

**1**

vote

**0**answers

70 views

### local universal sheaf (moduli of stable sheaves)

I do not know much about moduli of sheaves and I wanted to shows that for a smooth (projective) family over a discrete valuation ring of mixed characteristics (relative dimension 3), the locally free ...

**0**

votes

**0**answers

79 views

### Sheaves whose restriction maps are monomorphisms?

When the restriction maps of a sheaf of $\mathcal O_X$-modules are epimorphisms,
the sheaf is flasque and we have a whole theory of that. Is there a detailed study of the opposite phenomenon, i.e., ...

**2**

votes

**0**answers

49 views

### Locally free sheaves of algebras vs. algebra bundles

It is well known that there is a bijective correspondence between locally free sheaves of modules and vector bundles (cf. ...

**3**

votes

**0**answers

206 views

### Is this diagram of sheaves actually Cartesian as claimed?

The question is about Corollary 1.6.2 (b) in the book by Laumon and Moret-Bailly on algebraic stacks.
There we have a scheme $S$ and morphisms $X \xrightarrow{f} Y \xrightarrow{g} Z$ of sheaves on a ...

**2**

votes

**1**answer

193 views

### Equivariant Derived Category

If $G$ is an connected unipotent group over $k$,and $X$ a scheme of finite type over $k$, (an algebraic closed field of positive characteristic) then we can define the bounded derived categorie of ...

**13**

votes

**1**answer

450 views

### The real numbers object in Sh(Top)

If $X$ is a sober topological space, the real numbers object in the topos $\mathrm{Sh}(X)$ is the sheaf of continuous real-valued functions on $X$. This is proven very explicitly in Theorem VI.8.2 of ...

**1**

vote

**1**answer

149 views

### Is the cokernel of a map of sheaves a seperated presheaf?

The cokernel of a map of sheaves is not necessarily a sheaf until you sheafify. In every example I have seen of the cokernel failing to be a sheaf it is the glueability axiom that fails while the ...

**2**

votes

**1**answer

206 views

### Nearby cycles and specialisation - properties

I am looking for reference for properties of nearby cycles - specifically, commutation with non-characteristic pull-back (good enough - commutation with pull-back to closed subvariety which is ...

**2**

votes

**0**answers

201 views

### Two functorial definitions of schemes

I have been reading a bit about the "functor of points" theory for schemes. There seem to be two ways of going about defining schemes this way:
Equip the category $\textbf ...

**1**

vote

**1**answer

188 views

### Examples of nontrivial local systems in Decomposition Theorem

There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that
$$Rf∗IC_X \cong \oplus_a ...

**2**

votes

**2**answers

696 views

### Canonical Sheaf of Projective Space

I am stuck on one step that occurs without explanation in several Algebraic geometry books.
Starting from the exact sequence
$$0\rightarrow \Omega_{\mathbb{P}^n}\rightarrow ...

**2**

votes

**0**answers

64 views

### Cohomology and quotients for the canonical topology

Recall that for any category $\mathcal C$, there is a unique finest topology, the canonical topology on $\mathcal C$ for which all representable functors are sheaves. I am interested in the example ...

**4**

votes

**0**answers

282 views

### Cohomological dimension of the category of sheaves

Let $X$ be an $n$-dimensional manifold. Then for any sheaf $\mathcal{F}$ on $X$, the cohomology $H^i(X; \mathcal{F})$ vanishes for $i > n$.
Let $k$ be a field, and let $\mathrm{Shv}_k(X)$ be the ...

**1**

vote

**3**answers

354 views

### Higher cohomology of sheaves on a projective space

Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf
...

**1**

vote

**1**answer

283 views

### Global to local for Ext groups and Sheaves

Let $X$ be a projective variety. The sheaf $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$ is supported on $Sing(X)$.
Now, there should be a theorem (perhaps by Schlessinger) that says that if $X$ ...

**4**

votes

**2**answers

302 views

### on the Zariski sheafification of Quillen's K-theory

Let $X$ be a smooth k-variety and denote by $K_n$ Quillen's K-theory sheaf, that is: the Zariski sheaf on $X$ associated to the presheaf $U \mapsto K_n(U)$.
The Bloch-Quillen formula says that ...

**3**

votes

**1**answer

208 views

### Given an exact category, viewed as a site, do there exist non-additive sheaves?

Suppose given an exact category $\mathcal{C}$. The following question arises while proving the Gabriel-Quillen-Laumon embedding theorem following Laumon [1].
Laumon constructs an abelian category ...

**2**

votes

**1**answer

557 views

### Cohomology of tangent bundles

Let $X$ be a smooth scheme and $Z\subset X$ a smooth subscheme. Consider the blow-up
$$\pi:\widetilde{X}:=Bl_{Z}X\rightarrow X$$
of $X$ along $Z$.
What is the relation between the cohomology of the ...

**4**

votes

**1**answer

170 views

### Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?

I'm just starting to learn about sheaves, and I'm confused about a certain matter:
I've just learned, to my delight, that every sheaf $S$ on a space $X$ is the sheaf of sections of a particular ...

**1**

vote

**1**answer

130 views

### Sheaves on the site of $\pi$-sets

Let $\pi$ be a group, and let $\mathcal{C}$ be the site whose underlying category is that of $\pi$-sets (with $\pi$-linear maps as morphisms). The covers are jointly surjective families of such ...

**0**

votes

**0**answers

114 views

### local systems, duals, cohomology

Let $U=\mathbb{P}^1-\{p_1, \ldots, p_n\}$ be a Zariski open subset of the projective line. Consider a rank $r$ local system of complex vector spaces $V$ on $U$ and assume that the monodromy ...

**9**

votes

**1**answer

486 views

### Why is there no stack of $\ell$-adic sheaves on a curve?

One of the main players in the categorical geometric langlands correspondence is the moduli stack of rank n integrable connections on a complex curve. The reason for considering such objects is that ...

**3**

votes

**1**answer

129 views

### For which sites are all constant presheaves separated?

I'm intererested in open surjective geometric morphisms induced by fibrations of sites $S\to T$ a la Moerdijk, but as a warm-up, let's consider the case $S \to \ast$. In the case that $S$ is a poset ...

**0**

votes

**0**answers

171 views

### Split and pure exact sequence of sheaves

Let $X$ be a topological space and
$$\varepsilon \ :\ 0 \to A \to B \to C \to 0$$
be an exact sequence of sheaves of ${\cal O}_X$-modules. $\varepsilon$ is said to be pure if
for each point $x\in ...

**1**

vote

**1**answer

305 views

### + functor (used to construct sheafification)'s property

Let $X$ be a topological space, $\mathcal{C}$ be a locally small category with "good properties" (such as having small inverse limit, small filtrant inductive limit...etc.) and $\mathcal{F}$ be a ...

**4**

votes

**3**answers

528 views

### Are the global sections of a vector bundle a projective module?

Given a scheme $X$ with structure sheaf $\mathcal{O}_X$, we can associate to each $\mathcal{O}_X$-module $\mathcal{F}$ its global sections $\Gamma(\mathcal{F})$, which gets the structure of a ...

**2**

votes

**0**answers

129 views

### Is there something interesting in the uniqueness condition for a sheaf?

After digesting the Presheaf definition by the very first time, one feels (at least I felt) a strange sensation noticing the existence and uniqueness conditions to graduate that Presheaf as a sheaf, ...

**5**

votes

**1**answer

342 views

### fpqc sheafification and localisation

I am slightly confused about sheafification at the moment.
I first learned sheaves defined as a subcategory of presheaves, then I was told that sheaves are also a localisation of presheaves, then I ...

**1**

vote

**0**answers

74 views

### compactness of moduli stack of semistable sheaves

It's known that the moduli stack ${\cal M}$ of semistable sheaves on a given polarized projective variety, with a fixed Hilbert polynomial, is compact (meaning that ${\cal M}$
has an atlas of finite ...

**9**

votes

**1**answer

389 views

### When do sheaves which are constant along the fibers come from the base?

Assume we are given a map $f: X \rightarrow Y$ between topological spaces which is open, surjective and has (pathwise) connected fibers. Consider categories $\text{Sh}(X)$, $\text{Sh}(Y)$ of sheaves ...

**3**

votes

**1**answer

254 views

### Coverage, itself considered as a presheaf

A coverage $J$ on a category $C$ assigns to an object $U$ of $C$ a set of covering families $J(U)$. The covering families are required to be stable under pullback, which amounts to requiring that for ...

**2**

votes

**1**answer

205 views

### Carving out subsheaves of local hom-sheaves of stacks of categories

Recall from my previous question the definition of a local hom-sheaf of a stack of categories. I am interested in stacks of categories such that the underlying stack of groupoids is a moduli stack.
...

**0**

votes

**1**answer

507 views

### Spectral sequences in Hypercohomology of sheaves (For a complex of acyclic sheaves) - Follow-up to previous question

Alright, this is a follow-up to my previous question (Spectral sequences in Hypercohomology of sheaves), sorry I took so long to reply. Let $X$ be a topological space, let $F^\bullet$ be a cochain ...

**4**

votes

**2**answers

534 views

### trying to understand the support of the sheaf of relative differentials

So I'm trying to understand a proof of Belyi's theorem from http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf
specifically lemma 3.4.
The setup is as follows: Let $X/\mathbb{C}$ be a curve, and let $t ...

**2**

votes

**1**answer

597 views

### Spectral sequences in Hypercohomology of sheaves

Alright, here I go again, don't know if I'm missing something here but let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I want to compute the cohomology of this ...

**1**

vote

**2**answers

468 views

### Hypercohomology of a complex of sheaves that might be acyclic (or might not)

Back again, check this out, let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I'm trying to compute the cohomology of the complex of global sections of the sheaves
...

**1**

vote

**2**answers

276 views

### Cohomology of a cochain complex of acyclic sheaves

Ok, sort of as a follow up to my previous question, let's recall the de Rham-Weil theorem:
Let $F$ be a sheaf on a topological space $X$ and let $\mathcal{L}^{\bullet}$ be an acyclic resolution of ...

**1**

vote

**0**answers

149 views

### Soft sheaves on indiscrete paracompact spaces

Let $X$ be some space, I have basically 2 questions:
1 - Are sheaves on paracompact but not Hausdorff spaces acyclic? I've been doing some reading and some authors say that soft sheaves on ...

**4**

votes

**1**answer

528 views

### Euler characteristic and inclusion-exclusion

Define the Euler characteristic of a scheme to be the Euler characteristic of its structure sheaf. I remember being told that for curves, this invariant satisfies inclusion-exclusion. That is, if ...

**12**

votes

**1**answer

991 views

### Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?

It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$
versus the sheafification of a pre-sheaf.
The definition of the sheaf $\mathscr F^+$ ...

**13**

votes

**2**answers

611 views

### What's the easiest example of a morphism of topoi that is not from that of a site?

A topos is defined to be a category that's equivalent to the category of sheaves on a site. Morphisms between topoi is defined by a pair of adjoint functors that behave like pull-back/push-forward of ...

**7**

votes

**1**answer

1k views

### surjective morphism of schemes or epimorphism of sheaves?

I have a technical question coming from reading Toen's master course on stacks.
If we view schemes as locally ringed spaces then there we could define a morphism to be surjective if it the underlying ...