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

learn more… | top users | synonyms

21
votes
0answers
1k views

Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula. My first question is based on the ...
12
votes
0answers
414 views

The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...
12
votes
0answers
517 views

References for a certain generalization of Hochschild cohomology?

Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C ...
11
votes
0answers
348 views

Reconstructing the Chow ring from the derived category

Let $X$ be a smooth projective variety and write $\mathbf{D}(X)$ for its triangulated category of perfect complexes of quasi-coherent sheaves. Recall that $\mathbf{D}(X)$ determines the Grothendieck ...
9
votes
0answers
347 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 ...
9
votes
0answers
712 views

Generating the derived category with line bundles

The following lemma is useful and well-known: LEMMA If $L^{\pm 1}$ is ample on proper scheme over a field $k$, then some number of powers $\mathcal{O},L,...,L^{m}$ generate the unbounded derived ...
8
votes
0answers
157 views

List of known Fourier Mukai partners?

I'm familiar with some examples of pairs of derived equivalent varieties, for example an abelian variety and its dual, a K3 surface and certain moduli schemes on it, or the Pfaffian-Grassmannian ...
8
votes
0answers
191 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 ...
7
votes
0answers
73 views

Non-Standard Derived Equivalences of Non-Flat Algebras

I read that for algebras $R$ and $S$ (over a commutative ring), assuming that $R$ or $S$ is flat, the existence of a derived equivalence $\mathcal{D}(R) \to \mathcal{D}(S)$ implies the existence of an ...
7
votes
0answers
569 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, ...
6
votes
0answers
67 views

2-functoriality of equivariant derived categories

I am wondering about the 2-functoriality in equivariant derived categories, and I hope that someone can clarify... (apologies if this is a stupid question) For the more precise formulation, recall ...
6
votes
0answers
180 views

Is there an obstruction which classifies “quasi-isomorphism but not chain equivalence”?

Fix a ring $R$ and let $C_\bullet$, $D_\bullet$ be (possibly unbounded) chain complexes of $R$-modules. Assume that $f_\bullet:C_\bullet \to D_\bullet$ is a quasi-isomorphism: that is to say, $f$ is a ...
6
votes
0answers
141 views

flatness and derived completion

Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion. If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat. If $A$ is not noetherian, ...
6
votes
0answers
185 views

Compact objects and ind-objects in triangulated categories

question : let $A$ be triangulated category compactly generated by subcategory $A^c$ of compact objects. Consider category of ind-objects $Ind(A^c)$. Is there relation between $A$ and $Ind(A^c)$? ...
6
votes
0answers
479 views

functor before cat?

As i read the literature, derived functors were there several years before derive categories - right?
5
votes
0answers
148 views

Extension of sheaf of Azumaya algebras and derived equivalence

Suppose there is a smooth variety $X$ and a sheaf of algebra $\mathcal{B}$. Let $Z\subseteq X$ be a closed subvariety, whose codimension is large (say $\geq 2$). If the restriction of $\mathcal{B}$ to ...
5
votes
0answers
172 views

Characterization of closed immersions at the level of perfect complexes

Let $f : X \to Y$ be a morphism of quasi-compact quasi-separated schemes. Is there a necessary and sufficient condition on the inverse image functor $\DeclareMathOperator{Perf}{\mathrm{Perf}} f^* : ...
5
votes
0answers
207 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 ...
4
votes
0answers
162 views

Derived equivalent varieties with differing integral Mukai-Hodge structures?

For a smooth projective complex variety $X$ of dimension $n$, let $H^i(X)$ denote its integral Hodge structure of weight $i$. Define $\tilde{ H^0}(X) = \bigoplus H^{2i}(X)\otimes \Bbb Z(i)$ and ...
4
votes
0answers
154 views

object in D^bCoh(P^2) with prescribed RHom's

Let $\mathbb{C}P^2$ denote the projective plane. From reading the section of http://homepages.math.uic.edu/~coskun/gokova.pdf which surveys Gieseker stable sheaves, I have understood that there are ...
4
votes
0answers
167 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
0answers
244 views

On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes

Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
4
votes
0answers
185 views

2-periodic derived equivalence

Let $A$ and $B$ be finite-dimensional algebras with finite global dimension over some field (in fact I am thinking of rational incidence algebras of finite posets). Suppose we know that $A$ and $B$ ...
4
votes
0answers
201 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 ...
4
votes
0answers
215 views

Can we obtain a derived category from an additive category? Like a category of Banach modules?

