A Sheaf $\mathcal F$ on a topological space $X$ captures local data $\mathcal F(U)$ given on open sets $U\subseteq X$ and how such data can be restricted to smaller open sets or glued together. In typical cases, $\mathcal F(U)$ is a set of functions defined on $U$ and an element of $\mathcal F(V)$, ...

learn more… | top users | synonyms

-1
votes
0answers
36 views

Endomorphism of projective bundle

Let $X$ be smooth projective variety. Let $E$ be a vector bundle over $X$. Is $End(E)=End(\mathbb{P}(E))$? Given a $\phi:E\longrightarrow E$, we get a morphism ...
1
vote
1answer
34 views

Pushforward and sheaf-hom

If $S$ is a surface over the complex numbers $\mathbb{C}$, and $C$ is a curve in $S$, and $i:C\longrightarrow S$ is the inclusion morphism. If $A$ is a line bundle over $C$, then is it true that ...
0
votes
1answer
28 views

Is any reflector from a presheaf category $PSh(K)$ to a topos $C$ necessarily left exact?

Let $C$ be a topos, $K$ a small category and $$ PSh(K) \leftrightarrows C $$ a reflective subcategory with inclusion $i\colon C\hookrightarrow PSh(K)$ and reflector $T$. Is $T$ left exact? $D$ ...
1
vote
0answers
24 views

Compute some sheaf cohomology supported at a point

This question is from the Kashiwara's book: Sheaves on Manifolds Ex3.1 Let $X=\mathbb{R}$,$Z=\left\{\frac{1}{n}; n\in\mathbb{N}\setminus\{0\}\right\}\cup\{0\}$ and $Y=X\setminus Z$. Prove that ...
0
votes
0answers
45 views

Abstract interpretation of isomorphism between tensor product with dual and hom

I'm interested in the following statement, coming from Remark 6.4.21 of Qing Liu's Algebraic Geometry and Arithmetic Curves: Let $\mathcal{F}, \mathcal{G}$ be quasi-coherent sheaves on a scheme ...
2
votes
0answers
44 views

Why are sections of sheaves called sections?

Generally, a section is a right inverse. On the other hand, if $F$ is a ($\mathsf{Set}$-valued) sheaf, then the elements of $FU$ are usually also called sections. Why is this terminology justified ...
0
votes
0answers
14 views

Subfunctor of a sheaf which is not a sheaf

The following is proposition 1 from Maclane & Moerdijk's Sheaves in Geometry and Logic, part II, section 1. Proposition 1. If $F$ is a sheaf on $X$, then a subfunctor $S\subset F$ is a subsheaf ...
0
votes
0answers
17 views

Theory around the Cellular Sheaf

