For questions about the derived categories of various abelian categories and questions regarding the derived category construction itself.

learn more… | top users | synonyms

0
votes
1answer
194 views

Could we construct the Jacobian variety of a smooth curve $C$ with genus $>2$ from its derived category $D(C)$?

Let's consider a smooth curve $C$ over $\mathbb{C}$. We know that the Jacobian variety $Jac(C)$ of $C$ is the moduli space of the degree $0$ line bundles on $C$. $Jac(C)$ is an abelian variety of ...
1
vote
0answers
52 views

injective dimension of dualizing complex

Let $R$ be a balanced dualizing complex of a Noetherian connected graded algebras $A$. Dose one always have $\text{id}_A R = \text{id}_{A^{op}} R$? Thanks a lot.
1
vote
0answers
127 views

The associated graded of a mixed Hodge module

Unfortunately this question will be a bit vague, since the question revolves around a memory of something I may have heard in a talk (long time ago). Let $X$ be a smooth complex variety. Let $MHM(X)$ ...
2
votes
1answer
186 views

Formality of classifying spaces (for not necessarily connected groups)

As should be evident from the title this question has a similar flavor to: Formality of classifying spaces However, unlike Geordie's question, I will be working with torsion free coefficients (say ...
1
vote
1answer
192 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 ...
3
votes
1answer
392 views

Can we define the tensor product in the derived category $D^b_{\text{coh}}(X)$ just from $D^b_{\text{coh}}(X)$ in certain cases?

This question arise from the comparision of the reconstruction theorems of Bondal-Orlov and Balmer and is inspired by Shizhuo Zhang's mathoverflow question: How to unify various reconstruction ...
9
votes
4answers
638 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 of the global existence ...
0
votes
2answers
256 views

Balanced dualizing complexes according to A. Yekutieli

I am reading A. Yekutieli's original article on dualizing complexes for noncommutative algebras and I found a problem I cannot solve. First, some background. We start with a field $k$ and a ...
3
votes
1answer
175 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 ...
2
votes
0answers
75 views

Continuity of constructible derived category

Let $X_0$ be a variety over $\mathbb F_q$. Denote by $X_n$ its basechange to $\mathbb F_{q^n}$ and let $X=\lim X_n$ be its basechange to the algebraic closure $\overline{\mathbb F}_q$. Let ...
2
votes
1answer
142 views

Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?

Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...
5
votes
1answer
314 views

A naive question on eigensheaves for group actions on derived categories

In this Mathoverflow question, Examples of Eigensheaves outside of langlands, David Ben-Zvi says " Given a G -space X you can recover quasicoherent sheaves on X from sheaves on X/G (ie equivariant ...
9
votes
1answer
689 views

Why is proving fully-faithfulness of an integral functor locally analytically sufficient?

More than once I've come across a statement in a paper about derived categories in which it says something to the effect of "in order to prove that $\Phi:D^b(X)\rightarrow D^b(Y)$ is fully-faithful we ...
17
votes
2answers
509 views

Homotopy-theoretic derived Morita equivalences

Recall that two $k$-algebras $A, B$ are Morita equivalent iff their categories of left modules are equivalent. However, this relation turns out to be rather fine and one introduces a coarser ...
2
votes
1answer
242 views

why is the homological projective dual of this Lefschetz decomposition non-commutative?

I am reading these notes of an excellent course by Kuznetsov on Homological Projective Duality. On page 10 there is Example 1''. One starts with projective space, endowed with the identity embedding ...
5
votes
1answer
114 views

Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it: The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...
13
votes
1answer
536 views

How can one interpret homology and Stokes' Theorem via derived categories?

I am very far removed from being an expert on derived categories. Every few months, however, I read a different introductory text with the hope that eventually I will have some basic grasp on this ...
3
votes
3answers
271 views

When an exact embedding of abelian categories induces a full embedding of their derived categories?

Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also? I would be interested in any necessary or sufficient ...
6
votes
1answer
252 views

