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

0
votes
0answers
16 views

Sheaf associated to sheaf on basis

Statement: If we have a basis $B$ for a topological space $X$, then a sheaf defined on $B$ defines uniquely a sheaf on $X$. I was wondering if the following proof is correct: Let $\mathcal{F}$ be a ...
1
vote
1answer
42 views

Is the constant sheaf $\mathbb{Q}$ injective?

Let $X$ be a topological space, and let $\mathbb{Q}$ be the constant sheaf of abelian groups on $X$ associated to the group of rational numbers under addition. Is $\mathbb{Q}$ an injective object in ...
4
votes
0answers
43 views

Showing Grothendieck's Vanishing Theorem provides a strict bound

The following result is due to Grothendieck: If $X$ is a noetherian topological space of dimension $n$, then for all $i>n$ and all sheaves of abelian groups $\mathscr{F}$ on $X$, we have ...
1
vote
0answers
40 views

How does a section of a stack give a sheaf?

At nLab in the article constant stack and a few other related articles, a pattern is mentioned where a section of a constant sheaf is a locally constant function, a section of a constant stack is a ...
1
vote
1answer
40 views

Showing the image of $H^j(X;\mathbb C^\times)$ lies in the torsion subgroup of $H^{j+1}(X;\mathbb Z)$

Let $X$ be a (compact, if necessary) topological space. Then from the short exact sequence of constant sheaves $$ 0 \to \mathbb Z \to \mathbb C \to \mathbb C^\times \to 0 $$ we have a connecting ...
2
votes
1answer
35 views

Sheaf of sections vanishing at a point is $\Gamma(E) \otimes I_p$

Notation: $E$ is a vector bundle with sheaf of sections $\Gamma(E)$. $I_p$ is the sheaf of regular functions on the base space vanishing at a point $p$. $\Gamma_p(E)$ is the sheaf of sections of $E$ ...
1
vote
0answers
38 views

differential of $f:X\to\Sigma$ as an elliptic surface,

Let $X$ be an algebraic surface surface and $\sum$ an algebraic curve, and assume, $f:X\to\Sigma$ be an elliptic surface, my question is Why the differential $df$ can be viewed as an injection of ...
0
votes
1answer
59 views

Quotient of locally free sheaf is locally free?

If $0\rightarrow F\rightarrow G\rightarrow H \rightarrow 0$ is an extension of $\mathcal{O}$-modules with $F$ and $G$ locally free (each of constant finite rank, i.e. vector bundles), then is $H$ ...
3
votes
0answers
44 views

Hartshorne Exercise III 6.2 (a)

Let $X=\mathbb{P}^1_k$, with $k$ an infinite field. Show there does not exist a projective object $\mathcal{P}\to\mathcal{O}_X\to 0$. The author suggests to consider surjections of the form ...
1
vote
1answer
30 views

Stacks versus sheaves with values in categories

A (small) category is a perfectly valid algebraic structure like Groups, Rings, vector spaces, groupoids etc. So on a topological space or more generally on a site, it makes perfectly sense to ...
2
votes
0answers
31 views

Rank, degree and slope of a general coherent sheaf

Let $(X,\mathcal O_X)$ be a ringed space and $\mathcal F$ be a coherent sheaf of $\mathcal O_X$-modules on $(X,\mathcal O_X)$. Are there the definitions of rank, degree and slope of $\mathcal F$ in ...
0
votes
0answers
59 views

Finding the ring of regular functions on $X-S$

I am studying for an exam of algebraic geometry, and I would like to know if the following is correct. Let $X$ be an affine variety, and let $\mathcal{O}_{X}$ denote its sheaf of regular functions. ...
3
votes
1answer
97 views

sheafification definition?

I came across two different definitions of sheafification and I'm not sure how they are equivalent. One of them is here: About the sheafification Another one is from Tennison's sheaf theory: Given a ...
2
votes
0answers
35 views

Flat families of semistable sheaves parametrized by $\mathbb{A}^1$.

