This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module $E$ over a DG category we define four deformation functors $\Def ^{\h}(E)$, $\coDef ^{\h}(E)$, $\Def (E)$, $\coDef (E)$. The first two functors describe the deformations (and co-deformations) of $E$ in the homotopy category, and the last two - in the derived category. We study their properties and relations. These functors are defined on the category of artinian (not necessarily commutative) DG algebras.
This is the third paper in a series. In part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and derived categories of abelian categories. Then we consider examples from (noncommutative) algebraic geometry. In particular, we study noncommutative Grassmanians that are true noncommutative moduli spaces of structure sheaves of projective subspaces in projective spaces.
This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG algebras and prove that these extended functors are pro-representable in a strong sense.
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.
This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper cartesian model category, we construct a tractable left proper cartesian model structure on the category of $M$-precategories. The procedure can then be iterated, leading to model categories of $(\infty, n)$-categories.
We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. The existence of such a bijection was left as an open problem by Hovey, Palmieri and Strickland in their axiomatic study of stable homotopy categories and also by Neeman in the context of well-generated tr…
We provide an explicit formula for localizing $A^1$-homotopy invariants of topological Fukaya categories of marked surfaces. Following a proposal of Kontsevich, this differential $\mathbb Z$-graded category is defined as global sections of a constructible cosheaf of dg categories on any spine of the surface. Our theorem utilizes this sheaf-theoretic description to reduce the calculation of invariants to the local case when the surface is a boundary-marked disk. At the heart of the proof lies a theory of localization for topological Fukaya categories which is a combinatorial analog of Thomason-…
In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended étale homotopy groups (i.e., the non-profinitely complete étale homotopy groups) of a coherent scheme from its profinite Galois category.
We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved A-infinity algebras. Furthermore, the theory is sufficiently general to treat both Fukaya categories and categories of matrix factorizations, as well as to provide a context in which unitification and categorification of pre-categories can be carried out. Our theory is built around two functors: the adjoint algebra functor U_e and the functor Q_*. The bulk of the pa…
We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of self-injective algebras admitting a connected grading. A remark is also made concerning the vanishing of all such invariants for cluster categories of type $A_{2n}$ quivers.
We prove that algebraic G-theory in is representable in unstable and stable motivic homotopy categories; in the stable category we identify it with the Borel-Moore theory associated to algebraic K-theory, and show that such an identification is compatible with the functorialities defined by Quillen and Thomason.
We study symmetric powers in the homotopy categories of abstract closed symmetric monoidal model categories, in both unstable and stable settings. As an outcome, we prove that symmetric powers preserve the Nisnevich and etale homotopy type in the unstable and stable motivic homotopy theories of schemes over a base. More precisely, if f is a weak equivalence of motivic spaces, or a weak equivalence between positively cofibrant motivic spectra, with respect to the Nisnevich or etale topology on schemes, then all symmetric powers Sym^n(f) are weak equivalences too. This gives left derived symmetr…
The motivic homotopy categories can be defined with respect to different topologies and different underlying categories of schemes. For a number of reasons (mainly because of the Gluing Theorem) the motivic homotopy category built out of smooth schemes with respect to the Nisnevich topology plays a distinguished role but in some cases it is very desirable to be able to work with all schemes instead of the smooth ones. In this paper we prove that, under the resolution of singularities assumption, the unstable motivic homotopy category of all schemes over a field with respect to the cdh-topology…
The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy invariance of K'-theory for noetherian schemes.
We investigate the deformations of pairs $(X,L)$, where $L$ is a line bundle on a smooth projective variety $X$, defined over an algebraically closed field $\mathbb{K}$ of characteristic 0. In particular, we prove that the DG-Lie algebra controlling the deformations of the pair $(X,L)$ is homotopy abelian whenever $X$ has trivial canonical bundle, and so these deformations are unobstructed.
In this paper we study the homotopy limits of cosimplicial diagrams of dg-categories. We first give an explicit construction of the totalization of such a diagram and then show that the totalization agrees with the homotopy limit in the following two cases: (1) the complexes of sheaves of $\mathcal O$-modules on the Čech nerve of an open cover of a ringed space $(X, \mathcal O)$; (2) the complexes of sheaves on the simplicial nerve of a discrete group $G$ acting on a space. The explicit models we obtain in this way are twisted complexes as well as their $D$-module and $G$-equivariant versions.…
In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is useful once one works with simplicial categories.
Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients, etale K-theory and periodic cyclic homology), we construct a distinguished triangle expressing E(A/F) as the cone of the endomorphism E(F)-Id of E(A). In the particular case where F is the identity dg functor, this triangle splits and gives rise to the fundamental theorem. As a first application, we compute the A1-homotopy invariants of cluster (dg) categories, …
This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded complexes) of the homotopy category K(A) of an additive category A are idempotent complete, which confirms that (K(A)^{w <= 0}, K(A)^{w >= 0}) is a weight structure on K(A). We discuss weight complex functors and provide full details of an argument sketched by M. Bondarko, which shows that if w is a bounded weight structure on a triangulated category T that ha…
The main purpose of this work is the study of the homotopy theory of dg-categories up to quasi-equivalences. Our main result provides a natural description of the mapping spaces between two dg-categories $C$ and $D$ in terms of the nerve of a certain category of $(C,D)$-bimodules. We also prove that the homotopy category $Ho(dg-Cat)$ is cartesian closed (i.e. possesses internal Hom's relative to the tensor product). We use these two results in order to prove a derived version of Morita theory, describing the morphisms between dg-categories of modules over two dg-categories $C$ and $D$ as the d…
$G_\infty$-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a $B_\infty$-algebra by an associative algebra. Actions of $B_\infty$-algebras on associative and $B_\infty$-algebras are analyzed, extensions of $B_\infty$-algebras by associative and $B_\infty$-algebras, that they act upon, are constructed. The resulting $G_\infty$-algebra on the deformation complex of a morphism is shown to be quasi-isomorphic to the $G_\infty$-algebra on deformation complex of the corresponding diagram algebra.
Let $k$ be a field of characteristic zero, $\CO$ be a dg operad over $k$ and let $A$ be an $\CO$-algebra. In this note we define formal deformations of $A$, construct the deformation functor $$\Def_A:\dgar(k)\to\simpl$$ from the category of artinian local dg algebras to the category of simplicial sets. In the case $\CO$ and $A$ are non-positively graded, we prove that $\Def_A$ is governed by the tangent Lie algebra $T_A$ (defined as derivations of a cofibrant resolution of $A$). A very easy example shows that the result does not hold without this condition.
We consider the effect of $t$-structures on the Tannaka duality theory for dg categories developed in our previous paper. We associate non-negative dg coalgebras $C$ to dg functors on the hearts of $t$-structures, and relate dg $C$-comodules to the original dg category. We give several applications for pro-algebraic homotopy types associated to various cohomology theories, and for motivic Galois groups.
We define notions of direct and inverse limits in an $n$-category. We prove that the $n+1$-category $nCAT'$ of fibrant $n$-categories admits direct and inverse limits. At the end we speculate (without proofs) on some applications of the notion of limit, including homotopy fiber product and homotopy coproduct for $n$-categories, the notion of $n$-stack, representable functors, and finally on a somewhat different note, a notion of relative Malcev completion of the higher homotopy at a representation of the fundamental group.
