The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
2answers
159 views

Why did Serre choose coherent sheaves?

First thing - I don't know any algebraic geometry. I'm trying to understand a little bit about quasi-coherent sheaves but not for the sake of AG, so please rely on as little knowledge as possible. ...
3
votes
0answers
40 views

Vector bundles in Ravi Vakil's notes on quasicoherent sheaves

In chapter 13 (Quasicoherent and coherent sheaves) of Ravi Vakil's wonderful notes, the author starts by discussing vector bundles, supposedly for motivation. Having understood that each locally free ...
7
votes
0answers
56 views

Quasicoherent sheaves as smallest abelian category containing locally free sheaves

On page 362 of Ravi Vakil's notes, the author says "It turns out that the main obstruction to vector bundles to be an abelian category is the failure of cokernels of maps of locally free sheaves - ...
0
votes
0answers
41 views

Quasicoherent-sheaves and pushfoward

How to prove the proposition in the picture below? It seems to be easy, but I am a beginner. Thanks in advanced for your help!
1
vote
0answers
55 views

When are direct products exact in the category of quasi-coherent sheaves?

I would like to know if there is a description (or at least some sufficient condition known) of a (Noetherian) schemes $X$ such that the category $\mathrm{QCoh}_X$ does have exact direct products. I ...
6
votes
0answers
105 views

Why is the sheaf $\mathcal{O}_X(n)$ called the “twisting sheaf” (where $X=\operatorname{Proj}(S)$ for a graded ring $S$)?

Basically my question is why the sheaf $\mathcal{O}_X(n)$ is called the twisting sheaf, here $X=\operatorname{Proj}(S)$ and $S$ any graded ring.
4
votes
0answers
54 views

Determining a scheme $X$ is affine from $Qcoh(X)$

My question is a subquestion of this question. I do not want to use full reconstruction theorems. The settings is the following. Let $X$ be a scheme. Assume that the adjunction in TAG01BH of the ...
1
vote
1answer
30 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
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 ...
4
votes
1answer
52 views

Is the push-forward 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$ ...
0
votes
1answer
52 views

Definition of a $\mathcal{O}(a,b)$?

Can any one tell me what is the definition of this notation $\mathcal{O}(a,b)$. I know $\mathcal{O}(a)= \widetilde{S}(a)$ for some ring $S$. Can $\mathcal{O}(a,b)$ be defined in the same way. thanks ...
2
votes
1answer
84 views

Hartshorne II Ex 5.9(a) or R. Vakil Ex 15.4.D(b): Saturated modules

The question is basically like this: Prove that if $S_{\cdot}$ is a finitely generated (in degree 1) graded ring over a field $k$ and $M_{\cdot}$ is finitely generated, then the saturation ...
10
votes
3answers
326 views

When is the pushforward of a quasi-coherent sheaf quasi-coherent? Hartshorne proof

In the following we have $f:X \rightarrow Y$ morphism of schemes, $\mathcal{F}$ a quasi-coherent sheaf on $X$ and I am referring to proposition 5.8 page 115 in Hartshorne. To prove that the ...
3
votes
0answers
48 views

Property of pullback of quasi-coherent sheaves

In Hasrtshorne the pullback $f^{*}\mathcal{F}$ of a sheaf $\mathcal{F}$ on $Y$ via a map $f:X \rightarrow Y$ is defined as $f^{-1}\mathcal{F}\otimes_{f^{-1}\mathcal{O}_Y}\mathcal{O}_X$. It is quite ...
4
votes
1answer
93 views

Module of differentials in the functorial approach to schemes and quasi-coherent modules

Recall that for a functor $X : \mathsf{CAlg}(R) \to \mathsf{Set}$ from commutative $R$-algebras to sets one can define quasi-coherent $\mathcal{O}_X$-modules as "compatible" families of $A$-modules ...
2
votes
1answer
62 views

Non-injective affine quasi-coherent module induced by injective module over the global sections??

Recently, I came across this answer on MO, which (allegedly - I have trouble understanding EGA/SGA, so I have not checked the reference) provides a reference for an injective $A$-module, $A$ a ...
1
vote
1answer
83 views

Extension of coherent sheaf from open subspace.