Suppose we have a non trivial short exact sequence, $$0\longrightarrow F'\longrightarrow F\longrightarrow F''\longrightarrow0,$$ where $F$, $F'$ and $F''$ are semistable sheaves with the same reduced ...
0
votes
0answers
26 views

Invariant differentials on group schemes

I'm studying group schemes from http://www.math.ru.nl/~bmoonen/BookAV/BasGrSch.pdf and I have some trouble with the following proposition. (3.15)Proposition Let $\pi:G\to S$ be a group scheme. Then ...
5
votes
1answer
79 views

Hypercohomology: finding a resolution for the de Rham complex of $\mathbb{CP}^1 $

Let $\mathbb{P}^1 $ be the complex projective line. Using the standard affine cover, $\mathcal{U} = \lbrace U,U' \rbrace, \ \ $ we can define some quasi-coherent sheaves on $\mathbb{P}^1 $. We can ...
3
votes
1answer
38 views

Adjunction counit for sheaves is isomorphism

Let $f\colon X \to S$ be a proper morphism of varieties over $\mathbb{C}$ with $f_* \mathcal{O}_X = \mathcal{O}_S$ and $\mathcal{G}$ be a coherent sheaf on $S$. Then we have a natural morphism ...
2
votes
1answer
51 views

Prove that $H^1(\mathcal{M}^*)=0$.

Let $X$ be a compact Riemann surface. For an open set $U$, let $\mathcal{M}^*(U)$ be the multiplicative group of nonzero meromorphic functions on $U$ ("nonzero" meaning "not identically zero"). This ...
3
votes
1answer
54 views

Cohomology Calculation

A couple of days ago I asked this Question on calculating hypercohomology I tried a similar example for $(\mathbb{C}^*)^2$, and I have a couple of questions. Here is my calculation: We have a ...
2
votes
1answer
46 views

Is this sequence of presheaves exact?

On p.298 of his Homological Algebra text, Rotman considers the sequence of presheaves on $X=\mathbb{C}-\{0\}$ : $0 \to \mathbb{Z}\to \mathcal{O}\to \mathcal{O}^\times \to 0$ where $\mathbb{Z}$ is the ...
0
votes
0answers
61 views

Connection between differential form of a manifold and Sheaf of relative differential of a map of schemes.

I was wondering whether there is a connection between the differential form of a manifold and Sheaf of Relative differential of a Scheme map. Definitions: Differential form on a manifold M is a map ...
1
vote
1answer
61 views

Question on the definition of sheaves.

When defining a sheaf of $O_X $-modules, or sheaves in general, I have nearly always seen it given as a functor from the category of all the open sets to another category with the usual properties. ...
0
votes
1answer
72 views

Only $f^\sharp_x$ makes the diagram commutative

By Algebraic Geometry I from Görtz, Wedhorn page 60 $f^\sharp_x$ is the unique ring homomorphism which makes the diagram $A\to B \to B_{p_x}$, $A\to A_{p_{f(x)}}\to B_{p_x}$ commutative. The first ...
0
votes
2answers
40 views

When are two morphisms of sheaves the same?

Suppose I have two morphism $\phi_1, \phi_2 : F \rightarrow G$, where $F$ and $G$ are sheaves of sets on $X$. Is it enough to show that $\phi_1(X) = \phi_2(X)$ (i.e. as maps from $F(X)$ to $G(X)$) to ...
1
vote
1answer
63 views

Asterisk Notation

I am trying to read through the Cech Cohomology section in these notes: http://pub.math.leidenuniv.nl/~edixhovensj/teaching/2011-2012/AAG/lecture_14.pdf I would be really grateful if someone could ...
1
vote
1answer
55 views

Group of Automorphism of the Fiber of Fiber Bundle

Let us consider the Mobius Bundle. Can Someone Explain the part "There is no natural unique homeomorphism of $Y_x$with $Y$. However there are two such which differ by the map $g$ of $Y$ on itself ...
1
vote
1answer
37 views