I have lately stumbled upon cellular (co)sheaves, which look very interesting. To understand them better, I would like references that systematically develop the theory behind them (preferably in ...
1
vote
1answer
51 views

Ideal sheaf of intersection of two surfaces in $\mathbb P^3$

Let X be an intersection of 2 surfaces of degree $d_1,d_2$ in $\mathbb P^3$. Is it true that there is a short exact sequence $$ ...
3
votes
2answers
62 views

An example of a coproduct of sheaves in the category of presheaves that is not a sheaf

For a site $C$ there is an adjunction $a\colon PSh(C)\leftrightarrows Sh(C)\colon \iota$ with sheafification $a$ and inclusion $i$. $a$ preserves finite limits. The inclusion $\iota$ does not preserve ...
5
votes
2answers
70 views

De Rham-Weil theorem

I am having trouble understanding a couple of points with regard to the De Rham-Weil theorem and was hoping that someone might be able to shed some light. Let $X$ be a smooth manifold and ...
1
vote
2answers
58 views

Sheafification, stalks and quotient

I gave a problem that I can't finish by myself. Any help would be appreciated. Consider a sheaf $\mathcal{F}$ of abelian groups on a topological space. I would like to show that given two sheaves ...
2
votes
1answer
42 views

when a presheaf is a sheaf

I've seen a very natural definition when a presheaf $F:C^{op}\rightarrow Set$ is actually a sheaf. This definition used the functors $hom(-,-)$ and $F$ and notions of injective and surjective maps ...
1
vote
1answer
23 views

morphism betweem sheaves that is an isomorphism in local sections of a basis

Let $\{U_{\alpha}:\alpha \in A\}$ be a basis of open sets for the topological space $X$. Let $\mathscr{F},\mathscr{G}$ be sheaves over $X$. Suppose that there exist a morphism $\phi: \mathscr{F} \to ...
1
vote
1answer
29 views

Map between free sheaf modules not arising from a “matrix”

My question is about this example in the Stacks project. For convenience and completeness, here is the relevant part. Let $X$ be countably many copies $L_1, L_2, L_3, \ldots$ of the real line ...
2
votes
1answer
61 views

Build sheaf from stalks

If I have a topological space $T$ and for each $p \in T$ I have an object $A_p$ in some category $\mathscr{A}$, then how can I define a sheaf out of this? In other words can I build a sheaf with ...
2
votes
1answer
29 views

Inclusion of quotient sheaves restricted to open subset

When introducing sheaf cohomology following for example Chapter 8 of Kempf's book on Algebraic Varieties, we make the following standard definitions. If $\mathcal{F}$ is a sheaf of abelian groups on ...
0
votes
1answer
46 views

A torsion-free sheaf of rank 1 on a surface

Let $X$ be a surface and $E$ be coherent sheaf on $X$. Now there is always a natural map $\mu:E\longrightarrow E^{\vee\vee}$. The kernel of this map is precisely the torsion subsheaf of $E$. Now if ...
0
votes
1answer
44 views

Linear Systems And invertible Sheaf

Hello Fellow Mathematicians/Algebraic Geometer , This is question has two parts one which is more conceptual and the other more straight forward: i) Let $X$ be a non-singular protective variety ...
0
votes
0answers
18 views

Questions about strata of a variety: the nilpotent cone of $\mathfrak{sl}_2$.

I am reading the lecture notes. In the end of page 3, let $X = \{(a, b; c, -a): a, b, c \in \mathbb{C}^3, a^2 + bc = 0\}$. It is said that there are two strata: the regular orbit $U$ and $0$. What is ...
0
votes
1answer
56 views

(Non-)Isomorphism of (pre-)sheaves

I want to prove the following statement: Let $f:F \to G$ be a homomorphism of sheaves. Let $(U_i)_{i \in I}$ be an open coverage of $X$, such that $f|{U_i}: F|U_i \to G|U_i$ is an isomorphism for all ...
3
votes
0answers
43 views

Axiom of glueing: direct limit of sheaves in a noetherian topological space. [duplicate]

I'm trying to prove that in a noetherian topological space the following property is satisfied: Consider a direct system of sheaves and morphisms $\{ \cal{F}_t, f_{ij} \}_t$. Consider the presheaf ...
1
vote
2answers
59 views

Taking module sheaf commutes with tensor product

I'm trying to prove proposition II.5.2.b in Algebraic Geometry by Hartshorne. The proposition states that for $ A $-modules $ M $ and $ N $ and $X=\text{Spec}\ A$ there is an isomorphism $ ...
2
votes
0answers
60 views

First axiom of sheaves: in noetherian topological spaces the direct limit presheaf is a sheaf.

Consider a topological space $X$ and a direct limit of sheaves and morphisms $\{ \cal{F}_i, f_{ij}\}$. Define the direct limit presheaf by $U \to \varinjlim \cal{F}_i $. In general this is just a ...
3
votes
1answer
60 views

Proof of $\mathcal{O}_{\mathbb{P}^1 \times \mathbb{P}^1}(a,b)$ is ample $\iff$ $a,b >0$.

