Questions tagged [coherent-sheaves]
The coherent-sheaves tag has no usage guidance.
248
questions
4
votes
1
answer
457
views
Coherent sheaves, Serre’s theorem and ext groups
Let $X$ be a smooth projective variety over an algebraically closed field $k$ (if necessary we assume that $\operatorname{ch}(k)=0$).
Let $O_X(1)$ be a very ample invertible sheaf on $X$.
Then, the ...
- 619
1
vote
1
answer
200
views
Compatibility of Beck Chevalley condition: sheaves
Given a (not necessarily Cartesian) square of spaces
$$\require{AMScd}\begin{CD}
X @>g>> \overline{X} \\
@VVfV @VV\overline{f}V \\
Y @>\overline{g}>> \overline{Y}
\end{CD}$$
does the ...
- 5,278
2
votes
1
answer
214
views
Is any "relative support" for (complexes of) quasi-coherent sheaves known?
Let $f:X\to S$ be a morphism of Noetherian schemes; in the case I am interested in $S=\operatorname{Spec}R$ is affine and $f$ is proper. For a complex $C$ a complex of quasi-coherent sheaves on $X$ I ...
- 16.3k
2
votes
0
answers
201
views
The definition of the determinant of a coherent sheaf
Let $ X $ be a smooth (projective) variety and $ \mathcal{F} $ a torsion-free coherent sheaf of rank $ r $ on $ X $. The determinant $ \det \mathcal{F} $ can be defined by
(1) $ \det \mathcal F := ( \...
- 846
6
votes
0
answers
267
views
Is there a sheaf of categories $\text{QCoh}_X(1)$ analogous to $\mathcal{O}_X(1)$?
Given a scheme $X$ and sum of divisors $D$, you can take the line bundle
$$\mathcal{O}_X(D)\ =\ \{\text{functions }f\text{ with [conditions on zeroes/poles]}\}\ \subseteq\ j_*\mathcal{O}_\eta\ =\ \...
- 5,278
1
vote
0
answers
40
views
Pullback of coherent sheaves on Stein manifolds
Let $i:X\to Y$ be a closed embedding of Stein spaces, $G$ be a coherent $O_Y$-module. Set $I=\ker(i^*:O(Y)\to O(X))$. Then $I$ is an ideal of the ring $O(Y)$. Is that true that $\Gamma(X,i^*G)=G(Y)/...
- 423
1
vote
0
answers
55
views
What is the semistable reduction for sheaves?
Let $\Bbbk$ be an algebraically closed field with characteristic zero. Let $X$ be a projective scheme over $\Bbbk$ and let $L$ be an ample invertible $\mathcal{O}_X$-module. Fix a Hilbert polynomial $...
- 958
3
votes
0
answers
96
views
Obstruction to the existence of a deformation of a subvariety compatible with the given deformation of a variety
Let $X$ be a smooth projective variety over a field $k$ of characteristic 0,
and let $A$ be a local Artinian $k$-algebra, say, $A=k\oplus I$
where $I$ is an ideal such that $I^2=0$.
Let $\frak X$ be a ...
- 13.4k
1
vote
0
answers
75
views
Slope-stability, tilt-stability, and Bridgeland stability
Following the definition of slope-stability ($\mu$-stability) and tilt-stability ($\nu$-stability) on page 8 of https://arxiv.org/abs/1410.1585, does an object's tilt-stability imply its slope-...
- 437
2
votes
0
answers
102
views
Canonical basis and perverse coherent sheaves on the nilpotent cone
In the paper of Ostrik, he introduced a canonical basis of $K^{G\times {\mathbb C}^*}(\mathcal N)$, where $\mathcal N$ is the nilpotent cone for the group $G$. Question: does this canonical basis ...
- 2,481
2
votes
0
answers
103
views
Unicity of modifications of vector bundle on a regular base
I think that I have overheard the following statement, and would be grateful for either a reference or an explanation about why hearing must be slightly faulty and a clarification about what must ...
- 271
2
votes
1
answer
113
views
Finer classification of semistable sheaves
Usually in the moduli space of semistable sheaves, two semistable sheaves correspond to one point if and only if they are S-equvialent, i.e. the graded objects associated to their Jordan-Holder ...
- 958
4
votes
1
answer
250
views
Derived pushforward of a projection
Given two smooth projective varieties, $X,Y$, consider their derived categories $D^b(X), D^b(Y)$. Let $\mathcal{F}$ a complex of coherent sheaves in $D^b(X \times Y)$, why the derived pushforward of ...
- 61
4
votes
0
answers
269
views
Are $\mathcal{O}_X$-modules "more actual" then quasicoherent sheaves in some sense?
In the Stacks project and in a book of Brian Conrad the "main" derived category of a scheme is the one of $\mathcal{O}_X$-modules. I would like to understand whether $D(\mathcal{O}_X)$ is ...
- 16.3k
9
votes
1
answer
838
views
Is the functor from the unbounded derived category of coherent sheaves into the derived category of quasi-coherent sheaves fully faithful?
Let $X$ be a Noetherian scheme. Is the obvious functor $D(\operatorname{Coh}(X))\to D(\operatorname{QCoh}(X))$ fully faithful?
If this is true then $D(\operatorname{Coh}(X))$ is equivalent to the full ...
- 16.3k
1
vote
1
answer
163
views
flatness of restriction of structure sheaf over ring of global sections
Let $X$ be an affine scheme. $U \subseteq X$ open. Then I want to show that $\mathcal{O}_X(U)$ is flat over $\mathcal{O}_X(X)$.
But I want to prove it only by knowing the definition of structure sheaf ...
1
vote
1
answer
107
views
Families of torsion-free sheaves whose length jumps
For a long time, I had a false belief that the space/stack $\text{Coh}^{tf}_{c_1,c_2}S$ of torsion-free sheaves $\mathcal{E}$ on a smooth algebraic surface $S$ was not connected, since if you take its ...
- 5,278
2
votes
1
answer
238
views
Maps from $\mathbb A^1/ \mathbb G_m$ to Coherent sheaves
I am reading this paper https://arxiv.org/abs/1608.04797
Let $\Theta$ be the stack $\mathbb A^1/{\mathbb G_m}$. Let $X$ be a smooth projective curve of genus $g$ over a field $k$. Let $Coh_P$ be the ...
1
vote
0
answers
65
views
Understanding coherent sheaf obtained via sheaf injections of holomorphic vector bundles on TCP^1
My problem involves holomorphic vector bundles $E,F$ of the same rank on $T\mathbb{C}P^1$. I have a short exact sequence of sheaves $$0\rightarrow E\rightarrow F\rightarrow Q\rightarrow 0.$$
I want to ...
- 11
4
votes
2
answers
574
views
Basic question on projective bundles
Let $\mathcal{E}$ be a coherent sheaf on an irreducible scheme $S$ ($S$ can be pretty nice, say noetherian of finite type), and let $\mathbf{P}(\mathcal{E}):=\mathrm{Proj}(\mathrm{Sym}(\mathcal{E}))$ ...
- 643
2
votes
1
answer
217
views
Resolving complexes of coherent analytic sheaves
Background
Throughout, let $X$ be a smooth complex manifold.
It is a classical fact that a coherent analytic sheaf admits a local resolution by locally free sheaves (also known as a local syzygy). ...
- 1,217
2
votes
1
answer
136
views
Could certain closed covering determine a coherent sheaf?
We know that a coherent sheaf on a scheme is determined by its restriction on certain open coverings (satisfying compatibility condition). Now I wonder how about a closed covering. To do so I started ...
user494339
3
votes
0
answers
86
views
Explicit example of wall-crossing for sheaves
I would like to see an explicit example of a coherent sheaf $\mathcal{E}$ on a projective complex threefold $X$ which crosses the wall of stability. That is, I would like some $1$-parameter family $\...
- 355
2
votes
0
answers
81
views
Analogous tensor product operation for reflexive sheaf
Suppose now $(X,\mathcal O_X)$ is a normal complex space, and $\mathcal F$ is a coherent analytic sheaf on it.
Product the reflexive sheaf $$\mathcal F^{[p]}:=(\mathcal F^{\otimes p})^{**},$$ where $\...
- 313
1
vote
0
answers
82
views
Chern class of rank one sheaves supported on subvarieties
Let $X$ be a smooth, quasi-projective variety of dimension $n$ and $\mathcal{F}$ be a globally generated coherent sheaf supported on a codimension two subvariety $V \subset X$. Is $c_2(\mathcal{F}) \...
- 1,583
9
votes
1
answer
296
views
Are the tensor-invertible coherent sheaves on an algebraic space (Zariski) locally free of rank one?
On a scheme, the coherent sheaves that are invertible objects for the tensor product (monoid) operation are precisely the coherent sheaves that are (Zariski) locally free of rank one. Is the same ...
- 4,091
0
votes
0
answers
193
views
Sheaves of abelian groups over a smooth projective variety
Can someone point some good reference (books or lecture notes) for these topics:
Let $X$ a smooth projective variety over an algebraically closed field
Sheaves of abelian groups over $X$
Quasi-...
- 61
3
votes
1
answer
290
views
Existence of rigid objects in the derived category of a smooth projective variety
Let $X$ be a smooth projective variety (say over $\mathbb{C}$). An object $F \in D^b(X)$ is said to be rigid if $\mathrm{Ext}^1(F,F)=0$. I was wondering if we can always find a rigid object on a ...
- 7,100
0
votes
1
answer
179
views
Stability of sheaves of non-constant rank
Let $E\to X$ be a coherent sheaf over a compact (projective) Kahler manifold. The definition of stability of sheaves as stated in Huybrechts-Lehn (Definition 1.2.12) says that $E$ is stable if for all ...
- 767
3
votes
0
answers
356
views
Does a torsion-free coherent sheaf embed into a locally free sheaf?
Let $ X $ be a Noetherian integral regular scheme and $ \mathcal{F} $ be a torsion-free coherent sheaf. (One definition of torsion-free is that the natural map $ \mathcal{F} \rightarrow \mathcal{F} \...
- 846
2
votes
0
answers
170
views
Understanding spaces is the same as understanding (sheaves of) functions on the space
I'm trying to understand Ravi Vakil's FOAG. In chapter 2 it is written:
[...] understanding spaces is the same as understanding (sheaves of) functions on the spaces, and
understanding vector bundles (...
- 61
3
votes
1
answer
184
views
Is this a true weakening of the quasi-coherence property?
Let $R$ be a commutative Noetherian ring, and $X=$Spec$(R)$ the associated affine scheme. Let $F$ be a sheaf of $O_X$-modules. Consider the following condition
(#) For all containments $V \subseteq ...
- 1,690
3
votes
1
answer
273
views
Can we recover the sheaf from the functor?
Let $k$ be an algebraically closed field of characteristic zero. Let $S$ be a scheme of finite type over $k$. Let $\mathrm{Sch}/S$ be the category of schemes of finite type over $S$. Let $\mathcal F$ ...
- 958
4
votes
0
answers
125
views
Connectedness of moduli spaces of semistable sheaves on K3
In 1987/88, Mukai described the moduli spaces of (semi-)stable sheaves on a K3 surface $X$, showing that they consist of smooth pieces $M(v)$ of dimension $\langle v , v \rangle + 2$, for every ...
- 19.4k
1
vote
0
answers
163
views
Projectivization in the derived category of coherent sheaves
Let $X$ be a compact Kahler manifold. There exists a notion of projectivization of holomorphic vector bundles and coherent sheaves over $X$. Does that concept extend to objects in the derived category ...
- 767
3
votes
0
answers
203
views
For a family of short exact sequences of coherent sheaves, can we define the splitting subscheme?
This question has been asked in SE.
Let $k$
be an algebraically closed field of characteristic zero. Let $X$ be a projective scheme over $k$. We can talk about short exact sequences of coherent ...
- 958
4
votes
1
answer
178
views
Higher direct image of coherent sheaf and rigid analytification
Let $k$ be a non-archimedean field of characteristic zero. Then let $$f:X \rightarrow Y$$
be a (proper) morphism of smooth projective varieties over $k$. The GAGA functor (for rigid analytic spaces) ...
- 463
2
votes
0
answers
209
views
Projectivization of a coherent sheaf using resolution by vector bundles
Let $\mathcal{F}\to X$ be a coherent sheaf over a compact Kahler manifold and let $E^{\bullet}\to \mathcal{F}$ be a resolution of $\mathcal{F}$ by holomorphic vector bundles.
Is there a way to ...
- 767
3
votes
1
answer
253
views
When is a sheaf $\mathcal{L}_1 \subset \mathcal{F} \subset \mathcal{L}_2$ sandwiched between two line bundles also a line bundle?
This question is in the interest of answering one part of this question, but I think it is distinct enough to warrant a separate question.
Let $X$ be a regular 2-dimensional Noetherian scheme, for ...
- 1,338
3
votes
1
answer
255
views
Is local freeness open for curves?
Let $X$ be a complete nonsingular curve and $S$ a scheme over $k$ algebraically closed, and $\cal{F}$ a coherent sheaf on $X \times S$, generated by finitely many global sections and flat over $S$ (...
- 151
5
votes
1
answer
325
views
Which complexes of coherent sheaves can be presented as countable homotopy limits of perfect complexes?
Let $X$ be a noetherian scheme (actually, I need the case where $X$ is proper over an affine scheme), $C$ is an object of the derived category $D_{coh}(X)$ of coherent sheaves on $X$. Under which ...
- 16.3k
3
votes
0
answers
215
views
Stability and simplicity of tangent sheaf of Grassmannian
Everything is over the complex numbers. Let $ X = \text{Gr}(k,n) $ be a Grassmannian variety and with tangent sheaf $ T_X $.
(1) Is $ T_X $ simple, i.e. is $\text{Hom} ( T_X, T_X) = \mathbb{C} $?
(2)...
- 846
2
votes
0
answers
165
views
Higgs quotient sheaf of a Higgs bundle
Let $X$ be a smooth complex projective variety of dimension $n\geq2$, let $\mathfrak{E}=(E,\varphi)$ be a Higgs bundle over $X$ of rank $r\geq2$.
Does exists a Higgs quotient sheaf $\mathcal{Q}$ of $\...
- 818
2
votes
1
answer
193
views
Semi-orthogonal decompositions over singular schemes
Where can I find any more or less explicit semi-orthogonal decompositions of derived categories of perfect complexes or of bounded derived categories for singular schemes that are proper over a ring R?...
- 16.3k
3
votes
0
answers
146
views
Bounded derived categories of which smooth projectives possess bounded t-structures whose hearts are categories of modules?
I am interested in $P$ that is smooth and proper over a field and such that the derived category of coherent sheaves $D^b(P)$ possesses a $t$-structure whose heart is the category of finitely ...
- 16.3k
8
votes
1
answer
732
views
Relation between ProCoh and solid modules
There are two languages endow the theory of coherent sheaves with a six functor formalism (that I "know" of), one being formulated in $\text{ProCoh}(X)$ by Deligne and the other being $D(\...
- 4,146
3
votes
2
answers
332
views
When are two resolutions of a coherent sheaf homotopic
Let $\mathcal{F}$ be a coherent sheaf on a projective manifold $X$. It is well known that one can construct a resolution of $\mathcal{F}$ by holomorphic vector bundles (locally free sheaves).
Are two ...
- 767
1
vote
0
answers
82
views
Is the resolution of a sub-sheaf into complex of holomorphic vector bundles a "sub-resolution"?
Let $F\rightarrow X$ be a coherent sheaf on a projective Kahler manifold. We can resolve it into a complex of holomorphic vector bundles $E^{\bullet}\rightarrow X$. Let $G\subset F$ be a subsheaf of $...
- 767
1
vote
0
answers
273
views
Stability of vector bundles and corresponding coherent sheaf
Let $j:Y\hookrightarrow X$ be an embedding of projective complex manifolds. Let $E\rightarrow Y$ be a vector bundle and $S=j_*E$ the corresponding coherent sheaf on $X$ (see Push forward of a Vector ...
- 767
9
votes
1
answer
324
views
Does $X\times Y$ have the resolution property if both $X$ and $Y$ have?
We say a complex manifold $X$ has the resolution property if every coherent sheaf $\mathcal{M}$ on $X$ admits a surjection $\mathcal{E}\twoheadrightarrow \mathcal{M}$ by some finite rank locally free ...
- 8,637