ﻻ يوجد ملخص باللغة العربية
Derived categories were invented by Grothendieck and Verdier around 1960, not very long after the old homological algebra (of derived functors between abelian categories) was established. This new homological algebra, of derived categories and derived functors between them, provides a significantly richer and more flexible machinery than the old homological algebra. For instance, the important concepts of dualizing complex and tilting complex do not exist in the old homological algebra. This paper is an edited version of the notes for a two-lecture minicourse given at MSRI in January 2013. Sections 1-5 are about the general theory of derived categories, and the material is taken from my manuscript A Course on Derived Categories (available online). Sections 6-9 are on more specialized topics, leaning towards noncommutative algebraic geometry.
In nature, one observes that a K-theory of an object is defined in two steps. First a structured category is associated to the object. Second, a K-theory machine is applied to the latter category to produce an infinite loop space. We develop a genera
We apply the Auslander-Buchweitz approximation theory to show that the Iyama and Yoshinos subfactor triangulated category can be realized as a triangulated quotient. Applications of this realization go in three directions. Firstly, we recover both a
We show that an A-infinity algebra structure can be transferred to a projective resolution of the complex underlying any A-infinity algebra. Under certain connectedness assumptions, this transferred structure is unique up to homotopy. In contrast to
Let $mathcal{H}$ be a hereditary abelian category over a field $k$ with finite dimensional $operatorname{Hom}$ and $operatorname{Ext}$ spaces. It is proved that the bounded derived category $mathcal{D}^b(mathcal{H})$ has a silting object iff $mathcal
We define an obstruction to the formality of a differential graded algebra over a graded operad defined over a commutative ground ring. This obstruction lives in the derived operadic cohomology of the algebra. Moreover, it determines all operadic Mas