Related papers: Exact dg categories I : Foundations

Given an additive category $\mathcal{C}$ and an integer $n\geqslant 2$. We form a new additive category $\mathcal{C}[\epsilon]^n$ consisting of objects $X$ in $\mathcal{C}$ equipped with an endomorphism $\epsilon_X$ satisfying…

As shown by Happel, from any Frobenius exact category, we can construct a triangulated category as a stable category. On the other hand, it was shown by Iyama and Yoshino that if a pair of subcategories $\mathcal{D}\subseteq\mathcal{Z}$ in…

In this note, I define a notion of a compactly supported object in a triangulated category. I prove a number of propositions relating this to traditional notions of support and give an application to the theory of derived Morita…

We generalize the definition of an exact sequence of tensor categories due to Brugui\`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three…

The main result of this paper is that there is an additive equivalence between $\overline{\mathcal{C}}_n$, the Paquette-Yildirim completion of the discrete cluster categories of Dynkin type $A_{\infty}$, and the perfect derived category of…

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

We classify all triangulated orbit categories of path-algebras of Dynkin diagrams that are triangle equivalent to a stable module category of a representation-finite self-injective standard algebra. For each triangulated orbit category T we…

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…

In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we…

We generalize the notions of $d$-cluster tilting pair and $d$-Auslander exact dg category to $d$-precluster tilting triple and $d$-minimal Auslander--Gorenstein exact dg category. We give a bijection between equivalence classes of…

In this article, we develop a new model for the category of dg-categories. Following Rezk's example in the case of classic Segal spaces, we define dg-Segal spaces: functors between free dg-categories of finite type and simplicial spaces to…

Let $\mathscr{F}$ be an $(n+2)$-angulated Krull-Schmidt category and $\mathscr{A} \subset \mathscr{F}$ an $n$-extension closed, additive and full subcategory with $\operatorname{Hom}_{\mathscr{F}}(\Sigma_n \mathscr{A}, \mathscr{A}) = 0$.…

We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.

Let $\mathcal{A}$ be an additive category and let $T\colon \mathcal{A}\rightarrow \mathcal{A}$ be an additive functor equipped with a natural transformation $\omega\colon \mathrm{Id}_{\mathcal{A}}\rightarrow T$. We prove that the homotopy…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

We study the homotopy category of unbounded complexes with bounded homologies and its quotient category by the homotopy category of bounded complexes. We show the existence of a recollement of the above quotient category and it has the…

We study the classification of $\mathbb{Z}$-DGAs with polynomial homology $\mathbb{F}_p[x]$ with $\lvert x \rvert >0$, motivated by computations in algebraic $K$-theory. This classification problem was left open in work of Dwyer, Greenlees,…

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated. Let H be…