All Questions
Tagged with sheaves or sheaf-theory
979 questions
5
votes
2
answers
985
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 \...
- 1,391
18
votes
2
answers
4k
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 ...
- 291
16
votes
2
answers
4k
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 ...
- 3,830
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
6
votes
1
answer
800
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,782
10
votes
2
answers
935
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 ...
- 19.6k
9
votes
0
answers
369
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 ...
- 35.5k
3
votes
1
answer
736
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)$, $I_2=\mu_*\mathcal{O}_{X'}(-\sum(...
- 1,150
1
vote
2
answers
530
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$?
- 1,499
9
votes
1
answer
393
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 ...
- 19.6k
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
4
votes
2
answers
825
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 ...
- 73
9
votes
1
answer
389
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 $\...
- 66.8k
3
votes
1
answer
844
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 \...
- 14.7k
11
votes
3
answers
6k
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
424
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 ...
- 16.9k
45
votes
8
answers
14k
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 ...
- 2,782
4
votes
2
answers
695
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 ...
- 15.5k
13
votes
2
answers
3k
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 (Edit:...
- 2,782
6
votes
1
answer
1k
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?
- 459
3
votes
2
answers
552
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 (...
- 19.6k
3
votes
2
answers
517
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 ...
- 155
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
6
votes
5
answers
3k
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 ...
- 153
18
votes
4
answers
6k
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 ...
- 3,218
2
votes
2
answers
451
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 ...
- 54.6k
1
vote
1
answer
1k
views
Quasi coherent sheaf
One really stupid, trivial question: A Quasi coherent sheaf $F$ on an affine group scheme(Spec R) is simply an R-module. What happens in case R is a Hopf algebra? Will the Q.coherent sheaf $F$ be an ...
- 153
10
votes
0
answers
484
views
Applications of sheaf theory to the computation of invariants of LS-category type
I would like to know if sheaf theory can be applied to a particular class of questions in topology.
The Schwarz genus (also known as sectional category) of a continuous map $p\colon\thinspace E\to ...
- 35.9k
39
votes
6
answers
9k
views
What is the inverse image sheaf necessary for in algebraic geometry?
Given a continuous map $f \colon X \to Y$ of topological spaces, and a sheaf $\mathcal{F}$ on $Y$, the inverse image sheaf $f^{-1}\mathcal{F}$ on $X$ is the sheafification of the presheaf
$$U \mapsto \...
- 7,338
1
vote
1
answer
405
views
Realizing a restriction as direct/inverse image of sheaves
Consider the inclusion $j$ of ${\mathbb{R}}$ as the real axis of ${\mathbb{C}}$. On ${\mathbb{C}}$ I have a real polynomial algebra ${\mathbb{R}}[x,\bar{x}]$, where $\bar{x}$ denotes conjugation. ...
user2529
89
votes
5
answers
18k
views
What is sheaf cohomology intuitively?
What is sheaf cohomology intuitively?
For local systems it is ordinary cohomology with twisted coefficients. But what
if the sheaf in question is far from being constant?
Can one still understand ...
- 13.2k
5
votes
0
answers
2k
views
Monomorphisms of sheaves
The following is surely pretty standard, but I have been unable to prove it or find a proof in the literature (many sources assert it without proof).
Let $\phi : \mathcal{F} \rightarrow \mathcal{G}$ ...
- 433
4
votes
1
answer
3k
views
Ringed and locally ringed spaces
A pair $(X,O_X)$ is a ringed space if $X$ is a topological space and $O_X$ is a sheaf of rings. If every stalk $O_{X,x}$ is a local ring, then we say that $(X,O_X)$ is a locally ringed space.
In the ...
- 2,215
0
votes
0
answers
187
views
Are sieves in locally small categories still sets?
In "Sheaves in Geometry and Logic", M&M define a sieve of an object $C$ as a downward-closed set of arrows $S$ with codomain $C$. They go on to say that for a locally small category, a sieve of $C$...
- 1,872
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
12
votes
4
answers
3k
views
Is there an easy way to describe the sheaf of smooth functions on a product manifold?
A smooth structure on a manifold $M$ can be given in the form of a sheaf of functions $\mathcal{F}$ such that there is an open cover $\mathcal{U}$ of $M$ with every $U\in \mathcal{U}$ isomorphic (...
- 6,069
16
votes
3
answers
5k
views
Do we have non-abelian sheaf cohomology?
Lets $X$ be a complex manifold (algebraic variety), $N$ an integer, and consider the sheaf $F$ defined by:
$F(U)$ ={ holomorphic maps $f: U\rightarrow GL(N,\mathbb{C})$ } with multiplicative ...
13
votes
1
answer
2k
views
Understanding the etale space construction from a formal viewpoint
Suppose I have a topological space $X$. Let $\mathcal{O}(X)$ denote the poset of open subsets. There is a canonical functor $\mathcal{O}(X) \to Top/X$ which sends an open $U \in \mathcal{O}(X)$ to $U \...
- 15.5k
5
votes
1
answer
867
views
The upper semi-continuous rank of a module sheaf
The article "Intuitionistic algebra and representations of rings" is fantastic; it develops the language, logic etc. for the topos $Sh(X)$, where $X$ is a fixed topological space, from scratch and ...
- 63.1k
2
votes
1
answer
474
views
How to find the smallest flabby sheaf containing a given sheaf?
None of the spaces $C^k(\mathbb{R}^n)$, with $0 \leq k \leq \infty$, is a flabby sheaf. However, they are respectively contained in the smallest flabby sheaves $C^k_{nd} (\mathbb{R}^n)$ of functions $...
- 105
4
votes
1
answer
2k
views
How is the right adjoint $f_*$ to the inverse image functor $f^*$ described for functor categories $Set^C$, $Set^D$ and $f : C \to D$
For $C,D$ small categories, and $f : C \to D$ a functor between them, there is a precomposition, or "inverse image", functor $f^* = (-) \circ f : Set^D \to Set^C$. It has a left and a right adjoint. ...
- 415
12
votes
1
answer
1k
views
Mitchell's embedding theorem
Mitchell's embedding theorem http://en.wikipedia.org/wiki/Mitchell%27s_embedding_theorem tells us that every small abelian category ${\cal A}$ has a full, faithful and exact embedding $V : {\cal A} \...
- 1,975
19
votes
6
answers
2k
views
Is the dual notion of a presheaf useful?
It seems that there is a common theme in mathematics where, if we want to find out about a category C, then we look at $\hat{C}$ (the category of contravariant functors from $C$ to $Set$). There are ...
- 13.5k
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
1
vote
1
answer
629
views
The fiber of the sheaf of invariants
Let us suppose the the group $G:=\mathbb{Z}/2\mathbb{Z}=(1,i)$ freely act on a smooth projective variety/$k$ $X$ and denote by $Y$ the G.I.T. quotient $X/G$. Let $\pi:X\longrightarrow Y$ the quotinet ...
- 669
3
votes
2
answers
2k
views
Relation between sheaf and group cohomology
Let $E=\mathbb{C}/L$ be an elliptic curve. Then $\mathbb{C}$ is contractible, and $L$ is the fundamental group of $E$. What's interesting is that we can find the cohomology of $E$, which is the same ...
- 15.4k
20
votes
0
answers
3k
views
Idea of presheaf cohomology vs. sheaf cohomology
Let $X$ be a topological space and $U$ an open cover of $X$.
In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology:
The zeroth Cech ...
- 319
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
3
votes
0
answers
341
views
Descent of singular cohomology
When proving that singular cohomology of an appropriate space $X$ equals sheaf cohomology of $X$ with "values" (does one say that?) in the sheaf $\mathbb{Z}_X$ of locally constant functions, the ...
- 319
27
votes
1
answer
2k
views
Galois Group as a Sheaf
I've noticed that the Galois groups associated to Galois field extensions $L$ of a given field $K$ seem remarkably like a sheaf, with the field extensions taking the place of open set, and the Galois ...
- 15.4k