arXiv subjects

Kiriko Kato

Publications and source records attributed to Kiriko Kato.

8 recordsLinked to original sources

arXiv2026

Supports of intersections of thick subcategories and proxy smallness

Let R be a commutative noetherian ring. Let D^b(R) be the bounded derived category of finitely generated R-modules. Let X and Y be thick subcategories of D^b(R). In this paper, we consider the question asking when the equality Supp(X\cap Y)=Supp X\cap Supp Y holds, and give several answers. As applications, we obtain a characterization of the proxy small subcategories, and classifications of certain thick subcategories.

math.AC↗

arXiv2017

Derived categories of $N$-complexes

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 $\mathsf{K}_N(\mathcal{B})$ and $\mathsf{D}_N(\mathcal{A})$ have natural structures of triangulated categories. Then we establish a theory of projective (resp., injective) resolutions and derived functors. Finally, under some conditions of an abelian category $\mathcal{A}$, we show that $\mathsf{D}_{N}(\mathcal{A})$ is triangle equivalent to the ordinary derived category $\mathsf{D}(\mathsf{Morph}_{N-2}(\mathcal{A}))$ where $\mathsf{Morph}_{N-2}(\mathcal{A})$ is the category of sequential $N-2$ morphisms of $\mathcal{A}$.

math.CT↗

arXiv2017

Totally acyclic complexes and locally Gorenstein rings

A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime.

math.AC↗

arXiv2016

Polygon of recollements and $N$-complexes

We study a structure of subcategories which are called a polygon of recollements in a triangulated category. First, we study a $2n$-gon of recollements in an $(m/n)$-Calabi-Yau triangulated category. Second, we show the homotopy category $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ of complexes of an additive category $\mathsf{Mor}_{N-1}(\mathcal{B})$ of $N-1$ sequences of split monomorphisms of an additive category $\mathcal{B}$ has a $2N$-gon of recollments. Third, we show the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of $\mathcal{B}$ has also a $2N$-gon of recollments. Finally, we show there is a triangle equivalence between $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ and $\mathsf{K}_{N}(\mathcal{B})$.

math.CT↗

arXiv2015

Triangulated subcategories of extensions, stable t-structures, and triangles of recollements

In a triangulated category T with a pair of triangulated subcategories X and Y, one may consider the subcategory of extensions X*Y. We give conditions for X*Y to be triangulated and use them to provide tools for constructing stable t-structures. In particular, we show how to construct so-called triangles of recollements, that is, triples of stable t-structures of the form (X,Y), (Y,Z), (Z,X). We easily recover some triangles of recollements known from the literature.

math.RT↗

arXiv2010

Symmetric Auslander and Bass categories

We define the symmetric Auslander category A^s(R) to consist of complexes of projective modules whose left- and right-tails are equal to the left- and right tails of totally acyclic complexes of projective modules. The symmetric Auslander category contains A(R), the ordinary Auslander category. It is well known that A(R) is intimately related to Gorenstein projective modules, and our main result is that A^s(R) is similarly related to what can reasonably be called Gorenstein projective homomorphisms. Namely, there is an equivalence of triangulated categories: \underline{GMor}(R) --> A^s(R) / K^b(Prj R). Here \underline{GMor}(R) is the stable category of Gorenstein projective objects in the abelian category Mor(R) of homomorphisms of R-modules, and K^b(Prj R) is the homotopy category of bounded complexes of projective R-modules. This result is set in the wider context of a theory for A^s(R) and B^s(R), the symmetric Bass category which is defined dually.

math.AC↗

arXiv2010

Recollement of homotopy categories and Cohen-Macaulay modules

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 homotopy category of acyclic complxes as a triangulated subcategory. In the case of the homotopy category of finitely generated projective modules over an Iwanaga-Gorenstein ring, we show that the above quotient category are triangle equivalent to the stable module category of Cohen-Macaulay $\opn{T}_2(R)$-modules.

math.RA↗

arXiv2004

Morphisms represented by monomorphisms

Every homomorphism of modules is projective-stably equivalent to an epimorphism but is not always to a monomorphism. We prove that a map is projective-stably equivalent to a monomorphism if and only if its kernel is torsionless, that is, a first syzygy. If it occurs although, there can be various monomorphisms that are projective-stably equivalent to a given map. But in this case there uniquely exists a "perfect" monomorphism to which a given map is projective-stably equivalent.

math.AC↗