We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive category. More precisely, for an extriangulated category, possible substructures are in bijection with Serre subcategories of an abelian category consisting of defects of conflations. As a byproduct, we prove that for a given skeletally small additive category, the poset of exact structures on it is isomorphic to the poset of Serre subcategories of some abelian category.
Let $\mathcal B$ be an extriangulated category with enough projectives and enough injectives. We define a proper $m$-term subcategory $\mathcal G$ on $\mathcal B$, which is an extriangulated subcategory. Then we give a correspondence between cotorsion pairs on $\mathcal G$, support $τ$-tilting subcategories on an abelian quotient of $\mathcal G$ when $m=2$. If such $\mathcal G$ is induced by a hereditary cotorsion pair, then we give a correspondence between cotorsion pairs on $\mathcal G$ and intermediate cotorsion pairs on $\mathcal B$ under certain assumptions. At last, we study an important…
Presilting and silting subcategories in extriangulated categories were introduced by Adachi and Tsukamoto recently. In this paper, we prove that the Gabriel-Zisman localization $\mathcal B/({\rm thick}\mathcal W)$ of an extriangulated category $\mathcal B$ with respect to a presilting subcategory $\mathcal W$ satisfying certain condition can be realized as a subfactor category of $\mathcal B$. This generalizes the result by Iyama-Yang for silting reduction on triangulated categories. Then we discuss the relation between silting subcategories and tilting subcategories in extriangulated categori…
We study the Grothendieck monoid (a monoid version of the Grothendieck group) of an extriangulated category, and give some results which are new even for abelian categories. First, we classify Serre subcategories and dense 2-out-of-3 subcategories using the Grothendieck monoid. Second, in good situations, we show that the Grothendieck monoid of the localization of an extriangulated category is isomorphic to the natural quotient monoid of the original Grothendieck monoid. This includes the cases of the Serre quotient of an abelian category and the Verdier quotient of a triangulated category. As…
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and full, in another word, the ideal quotient becomes abelian. Moreover, a new equivalent characterization of cluster-tilting subcategories is given by applying homological methods according to this functor. As an application, we show that in a connected 2-Calabi-Yau triangulated category B, a functorially finite, extension closed subcategory T of B is cluster til…
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated categories are examples of extriangulated categories. We give a bijective correspondence between some pairs of cotorsion pairs which we call Hovey twin cotorsion pairs, and admissible model structures. As a consequence, these model structures relate certain localizations with certain ideal quotients, via the homotopy category which can be given a triangulated st…
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. In this paper, we introduce and develop an analogous theory of Auslander-Buchweitz approximations for extriangulated categories. We establish the existence of precovers pand preenvelopesq and obtain characterizations of relative homological dimensions, which are based on certain subcategories under finiteness of resolutions. Finally, we give a description of cotorsion pairs on extriangulated categories under some conditions, and provide a characterizat…
Recently, Wang, Wei and Zhang define the recollement of extriangulated categories, which is a generalization of both recollement of abelian categories and recollement of triangulated categories. For a recollement $(\mathcal A ,\mathcal B,\mathcal C)$ of extriangulated categories, we show that $n$-tilting (resp. $n$-cotilting) subcategories in $\mathcal A$ and $\mathcal C$ can be glued to get $n$-tilting (resp. $n$-cotilting) subcategories in $\mathcal B$ under certain conditions.
The aim of the paper is to discuss the relation subgroups of the Grothendieck groups of extriangulated categories and certain other subgroups. It is shown that a locally finite extriangulated category $\C$ has Auslander-Reiten $\E-$triangles and the relations of the Grothendieck group $K_{0}(\C)$ are generated by the Auslander-Rieten $\E-$triangles. A partial converse result is given when restricting to the triangulated categories with a cluster tilting subcategory: in the triangulated category $\C$ with a cluster tilting subcategory, the relations of the Grothendieck group $K_0(\C)$ are gener…
It was shown recently that the heart of a twin cotorsion pair on an extriangulated category is semi-abelian. In this article, we consider a special kind of hearts of twin cotorsion pairs induced by $d$-cluster tilting subcategories in extriangulated categories. We give a necessary and sufficient condition for such hearts to be abelian. In particular, we also can see that such hearts are hereditary. As an application, this generalizes the work by Liu in an exact case, thereby providing new insights in a triangulated case.
In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies the Serre quotient of abelian categories and the Verdier quotient of triangulated categories. Indeed we give such a construction for a bit wider class of morphisms, so that it covers several other localizations appeared in the literature, such as Rump's localization of exact categories by biresolving subcategories, localizations of extriangulated categories…
For each positive integer $n$ we introduce the notion of $n$-exangulated categories as higher dimensional analogues of extriangulated categories defined by Nakaoka-Palu. We characterize which $n$-exangulated categories are $n$-exact in the sense of Jasso and which are $(n+2)$-angulated in the sense of Geiss-Keller-Oppermann. For extriangulated categories with enough projectives and injectives we introduce the notion of $n$-cluster tilting subcategories and show that under certain conditions such $n$-cluster tilting subcategories are $n$-exangulated.
A notion of $n$-cotorsion pairs in an extriangulated category with enough projectives and enough injectives is defined in this article. We show that there exists a one-to-one correspondence between $n$-cotorsion pairs and $(n+1)$-cluster tilting subcategories. As an application, this result generalizes the work by Huerta, Mendoza and Pérez in an abelian case. Finally, we give some examples illustrating our main result.
In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categor…
The Grothendieck monoid of an exact category is a monoid version of the Grothendieck group. We use it to classify Serre subcategories of an exact category and to reconstruct the topology of a noetherian scheme. We first construct bijections between (i) the set of Serre subcategories of an exact category, (ii) the set of faces of its Grothendieck monoid, and (iii) the monoid spectrum of its Grothendieck monoid. By using (ii), we classify Serre subcategories of exact categories related to a finite dimensional algebra and a smooth projective curve. In particular, we determine the Grothendieck mon…
In this paper, we introduce the atom spectrum of an abelian category as a topological space consisting of all the equivalence classes of monoform objects. In terms of the atom spectrum, we give a classification of Serre subcategories of an arbitrary noetherian abelian category. Moreover we show that the atom spectrum of a locally noetherian Grothendieck category is homeomorphic to its Ziegler spectrum.
Let $\mathcal{X}$ be a semibrick in an extriangulated category $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We give a one-to-one correspondence between simple semibricks and length wide subcategories in $\mathscr{C}$. This generalizes a bijection given by Ringel in module categories, which has been generalized by Enomoto to exact categories. Moreover, we also give a one-to-one correspondence between cotorsion pairs in $\mathcal{T}$ and certain subsets of $\mathcal{X}$. Applying to the simple minded systems of an triangulated category, we recover a …
In this work we introduce notions in Auslander-Buchweitz theory and cotorsion theory in extriangulated categories which extend the given ones for abelian categories. Although these notions have been already developed for extriangulated categories in remarkable works, in this paper, we tackle them in a relative sense by considering subcategories of objects. This approach not only covers the existing theory given on abelian, exact and triangulated categories, but it also shows how to get similar results with an appropriate treatment of local properties.
Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.
For a triangulated category T, if C is a cluster-tilting subcategory of T, then the quotient category T\C is an abelian category. Under certain conditions, the converse also holds. This is an very important result of cluster-tilting theory, due to Koenig-Zhu and Beligiannis. Now let B be a suitable extriangulated category, which is a simultaneous generalization of triangulated categories and exact categories. We introduce the notion of pre-cluster tilting subcategory C of B, which is a generalization of cluster tilting subcategory. We show that C is cluster tilting if and only if B/C is abelia…
Let $\mathcal B$ be an extriangulated category with enough projectives $\mathcal P$ and enough injectives $\mathcal I$, and let $\mathcal R$ be a contravariantly finite rigid subcategory of $\mathcal B$ which contains $\mathcal P$. We have an abelian quotient category $\mathcal H/\mathcal R\subseteq \mathcal B/\mathcal R$ which is equivalent ${\rm mod}(\mathcal R/\mathcal P)$. In this article, we find a one-to-one correspondence between support $τ$-tilting (resp. $τ$-rigid) subcategories of $\mathcal H/\mathcal R$ and maximal relative rigid (resp. relative rigid) subcategories of $\mathcal H$,…
Every Serre subcategory of an abelian category is assigned a unique type. The type of a Serre subcategory of a Grothendieck category is in the list: $$(0, 0), \ (0, -1), \ (1, -1), \ (0, -2), \ (1, -2), \ (2, -1), \ (+\infty, -\infty);$$ and for each $(m, -n)$ in this list, there exists a Serre subcategory such that its type is $(m, -n)$. This uses right (left) recollements of abelian categories, Tachikawa-Ohtake [TO] on strongly hereditary torsion pairs, and Geigle-Lenzing [GL] on localizing subcategories. If all the functors in a recollement of abelian categories are exact, then the recollem…
Nakaoka-Ogawa-Sakai considered the localization of an extriangulated category. This construction unified the Serre quotient of abelian categories and the Verdier quotient of triangulated categories. Recently, Herschend-Liu-Nakaoka defined $n$-exangulated categories as a higher dimensional analogue of extriangulated categories. Let $\mathcal C$ be an $n$-exangulated category and $\mathcal{F}$ be a multiplicative system satisfying mild assumption. In this article, we give a necessary and sufficient condition for the localization of $\mathcal C$ be an $n$-exangulated category. This way gives a ne…
Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Department of Mathematical Sciences, University of the Ryukyus（冲绳大学数学科学系）；Faculty of Engineering Science, Kansai University（关西大学工程科学部）
Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an ${\rm Ext}$-finite, Krull-Schmidt and $k$-linear $n$-exangulated category with $k$ a commutative artinian ring. In this note, we define two additive subcategories $\mathscr{C}_r$ and $\mathscr{C}_l$ of $\mathscr{C}$ in terms of the representable functors from the stable category of $\mathscr{C}$ to the category of finitely generated $k$-modules. Moreover, we show that there exists an equivalence between the stable categories of these two full subcategories. Finally, we give some equivalent characterizations on the existence of Auslander-Reiten …
We describe a general framework for prime, completely prime, semiprime, and primitive ideals of an abelian 2-category. This provides a noncommutative version of Balmer's prime spectrum of a tensor triangulated category. These notions are based on containment conditions in terms of thick subcategories of an abelian category and thick ideals of an abelian 2-category. We prove categorical analogs of the main properties of noncommutative prime spectra. Similar notions, starting with Serre subcategories of an abelian category and Serre ideals of an abelian 2-category, are developed. They are linked…
We define the Grothendieck group of an $n$-exangulated category. For $n$ odd, we show that this group shares many properties with the Grothendieck group of an exact or a triangulated category. In particular, we classify dense complete subcategories of an $n$-exangulated category with an $n$-(co)generator in terms of subgroups of the Grothendieck group. This unifies and extends results of Thomason, Bergh--Thaule, Matsui and Zhu--Zhuang for triangulated, $(n+2)$-angulated, exact and extriangulated categories, respectively. We also introduce the notion of an $n$-exangulated subcategory and prove …
We give a classification of nullity classes (or torsion classes) in an abelian category by forming a spectrum of equivalence classes of premonoform objects. This is parallel to Kanda's classification of Serre subcategories.
We investigate certain categorical aspects of Voevodsky's triangulated categories of motives. For this, various recollements for Grothendieck categories of enriched functors and their derived categories are established. In order to extend these recollements further with respect to Serre's localization, the concept of the (strict) Voevodsky property for Serre localizing subcategories is introduced. This concept is inspired by the celebrated Voevodsky theorem on homotopy invariant presheaves with transfers. As an application, it is shown that Voevodsky's triangulated categories of motives fit in…