I would like some help understanding the proof in $(\impliedby)$ direction. Hartshorne on page 156, Example 7.6.2 says: If $\mathcal{L}$ is an invertible sheaf on $\mathbb{P}^1 \times \mathbb{P}^1$ ...
2
votes
1answer
37 views

Inductive limit of sheaves over noetherian topological space

Let $X$ be a topological space. Let $I$ be a poset and let $\mathcal F_i$ for $i\in I$ be sheaves on $X$, and $\{\pi_{ij}\colon \mathcal F_i \rightarrow \mathcal F_j\}_{i,j\in I}$ be an inductive ...
1
vote
0answers
71 views

Analogue of locally constant sheaf in algebraic geometry

If I take just the definition of locally constant sheaves for algebraic varieties I get something pretty trivial (basically due to irreducibility); so how can one make a set up similar to what happen ...
1
vote
1answer
43 views

Direct limit sheaf.

Let $\{ \cal{F}_i, \mu_{ij}\}$ a direct system of sheaves and morphisms on a topological space $X$. Define the direct limit os the system $\{ \cal{F}_i, \mu_{ij}\}$ as the sheaf associated to the ...
4
votes
1answer
50 views

An isomorphism theorem for sheaves.

Let $\varphi: \cal{F} \longrightarrow \cal{G}$ a morphism of sheaves. My goal is to prove that $im\varphi \simeq \cal{F} / Ker \varphi$. My thoughts about this problem: 1) $im \varphi(U) \simeq ...
0
votes
0answers
27 views

Sheafification preserves injectivity.

I want to prove the following: Let $\varphi: \cal{F} \longrightarrow\cal{G}$ a morphism of presheaves such that $\varphi (U): \cal{F}(U) \longrightarrow\cal{G}(U)$ is injective for each $U$. Then the ...
1
vote
0answers
65 views

Hartshorne notation in section III.12

I am reading section III.12 in Hartshorne, the one about the Semicontinuity Theorem. For $f:X \rightarrow Y$, where $Y=\mathrm{Spec}A$ and $\mathcal{F}$ a coherent sheaf on $X$, he writes ...
2
votes
2answers
29 views

must a surjective sheaf map be surjective on some open set?

A surjective (i.e. surjective on stalks) map of sheaves $F\to G$ on a space $X$ need not be surjective on global sections, but is it true that for every $p\in X$, there exists a neighborhood $U$ of ...
2
votes
1answer
62 views

Acyclicity of Flasque sheaves without A.C.

I say that a sheaf on a space X, is flasque if the restriction maps are surjective, that is any local section extend to a global section. Now it is a fact that if $F_1$ is flasque and if $0 \to F_1 ...
5
votes
1answer
119 views

Interpretation of sheaf flat over a base

I am trying to get an interpretation of what means for a sheaf to be flat with respect to a base. The definition is that, given $f:X \rightarrow Y$ morphism of schemes, $\mathcal{F}$ is flat over $Y$ ...
3
votes
1answer
41 views

Product of affine varieties is the product of topological spaces

Let $k$ be an algebraically closed field, and $A, B$ affine $k$-algebras. We can define a functor $\mathfrak F$ from the category of affine $k$-algebras to that of affine algebraic varieties, by ...
2
votes
1answer
50 views

The higher cohomologies of a quasi-coherent sheaf on the intersection of two affine open subsets.

It is well-known in algebraic geometry that if $X$ is affine and $\mathcal{F}$ is a quasi-coherent sheaf on $X$, then $$ H^i(X,\mathcal{F})=0,~ \forall ~i\geq 1. $$ Now let $X$ be an arbitrary ...
2
votes
0answers
36 views

Is the push-forwad of a quasi-coherent sheaf under open immersion still quasi-coherent?

My question is related to this question: When is the pushforward of a quasi-coherent sheaf quasi-coherent? Hartshorne proof In Hartshorne page page 115 Proposition 5.8 it has been proved that if $X$ ...
1
vote
2answers
28 views

On the definition of locally free module sheaf

