Questions tagged [quasicoherent-sheaves]

181 questions
32
votes
1 answer

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 equivalent to the category of $S$-modules. In…
27
votes
4 answers

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 pushforward of a quasi-coherent sheaf is quasi-coherent,…
22
votes
1 answer

Category of quasicoherent sheaves not abelian

Wikipedia mentions that the category of quasicoherent sheaves need not form an abelian category on general ringed spaces. Is there a `naturally occurring' example of this failing, even for locally ringed spaces?
18
votes
2 answers

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 from the definition. But I don't know how to prove…
18
votes
0 answers

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 - as $\mathcal O_X$-modules - to be locally free; we…
16
votes
2 answers

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. What follows is an excerpt from Dieudonné's History…
14
votes
0 answers

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.
13
votes
2 answers

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 can be said about the stalk $(f_*\mathcal{F})_y$…
Justin Campbell
  • 6,739
  • 22
  • 56
12
votes
1 answer

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) projection formula does not hold for arbitrary…
11
votes
2 answers

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 the product as $\mathcal{O}_{X}$-modules, but I…
10
votes
2 answers

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 scalars. His hint is to show that $f^\star…
9
votes
1 answer

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 general, how about just $\mathbb{P}^n$? Thanks!
9
votes
1 answer

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 $\mathscr{O}_X = f^{-1}…
Zhen Lin
  • 82,159
  • 10
  • 160
  • 297
9
votes
1 answer

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 $\mathcal{G}$ be a locally free sheaf on S and $\mathcal{F}$…
Dedalus
  • 3,770
  • 1
  • 25
  • 46
9
votes
1 answer

Quasi-coherent sheaf on $Proj\ S$

Given a graded ring $S$ and a quasi-coherent sheaf $\mathcal{F}$ on $Proj\ S$, does there exist a graded $S$-module $M$ such that $\mathcal{F}\cong \widetilde{M} $? I know the result is true when $S$ is finitely generated by $S_1$ as an…
1
2 3
12 13