# 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…

M Turgeon

- 9,776
- 3
- 39
- 79

**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,…

Stefano

- 4,154
- 17
- 39

**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?

Jonathan Gleason

- 7,465
- 3
- 40
- 67

**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…

user46336

- 1,699
- 11
- 26

**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…

Arrow

- 12,694
- 3
- 23
- 64

**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…

Arrow

- 12,694
- 3
- 23
- 64

**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.

sti9111

- 936
- 7
- 20

**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…

Jacob Bell

- 840
- 4
- 18

**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…

user8249

- 303
- 1
- 6

**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…

only

- 2,586
- 16
- 26

**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!

BBischof

- 5,397
- 1
- 34
- 45

**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…

Coherent Sheaf

- 950
- 4
- 17