All Questions
Tagged with sheaves or sheaf-theory
979 questions
8
votes
2
answers
4k
views
Closed subschemes and pulling back the structure sheaf via the inclusion map
I would just like a clarification related to closed subschemes.
If $(X,{\cal O}_X)$ is a locally ringed space and $A\subset X$ is any subset with the subspace topology then $i^{-1}{\cal O}_X$ will be ...
- 2,814
8
votes
2
answers
684
views
Is $H^i(X,F)$ finitely generated over $\Gamma(O_X)$ if $F$ is coherent?
Suppose $\mathcal{X}$ is a smooth quasi-projective variety over $\mathbb{C}$ (I apologize if these hypotheses have little to do with the question at hand). Let $\mathcal{F}$ be a coherent sheaf on $\...
- 3,758
8
votes
2
answers
4k
views
Sheaf cohomology question
For a topological space $X$ and a sheaf of abelian groups $F$ on it, sheaf cohomology $H^n(X,F)$ is
defined.
Singular cohomology of $X$ can be expressed as sheaf cohomology if $X$ is locally ...
- 221
8
votes
1
answer
1k
views
What's the point of a point-free locale?
In [1, example C.1.2.8], a locale $Y$ (dense in another locale
$X$) without any point is given. I fail to understand the point
of such point-less locale - Why can't we identify those as the
trivial ...
- 5,230
8
votes
2
answers
993
views
Example of a Sheaf (on the site of smooth manifolds) with Nontrivial Cohomology on $\mathbb{R}^n$?
Does such a sheaf of abelian groups exist? If not, is there a reference or a proof? Does such a sheaf of non-abelian groups exist?
I realized recently that while I've taken it for granted that ...
- 1,138
8
votes
2
answers
532
views
A very elementary question on the definition of sheaf on a site
I'm now studying the etale cohomology with the book 'Introduction to Etale Cohomology' by Tamme.
In the page 26 of the book, 'a family of effective epimorphisms' is introduced.
'A family $\{ U_{i} \...
- 1,013
8
votes
3
answers
643
views
Is there a name for a "rigid" sheaf?
Is there a name for the property of a sheaf $\mathcal F$ such that the restriction maps $\mathcal F(V) \to \mathcal F(U)$ are injective when $V$ is connected and $U$ is nonempty?
In other words, this ...
- 3,910
8
votes
1
answer
2k
views
Sheaves of $\mathbb Z$-modules = sheaves of abelian groups
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 take $\...
- 1,368
8
votes
2
answers
2k
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$, ...
- 6,792
8
votes
1
answer
1k
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,273
8
votes
1
answer
5k
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 ...
- 81
8
votes
1
answer
529
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 ...
- 21.8k
8
votes
2
answers
483
views
Swan-like theorem and covering spaces
Let $X$ be a finite CW complex. Swan's theorem provide an equivalence
$$
{\rm Vec}(X)\xrightarrow\sim{\rm ProjMod}(\mathop{\rm hom}\nolimits_{\rm Top}(X,\mathbb{R}))
$$
between the category of finite ...
- 2,782
8
votes
1
answer
791
views
Hypercovers of sheaves in classical and quasi-categories
I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...
- 187
8
votes
1
answer
703
views
Sheaf (Gieseker) compactification of moduli space of vector bundles
I am given to understand that the moduli space $M_k^G$ of $G$ vector bundles with second Chern class $c_2=k$ over an algebraic curve/variety (for me a Riemann surface is enough/projective space for ...
- 587
8
votes
2
answers
728
views
Sheaf Cohomology on a Stone Space
Let $X$ be a stone space, i.e. a compact, totally disconnected hausdorff space. Then $H^1(X,\mathbb{Z}/2)=0$. Here's one way of proving this: $X$ with $\mathbb{Z}/2$ (the constant sheaf) is an affine ...
- 63.1k
8
votes
1
answer
586
views
Injective objects in Mor(Ab)
Consider the abelian (Grothendieck) category $\mathcal{C} := \mathrm{Fun}(\{0<1\},\mathrm{Ab}) = \mathrm{Mor}(\mathrm{Ab})$. Objects are morphisms $(A \to B)$ of abelian groups, morphisms are ...
- 63.1k
8
votes
1
answer
390
views
Grothendieck axioms and sheaf categories
An abelian category, $A$, is said to satisfy axiom AB6 if for every family of filtered diagrams $I_j$ indexed by a set $J$, the canonical map $\mathrm{colim}_{\prod_{I_j}}(\prod_j M_{ij}) \to \prod_J \...
- 4,189
8
votes
1
answer
319
views
How are the left and the right group of a bitorsor related?
This question arose from my answer to To what extent does a torsor determine a group: it turns out that I do not know one thing about it.
Let $G$, $G'$ be groups in some nice enough category (you may ...
- 18.4k
8
votes
1
answer
1k
views
Relative version of de Rham cohomology with local coefficients
Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative:
$$\mathcal{E} \xrightarrow{d^\nabla=\nabla} \Omega^1_M \otimes_{\...
- 6,025
8
votes
1
answer
459
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 ...
- 359
8
votes
1
answer
1k
views
Does one need to sheafify when defining the inverse image of a sheaf with respect to an embedding?
This seems to be a rather simple (stupid?:)) question; yet I was not able to find an answer quickly.
For a morphism $f:X\to Y$ of schemes (or topological spaces) and an (etale or topological) sheaf $...
- 16.9k
8
votes
1
answer
562
views
Category of copresheaves over commutative monoids
Let C be a symmetric monoidal category. Let Comm(C) be the category of commutative monoids in C. Consider the topos X = CoPSh(Comm(C)) of covariant functors from Comm(C) to the category Set of sets.
...
- 2,399
8
votes
0
answers
644
views
Trying to understand "Shtukas"
I'm studying Goss' Basic structures of function field Arithmetic, chapter 6 about Shtukas. I'm trying to understand some details about some concepts. This chapter is based on a Mumford's paper An ...
- 69
8
votes
0
answers
443
views
Sheaf of compact Hausdorff spaces but not a condensed anima
Consider the site $\mathbf{CHaus}$ of compact Hausdorff spaces together with the finitely jointly surjective families of maps as coverings. Restriction induces an equivalence of categories $$ \mathbf{...
- 435
8
votes
0
answers
333
views
Who introduced the notion of ringed spaces?
My question is very concise, please forgive it.
Who introduced the concept of ringed space?
My first try would be that they were introduced by Cartan in his study of analytic functions with sheaves. ...
- 894
8
votes
0
answers
750
views
What's the definition of a microlocal sheaf?
I'm slowly becoming familiar with what microsupport of a sheaf is, but none of the references I've seen give a definition of what a microlocal sheaf should be in general.
In this paper of ...
- 191
8
votes
0
answers
680
views
Stalks of limit sheaves
Let $\{\mathcal{F}_i\}_{i\in \mathbb{N}}$ be an inverse system of sheaves of abelian groups on a space $X$. Then for any $x\in X$ we have a natural map
$$\left(\lim_i \mathcal{F}_i\right)_x\rightarrow ...
- 4,418
8
votes
0
answers
254
views
Why mu-stratifications?
In the microlocal theory of sheaves developed by Kashiwara and Schapira, there is the notion of a $\mu$-stratification, which is a stratification satisfying a stronger property ("$\mu$") than Whitney'...
- 18.7k
8
votes
0
answers
470
views
Sheaf whose singular support is not Lagrangian
For constructible sheaves $\mathcal F$ on real analytic manifolds $X$, there is a notion of the singular support $SS(\mathcal F)$ which is a radially invariant singular Lagrangian subset of the ...
- 18.7k
8
votes
0
answers
303
views
Examples of locally-but-not-globally (pre)sheaf toposes?
Re-reading my own recently posted question What is the total space of a stack after all? I realized that I don't know something more simple and presumably more basic.
Are there (bounded if you like) ...
- 18.4k
8
votes
0
answers
588
views
Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?
Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative:
$$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
- 6,025
8
votes
0
answers
338
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 ...
- 935
8
votes
0
answers
355
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 ...
- 8,723
8
votes
0
answers
337
views
What's the Hochschild homology of the category of constructible sheaves?
Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?
- 8,723
8
votes
0
answers
370
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 ...
- 2,756
7
votes
3
answers
2k
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 ...
- 3,830
7
votes
2
answers
611
views
Are subfunctors of left exact functors also left exact?
Consider the direct image functor $f_*: Sh(X) \rightarrow Sh(Y)$, let $X$ and $Y$ be topological spaces, let $f: X \rightarrow Y$ be a continuous map, let $G \in Sh(X)$ be a sheaf. I was reading this ...
- 360
7
votes
3
answers
924
views
not quite the sheaf condition
Let $Sets$ be the category of finite sets and all maps. I have come accross several example of functors $F : Sets^{op} \to Sets$ which satisfy the condition below:
-- There exists an integer $k$ such ...
- 2,287
7
votes
2
answers
7k
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,306
7
votes
3
answers
562
views
Abstract Relation between Presehaves and Simplicial Sets
Every presheaf (let's say on a topological space) comes with restriction maps. The open sets of a topological space are ordered by inclusion and these inclusions yield the restrictions. Now a sheaf ...
- 1,926
7
votes
2
answers
3k
views
Grothendieck spectral sequence and Mayer-Vietoris sequence
Suppose $U'\cup U''=X$ is an open cover $U$ of a topological space $X$ and $F$ is a sheaf on $X$ with values in abelian groups. There is a special instance of the Grothendieck spectral sequence ...
- 319
7
votes
1
answer
2k
views
The Serre duality theorem intuition
It is a well known fact that proper scheme $X$ over $k$ has a up to isomorphism unique dualizing sheaf (EGA I, Hartshorne).
This dualizing sheaf $\omega_X$ comes with two striking properties:
(i) ...
- 6,028
7
votes
3
answers
1k
views
Encounters with partitions of unity
Not sure how this would be received here. This question is about smooth partitions of unity.
Let $M$ be a manifold. Consider an open cover $\{U_\alpha\}_{\alpha\in \Lambda}$ of $M$. A collection of ...
- 6,023
7
votes
2
answers
458
views
A technical question about derivations of sheaves on group schemes
Let $G$ be a group scheme (for instance, over $k$ a field of characteristic 0).
Let $e$ be its unit.
I denote by $O_G$ the structural sheaf of $G$.
Let $D_e : O_{G,e} \to k$ a derivation.
I would ...
- 1,320
7
votes
2
answers
795
views
Why do sheaves embed in presheaves?
Presheaves on a category $C$ form the free co-completion, in the sense that every functor from $C$ to a cocomplete category extends in a unique way to the presheaf category.
If $C$ is equipped with a ...
- 73
7
votes
2
answers
3k
views
Describing global sections of sheafifications
Recently on glancing through Hartshorne's description
of Cartier divisors I started pondering the definition of
sheafification which led me to a question I can't answer. Neither
can I find a ...
- 20.8k
7
votes
2
answers
627
views
Vanishing of higher direct image of finite morphisms relative to the fppf topology
Let $f:X \to Y$ be a finite morphism of schemes.
Let $\mathcal{F}$ be a sheaf of abelian groups on the the etale site of $X$ then we know that $R^{i}f_{*} \mathcal{F} = 0$. Is this statement also true ...
- 345
7
votes
3
answers
2k
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 $\Gamma(\...
- 12.1k
7
votes
2
answers
796
views
Restriction of Ext sheaves
Let $f \colon X \to Y$ be a map of schemes, $\mathcal{F}, \mathcal{G}$ two coherent sheaves on $Y$. I'm interested in conditions which guarantee an isomorphism
$$f^{*} \mathcal{E}xt^i(\mathcal{F}, \...
- 14.7k