Why $F \leq F' \; \Leftarrow \; \forall x \in X \; F_x \subseteq F'_x$?

I cannot understand the proof of Proposition 3.11 in Sheaf Thoery by Tennison and Hitchin. If $F,F'$ are subsheaves of a sheaf $G$, then $$ F \leq F' \; \Leftrightarrow \; \forall x \in X \; ...
1
vote
1answer
28 views

Well-definedness of the action of the structure group of a principal bundle on the total space.

Find the definition of a fiber bundle here- Definition of Fiber Bundle I am having difficulty in proving that the natural action of $K$ on $X$ is well-defined: Let us recall how does K acts on X ...
1
vote
0answers
27 views

$i^{-1} F$ a sheaf if and only if $\varinjlim_{ U \subseteq X \text{ open}, ~ x,y \in U } F(U) \to F_x \times F_y$ is an isomorphism [duplicate]

Let $X$ be a topological space containing two closed points $x,y$ and let $i : \{x,y\} \to X$ denote the inclusion map. Notice that $\{x,y\}$ carries the discrete topology. Let $F$ be a sheaf on $X$. ...
2
votes
1answer
46 views

$i^{-1} F$ a sheaf if and only if $\varinjlim_{ U \subseteq X \text{ open}, ~ x,y \in U } F(U) \to F_x \times F_y$ is an isomorphism.

Let $X$ be a topological space containing two closed points $x,y$ and let $i : \{x,y\} \to X$ denote the inclusion map. Notice that $\{x,y\}$ carries the discrete topology. Let $F$ be a sheaf on $X$. ...
1
vote
1answer
51 views

Principal Bundle- Definition cum Exercise from “Geometry and Topology” by Bredon

The definition of fiber bundle can be found from here: Definition of Fiber Bundle Then Bredon defines Principal bundle in the exercise as follows: I am not able to show how K acts naturally on ...
3
votes
2answers
103 views

$f^+\mathscr{G}$ not a sheaf even if $\mathscr{G}$ is

I have read that there are continuous maps $f:X\to Y$ and sheaves $\mathscr{G}$ on $Y$ such that $f^+\mathscr{G}$ is not a sheaf. Do you have an easy example for me?
3
votes
1answer
84 views

Learning Fibre Bundle from “Topology and Geometry” by Bredon

Bredon defines bundle projection in the following way: $\bf13.1.$ Definition. Let $X,B$ and $F$ be Hausdorff spaces and $p:X\to B$ a map. Then $p$ is called a bundle projection with fiber $F$, if ...
0
votes
2answers
37 views

What is a natural morphism of stalks?

I am a bit confused with this question. Let $\pi: X \rightarrow Y$ be a continuous map and $F$ a sheaf of sets on $X$. If $\pi(p) =q$, then what is the natural morphism of stalks $(\pi_*F)_q ...
5
votes
0answers
67 views

Leray's theorem for cech and derived sheaf cohomology.

My question is about the hypothesis of Leray's theorem. This theorem says that if $\mathcal{U}$ is an open cover of a topological space $X$, and $\mathcal{F}$ is a sheaf over $X$ and if ...
0
votes
0answers
38 views

Direct limit of $ \ \ \mathcal{D} = ((\mathcal{F} (U))_{U \in \mathcal{V}} \, \ (r \ : \ \mathcal{F} (U) \to \mathcal{F} (V))_{V \subset U}) $. [duplicate]

Let $ X $ be a topological space. Let $ \mathcal{F} $ be a sheaf on $ X $. Let $ U $ be an open subset of $ X $. Let $ \mathcal{V} $ the set of open neighborhoods of $ U $, which is the filter for ...
2
votes
1answer
80 views

The inverse image of a sheaf

By definition, the inverse image of the sheaf $ \mathcal{F} : \mathrm{Ouv} (Y) \to \mathrm {Set} $ is the sheaf associated to the presheaf $ f^{-1} \mathcal{F} : \mathrm{Ouv} (X) \to \mathrm{Set} $ ...
0
votes
1answer
57 views