I'm trying to solve following problem: Let $X$ be a noetherian scheme, $U$ an open subspace of $X$, $\mathcal F \in Qcoh(X), \mathcal G\in Coh(U), \mathcal G \subset \mathcal F|_{U},$ then there ...
1
vote
1answer
73 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. ...
4
votes
1answer
132 views

Question on calculating hypercohomology

I want to compute the algebraic de Rham cohomology of $ \mathbb{C}^* $, and I'm confused. I don't have much background in this, so I was hoping a very concrete example would clear up a lot of this ...
1
vote
0answers
128 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
1answer
95 views

About globally generated Sheaves

On Vakil's Lecture Notes, he puts an important exercise that says: ''Suppose $\cal{F}$ is a finite type quasicoherent sheaf on a scheme $X$. Show that$\cal{F}$ is globally generated at $p$ if and ...
3
votes
0answers
57 views

Tensor product of structure sheaves of subvarieties

Suppose I have a complex variety $X$ and two closed subvarieties $A$ and $B$, with closed immersions $i:A\to X$ and $j:B\to X$. Then we have two $\mathcal O_X$-modules $i_*\mathcal O_A$ and ...
2
votes
1answer
96 views

Hom functor of quasi-coherent sheaf maybe not quasi-coherent

I notice that some books say that for arbitrary quasi-coherent sheaves $F$, $G$ over a scheme $X$, the $\mathcal O_X$-module $\mathrm{Hom}_{\mathcal O_X}(F,G)$ maybe not quasi-coherent, who can give ...
8
votes
1answer
167 views

Global generation of $\mathcal{O}_{\mathbb{P}(\mathcal{E})}(1)$ and $\mathcal{E}$

I'm trying to prove that $\mathcal{O}_{\mathbb{P}(\mathcal{E})}(1)$ is generated by global sections on $\mathbb{P}(\mathcal{E})$ if and only if $\mathcal{E}$ is generated by global sections ($\pi: ...
3
votes
1answer
128 views

Quasi-coherent sheaves on varieties

I am reading Kempf's book "Algebraic varieties". On page 55 the author considers a sheaf of rings ${\mathcal{A}}$ (commutative, unital) on a topological space $X$. An ${\mathcal{A}}$-module ...
3
votes
0answers
109 views

Question from Liu, Chapter 5 Ex 1.16

I have a question from Liu's book on Algebraic Geometry, doing Chapter 5 Question 1.16: Let $f:X\rightarrow S$ be a morphism of schemes, with the following base change. $$\require{AMScd} \begin{CD} ...
2
votes
0answers
179 views

Relative spectrum of a quasi-coherent algebra.

I'm working out the notion of spectrum of a quasi-coherent algebra over a scheme. $\require{AMScd}$ Let $(X,\mathcal O_X)$ be a scheme and $\mathcal A$ a quasi-coherent $\mathcal O_X$-algebra, i.e. a ...
7
votes
1answer
390 views

Deligne's formula

Let $M$ be some $A$-module and $f \in A$. Why do we have an isomorphism $$\varinjlim_n \hom_A(f^n A,M) \cong M_f \text{ ?}$$ Background. Let $X$ be a scheme, $U$ an open subscheme, and $F,G$ ...
4
votes
1answer
273 views

Elementary questions on ample invertible sheaves

Let $X$ be a quasi-compact scheme. Let $\mathcal L$ be an invertible sheaf on $X$. We say $\mathcal L$ is ample if for any finitely generated quasi-coherent sheaf $\mathcal F$ on $X$, there exists ...
8
votes
1answer
248 views

Quasicoherent ideal sheaves on open subschemes

Let $X$ be an open subscheme of an affine scheme $\operatorname{Spec} A$, let $f : X \to \operatorname{Spec} A$ be the inclusion, and let $\mathscr{I}$ be a quasicoherent ideal sheaf on $X$. Since ...
7
votes
1answer
196 views

Definition of prime ideal sheaf

In the chapter I.3.3 of Eisenbud & Harris "The Geometry of Schemes" they give a definition of "prime ideal sheaf": Let $\mathcal{O}_S$ be the structure sheaf of a scheme $S$, and let ...
2
votes
0answers
121 views

Example of a coherent sheaf on an open subset where extension isn't trivial?

Motivation: I am working on problem II.5.15 in Hartshorne's Algebraic Geometry, which is to prove that, given a noetherian scheme $X$, an open subset $U\subset X$, and a coherent sheaf $\mathscr{F}$ ...
4
votes
1answer
913 views

