We study when the stable category of an abelian category modulo a full additive subcategory is balanced and, in case the subcategory is functorially finite, we study a weak version of balance. Precise necessary and sufficient conditions are given in case the subcategory is either a Serre class or a class consisting of projective objects. The results in this second case apply very neatly to (generalizations of) hereditary abelian categories.
Beligiannis and Marmaridis [\emph{Comm. in Algebra,} 22(12)(1994), 5021-5036] constructed the left and right triangulated structures on the stable categories of additive categories induced from some homological finite subcategories. We extend their results to slightly more general settings. As an application of our results we give some new examples of stable categories which have left or right triangulated structures from abelian model categories. An interesting outcome is that we can describe the pretriangulated structures of the homotopy categories of abelian model categories via the ones of…
A notion of balanced pairs in an extriangulated category with a negative first extension is defined in this article. We prove that there exists a bijective correspondence between balanced pairs and proper classes $ξ$ with enough $ξ$-projectives and enough $ξ$-injectives. It can be regarded as a simultaneous generalization of Fu-Hu-Zhang-Zhu and Wang-Li-Huang. Besides, we show that if $(\mathcal A ,\mathcal B,\mathcal C)$ is a recollement of extriangulated categories, then balanced pairs in $\mathcal B$ can induce balanced pairs in $\mathcal A$ and $\mathcal C$ under natural assumptions. As a a…
The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal linear category C is the linear category corepresenting C-balanced right-exact bilinear functors out of the product category M x N. We show that the balanced tensor product can be realized as a category of bimodule objects in C, provided the monoidal linear category is finite and rigid.
The Verdier quotient $\mathcal{T}/\mathcal{S}$ of a triangulated category $\mathcal{T}$ by a triangulated subcategory $\mathcal{S}$ is defined by a universal property with respect to triangulated functors out of $\mathcal{T}$. However, $\mathcal{T}/\mathcal{S}$ is in fact a localization of $\mathcal{T}$, i.e., it is obtained from $\mathcal{T}$ by formally inverting a class of morphisms. We establish the analogous result for small stable quasi-categories. As an application, we explore the compatibility of Verdier quotients with symmetric monoidal structures. In particular, we record a few usefu…
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $ξ$ of $\mathbb{E}$-triangles. In this paper, we study the balance of complete cohomology in $(\mathcal{C},\mathbb{E},\mathfrak{s})$, which is motivated by a result of Nucinkis that complete cohomology of modules is not balanced in the way the absolute cohomology Ext is balanced. As an application, we give some criteria for identifying a triangulated catgory to be Gorenstein and an artin algebra to be $F$-Gorenstein.
We describe a comparison between pretriangulated differential graded categories and certain stable infinity categories. Specifically, we use a model category structure on differential graded categories over k (a field of characteristic 0) where the weak equivalences are the Morita equivalences, and where the fibrant objects are in particular pretriangulated differential graded categories. We show the underlying infinity category of this model category is equivalent to the infinity category of k-linear stable infinity categories.
We develop a stable analogue to the theory of cosimplicial frames in model cagegories; this is used to enrich all homotopy categories of stable model categories over the usual stable homotopy category and to give a different description of the smash product of spectra which is compared with the known descriptions; in particular, the original smash product of Boardman is identified with the newer smash products coming from a symmetric monoidal model of the stable homotopy category.
We show how matrix problems (bimodule categories) can be used in studying triangulated categories. Then we apply the general technique to the classification of stable homotopy types of polyhedra, find out the "representation types" of such problems and give a description of stable homotopy types in finite and tame cases.
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a variety of constructions. We also explain how to construct the derived category of an abelian category (with enough projective objects) as the homotopy category of a suitable stable infinity category; moreover, we characterize this stable infinity category by a universal mapping property.
Suppose given a Frobenius category E, i.e. an exact category with a big enough subcategory B of bijectives. Let_E_ := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case_E_ is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial condition of being ind-flat. Then, given a diagram of shape D with values in_E_ (i.e. commutative up to homotopy), there exists a diagram consisting of pure monomorphisms with values in E (i.e. commutative) that…
We aim to study Morita theory for tensor triangulated categories. For two finite tensor categories having no projective simple objects, we prove that their stable equivalence induced by an exact $\Bbbk$-linear monoidal functor can be lifted to a tensor equivalence under some certain conditions.
We propose a general method to construct new triangulated categories, relative stable categories, as additive quotients of a given one. This construction enhances results of Beligiannis, particularly in the tensor-triangular setting. We prove a birationality result showing that the original category and its relative stable quotient are equivalent on some open piece of their spectrum.
We define model category structures on the category of chain complexes over a Grothendieck abelian category depending on the choice of a generating family, and we study their behaviour with respect to tensor products and stabilization. This gives convenient tools to construct and understand triangulated categories of motives and we consider here the case of mixed motives over a regular base scheme.
We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders in a pretopos. Some examples are provided in the categories of topological spaces and of (small) categories.
Tate objects have been studied by many authors. They allow us to deal with infinite dimensional spaces by identifying some more structure. In this article, we set up the theory of Tate objects in stable $(\infty,1)$-categories, while the literature only treats with exact categories. We will prove the main properties expected from Tate objects. This new setting includes several useful examples: Tate objects in the category of spectra for instance, or in the derived category of a derived algebraic object -- which can be thought as structured infinite dimensional vector bundle in derived setting.
A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Grothendieck fibration to finite sets and injections. We begin by carefully reviewing the theory of fibrations of categories with motivating examples relevant to algebra and representation theory. We classify which functors between FI type categories are fibrations, and thus obtain sufficient conditions for an FI type category to be the result of a Grothendieck construction.
Sieg and Wegner showed that the stable exact sequences define a maximal exact structure (in the sense of Quillen) in any pre-abelian category. We generalize this result for weakly idempotent complete additive categories.
For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quillen equivalence between the model categories in question. We also study when such a Quillen equivalence transfers from $\mathcal{A}$ to categories naturally associated to $\mathcal{A}$, such as $\mathr…
We exploit the equivalence between $t$-structures and normal torsion theories on a stable $\infty$-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded $t$-structures in terms of their hearts, their associated cohomology functors, semiorthogonal decompositions, and the theory of tiltings, as well as the more recent notion of Bridgeland's slicings, are all particular instances of a single construction, namely, the tower of a morphism associated with a $J$-slicing of a stable $\infty$-category $\mathcal C$, where $J$ is a tot…
We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and Strickland, such as the homotopy category of spectra or the derived category of a commutative ring. We prove that cellularization functors preserve modules over connective rings but they do not preserve rings in general (even if the ring is connective or the cellularization functor is triangulated). As an application of these results, we describe the cellularizatio…
We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an invariant of stable $\infty$-categories and construct a morphism of spectra $\mathrm{THH}(\mathbf C)\to \mathrm{End}(\mathbf 1_\mathbf C)$ for $\mathbf C$ a stably symmetric monoidal rigid $\infty$-category. We also explain how to get a more general statement involving traces of finite (homotopy) colimits.
We prove that every stable, combinatorial model category has a natural enrichment by symmetric spectra (or more precisely, a natural equivalence class of enrichments). This in some sense generalizes the simplicial enrichments of model categories provided by the Dwyer-Kan hammock localization. As one particular application, we are able to associate to every object of a stable, combinatorial model category a "homotopy endomorphism ring spectrum". The homotopy types of these ring spectra are preserved by Quillen equivalences, and so are an invariant for stable model categories.
We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin-Eklof-Trlifaj are stable and tame. On the other hand, we give a simpler proof (in a special …
We construct a Grothendieck-Witt space for any stable infinity category with duality. If we apply our construction to perfect complexes over a commutative ring in which 2 is invertible we recover the classical Grothendieck-Witt space. Our Grothendieck-Witt space is a grouplike E-infinity space which is part of a genuine C_2-spectrum, the connective real K-theory spectrum.
We introduce the notion of a bounded weight structure on a stable $\infty$-category and use this to prove the natural generalization of Waldhausen's sphere theorem: We show that the algebraic $K$-theory of a stable $\infty$-category with a bounded non-degenerate weight structure is equivalent to the algebraic $K$-theory of the heart of the weight structure.
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 extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a homotopy commutative algebra in $\mathscr{M}$ we show that $E$-nilpotent completion, $E$-localization, and a suitable formal completion agree on bounded below objects when $E$ satisfies some reasonable conditions.
For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick subcategories of finitely generated modules over local complete intersections and produce generators for the category of coherent sheaves on a separated noetherian scheme with an ample family.
Let $\Ascr,\Bscr$ be exact categories with $\Ascr$ karoubian and $M$ be an exact functor. Under suitable adjonction hypotheses for $M$, we are able to show that the direct factors of the objects of $\Ascr$ of the form $MY$ with $Y \in \Bscr$ make up a Frobenius category which allow us to define an $M$-stable category for $\Ascr$ only by quotienting. In addition, we propose a construction of an $M$-stable category for $\Ascr,\Bscr$ triangulated categories and $M$ a triangulated functor. We illustrate this notion with a theorem of Keller and Vossieck which links the two notions of $M$-stable cat…
We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We provide a construction of pairs of small categories--known as conjugate pairs--whose associated categories of diagrams are Quillen equivalent in the semi-stable setting. We frame our development in the context of Morita theory, following Slominska's work on similar questions for categories of functors enriched over and taking values in R-modules.
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invariants of finite-dimensional selfinjective algebras and full abelian subcategories of their stable module categories.
For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP-infinity. Along the way, we …
We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived categories. The adjointness relations between functors in a recollement $\mathbf{D}^0\leftrightarrow \mathbf{D} \leftrightarrow \mathbf{D}^1$ induce a "recollée" $t$-structure $\mathfrak{t}_0\uplus\mathfrak{t}1$ on $\mathbf{D}$ , given $t$-structures $\mathfrak{t}_0,\mathfrak{t}_1$ on $\mathbf{D}^0, \mathbf{D}^1$. Such a classical result, well-known in the setti…
In this paper, we show how certain ``stability phenomena'' in unpointed model categories provide the sets of homotopy classes with the structure of abelian heaps, i.e. abelian groups without a choice of a zero. In contrast with the classical situation of stable (pointed) model categories, these sets can be empty.
The present work re-enacts the classical theory of t-structures reducing the classical definition given in *Faisceaux Pervers* to a rather primitive categorical gadget: suitable reflective factorization systems. This translation is only possible due to the virtues of the infinity-categorical setting. Once the basic theory of t-structure has been developed, a natural direction of research is to develop a comprehensive treatment of t-structure in the "torsio-centric" perspective: we apply the technology of factorization systems to the theory of Postnikov towers, to the proof of the abelianity of…
This is mostly an overview. Given finitely presentable abelian categories $A$ and $B$, we sketch the construction of an abelian category of continuous functors from $A$ to $B$ that has nice $2$-categorical behaviour and gives an explicit model for the stable category of stable functors between the derived categories of $A$ and $B$. The construction is absolute, thus allows one to recover not only Hochschild but also Mac Lane Cohomology.
We exhibit examples of triangulated categories which are neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category. Even more drastically, our examples do not admit any non-trivial exact functors to or from these algebraic respectively topological triangulated categories.
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$. This spectrum has stable homotopy groups concentrated in levels 0, 1, and 2. In this paper, we describe part of the Postnikov data of $K\mathcal{D}$ in terms of categorical structure. We use this to show that there is no strict skeletal Picard 2-category whose $K$-theory realizes the 2-truncation of the sphere spectrum. As part of the proof, we construct a ca…
The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of dualizable ob jects in a balanced monoidal category and the trace of nuclear operators on a locally convex topological vector space with the approximation property.
We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of [MAa]. We prove, too, that under the hypotheses of [LRV], a stable independence notion immediately yields higher-dimensional independence as in [SV].
The classical Dold-Kan correspondence is known to admit a categorification in the form of an equivalence between the $\infty$-categories of $2$-simplicial stable $\infty$-categories and connective chain complexes of stable $\infty$-categories. In this work, we extend these concepts to give a categorification of the classical Dwyer-Kan correspondence by showing that the $\infty$-category of $2$-duplicial stable $\infty$-categories is equivalent to the $\infty$-category of conective chain complexes with right adjoints.
Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the $\infty$-category of module spectra over the Tate construction of the torus. The relationship thus obtained arises from a Galois extension in the sense of Rognes, with Galois group given by the torus. As one application, we give a homotopy-theoretic proof of Dade's classification of endotrivial modules for abelian $p$-groups. As another application, we give a sl…
We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an allegory. In particular, when C carries a pullback-stable, but not necessarily proper, (E, M)-factorization system, we establish a quotient category Span_E(C) that is isomorphic to the category Rel_M(C) of M-relations in C, and show that it is a (unitary and tabular) allegory precisely when M is a class of monomorphisms in C. Without this restriction, one can sti…
Let $ A $ be a finite connected graded cocommutative Hopf algebra over a field $ k $. There is an endofunctor $ \mathsf{tw} $ on the stable module category $ \mathrm{StMod}_A $ of $ A $ which twists the grading by $ 1 $. We show the categorical entropy of $ \mathsf{tw} $ is zero. We provide a lower bound for the categorical polynomial entropy of $ \mathsf{tw} $ in terms of the Krull dimension of the cohomology of $ A $, and an upper bound in terms of the existence of finite resolutions of $ A $-modules of a particular form. We employ these tools to compute the categorical polynomial entropy of…
Owing to the difference in $K$-theory, an example by Dugger and Shipley implies that the equivalence of stable categories of Gorenstein projective modules should not be a Quillen equivalence. We give a sufficient and necessary condition for the Frobenius pair of faithful functors between two abelian categories to be a Quillen equivalence, which is also equivalent to that the Frobenius functors induce mutually inverse equivalences between stable categories of Gorenstein projective objects. We show that the category of Gorenstein projective objects is a Waldhausen category, then Gorenstein $K$-g…
