All Questions
Tagged with sheaves or sheaf-theory
356 questions with no upvoted or accepted answers
0
votes
0
answers
421
views
Split and pure exact sequence of sheaves
Let $X$ be a topological space and
$$\varepsilon \ :\ 0 \to A \to B \to C \to 0$$
be an exact sequence of sheaves of ${\cal O}_X$-modules. $\varepsilon$ is said to be pure if
for each point $x\in X$,...
- 63
0
votes
0
answers
859
views
restriction and pullback of representable etale sheaf along closed immersion
I find that the restriction and pullback of representable etale sheaf along closed immersion are very confusing. I think they are different in general, I hope some experts can confirm my understanding ...
- 997
0
votes
0
answers
130
views
morphisms in the construction of the moduli space of curves by mumford
Hi fellow mathematicians,
I'm just studying mumfords proof of the existence of a coarse modulispace for curves of genus $g$in his great GIT book. On page 102 (in the proof of proposition 5.2) he ...
- 9
0
votes
0
answers
186
views
Do infinitesimal neighbourhoods help to compute the inverse images of coherent sheaves?
Let $i:Z\to X$ be a closed embedding of (projective) varieties; $S$ is a coherent sheaf on $X$. How could one compute $H^*(Z,i^\ast S)$ (I don't know whether I should write $H^\ast (Z,i^{-1}S)$ ...
- 16.9k
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
-1
votes
1
answer
259
views
Pure Quotient and pure sub-object
Let $\mathcal{C}$ be the category of modules over a ring.
Let also $\mathcal{F}$ be a class of objects in $\mathcal C$ closed under pure subobject (pure quotient) and direct limit. Is $\mathcal{F}$ ...
- 3