The projection formula for quasicoherent sheaves.

I am looking for a certain way of proving the following : Let $f. X \rightarrow S$ be a morphism of schemes. Suppose that f is quasiseparated and quasicompact, or that X is noetherian. Let ...
8
votes
2answers
659 views

Inverse image of the sheaf associated to a module

In Hartshorne, Algebraic geometry it's written, that for every scheme morphism $f: Spec B \to Spec A$ and $A$-module $M$ $f^*(\tilde M) = \tilde {(M \otimes_A B)}$. And that it immediately follows ...
3
votes
1answer
105 views

Tensor product of the structure sheaf with itsself

Let $\pi : X \to S$ be a morphism of schemes. Is the $\mathcal{O}_X$-module $\mathcal{O}_X \otimes_{\pi^{-1} \mathcal{O}_S} \mathcal{O}_X$ quasi-coherent? Here, $\mathcal{O}_X$ acts on the tensor ...
3
votes
1answer
138 views

How to compute $H^1(\Bbb P^1,\mathcal{O}_{\Bbb P^1})$ and $H^1(\Bbb P^1,\mathcal{O}_{\Bbb P^1}(n))$

Let $\mathcal{O}_{\Bbb P^1}$ be the structure sheaf of the projective line $X=\Bbb P^1_k$ over some field $k$ (algebraically closed of characteristic $0$). What is a good (and, preferably, easy) way ...
24
votes
1answer
713 views

Quasi-coherent sheaves, schemes, and the Gabriel-Rosenberg theorem

In the context of commutative rings, a ring is completely determined by its category of modules. That is, two commutative rings $R$ and $S$ are isomorphic if and only if the category of $R$-modules is ...
9
votes
2answers
663 views

Stalk of a pushforward sheaf in algebraic geometry

Excuse me if this is a naive question. Let $f : X \to Y$ be a morphism of varieties over a field $k$ and $\mathcal{F}$ a quasi-coherent sheaf on $X$. I know that for general sheaves on spaces not much ...
5
votes
1answer
244 views

Modules over a functor of points

I have a question on the ''functor of points''-approach to schemes and $\mathcal{O}_X$-modules. Please let me first write up a defintion. Let $Psh$ denote the category of presheaves on the opposite ...
9
votes
2answers
542 views

Classification of automorphisms of projective space

Let $k$ be a field, n a positive integer. Vakil's notes, 17.4.B: Show that all the automorphisms of the projective scheme $P_k^n$ correspond to $(n+1)\times(n+1)$ invertible matrices over k, modulo ...
9
votes
1answer
533 views

is the pushforward of a flat sheaf flat?

Let $f:X \to Y$ be a morphism of schemes and let $F$ be an $\mathcal{O}_X$-module flat over $Y$. Is $f_*F$ flat over $Y$? What's wrong with this argument? [EDIT: as Parsa points out, the (underived) ...
5
votes
1answer
243 views

First Ext group of a sheaf

Let $F$ be a quasicoherent sheaf on a scheme $X$, which is supposed to be sufficiently nice. Does one then have a canonical isomorphism $Ext^1(F,F) \simeq H^1(X, \underline{End}(F))$, where with ...
2
votes
0answers
137 views

exact sequence of sheaves

I'm starting with $X=\mathbb{P}^2(\mathbb{C})$ and a cubic curve $B \subset X$ and a flex $P$ on $B$ such that for a hyperplane section $H$ I have $3P \sim dH\vert_B$ (where $d \in \mathbb{N}$). With ...
6
votes
2answers
832 views

Arbitrary products of quasi-coherent sheaves?

I have a short question: Does the category of quasi-coherent sheaves on a scheme have arbitrary products? I know that it does if the scheme is affine and I know that they will not be isomorphic to ...
5
votes
2answers
154 views

Cohomological decomposition of tensor sheaves?

My question is similar to this, but not identical. I believe the following to be true, but I'd like a reference. Given (quasicoherent?) sheaves of $\mathcal O_X$ modules $E$ and $F$ on a projective ...
6
votes
1answer
562 views

Classifying Quasi-coherent Sheaves on Projective Schemes

I know some references where I can find this, but they seem tedious(Both Hartshorne and Ueno cover this). I am wondering if there is an elegant way to describe these. If this task is too difficult in ...