Isomorphism of presheaves

I just want you to tell me if a morphism of presheaves $\varphi:\mathscr{F}\to\mathscr{G}$ is an isomorphism iff every map $\varphi_U$ is bijective. I think it is true. Here my proof for the ...
1
vote
0answers
31 views

Sheafification part 2: Uniqueness of $\tilde{\varphi}$ and a formal consequence

I'd like to go on discussing the proof which I started to discuss here. The book says sending $(s_x)_x\in\tilde{\mathscr{F}}(U)$ to $(\varphi_x(s_x))_x\in\tilde{\mathscr{G}}(U)$ defines a morphism ...
3
votes
1answer
77 views

Sheafification: Show that $\tilde{\mathscr{F}_x}=\mathscr{F}_x$.

My today's question is about a proof of this book. More precisely we are talking about the proof of Prop. 2.24 on page 52. The book says that we have $\tilde{\mathscr{F}_x}=\mathscr{F}_x$ for all ...
3
votes
1answer
59 views

Constructing the classifying space for a groupoid G

I am working with the classifying space BG of the groupoid G. One definition is as follows: $$ BG = \bigsqcup _n (G_n \times \Delta ^n) /(d_i(g),x) \sim (g, \delta _i (x)). $$ Where the $d_i$ are ...
5
votes
1answer
72 views

A question about Hartshorne III 12.2

In Hartshorne III 12.2, $X\to \text{Spec}\ A$ is a morphism, $\mathcal{F}$ is a coherent sheaf on $X$, flat over $\text{Spec}\ A$, $M$ any $A$ module, then we can construct the sheaf associated to the ...
1
vote
0answers
89 views

Colimit and push forward of quasi-coherent sheaves in the analytic setting

I'm currently working on my master thesis and have some unresolved questions about quasi-coherent sheaves. Since I'm new to algebraic geometry, they might be rather trivial. I'm working in the ...
1
vote
2answers
31 views

Presheaves over a discrete space are necessarily sheaves?

In problem number 5.42 on p.302 of Homological Algebra text by Rotman it is asked to prove that every presheaf of abelian groups over a discrete space is a sheaf. However it looks to me that I have a ...
0
votes
1answer
70 views

Hartshorne Exersice 1.17 Skyscraper sheaf Chapter II Schemes

I am able to verify the statements about the stalk. I want to see how the direct image of the the skyscraper sheaf can be thought of as the constant sheaf. Observation- If $P\notin U$, then $U\cap ...
1
vote
0answers
16 views

Example to show that presheaf maps agreeing on stalks are not necessarily equal

We know that if two maps $\phi,\psi : \mathcal{F}\to \mathcal{G}$, where $\mathcal{F} $ is a presheaf and $ \mathcal{G}$ is a sheaf, agree on stalks then they are equal. Can we find an example to show ...
5
votes
1answer
79 views

Is there a coherent sheaf which is not a quotient of locally free sheaf?

Suppose $X$ is an algebraic variety, is there a coherent sheaf $\mathcal{F}$ on $X$ which is not a quotient of locally free sheaf? (Hartshorne II Cor 5.18 showed that on every projective variety, ...
0
votes
1answer
23 views

Cokernel of a sheaf morphism not being a sheaf

Does anyone know a good example where the cokernel of a sheaf morphism is not a sheaf?
9
votes
1answer
153 views

Hartshorne Theorem 8.17

I can't understand the proof of theorem 8.17 from Hartshorne's "Algebraic Geometry". Namely, he says that we have an exact sequence $$ 0 \to \mathcal J'/\mathcal J'^2 \to \Omega_{X/k} \otimes ...
5
votes
2answers
95 views

Abstract proof that internal hom presheaf is a sheaf

Let me recall some definitions first. Let $D$ be a small category and let $J$ be a Grothendieck topology on $D$. A presheaf $F$ on $D$ is called a sheaf when for every covering sieve $\psi \in J(d)$ ...