Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2191
2 votes
1 answer
234 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 …
Mikhail Bondarko's user avatar
4 votes
0 answers
296 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 better than …
Mikhail Bondarko's user avatar
9 votes
1 answer
916 views

Is the functor from the unbounded derived category of coherent sheaves into the derived cate...

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 …
Mikhail Bondarko's user avatar
1 vote

Which complexes of coherent sheaves can be presented as countable homotopy limits of perfect...

In the case where C is bounded above this statement was established in Neeman's https://arxiv.org/abs/1804.02240v4. Now I will try to extend his "approximation" statements to the case where $C$ is an …
Mikhail Bondarko's user avatar
5 votes
1 answer
369 views

Which complexes of coherent sheaves can be presented as countable homotopy limits of perfect...

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 ass …
Mikhail Bondarko's user avatar
2 votes
1 answer
259 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 …
Mikhail Bondarko's user avatar
3 votes
0 answers
149 views

Bounded derived categories of which smooth projectives possess bounded t-structures whose he...

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 generate …
Mikhail Bondarko's user avatar
4 votes
0 answers
135 views

Bounded derived categories of which smooth projectives possess bounded t-structures whose he...

For which smooth projective $P$ over a field there exists a bounded $t$-structure $t$ on the bounded derived category of coherent sheaves $D^b(P)$ such the heart $Ht$ of $t$ has enough injectives? Not …
Mikhail Bondarko's user avatar
4 votes
0 answers
312 views

Which derived categories of coherent sheaves are equivalent (or "$t$-related") to derived ca...

As far as I understand, it was Beilinson who proved that the bounded derived category of coherent sheaves $D^b(\mathbb{P}^n)$ is equivalent to the bounded derived category of a certain (non-commutativ …
Mikhail Bondarko's user avatar
3 votes
1 answer
821 views

Which complexes of coherent sheaves are dual to perfect ones?

Let $X$ be a Noetherian scheme that is not Gorenstein but possesses a dualizing complex $D$ of coherent sheaves. Then (if I understand these matters and the answer to the question Characterization of …
Mikhail Bondarko's user avatar
2 votes
Accepted

Is the dual of a compact generator also a compact generator of the derived category of a var...

Let me try to sketch an argument (though I am not quite sure in details). A theorem of Neeman implies that a compact object $M$ in a compactly generated triangulated category $T$ is a generator if an …
Mikhail Bondarko's user avatar
3 votes
0 answers
193 views

K-theory of coherent sheaves on complex manifolds: references and gamma-filtration?

For a complex manifold $X$ one has an exact category of locally free coherent sheaves; so it seems to be no problem to define certain $K$-theory (I do not know whether the $K$-groups given by the "sta …
Mikhail Bondarko's user avatar
3 votes
0 answers
130 views

K-theory of ringed spaces (including henselian and formal schemes); excision and Mayer-Vietoris

Given a ringed topological space $S$ one can easily define its K and K'-theory as the K-theories of the categories of locally free sheaves and of the category of coherent sheaves on it, respectively. …
Mikhail Bondarko's user avatar
0 votes
0 answers
186 views

Do infinitesimal neighbourhoods help to compute the inverse images of coherent sheaves?

Let $i:Z\to X$ be a closed embedding of (projective) varieties; $S$ is a coherent sheaf on $X$. How could one compute $H^*(Z,i^\ast S)$ (I don't know whether I should write $H^\ast (Z,i^{-1}S)$ instea …
Mikhail Bondarko's user avatar
12 votes
3 answers
3k views

Derived categories of (coherent) sheaves of modules: exceptional images, gluing, and proper ...

I am interested in the properties of (the derived categories) of various categories of (coherent) sheaves of modules (over varieties). I would like to understand in what extent these properties are si …
Mikhail Bondarko's user avatar