All Questions
Tagged with sheaves or sheaf-theory
979 questions
33
votes
4
answers
6k
views
What (if anything) happened to Intersection Homology?
In the early 1990's, Gil Kalai introduced me to a very interesting generalization of homology theory called intersection homology, which existed for like 10 years back then I believe. Defined ...
- 6,734
10
votes
4
answers
4k
views
Why is an injective quasi-coherent sheaf's restriction to an open subset still an injective object?
X is a Noetherian scheme, F is an injective object in the category of quasi-coherent sheaves on X. U is an open subset of X. Why F's restriction on U is still an injective object in the category of ...
- 1,091
2
votes
2
answers
1k
views
Simplicial Sheaves?
I recently was wondering if there was a name for sheaves which were locally constant on the open simplexes in a simplicial complex. After some googling I stumbled across simplicial sheaves. I am ...
- 4,842
25
votes
5
answers
3k
views
Applications of the "other" definition of sheaves
In most literature, when you try to look for the definition of sheaves you will see the usual definition for presheaves as a functor from a topological space (or from a Grothendieck topology) to some ...
- 2,275
16
votes
2
answers
1k
views
Which topological spaces have the property that their sheaves of continuous functions are determined by their global sections?
I hope I'm using the terminology correctly. What I mean is this: fix $K = \mathbb{R}$ or $\mathbb{C}$ (I'm interested in both cases). Which topological spaces $X$ have the property that for every ...
- 118k
16
votes
6
answers
14k
views
What books should I read before beginning Masaki Kashiwara and Pierre Schapira's "Sheaves on Manifolds"
I am a beginner trying to learn about sheaves. I am trying to read Masaki Kashiwara and Pierre Schapira's book "Sheaves on Manifolds", but I find it is not easy for me to understand.
What ...
6
votes
5
answers
4k
views
Why is the rank of a locally free sheaf well-defined?
In Hartshorne p. 109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of $X$, s.t. on each $U$, $\mathcal{F}|_U$ is a free $O_X|_U$ module of rank $I$. ...
- 1,160
48
votes
8
answers
8k
views
When are there enough projective sheaves on a space X?
This question is being asked on behalf of a colleague of mine.
Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
- 65.4k
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
12
votes
2
answers
818
views
global fibrations of simplicial sheaves
I'm reading the classical Brown-Gersten's paper "Algebraic K-theory as generalized sheaf cohomology" and I'm stuck with their choose of global fibrations. Namely, a morphism of simplicial sheaves $p : ...
- 1,975
6
votes
2
answers
790
views
Do quotients of representable sheaves represent quotients?
Here's the context for the question: Proposition 4.6 of Freitag and Kiehl's book on etale cohomology shows that a sheaf (of sets) $\mathcal{F}$ (on the site Et(X)) is constructible if and only if it ...
- 1,988
4
votes
2
answers
2k
views
Modules, Sheaves and Vector bundles
Given a graded ring $S$ and a graded S-module $M$ we can carry out a construction in order to get $\tilde{M}$, which is a sheaf over the scheme $\mathrm{Proj}~ S$. With this in view, I have an ...
- 2,132
12
votes
6
answers
1k
views
Assumptions on the category C for sheafification of C-valued presheaves
For any category C and topological space X we have the notion of a C-valued presheaf on X.
What assumptions must be made about C in order that we have the notion of such a presheaf being a 'sheaf'? I ...
- 1,871
98
votes
10
answers
14k
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 ...
- 1,871
15
votes
2
answers
2k
views
Total Spaces of Quasicoherent Sheaves
You can construct a total space of a quasicoherent sheaf on an scheme by taking relative spec of the symmetric algebra of the dual sheaf. For locally free sheaves, you get vector bundles, and every ...
- 5,548
28
votes
3
answers
4k
views
How do I compare the different notions of Fourier transform for sheaves?
There is a close but not perfect relationship between algebraic D-modules on C^n, constructible sheaves on C^n in the analytic topology, and \ell-adic sheaves on an n-dimensional vector space over a ...
- 4,949
11
votes
4
answers
5k
views
When does the sheaf direct image functor f_* have a right adjoint?
Say f: X → Y is a morphism of schemes. The sheaf direct image functor f★ always has a left adjoint, namely the sheaf inverse image functor f★ (with tensoring).
Under what (...
- 11.3k
31
votes
3
answers
4k
views
Sheaf description of $G$-bundles
Now, among algebraic geometers, at least, it is well known that there is an equivalence between locally free $\mathcal{O}_X$-modules of rank $n$ and vector bundles of rank $n$. So, equivalently, ...
- 16k
52
votes
7
answers
5k
views
What does a projective resolution mean geometrically?
For R a commutative ring and M an R-module, we can always find a projective resolution of M which replaces M by a sequence of projective R-modules. But as R is commutative, we can consider the affine ...
- 1,056
18
votes
9
answers
2k
views
What representative examples of modules should I keep in mind?
So here's my problem: I have no intuition for how a "generic" module over a commutative ring should behave. (I think I should never have been told "modules are like vector spaces.") The only ...
- 118k
66
votes
4
answers
11k
views
Is there a good way to think of vanishing cycles and nearby cycles?
Once in a while I run into literature that invokes vanishing cycle machinery with a cryptic sentence like, "this follows from a standard vanishing cycle argument." Is there a good way to look at ...
- 45.7k
20
votes
1
answer
2k
views
Functorial characterization of open subschemes?
Given a morphism of schemes f: U → X, can one determine when f is an isomorphism of U onto an open subscheme of X in terms of some induced functors between the categories of quasicoherent modules ...
- 5,407
62
votes
8
answers
14k
views
Sheaf cohomology and injective resolutions
In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
user709
6
votes
2
answers
1k
views
Explicit Direct Summands in the Decomposition Theorem
Let f:X→Y be a semismall resolution of singularities. Then the pushforward of the constant sheaf on X is a semisimple perverse sheaf on Y. Under these conditions, I know how to calculate the ...
- 8,866
11
votes
2
answers
2k
views
Finiteness conditions on simplicial sheaves/presheaves
Could someone give an overview, or just some examples, of "finiteness conditions" for simplicial sheaves/presheaves and/or simplicial schemes? Any answer or comment about this would be interesting, ...
- 5,637
16
votes
3
answers
5k
views
Stalks of sheaf-hom
Let $F$ and $G$ be sheaves on $X$. Under what conditions is the natural map from the stalk at $p$ of $\mathcal{H}\kern{-1pt}\mathit{om}(F,G)$ to $\mathrm{Hom}(F_p, G_p)$ an isomorphism?
- 161
27
votes
4
answers
3k
views
What is an example of a presheaf P where P^+ is not a sheaf, only a separated presheaf?
There is a standard way to construct the sheafification of a presheaf on a Grothendieck topology which involves matching families. Details may be found here:
http://ncatlab.org/nlab/show/matching+...
- 3,918
7
votes
2
answers
1k
views
Non-zero sheaf cohomology
Let $\mathbb{R}$ denote the real line with its usual topology. Does there exist a sheaf $F$ of abelian groups on $\mathbb{R}$ whose second cohomology group $H^{2}\left(\mathbb{R},F\right)$ is non-zero?...
- 47.5k
2
votes
1
answer
406
views
Are there any criteria for a presheaf which is an etale sheaf to be a sheaf in the fppf topology?
I am happy to hear answers to variants too. For instance, my situation I actually have a sheaf in the smooth topology.
- 10.5k