Motives of derived equivalent K3 surfaces

We observe that derived equivalent K3 surfaces have isomorphic Chow motives. The result holds more generally for arbitrary surfaces, as pointed out by Charles Vial.     

Equivalences of derived categories and K3 surfaces

We consider derived categories of coherent sheaves on smooth projective variaties. We prove that any equivalence between them can be represented by an object on the product. Using this, we give a necessary and sufficient condition for equivalence of derived categories of twoK3 surfaces. Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory. Vol. 41, Algebraic Geometry-7, 1997.     

Gorenstein derived categories

Gorenstein derived categories are defined, and the relation with the usual derived categories is given. The bounded Gorenstein derived categories of Gorenstein rings and of finite-dimensional algebras are explicitly described via the homotopy categories of Gorenstein-projective modules, and some applications are obtained. Gorenstein derived equivalences between CM-finite Gorenstein algebras are discussed.     

Folding derived categories with Frobenius functors

Following the work [B. Deng, J. Du, Frobenius morphisms and representations of algebras, Trans. Amer. Math. Soc. 358 (2006) 3591-3622], we show that a Frobenius morphism F on an algebra A induces naturally a functor F on the (bounded) derived category D^b(A) of , and we further prove that the derived category D^b(A^F) of for the F-fixed point algebra A^F is naturally embedded as the triangulated subcategory D^b(A)^F of F-stable objects in D^b(A). When applying the theory to an algebra with finite global dimension, we discover a folding relation between the Auslander-Reiten triangles in D^b(A^F) and those in D^b(A). Thus, the AR-quiver of D^b(A^F) can be obtained by folding the AR-quiver of D^b(A). Finally, we further extend this relation to the root categories ?(A^F) of A^F and ?(A) of A, and show that, when A is hereditary, this folding relation over the indecomposable objects in ?(A^F) and ?(A) results in the same relation on the associated root systems as induced from the graph folding relation.     

Stratifying derived module categories

The concept of recollement is used to obtain a stratification of the derived module category of a ring which may be regarded as an analogue of a composition series for groups or modules. This analogy raises the problem whether a ‘derived’ Jordan Hölder theorem holds true; that is, are such stratifications unique up to ordering and equivalence? This is indeed the case for several classes of rings, including semi-simple rings, commutative Noetherian rings, group algebras of finite groups, and finite dimensional algebras which are piecewise hereditary.     

Singularities in derived categories

Let A be a finite dimensional algebra over an algebraically closed field k and let M and N be two complexes in the bounded derived category D^b(A) of finitely generated A-modules. Together with Alexander Zimmermann we have defined a notion of degeneration for derived categories. We say that M degenerates to N if there is a complex Z and an exact triangle N→M⊕Z→Z→N[1]. In this paper we define and study the type of singularity at every degeneration in the bounded derived categrory.     

Deformations and derived categories

We generalize the deformation theory of representations of profinite groups developed by Mazur and Schlessinger to complexes of modules for such groups. As an example, we determine the universal deformation ring of the compact étale hypercohomology of μ_p on certain affine CM elliptic curves studied by Boston and Ullom. To cite this article: F.M. Bleher, T. Chinburg, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 97–100     

Topological Fukaya categories of surfaces

We construct the topological Fukaya category of a surface with genus greater than one, making this model intrinsic to the topology of the surface. Instead of using the area form of the surface, we use an admissibility condition borrowed from Heegaard-Floer theory which ensures invariance under isotopy. In this paper we show finiteness of the moduli space using purely topological means and compute the Grothendieck group of the topological Fukaya category. We also show the faithfulness of MCG-action on the topological Fukaya category in this setup.     

Picard groups of derived categories

We investigate the group of isomorphism classes of invertible objects in the derived category of -modules for a commutative unital ringed Grothendieck topos with enough points. When the ring has connected prime ideal spectrum for all points p of we show that is naturally isomorphic to the Cartesian product of the Picard group of -modules and the additive group of continuous functions from the space of isomorphism classes of points of to the integers . Also, for a commutative unital ring R, the group is isomorphic to the Cartesian product of Pic(R) and the additive group of continuous functions from spec R to the integers .     

On equivalence of derived categories

Let A be an Abelian category and B be a thick subcategory of A. Let D ^b(B) denote the derived category of cohomologically bounded chain complexes of objects in A and D _B ^b (A) denote the derived category of cohomologically bounded chain complexes of objects in A with cohomology in B. We give two if and only if conditions for equivalence of D(B) and D _B ^b (A), and we give an example where D ^b (B) and D _B ^b (A) are not equivalent.     

Classification of discrete derived categories

The main aim of the paper is to classify the discrete derived categories of bounded complexes of modules over finite dimensional algebras.     

Kaplansky classes and derived categories

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies the method used by the author in (Trans Am Math Soc 356(8) 3369–3390, 2004) and (Trans Am Math Soc 358(7), 2855–2874, 2006) to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves over a ringed space. Indeed, much of the paper is dedicated to showing that in any Grothendieck category , any nice enough class of objects induces a model structure on the category Ch() of chain complexes. The main technical requirement on is the existence of a regular cardinal κ such that every object satisfies the following property: Each κ-generated subobject of F is contained in another κ-generated subobject S for which . Such a class is called a Kaplansky class. Kaplansky classes first appeared in Enochs and López-Ramos (Rend Sem Mat Univ Padova 107, 67–79, 2002) in the context of modules over a ring R. We study in detail the connection between Kaplansky classes and model categories. We also find simple conditions to put on which will guarantee that our model structure is monoidal. We will see that in several categories the class of flat objects form such Kaplansky classes, and hence induce monoidal model structures on the associated chain complex categories. We will also see that in any Grothendieck category , the class of all objects is a Kaplansky class which induces the usual (non-monoidal) injective model structure on Ch().     

Negative K-theory of derived categories

We define negative K-groups for exact categories and for ``derived categories' in the framework of Frobenius pairs, generalizing definitions of Bass, Karoubi, Carter, Pedersen-Weibel and Thomason. We prove localization and vanishing theorems for these groups. Dévissage (for noetherian abelian categories), additivity, and resolution hold. We show that the first negative K-group of an abelian category vanishes, and that, in general, negative K-groups of a noetherian abelian category vanish. Our methods yield an explicit non-connective delooping of the K-theory of exact categories and chain complexes, generalizing constructions of Wagoner and Pedersen-Weibel. Extending a theorem of Auslander and Sherman, we discuss the K-theory homotopy fiber of ε^⊕→ ε and its implications for negative K-groups. In the appendix, we replace Waldhausen's cylinder functor by a slightly weaker form of non-functorial factorization which is still sufficient to prove his approximation and fibration theorems.     

On categories of algebras equivalent to a quasivariety

In a recent paper, B. Banaschewski proved that anySP-class of algebras which is category equivalent to a variety (over a possibly different finitary similarity type) is itself a variety. Here we prove the analogous statement obtained by replacing “variety” with “quasivariety”. We also present examples which detail some of the difficulties arising when one tries to strengthen the theorem in various ways.     

Bounded derived categories and repetitive algebras

By a theorem due to the first author, the bounded derived category of a finite dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence if the algebra is of finite global dimension. The purpose of this paper is to investigate the relationship between the derived category and the stable category over the repetitive algebra from various points of view for algebras of infinite global dimension. The most satisfactory results are obtained for Gorenstein algebras, especially for selfinjective algebras.