Questions tagged [coherent-sheaves]
The coherent-sheaves tag has no usage guidance.
252
questions
5
votes
0
answers
138
views
Description of pull-back of coherent sheaves under a smooth morphism of Artin stacks
I am new to these formalisms, so pardon me if the question is basic. Let $\mathscr{X}$ be an Artin stack (you can take it to be Deligne-Mumford stack if it helps). By a coherent sheaf on $\mathscr{X}$ ...
1
vote
0
answers
34
views
(Quasi)-coherence of the weight $\theta$-sheaf
In this paper, the author defined the weight $\theta$-sheaf as follows: Let $A^{k}_{X}$ be the sheaf germs of real smooth $k$ forms on the smooth manifold $X$, we perform a complexification on this ...
1
vote
0
answers
64
views
Trace map for universal bundle of Grassmannian
Let $G := G(k,V)$ denote the Grassmannian of $k$-linear subspaces in a $\mathbb{C}$-vector space $V$ of dimension $n$. Let $S$ denote the tautological bundle over $G$. There is a canonical map on ...
1
vote
0
answers
104
views
Monomorphism/Isomorphism of $C_4$-tangent cones for complex varieties
Suppose that $(M,\mathcal{O}_M)$ is a reduced complex analytic space (or complex algebraic variety if you prefer). The tangent linear fiber space $TM$ associated to $M$ is defined as the analytic ...
4
votes
1
answer
587
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 ...
1
vote
1
answer
217
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 ...
2
votes
1
answer
222
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 ...
2
votes
0
answers
238
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 := ( \...
6
votes
0
answers
276
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\ =\ \...
1
vote
0
answers
44
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)/...
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 $...
3
votes
0
answers
107
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 ...
1
vote
0
answers
78
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-...
2
votes
0
answers
114
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
votes
0
answers
106
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 ...
3
votes
1
answer
117
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 ...
4
votes
1
answer
278
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 ...
4
votes
0
answers
278
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 ...
9
votes
1
answer
874
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 ...
1
vote
1
answer
179
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
111
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 ...
2
votes
1
answer
265
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 ...
4
votes
2
answers
596
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}))$ ...
2
votes
1
answer
236
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). ...
2
votes
1
answer
139
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 ...
3
votes
0
answers
89
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 $\...
2
votes
0
answers
87
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 $\...
1
vote
0
answers
86
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}) \...
9
votes
1
answer
303
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 ...
0
votes
0
answers
196
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-...
3
votes
1
answer
302
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 ...
0
votes
1
answer
212
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 ...
3
votes
0
answers
387
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} \...
1
vote
0
answers
178
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 (...
3
votes
1
answer
187
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 ...
3
votes
1
answer
277
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$ ...
4
votes
0
answers
131
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 ...
1
vote
0
answers
171
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 ...
3
votes
0
answers
216
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 ...
4
votes
1
answer
186
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) ...
2
votes
0
answers
230
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 ...
3
votes
1
answer
258
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 ...
3
votes
1
answer
258
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$ (...
5
votes
1
answer
342
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 ...
3
votes
0
answers
227
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)...
2
votes
0
answers
171
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 $\...
2
votes
1
answer
221
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?...
3
votes
0
answers
148
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 ...
8
votes
1
answer
760
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(\...