In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a specific class of sheaves having particularly manageable properties closely linked to the geometrical properties of the underlying space. (Def: http://en.m.wikipedia.org/wiki/Coherent_sheaf)

learn more… | top users | synonyms

1
vote
1answer
29 views

Torsion coherent sheaf on a curve has finite support

I would like to show that a torsion, coherent sheaf $\mathcal{F}$ on a regular integral curve $C$ is supported at a finite number of closed points. This is from Ravi Vakil's notes, namely part 13.7.G. ...
1
vote
0answers
20 views

Higher direct images along the blowup

Let $S$ be a smooth projective surface and $p:X\to S\times S$ be a blowup along the diagonal with the exceptional divisor $E$. How to compute $Rp_*\mathcal{O}_X(-2E)$?
0
votes
0answers
30 views

Is the dual of a flat module flat

Let $k$ be an algebraically closed field, $T$ be a integral, regular, projective $k$-scheme and $X$ another projective, integral $k$-scheme. Let $\mathcal{F}$ be a coherent (pure) sheaf on $X \times_k ...
1
vote
0answers
37 views

Coherent sheaves on $\mathbb{P}^1$

Let $F$ be a coherent sheaf on $\mathbb{P}^1$. How to show that there exists a unique exact sequence of the form $$0\to\mathcal{O}_{\mathbb{P}^1}(-1)^{\oplus a}\to\mathcal{O}_{\mathbb{P}^1}^{\oplus ...
17
votes
0answers
342 views

Intersection of twisted cubics in $\mathbb{P}^3$

Suppose we have two twisted cubics $C_1$, $C_2$ in $\mathbb{P}^3$ such that both of them lie in some cubic surface, which means that $h^0(\mathbb{P}^3, I_{C_1\cup C_2}(3))>0$. I want to show that ...
2
votes
0answers
28 views

Cohomologies of certain vector bundle on $\mathbb{P}^3$

Consider the collection of $m$ pairwise disjoint lines $L_1,\ldots,L_m$ in $\mathbb{P}^3$ and pose $Z=L_1\sqcup\cdots\sqcup L_m$. Consider the rank-$2$ vector bundle on $\mathbb{P}^3$ which is given ...
7
votes
0answers
110 views

Null-correlation and Tango bundles on $\mathbb{P}^3$

Let $V$ be a four-dimensional complex vector space and $\mathbb{P}^3=\mathbb{P}(V)$. There are two interesting bundles $N$ and $T$ on $\mathbb{P}^3$, both of rank 2, called respectively a ...
0
votes
0answers
43 views

The normal bundle of conic

Let $C\subset\mathbb{P}^2\subset\mathbb{P}^n$ be a smooth conic (everything is over the field $\mathbb{C}$). I want to compute $T_{\mathbb{P}^n|C}$ and $N_{C/\mathbb{P}^n}$. Let $z_0,z_1,...,z_n$ be ...
1
vote
1answer
62 views

$\Gamma(X,-)$ for Quasi-Coherent/Coherent Sheaves Maps to R-modules/Finitely Generated R modules

I'm trying to show that the functor $\Gamma(X,-)$ from the category of quasi-coherent sheaves maps a quasi-coherent sheaf to an R-Module, and also that for coherent sheaves the same functor takes the ...
4
votes
1answer
78 views

Vector bundle as locally free coherent sheaves

I am studying coherent sheaves and was looking for a geometric motivation. Hence, in wikipedia and although here is stated that it can be seen as a generalization of vector bundles, which is quite ...
5
votes
2answers
130 views

Normal bundle of twisted cubic.

Let $C$ be a twisted cubic in $\mathbb P^3$. I'd like to compute the splitting type of normal bundle $N_{C/\mathbb P^3}$? I understood that $T_{\mathbb P^3}|_C=\mathcal O(4)^{\oplus 3}.$ So we have an ...
1
vote
0answers
50 views

Some propreties about $ \mathfrak{Coh}_X $ and $ \mathfrak{QCoh}_X $.

I would like to know : why is the category $ \mathfrak{Coh}_X $ of coherent scheaves the smallest abelian category containing line bundles ? Why is the category $ \mathfrak{QCoh}_X $ of quasi ...
4
votes
0answers
38 views

Which curves have reflexive structure sheaf?

Let $C$ be a curve, i.e. a purely one-dimensional scheme, embedded in a smooth projective threefold $X$. For a coherent sheaf $E$ of codimension $c$ on $X$, let $E^D=\mathscr Ext_X^c(E,\omega_X)$ be ...
0
votes
0answers
21 views

Is the tensor product of a flasque sheaf with a locally free sheaf necessarily flasque?

Is the tensor product of a flasque sheaf with a locally free sheaf necessarily flasque? I found myself asking this while working an exercise in Hartshorne. I suspect the answer is 'No' in general, ...
1
vote
0answers
30 views

How can I understand instantons as sheaves?

In specific, instantons are considered torsion free coherent sheaves. Why is that the case? Is there a nice way to understand this relation and of course also understand how the two moduli spaces ...
1
vote
0answers
50 views

Reference Request: Quasi-Coherent Sheaves, Picard Group, etc.

I'm a rookie in algebraic geometry, trying to learn. Recently I noticed that I really don't understand the following topics very well. I am asking you if there is comprehensive references (one maybe ...
0
votes
1answer
18 views

Annihilator ideal of image sheaf

Let $(f,\tilde{f}): (X, \mathscr{O}_X) \rightarrow (Y, \mathscr{O}_Y)$ be a holomorphic map between complex spaces, such that $f_*(\mathscr{O}_X)$ is $\mathscr{O}_Y$-coherent. Define $\mathscr{I} = ...
5
votes
0answers
65 views

Geometric intuition for coherent rings, modules, and sheaves

Throughout, all rings are commutative. Definition 1. A ring $R$ is coherent if the solutions $\mathbf x=(x_1,\dots,x_n)$ to a linear equation $\mathbf{rx}=0$ are a finitely generated $R$-submodule of ...
1
vote
1answer
56 views

Extensions of sheaves with isomorphic middle terms

Let $\mathcal{F}$ and $\mathcal{G}$ be two coherent sheaves on a variety $X/k$. If I know that $\dim_k \operatorname{Ext}^1(\mathcal{F}, \mathcal{G})=1$, and I have two different nontrivial (not ...
3
votes
0answers
42 views

Direct limit of rings and coherent sheaves

Let $R$ be a discrete valuation ring, $\{B_i\}_{i \in I}$ is an inductive system of finitely generated $R$-algebras and $B$ the direct limit of the inductive system. Let $X$ be a projective scheme, ...
2
votes
0answers
68 views

Cohomological criterion for being a vector bundle

The Theorem of Horrocks sais that a locally free sheaf $\mathcal{F}$ on $\mathbb{P}^n$ splits into a direct sum of line bundles if and only if all the intermediate cohomologies vanish, i.e. ...
5
votes
2answers
243 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. ...
10
votes
0answers
89 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 - ...
1
vote
0answers
32 views

subsheaf of free sheaves

Let $X$ be an irreducible nodal curve, $E:=\oplus_{i=1}^r \mathcal{O}_X$ be a free sheaf on $X$ and $F \subset E$ a (coherent) subsheaf. Is it possible to write $F$ as a direct sum of subsheaves ...
1
vote
0answers
39 views

Riemann-Roch for nodal curves

Let $X$ be an irreducible, nodal curve and $E$ a coherent subsheaf of a free sheaf $\oplus_{i=1}^r \mathcal{O}_X$ on $X$ of rank strictly less than $r$. Assume that $r \ge 2$. It follows that $H^0(E)$ ...
2
votes
0answers
94 views

K-theory of projective space

Is there any way to prove that the twisting sheaves $\mathcal{O}(K)$ generate the algebraic K-theory of projective space without actually using any K-theory machinery (e.g. Bott periodicity)? Like for ...
1
vote
1answer
40 views

A question on very ample line bundle and closed immersion

Let $X$ be a projective scheme, $i:X \hookrightarrow \mathbb{P}^n$ a closed immersion, $\mathcal{L}:= i^*\mathcal{O}_{\mathbb{P}^n}(1)$ a very ample line bundle. Let $j:{\mathbb{P}^n} \hookrightarrow ...
4
votes
1answer
98 views

Additivity of the first Chern class

I have a highly elementary question: is the first Chern class additive? More specifically, given a short exact sequence of coherent sheaves on a nonsingular curve $X$ $$ 0 \to \mathscr F'\to \mathscr ...
0
votes
0answers
28 views

Locally free sheaves on reducible curves and their subsheaves

Let $X$ be a reducible (but reduced), connected, projective curve with at worst nodal singularities and $\mathcal{F}$ be a locally free sheaf of rank $r$ on $X$. Suppose that $\mathcal{F}'$ is a depth ...
4
votes
1answer
88 views

Globally generated vector bundle

Could someone give me a definition of globally generated vector bundle? A rapid search gives me the definition of globally generated sheaves, but I am in the middle of a long work and don't really ...
4
votes
1answer
66 views

Computing the sheaf of 1-forms on a toric variety

Consider projective space $P^{2}$ and its corresponding fan. We have the affine opens defined by $U_{\sigma_{0}} = Spec(\mathbb{C}[x,y])$, $U_{\sigma_{1}} = Spec(\mathbb{C}[x^{-1},x^{-1}y])$ and ...
0
votes
1answer
82 views

Negative degree invertible sheaves on non-singular varieties have no global sections

Let $X$ be a non-singular projective complex variety and $\mathcal{L}$ be an invertible sheaf on $X$ with negative degree. Is it true that $\mathcal{L}$ has no global sections? If so, can someone ...
3
votes
1answer
81 views

Are trivial vector bundles on curves semistable?

Let $C$ be an irreducible projective curve with at worst nodal singularities. Let $E$ be the trivial locally free sheaf of rank $r$ i.e., $E$ is the direct sum of $r$ copies of the trivial line ...
1
vote
1answer
43 views

If $F$ a sheaf and $S\subset F$ a subfunctor, then $S$ is a subsheaf if and only if…

This is Proposition 1 from Maclane & Moerdijk's Sheaves in Geometry and Logic, part II, section 1. Proposition 1. Let $F$ be a sheaf on $X$ and $S\subset F$ a subfunctor. $S$ is a subsheaf if ...
2
votes
2answers
81 views

Duality and Serre's criterion

Let $X$ be a projective scheme, $\mathcal{F}$ a coherent sheaf on $X$ which is $S_2$. Then under what additional conditions is its dual, $\mathcal{H}om_X(\mathcal{F},\mathcal{O}_X)$ also $S_2$?
0
votes
0answers
28 views

Reflexive sheaves on stable curves-II

This is an extension of Reflexive sheaves on stable curves. Let $C$ be a stable curve and $\mathcal{F}$ a reflexive sheaf on $C$ supported on the whole of $C$. Is the projective dimension of ...
0
votes
1answer
35 views

Reflexive sheaf on normal surfaces

Let $X$ be a normal, projective scheme of pure dimension $2$ and $\mathcal{F}$ is a reflexive coherent sheaf on $X$. Is $\mathcal{F}$ locally free?
1
vote
0answers
28 views

Dévissage for complex manifolds

In algebraic geometry one has the following result: Let $X$ be a noetherian scheme and $\mathcal{F}$ a coherent sheaf with support $Z \neq X$. Then $\mathcal{F}$ has a finite filtration $\mathcal{F} ...
1
vote
0answers
42 views

Etale locally free sheaf is always locally free in Zarissky topology.

I'm trying to solve exercise III.10.5 from Hartshorne "Algebraic geometry". Let $\mathcal F$ be a coherent sheaf on a scheme $X$ locally free in 'etale topology, namely for any $x \in X$ there is an ...
3
votes
0answers
86 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 ...
1
vote
1answer
45 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
0answers
44 views

derived versions of natural isomorphisms

I have just recently started approaching the topic of derived categories in algebraic geometry, and I'm doing so reading Huybrechts "Fourier-Mukai transforms in algebraic geometry". I have a doubt ...
6
votes
2answers
143 views

Perfect complexes and the derived category of a smooth projective variety

I know that on a smooth projective variety any coherent sheaf has a finite locally free resolution. I read somewhere that this implies that any object in $D^b(X)$ for $X$ smooth projective is then ...
0
votes
1answer
58 views

Tensor product of coherent sheaf with the stalk of structure sheaf

If $A$ is a commutative ring, $M\in A\text{-mod}$ and $\mathfrak{p}$ is a prime ideal of $A$ then it is an easy fact from commutative algebra that $M\otimes_{A}A_{\mathfrak{p}}\cong M_{\mathfrak{p}}$. ...
0
votes
1answer
57 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 ...
3
votes
0answers
62 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 ...
3
votes
1answer
66 views

Projective dimension of a coherent sheaf in a short exact sequence

Let $X$ be a noetherian integral scheme. We define the projective/homological dimension of a torsion free coherent sheaf $E$ to be $\mathrm{dh}(E)= \sup\{dh(E_x)|x\in X\}$, here dh$(E_x)$ denotes the ...
2
votes
0answers
35 views

Basic algebraic geometry

Given an algebraic variety $X$ and two $Q$-Cartier divisors $D_1$ and $D_2$. Given $f \in H^0(X, \mathcal{O}_X(D_1))$ and $g\in H^0(X, \mathcal{O}_X(D_2))$. It is always true that $\frac{g}{f}$ is a ...
3
votes
1answer
137 views

Degree of a torsion-free subsheaf

Suppose that $R$ is a torsion-free subsheaf (of positive rank) in another torsion-free sheaf $S$, on a smooth complex projective variety $X$. If $S$ is (slope) semistable, is it true that the degree ...
2
votes
1answer
70 views

Relative flat vs flat direct image

Let $Y$ be a Noetherian scheme. Let $\mathscr{F}$ be a coherent sheaf on $\mathbb{P}^n \times Y$. Denote $\pi: \mathbb{P}^n \times Y \rightarrow Y $ canonical projection. We have two notions. $\pi_* ...