A sheaf of $\mathcal{O}_X$-modules $\mathcal{F}$ is by definition locally free iff there is an open covering $X = \bigcup_i U_i$ such that each $\mathcal{F}|_{U_i}$ is free as a sheaf of ...
4
votes
2answers
39 views

About the presheaf used to define the inverse image sheaf.

Let $f \colon X \to Y$ be continuous and $\mathcal{F}$ be a sheaf on $Y$. Then the inverse image sheaf $f^*\mathcal{F}$ is defined to be the sheafification of the presheaf on $X$ given by $$ U \mapsto ...
0
votes
1answer
16 views

Injective resolution of abelian sheafs induces cochain complex on global sections.

Given an injective resolution for an abelian sheaf $\mathcal{F}$ on $X$, that is an exact sequence $$ 0 \to \mathcal{F} \xrightarrow{\epsilon} \mathcal{A}^0 \xrightarrow{\delta^0} \mathcal{A^1} ...
3
votes
1answer
60 views

constant stalks but not constant sheaf?

In the coherent world we have the following: if X is reduced and F is a coherent sheaf on it, then if the rank of all fibres in constant then F is locally free. I thought something similar held in ...
5
votes
0answers
78 views

When does Sheafification commute with direct image?

Given a presheaf $\mathcal{F}$ on a space $X$ and a map $f: X \rightarrow Y$, when does $f_* A(\mathcal{F}) = A(f_* \mathcal{F})$, where $A$ is the associated sheaf/sheafification functor? Since ...
1
vote
1answer
41 views

Action of $Aut(X)$ on $Coh(X)$

I was reading about Bondal and Orlov reconstruction theorem. In particular that for a smooth variety with ample or anti-ample canonical bundle $\mathrm{Aut}(D^b(X)) \cong \mathbb{Z} \times ...
1
vote
1answer
39 views

Extensions of quasicoherent sheaves are quasicoherent.

Harts theorem 5.7: Given an exact sequence $0 \to \mathscr F_1 \to \mathscr F_2 \to \mathscr F_3 \to 0 $ of sheaves on $X = \mathrm{spec} A$, if $\mathscr F_1$ and $\mathscr F_3$ are quasicoherent, ...
1
vote
1answer
29 views

Equivalent conditions for a closed immersion of schemes

In Hartshorne, a closed immersion of schemes is defined to be a scheme morphism $\Phi \colon Y \to X$ such that $\Phi$ is a homeomorphism onto $\Phi(Y)$, $\Phi(Y)$ is closed in $|X|$ and $$ (*) ...
2
votes
1answer
34 views

Small question regarding gluing sheaves

Let $X$ be a topological space and $X = \cup U_i$ an open cover of $X$. Suppose we have sheaves $F_i$ on $U_i$ along with isomorphisms $\phi_{ij}: F_i |_{U_i \cap U_j} \rightarrow F_j |_{U_i \cap ...
0
votes
0answers
26 views

cohomology of local system

Let $X_r$ be a finite simplical complex. Let $V_r$ be a sheaf which is a local system on $X_r$. Is it true that: $H^n(X_r,V_r$) i.e the cohomology of the sheaf $V_r$ coincide with the cohomology of ...
3
votes
1answer
63 views

Pull-back line bundle under morphism of degree $d$

This question is partially related to Direct image of vector bundle Let $f:\mathbb{P}^1\to\mathbb{P}^1$ be a morphism of degree $d$. For $n>0$, how can we compute ...
1
vote
2answers
82 views

What is meant by “A and B represent the same functor whence are isomorphic” in this solution?

While browsing some old questions I came across the following: tensor product of sheaves commutes with inverse image It seemed like something interesting was going on in the answer, but I don't quite ...
2
votes
1answer
34 views

morphism of ringed spaces glue

Suppose $(X,O_X)$ and $(Y, O_Y)$ are ringed spaces, and let $X = U_1 \cup U_2$ be an open cover. Suppose we have morphism of ringed spaces $\pi_i: U_i \rightarrow Y$ such that they agree on the ...