All Questions
Tagged with ag.algebraic-geometry sheaf-theory
493 questions
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
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
5
votes
1
answer
631
views
Does the concept of a basis for a topology on a category exist?
If we want to define a sheaf F on a topological space X and we have a basis B for the topology of X, what we can do is to define objects and restrictions for guys in B, check that they satisfy the "B-...
- 1,993
5
votes
1
answer
2k
views
Natural morphism appearing in Grothendieck spectral sequence
Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
- 63.1k
7
votes
0
answers
205
views
sheaves on thickened nodal cubics
Suppose F is an algebraically closed field (of any characteristic) and that h in F[x,y,z]
is an irreducible cubic form defining a plane curve C with a node. A lot is known about
sheaves on C; for ...
- 5,422
17
votes
2
answers
1k
views
What are the merits of the different finiteness conditions on quasi-coherent sheaves?
It's my understanding that there's no disagreement about the right way to define a quasi-coherence for a sheaf $F$ of $O_X$-algebras (over a scheme, locally ringed space, or even locally ringed topos)....
- 9,408
11
votes
5
answers
8k
views
When is the push-forward of the structure sheaf locally free
Let $f:X\longrightarrow Y$ be a morphism of noetherian schemes. Under what conditions is $f_\ast \mathcal{O}_X$ a locally free $\mathcal{O}_Y$-module?
Example 1. Suppose that $f$ is affine. Then $f_\...
- 9,497
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
36
votes
6
answers
9k
views
What is the Zariski topology good/bad for?
In a comment to this question the quotation "The Zariski Topology is the 'Wrong' topology for Algebraic Geometry" appears.
Well, so some spontaneous questions arise:
1) What is Zariski topology ...
5
votes
1
answer
3k
views
Question about hypercohomology / spectral sequence of a complex of "almost-acyclic" sheaves
I have a very particular situation involving a (non-exact) complex $K$ of coherent sheaves on a nonsingular projective variety $X$, and I need to compute the hypercohomology of the complex. The ...
- 545
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
4
votes
1
answer
383
views
How to characterize Abelian sheaves that are quasi-coherent?
Let $X$ be a scheme. Suppose you are given a sheaf of Abelian groups $\mathcal{A}$ over $X$. How can you determine if $\mathcal{A}$ is the underlying Abelian sheaf of a sheaf of $O_X$-modules? In ...
- 23.3k
4
votes
1
answer
549
views
Does this condition reduce to the correct notion of irreducibility on schemes?
Consider the category of sheaves (of sets) on the affine étale site. It's a well known fact that a morphism of schemes is a Zariski-open immersion if and only if it is an étale monomorphism, so we ...
- 19.6k
4
votes
3
answers
3k
views
Internal hom of sheaves
Consider a topos, i.e. the category $Shv$ of sheaves on a Grothendieck site $T$ with values in abelian groups. The category $Shv$ is symmetric monoidal with $\otimes$, the tensor product in every ...
- 2,782
3
votes
1
answer
583
views
Simplifying the definition of a geometric context using sieves?
On Pages 1-3 of Cours 2 of Toën's Master Course on Stacks, he defines the notion of a Geometric context with a rather extensive list of axioms (they take up about two pages over and above the ...
- 19.6k
7
votes
3
answers
2k
views
Cohomology with compact support for coherent sheaves on a scheme
Is there a notion (for schemes or just locally ringed spaces) of cohomology with compact support? I guess there is for algebraic schemes over $\mathbf{C}$, but what about schemes in general? Does ...
- 163
25
votes
3
answers
5k
views
Stacks and sheaves
I'm a bit confused by the double role which sheaves play in the theory of stacks.
On the one hand, sheaves on a site are the obvious generalization of a sheaf on a topological space. On the other ...
- 14.7k
5
votes
1
answer
723
views
Sheaf condition and representability in the category Top
This is a rather nice question I got from this user via private communication.
Let $\mathcal{C} = Top$ the category of topological spaces. Let $\mathcal{C}^\prime$ be the category $Funct(\mathcal{C}^{...
- 7,442
36
votes
3
answers
4k
views
What is the right version of "partitions of unity implies vanishing sheaf cohomology"
There are several theorems I know of the form "Let $X$ be a locally ringed space obeying some condition like existence of partitions of unity. Let $E$ be a sheaf of $\mathcal{O}_X$ modules obeying ...
- 156k
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
3
votes
3
answers
687
views
Nature of Invertible Sheaves in which there are no global sections.
EDIT: Let me try to make the question clearer.
Consider the invertible sheaves $\mathcal{O}(d)$ over the projective space $\mathbb{P}^n$ where $d\in \mathbb{Z}$. Now, if $d>0$, among many ...
- 2,132
24
votes
4
answers
6k
views
What is a section?
This question comes out of the answers to Ho Chung Siu's question about vector bundles. Based on my reading, it seems that the definition of the term "section" went through several phases of ...
- 118k
35
votes
5
answers
4k
views
Heuristic explanation of why we lose projectives in sheaves.
We know that presheaves of any category have enough projectives and that sheaves do not, why is this, and how does it effect our thinking?
This question was asked(and I found it very helpful) but I ...
- 4,842
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
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
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
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
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
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
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
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