Related papers: Derived manifolds and Kuranishi models

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of…

We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…

These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this…

We develop a general deformation theory of objects in homotopy and derived categories of DG categories. The main result is a general pro-representability theorem for the corresponding deformation functor.

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

Let C be small category and A an arbitrary category. Consider the category C(A) whose objects are functors from C to A, and whose morphisms are natural transformations. Given a functor F : A --> B one obtains an induced functor F_C : C(A)…

Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion map with respect to integral homology is the unit of a derived adjunction. We prove that this derived adjunction, comparing spaces…

Orlov's famous representability theorem asserts that any fully faithful functor between the derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. This result has been extended by Lunts and Orlov…

Consider a complete abelian category which has an injective cogenerator. If its derived category is left--complete we show that the dual of this derived category satisfies Brown representability. In particular this is true for the derived…

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

We examine the localizing subcategories of the derived category of quasi-coherent sheaves on the projective line over a field. We provide a complete classification of all such subcategories which arise as the kernel of a cohomological…

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…