All Questions
Tagged with reference-request sheaf-theory
61 questions
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
9
votes
0
answers
673
views
Colimits of quasi-coherent sheaves on a ringed space
Recall from the stacks project that a sheaf of modules $F$ on a ringed space $X$ is called quasi-coherent if there is an open covering $\{U_i\}$ such that each $F|_{U_i}$ has a presentation, i.e. is ...
- 63.1k
4
votes
0
answers
261
views
Can one construct Freyd-Mitchell's embeddings that respect sheafifications?
For a certain presheaf $P$ with values in an abelian category $A$ satisfying AB5 and its sheafification $S$ (with respect to a small Grothendieck site) I would like to prove: $S(f):S(X)\to S(Y)$ is ...
- 16.9k
1
vote
1
answer
414
views
Restriction of a sheaf to an infinitely small neighbourhood of a closed submanifold: how to work with this ind-sheaf?
Let $X$ be a manifold, $i: Z\to X$ is a closed embedding.
For a sheaf $S$ (of abelian groups) on a manifold $X$ and each $\varepsilon>0$ we denote by $Z_\varepsilon$ the set of points of $X$ ...
0
votes
1
answer
494
views
Sheaf of sections and local triviality
This is probably not a research level question, I'm sorry if it is inappropriate. I'm reasking here this question on math.se.
Suppose that $\xi: E \to B$ is a bundle (by which I mean simply a ...
3
votes
1
answer
587
views
Functoriality of base change
Let $a:W\rightarrow X$, $c:X\rightarrow Z$, $b:W\rightarrow Y$ and $d:Y\rightarrow Z$ be a pull-back diagram in the category of topological spaces. Then one can construct a natural isomorphism $\kappa$...
- 1,457
5
votes
0
answers
336
views
Do 'change of coefficients' functors for sheaves commute with the four functors (formalism)?
For a morphism $f$ of varieties over a field of characteristic $\neq l$ I can consider the functors $Rf_*$, $f^\ast$, $f_!$, and $f^!$ both for the corresponding derived categories of 'all' (...
- 16.9k
2
votes
0
answers
414
views
Do inverse images respect flabby sheaves?
Let $i:Y\to X$ be a closed embedding of varieties, and let $S$ be a flabby \'etale (or Nisnevich) sheaf of abelian groups on $X$. Is $i^*S$ flabby also? I am mostly interested in the case when $S=i_{x*...
- 16.9k
2
votes
0
answers
358
views
What are the easiest cases of base change (for sheaves on sites)?
I have a closed embedding of schemes $i:X'\to X$, and for each of them I consider three Grothendieck topologies for the category of the corresponding (relatively) \'etale schemes: the \'etale one, the ...
- 16.9k
1
vote
0
answers
249
views
On inverse images with respect to Zariski-etale topology.
For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
- 16.9k
2
votes
0
answers
228
views
The Mayer-Viertoris exact sequence as a (Zariski) descent spectral sequence.
For certain 'spaces' $U,V$ (they are certain Henselizations of subvarieties) I would like to compute (certain etale) cohomology of $U\cup V$ in terms of the corresponding cohomology of the diagram $U\...
- 16.9k