All Questions
69 questions
15
votes
4
answers
2k
views
What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?
Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction to the global existence ...
- 9,019
13
votes
1
answer
1k
views
When do six operations work?
This question comes (heavily edited) from my notes, thus slightly unusual structure.
We know that algebraic maps have very strict structure, and in many settings the operations ...
- 15.1k
12
votes
1
answer
648
views
An example of an object in $D^b_{\text{coh}}(\mathbb{P}^2)$ which is not formal
We know that for a curve $X$, any object $\mathcal{E}^{\bullet}$ in the derived category $D^b_{\text{coh}}(X)$ is formal, i.e. $\mathcal{E}^{\bullet}$ is quasi-isomporphic to the direct sum of its ...
- 9,019
12
votes
1
answer
577
views
Embedding of a derived category into another derived category
I am considering the following two cases:
Assume that there is an embedding: $D^b(\mathcal{A})\xrightarrow{\Phi} D^b(\mathbb{P}^2)$and the homological dimension of $\mathcal{A}$ is equal to $1$($\...
- 1,982
11
votes
1
answer
2k
views
Derived categories and classical theorems in homological algebra
So far I have studied fundamental part of derived category theory, for example, the existence of derived functors, the "composition of derived functors", and so on.
Now I came up with some questions ...
- 1,364
10
votes
1
answer
342
views
Vanishing natural transformation exact triangle
This question is a follow-up to this question I asked some time ago. Let $X$ be a smooth projective variety of dimension $n$ over $\mathbb{C}$. Let $\omega \in H^{n}(X,K_X)$, $\omega \neq 0$. Let
$$A ...
- 7,300
9
votes
1
answer
1k
views
How to write down the determinant of a quasi-isomorphism?
This question about the determinant of a perfect complex reminded me of an old question that I had.
The construction of the determinant (as in MR1914072 or MR0437541) is a difficult piece of ...
- 3,284
9
votes
0
answers
506
views
Categorification of definitions in the context of the derived category of quasi-coherent sheaves
Let $SpecA=X$ be an affine noetherian scheme. Let $QCoh(X)$ denote the derived (stable $\infty$-)category of quasi-coherent sheaves on $X$. There are the following special full subcategories spanned ...
- 7,789
8
votes
1
answer
2k
views
Is the derived category of perfect complexes idempotent complete?
Let $\mathcal{C}$ be a category. We call a morphism $\alpha: X\rightarrow X$ an idempotent if $\alpha^2=\alpha$ in $\mathcal{C}$. We call $\mathcal{C}$ is $\textit{idempotent complete}$ if any ...
- 9,019
7
votes
1
answer
2k
views
What is the negative cyclic homology of a smooth projective variety?
Let X be a smooth and projective variety. Hochschild homology and cohomology have a very simple definition in terms of Ext groups of the diagonal of X. The Hochschild-Kostant-Rosenberg (HKR) theorem ...
- 1,889
7
votes
2
answers
612
views
Homology of perfect complexes
I apologize in advance if this question is basic.
If $P_{\bullet}$ is a perfect complex over say a ring $R$ such that
$H_{i}(P_{\bullet})=0 $ if $i\neq n$
$H_{i}(P_{\bullet})=E$ if $i=n$
is $E$ ...
- 530
7
votes
1
answer
566
views
Smoothness of a projective variety via the derived category
Let $X$ be a smooth projective integral variety over an algebraically closed field $k$. Let $Y$ be a (not necessarily smooth) projective integral variety over $k$.
Assume that $D^b(X) \cong D^b(Y)$.
...
- 71
7
votes
0
answers
268
views
Identifying and reconstructing the derived category from its auto-equivalences
Background: Given a smooth irreducible algebraic variety $Y$ with $\omega_Y$ or $\omega_Y^{-1}$ ample. Then Bondal-Orlov theorem states that if there exists any other smooth algebraic variety $Y'$ ...
- 1,981
7
votes
0
answers
275
views
Not isomorphic varieties with isomorphic tilting algebras
Let $X$ be a smooth projective variety over a field, than tilting object $T$ on $X$ is a perfect complex that is a compact generator of the derived category $\operatorname{D}(QCoh(X))$ and satisfies ...
- 1,545
6
votes
2
answers
442
views
Existence of functorial (K-)flat resolutions?
I am wondering about the following: Suppose $X$ is a reasonable scheme or stack with the resolution property. (So, all quasi-coherent sheaves admit a surjection from a flat sheaf.) Then I believe ...
- 91
6
votes
1
answer
929
views
Different definitions of derived functors
In principle one uses the notion of derived category, and the other doesn't.
Suppose $F: \mathcal A \to \mathcal B$ is a left exact (additive) functor between abelian categories, and suppose the ...
- 2,789
6
votes
1
answer
526
views
How does the Balmer spectrum fail to describe the algebraic geometry of categories of non-compact objects?
In trying to understand the higher algebraic geometry of the stable homotopy category, one thing I've come across repeatedly is the claim that one should only consider the Balmer spectrum of a tt-...
- 1,969
6
votes
0
answers
201
views
Smoothness of a variety implies homological smoothness of DbCoh
I have been told that $D^bCoh(X)$ is homologically smooth if $X$ is a smooth variety, and I am trying to construct a proof. My background is not in algebra, so I apologize for elementary questions.
It ...
6
votes
0
answers
656
views
The derived version of the Grothendieck spectral sequence
Consider the (very well known) Grothendieck spectral sequence for composition of functors $\mathcal F: \mathcal A \to \mathcal B$ and $\mathcal G: \mathcal B \to \mathcal C$ between abelian categories ...
- 61
5
votes
2
answers
3k
views
Why is the derived tensor product only defined for bounded above derived categories?
In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter II, section 4, p.93), that is one has
$$\otimes: D^{-}(X) \...
- 3,472
5
votes
2
answers
715
views
Examples of tilting objects that don't come from exceptional sequences
This is a question on geometric tilting theory. On smooth projective variety it is possible to define in general tilting object as perfect complex that satisfy some properties, but are there examples ...
- 1,545
5
votes
1
answer
510
views
General existence theorem for cup products
I'm curious if it is possible to formulate cup products and prove that they exist in a general way which would subsume a lot of examples: e.g. group cohomology, sheaf cohomology for sheaves on ...
- 3,058
5
votes
1
answer
314
views
Is the dual of a compact generator also a compact generator of the derived category of a variety?
Let $X$ be a variety (or more generally a quasi-compact, separated scheme) and $D(X)$ be the derived category of complexes of $\mathcal{O}_X$-modules with quasi-coherent cohomologies. Let $\mathcal{E}$...
- 9,019
5
votes
0
answers
214
views
Universal property for derived category of coherent sheaves
Let $X$ be a scheme, and let $D^{*}(X)$ be the unbounded (resp. unbounded, resp. bounded below/above, etc) derived category of coherent sheaves on $X$.
The work of Robalo establishes a universal ...
- 1,635
4
votes
2
answers
280
views
Vanishing natural transformation and strong generator
Let $X$ be a smooth projective variety (over the field of complex numbers). Let $T$ be strong generator of $D^b(X)$ : this means that every object in $D^b(X)$ can be obtained in a given finite number ...
- 7,300
4
votes
2
answers
809
views
Two basic questions on derived categories
Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon \mathcal{A}...
- 21.8k
4
votes
2
answers
587
views
Question about the proof of Prop I.7.4 in Hartshorne's Residues and Duality
Let $F : \mathcal{A}\rightarrow\mathcal{B}$ be an additive functor of abelian categories, such that $F$ has cohomological dimension $\le n$. Suppose $\mathcal{A}$ has enough injectives. Let $P\subset\...
- 7,527
4
votes
1
answer
598
views
Additive functors and Derived Categories
I have been learning about derived categories from Hartshorne's "Residues and Duality". One of the main theorems, as it is presented there seems to be the canonical isomorphism $RF \circ RG \cong R(F \...
- 41
4
votes
0
answers
168
views
detecting a semi-free module from its bar-resolution
Let $A$ be a DG-algebra over a field (say $k$). A DG-module $M$ over $A$ is said to be semi-free if it admits an exhaustive filtration $0 = M_0 \subset M_1 \subset \ldots \subset M_p = M$ such that ...
- 7,300
4
votes
0
answers
205
views
Sheaf-type property for Derived Categories?
Suppose $X$ is a finite dimensional complex space (I'm happy to restrict to $X$ being a scheme of finite type over $\mathbb C$ as well). I'm wondering if the following sheaf-like properties hold for ...
- 1,761
4
votes
0
answers
258
views
Generators of unbounded derived categories of (quasi-)coherent sheaves
An object $T$ in a triangulated category $\mathcal{D}$ is called a generator if $T^\perp=0$, which means that for any nonzero $X$ in $\mathcal{D}$, there are $i\in\mathbb{Z}$ and a nonzero morphism $T[...
- 263
4
votes
0
answers
235
views
Serre duality graded singularity category
Let $R$ be a local Gorenstein ring of Krull dimension $d$ with an isolated singularity. Defined $D_{sing}(R)$ as the Verdier quotient $D^b(R)/Perf(R)$). Then, a famous result of Auslander says that ...
- 7,300
4
votes
0
answers
502
views
Reference for Grothendieck's duality and Cousin, Dualizing and Residual complexes
I am a graduate student currently reading Hartshorne's Residues and Duality. In order to reach the construction of the right adjoint $f^!$ of $Rf_*$ for some special types of maps of locally ...
4
votes
0
answers
445
views
When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?
Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...
- 9,019
3
votes
2
answers
485
views
Definition of the differential of the Cone of a morphism of complexes [closed]
Let $(F^\bullet,d_F)$ and $(G^\bullet,d_G)$ be two complexes in an abelian category $\mathbf{A}$.
The complex cone $Cone(\varphi)^\bullet$ of a morphism of complexes $\varphi:F^\bullet \to G^\bullet$ ...
- 3,779
3
votes
2
answers
1k
views
An alternative definition of pseudo-coherent complex
Let $(X,\mathcal{O}_X)$ be a scheme or a general ringed space. First recall that a complex of $\mathcal{O}_X)$-modules $\mathcal{E}^{\bullet}$ is called strictly perfect if $\mathcal{E}^{\bullet}$ is ...
- 9,019
3
votes
1
answer
147
views
What do we know about a sheaf $M$ if we know its derived fibers $\mathsf{L}x^* M$, for $x\in X(k)$?
Let $X$ be a scheme over a field $k$. (Feel free to assume that $X$ is an algebraic variety, if needed.) Also, let $M^\bullet$ be a complex in the derived category of quasi-coherent sheaves $\mathsf{D}...
- 711
3
votes
1
answer
381
views
Could we extend the Atiyah class to the sheaf of poly-vector fields to get a Poisson bracket?
Let $X$ be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...
- 9,019
3
votes
1
answer
508
views
The Hochschild cohomology of a variety "with coefficient" in a vector bundle
This question is related to one of my previous question Do we have the following isomorphism for $\mathcal{Ext}$?
Let $X$ be a smooth variety (over $\mathbb{C}$) and $\Delta: X \rightarrow X \times X$...
- 9,019
3
votes
1
answer
125
views
Smallness condition for augmented algebras
I'm not sure this question is research level question. Sorry in advance.
Hypothesis
$k$ is a commutative ring.
$A$ is an augmented $k$-algebra.
$A^e$ is defined as the $k$-algebra $A\otimes_{k}A^{op}$...
- 511
3
votes
1
answer
185
views
How to check that exceptional sequence of vector bundles on Fano variety is helix foundation
Let $X$ be smooth Fano variety with $\operatorname{Pic}(X) = \mathbb{Z}$ of dimension $m$ with canonical class $K$, and $E_0,...,E_n$ is exceptional sequence of $(n+1)$ vector bundles in $D^b(Coh(X))$....
- 1,307
3
votes
1
answer
479
views
K-injective (also known as hoinjective) complexes of sheaves of modules
Let $(X,\mathcal O_X)$ be a ringed space (if necessary, assume that it is a scheme with suitable hypotheses). Given two complexes of sheaves $\mathcal F$ and $\mathcal G$ of $\mathcal O_X$-modules, ...
- 2,079
3
votes
0
answers
424
views
Stalks of perverse cohomology sheaves?
For a complex of sheaves $\cal{F}^{\bullet}$ on a variety $X$, a useful fact is that the stalks of the cohomology sheaves of $\mathcal{F}^{\bullet}$ agree with the cohomology groups of the complex of ...
- 1,701
3
votes
0
answers
209
views
Closed Model Category Structure on Chain Complexes Related to A Left-exact Functor
Let $F:A \to B$ be an additive left-exact functor of abelian categories (Do not assume that they have enough injectives / projectives.) Suppose we are given a class of objects $R$ adapted to $F$ (see ...
- 607
2
votes
1
answer
239
views
How to complete $i^*i_*\mathcal{F}\to \mathcal{F}$ into an exact triangle for a smooth divisor $i: X\hookrightarrow Y$?
Let $Y$ be a smooth algebraic variety and $i: X\hookrightarrow Y$ be a smooth divisor. We consider the derived functors $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$ and $i_*: D^b_{coh}(X)\to D^b_{coh}(Y)$. By ...
- 9,019
2
votes
2
answers
1k
views
Injective resolution for right derived functor
This question is base on my previous question, and I repeat it here:
Suppose $X$ is a projective variety and $D^{+}(X)$ is the derived cateogry of bounded below complexes of sheaf of $\mathcal{O}_X$-...
- 3,472
2
votes
1
answer
276
views
Can one always find a bigger global resolution
Let $X$ be a scheme. Let $E$ be a perfect complex of coherent sheaves on $X$ and suppose it admits two global resolutions $ F$ and $F'$. By global resolution I mean that both $F$ and $F'$ are quasi-...
- 595
2
votes
1
answer
342
views
A question on some lemmas in Orlov's "Triangulated Categories of Singularities and D-Branes in Landau-Ginzburg Models" (Exts vanishing)
I'll write the two lemmas I have questions about, and then ask my questions. For reference, I'm using the following definition of Gorenstein:
$\mathbf{Definition\ 1.15}$ A local noetherian ring $A$ ...
- 841
2
votes
1
answer
372
views
Ext groups in the equivariant derived category
I apologize in advance that this question is probably too basic for MO, but I reckoned I would not get an answer on Math.Stackexchange.
I am starting to learn about perverse sheaves, the ...
2
votes
1
answer
1k
views
Simple example of a perfect complex not isomorphic to a strictly perfect complex?
I'm looking for the simplest possible example (one that's easy to remember) for the situation described in the title. More precisely I'm looking for the following example:
A (probably has to be ...
- 7,789