Let $A$ be a Banach algebra, let $A$-mod be the category of left Banach modules (as defined in Helemskii's "Banach and locally convex algebras"), $A$-mod is an additive category, but not abelian ...
4
votes
0answers
211 views

Does GKZ's reflexivity theorem imply the Plucker formula?

Let $S\subset\mathbb{P}^n$, Gelfand-Kapranov-Zelevinsky defined its dual variety $S^\vee\subset\mathbb{P}^{n^\ast}$. In this paper (http://arxiv.org/pdf/math/0111179v1.pdf), the author obtained the ...
4
votes
0answers
152 views

Unbounded derived category that is not left-complete

Let me first recall some definition: Let $A$ be a Grothendieck Abelian category. Then, then category $\mathrm{Ch}(A)$ (I am using homological indexing) admits a combinatorial model structure (see for ...
4
votes
0answers
136 views

Formal DG-algebras

Sorry for this question but I really have difficulties with model categories. Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...
4
votes
0answers
172 views

Grothendieck group of intersection of quadrics

Conjecturally, for a complete intersection $X$ the group $K_0(X)$ is finitely generated iff $H^{p,q}(X)=0$ for $p≠q$. This holds if and only if $X$ is a quadric, a cubic surface, or an ...
4
votes
0answers
170 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 ...
4
votes
0answers
215 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 ...
4
votes
0answers
219 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$, ...
4
votes
0answers
203 views

Leray degeneration for smooth projective morphisms and formality of families of compact Kähler manifolds

Let $\pi \colon X \to S$ be a smooth projective morphism of algebraic varieties, say over $\mathbf C$. By Deligne's argument ("Théorème de Lefschetz...", 1968), there is for each $i$ an injection $$ ...
4
votes
0answers
329 views

Stability conditions for coherent sheaves and GIT

I am learning stability conditions for derived categories of coherent sheaves, following Bridgeland, and coming from a vector bundles background. $\mu$-stability for vector bundles has a clear GIT ...
4
votes
0answers
250 views

What is the equivariant derived category good for?

Given a topological group acting on a topological space, Bernstein and Lunts construct the equivariant derived category, which looks like the derived category of the quotient would, if action was free ...
3
votes
0answers
42 views

Fracturing $t$-structures

$\def\tee{\mathfrak{t}}$ Let $\tee_1,\tee_2$ be two $t$-structures on a triangulated category $\cal T$; call them fracturing if the two fiber sequences $\tau^\le_1X\to X\to \tau^\ge_1X$ and ...
3
votes
0answers
193 views

N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places. Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...
3
votes
0answers
82 views

Short proof of the classification of representation-finite symmetric algebras up to stable equivalence

Assume $K$ is an algebraically closed field and $A$ a finite dimensional $K$-algebra. Assume additionally that $A$ is symmetric and representation-finite. Then one has the following classification of ...
3
votes
0answers
451 views

unique enhancement for derived categories

I have two questions concerning the existence and uniqueness of enhancements in the following cases: i.) Let $A$ be a finite dimensional $k$ algebra of finite global dimension. Does the triangulated ...
3
votes
0answers
245 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$. ...
3
votes
0answers
187 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 ...
3
votes
0answers
562 views

Sebastiani-Thom isomorphism for D-modules

Considering $f:X\to \mathbb{C}$, $g:X\to \mathbb{C}$ and $f\oplus g:(x,y)\mapsto f(x)+g(y)$. The Sebastiani-Thom isomorphism is an isomorphism $\Phi_{f\oplus g}(M\boxtimes N) = \Phi_{f}(M) \otimes ...
2
votes
0answers
150 views

K theory and derived categories

Some months ago I studied Beilinson's paper about generators for the derived category of $\mathbb{P}^n$, "Coherent Sheaves on $\mathbb{P}^n$ and problems of linear algebra". As next step, I moved to ...
2
votes
0answers
93 views

Derived Categories provide a good Framework for Sheaf Cohomology?

I'm a bit new to this sheaf cohomology business. Can someone explain how derived categories provide a good setting for Sheaf Cohomology? I understand that sheaf coho arises as right derived functors, ...
2
votes
0answers
122 views

derived automorphisms of K3 surfaces of picard rank one

I am aware of work of Bayer-Bridgeland, which describes G=Aut(D(K3)) for a K3 of Picard rank one. Is it possible to use their result to give an explicit presentation of G, in terms of generators and ...
2
votes
0answers
92 views

Factorization of a map through a square

Assume to have an abelian category $\mathcal{A}$, and consider its derived category $\mathcal{D^b(A)}$). Let $F:\mathcal{D^b(A)}\rightarrow\mathcal{D^b(A)} $ be a functor between triangulated ...
2
votes
0answers
71 views

space of stability condition for an elliptic curve

Let $E$ be an elliptic curve. I want to understand why $\mathrm{Stab}(E)/\mathrm{Aut}(D^b(E))$ is a $\mathbb{C}^\times$-bundle over the moduli space $\mathbb{H}/\mathrm{SL}(2,\mathbb{Z})$ of elliptic ...
2
votes
0answers
117 views

Full exceptional collections in derived category of coherent sheaves on non-compact varieties

Let $X$ be a smooth algebraic variety over $\mathbb{C}$, and $D^b(X)$ its bounded derived category of coherent sheaves. Then a full exceptional collection will lead to significant simplifications in ...
2
votes
0answers
85 views

Do copairings provide dualities in derived categories?

Here is an elementary fact about vector spaces. Let $V,W$ be vector spaces over a field $\mathbb K$ and let $c : \mathbb K \to V \otimes W$ be an element of the tensor product. Then $c$ determines ...
2
votes
0answers
100 views

Is there any numerical obstruction for all perfect complexes on a scheme being strictly perfect?

Let $X$ be a scheme and $E^{\cdot}$ be a cochain complex of sheaves of $\mathcal{O}_X$-modules. We call $E^{\cdot}$ a strictly perfect complex if $E^{\cdot}$ is a bounded (in both direction) complex ...