Derived categories of toric varieties and convex geometry

Toric varieties and convex polyhedra are intimately connected. Some of this can be found in standard text books (the connection between divisors and mixed volumes seems to be a popular example). One ...
4
votes
0answers
141 views

Derived category of toroidal varieties

This question comes from the first reduction step of Theorem 4.2 of Kawamata's paper on K-equivalent implies D-equivalent on toroidal varieties. But my question has little to do with this theorem. A ...
1
vote
0answers
152 views

Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes in $\mathcal A$. Is ...
2
votes
1answer
155 views

admissible subcategories over non algebraically closed fields

Let $X$ be a smooth projective variety over a field $k$ and $D^b(X)$ its bounded derived category. Let $\bar{X}$ the base change to $\bar{k}$. Let $A$ be a triangulated subcategory of $D^b(X)$ that ...
2
votes
0answers
196 views

How do I find abelian subcategories of periodic triangulated categories?

If $T$ is a triangulated category, then the formalism of $t$-structures gives a way to find abelian subcategories inside. You're supposed to find two strictly full subcategories, $T^{\le 0}, T^{\ge ...
2
votes
1answer
130 views

Bondal counter example to the Jordan-Holder property in derived categories

Can anybody give me the reference where this counter-example is explained in detail?. Consists on the following Bondal considered a quiver $Q$ with some relations and proved that $D(Q)$ has two ...
7
votes
2answers
455 views

What is a good reference (preferably thorough) for the Derived Category of a scheme/orbifold/stack?

I've sort of circled around the idea of derived categories a few times, read a few introductory papers ("Derived Categories for the working mathematician", e.g.), and feel now that this is something ...
1
vote
1answer
178 views

Uniqueness of the canonical etale coverings

This is a construction [Definition 6.1] given in the paper D-equivalence and K-equivalence by Kawamata. Let $X$ be a normal quasiprojective variety such that the canonical divisor $K_X$ is a ...
1
vote
1answer
216 views

Derived equivalence of two varieties which are isomorphism over certain open subvarieties

Let $X,Y$ be varieties over $\mathbb{C}$, and $D(X),D(Y)$ be the derived categories of bounded complex of coherent sheaves. Let $U \subset X, V \subset Y$ be open subvarieties, and let $X-U, Y-V$ have ...
3
votes
1answer
288 views

Commutativity of Tor

Let $A$ be a commutative ring with $1$ and $M,N$ be $A$-modules. Can you give a quick proof that $\textrm{Tor}_i(M,N) \cong \textrm{Tor}_i(N, M)$ using derived categories? In his Homological algebra ...
4
votes
1answer
261 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 ...
1
vote
1answer
80 views

is the orthogonal complement of a saturated sequence saturated?

Suppose I have a smooth projective variety $X$, and a semi-orthogonal decomposition of its bounded derived category: $$D^b(X)= < A, E_1, E_2, ... , E_n >$$ where the $E_i$ are fully faithful, ...
3
votes
1answer
143 views

morphism of injective objects

Let $A,B$ be two bounded below complexes in module category, and $A \longrightarrow I$ (resp. $B \longrightarrow J$) a injective resolution. If $f: A \longrightarrow B$ is a morphism of complexes. My ...
2
votes
5answers
443 views

A statement for a triangulated category generated by a subset

Let $D$ be a triangulated category (the triangulated category in my mind is $D^{b}(X)$, that is the derived category of bounded complex of coherent sheaves on a smooth projective variety), $A \subset ...
2
votes
1answer
382 views

Calculate $Hom$ in derived category

Suppose $X$ is a smooth variety over $\mathbb{C}$. Let $K^{b}(X)$ be the homotopy category of bounded complex of coherent sheaves, and $D^{b}(X))$ be the derived category of bounded complex of ...
9
votes
0answers
319 views

McKay correspondence and tensor products

The theorem of Bridgeland-King-Reid says that if $M$ is a smooth quasi-projective complex variety of dimension at most $3$ on which a finite group $G$ acts such that the canonical sheaf $\omega_M$ is ...
1
vote
1answer
170 views

Compact generator of $D(\mathbb{P}^1)$

I suppose that Beilinson's compact generator (and, in fact, tilting object) $\mathcal{O} \oplus \mathcal{O}(1)$ in $D(\mathbb{P}^1)$ is the most well known example. I have the following simple ...
3
votes
1answer
196 views

what are mutations of sheaves all about?

Suppose I have a smooth projective variety $X$ and a semi-orthogonal decomposition of its bounded derived category of coherent sheaves $D^b(X)$. Then I can apply right or left mutations to the full ...
4
votes
0answers
199 views

What is the structure of the stack of complexes supported in dimension less than r?

Let $X$ be something. (smooth and projective variety over C are my assumptions) The stack $M$ parameterising coherent sheaves on $X$ splits as a disjoint union of open and closed substacks $M_\alpha$, ...
3
votes
0answers
204 views

Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows: Let $X$ be a say complex variety with an action by an algebraic group $G$. ...
6
votes
1answer
260 views

Are constructible derived categories invariant up to weak homotopy equivalence?

Let $X$ and $Y$ be two topological spaces and $R$ be commutative ring. Let $D_c^b(X, R)$ and $D_c^b(Y,R)$ be their respective bounded derived categories of constructible sheaves of $R$-modules. I ...
7
votes
2answers
373 views

Recovering an abelian category out of its derived category

I'm trying to learn more about derived category stuff and my curiosity has made me to ask these questions. Sorry if I'm being sloppy, I'm a new learner. In Wikipedia it has been stated that since ...
4
votes
2answers
406 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 ...
5
votes
0answers
198 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 ...
6
votes
1answer
331 views

A question on the “natural metric” on the space of Bridgeland stability condition

I have a question on the "natural metric" on the space of Bridgeland stability condition. A stability condition $\sigma=(Z,\mathcal{P})$ on a triangulated category $\mathcal{D}$ consists of a linear ...
0
votes
1answer
184 views

Recovering torsion in singular homology from cplx of singular chains

For a simply connected simplicial complex, a theorem of Whitehead (Derived categories for the working mathematician, bottom of page 2) explains that the associated chain complexes with coefficients in ...
6
votes
0answers
167 views

Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...
0
votes
0answers
100 views

descent of a complex of sheaves

Let X a projective variety over an algebraically closed field on which an abelian variety $A$ acts freely. Then $X/A$ is a projective variety. Let $f:X\rightarrow X/A$ Let $K\in D_{c}^{\leq ...
5
votes
0answers
409 views

On the derived category of constructible étale sheaves

The derived category $D^{\flat}_{c}(X,R)$ of constructible sheaves of $R$-modules on $X_{et}$ is defined as the full subcategory of $D^b(X,R)$ whose cohomology sheaves are all constructible. Clearly, ...
4
votes
1answer
337 views

Geometric intuition behind perverse coherent sheaves?

I would like to know an intuition behind perverse coherent sheaves. I am aware that it is induced by a heart of another t-structure on the derived category. Are there any better, probably more ...
6
votes
2answers
654 views

Derived category of varieties and derived category of quiver algebras

I have heard that derived category of coherent sheaves $\mathrm{Coh}(X)$ on any Fano varieties $X$ may be realized as derived category $\mathrm{Coh}(\mathrm{Rep}(Q,W))$ of representation of quiver $Q$ ...
4
votes
2answers
866 views

The derived category of the heart of a t-structure

Suppose $\mathcal{D}$ is a triangulated category and that we are given a $t$-structure $(\mathcal{D}^{\leq 0},\mathcal{D}^{\geq 0})$ on $\mathcal{D}$. The heart of the $t$-structure, ...