Showing 1–7 of 7 results for author: Mifune, Y

Criteria for finite injective dimension of modules over a local ring

Authors: Shinnosuke Kosaka, Yuki Mifune, Kenta Shimizu

Abstract: Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality concerning multiplicity and type, together with the vanishing of finitely many Ext modules. As applications, we recover a result of Rahmani and Taherizadeh and provi… ▽ More Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality concerning multiplicity and type, together with the vanishing of finitely many Ext modules. As applications, we recover a result of Rahmani and Taherizadeh and provide sufficient conditions for a finitely generated $R$-module to have finite injective dimension. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Comments: 6 pages

MSC Class: 13D05; 13D07; 13H10

Annihilation of cohomology and (strong) generation of singularity categories

Authors: Souvik Dey, Jian Liu, Yuki Mifune, Yuya Otake

Abstract: Let R be a commutative Noetherian ring. We establish a close relationship between the (strong) generation of the singularity category of R, the nonvanishing of the annihilator of the singularity category of R, and the nonvanishing of the cohomological annihilator of modules. As an application, we prove that the singularity category of R has a strong generator if and only if the annihilator of the… ▽ More Let R be a commutative Noetherian ring. We establish a close relationship between the (strong) generation of the singularity category of R, the nonvanishing of the annihilator of the singularity category of R, and the nonvanishing of the cohomological annihilator of modules. As an application, we prove that the singularity category of R has a strong generator if and only if the annihilator of the singularity category of R is nonzero when R is a Noetherian domain with Krull dimension at most one. Furthermore, we relate the generation of the singularity category and the extension generation of the module category. Additionally, we introduce the notion of the co-cohomological annihilator of modules. If the category of finitely generated R-modules has a strong generator, we show that the infinite injective dimension locus of a finitely generated R-module M is closed, with the defining ideal given by the co-cohomological annihilator of M. △ Less

Submitted 31 March, 2025; originally announced March 2025.

Comments: 24 pages. Any comments are welcome!

MSC Class: 2020: 13D09 (primary); 13C60; 13D05; 13D07; 18G80 (secondary)

Lower bounds for levels of complexes by resolution dimensions

Authors: Yuki Mifune

Abstract: Let $\mathcal{A}$ be an abelian category. Denote by $\mathrm{D}^{b}(\mathcal{A})$ the bounded derived category of $\mathcal{A}$. In this paper, we investigate the lower bounds for the levels of objects in $\mathrm{D}^{b}(\mathcal{A})$ with respect to a (co)resolving subcategory satisfying a certain condition. As an application, we not only recover the results of Altmann--Grifo--Montaño--Sanders--V… ▽ More Let $\mathcal{A}$ be an abelian category. Denote by $\mathrm{D}^{b}(\mathcal{A})$ the bounded derived category of $\mathcal{A}$. In this paper, we investigate the lower bounds for the levels of objects in $\mathrm{D}^{b}(\mathcal{A})$ with respect to a (co)resolving subcategory satisfying a certain condition. As an application, we not only recover the results of Altmann--Grifo--Montaño--Sanders--Vu, and Awadalla--Marley but also extend them to establish lower bounds for levels with respect to some other subcategories in an abelian category. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 19 pages

MSC Class: 13C60; 13D09; 18G80

Upper bounds for dimensions of singularity categories and their annihilators

Authors: Souvik Dey, Yuki Mifune

Abstract: Let $R$ be a commutative noetherian ring. Denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules and by $\operatorname{D^b}(R)$ the bounded derived category of $\operatorname{mod} R$. In this paper, we first investigate localizations and annihilators of Verdier quotients of $\operatorname{D^b}(R)$. After that, we explore upper bounds for the dimension of the singularity ca… ▽ More Let $R$ be a commutative noetherian ring. Denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules and by $\operatorname{D^b}(R)$ the bounded derived category of $\operatorname{mod} R$. In this paper, we first investigate localizations and annihilators of Verdier quotients of $\operatorname{D^b}(R)$. After that, we explore upper bounds for the dimension of the singularity category of $R$ and its (strong) generators. We extend a theorem of Liu to the case where $R$ is neither an isolated singularity nor even a local ring. Some of our results are more generally stated in terms of Spanier--Whitehead category of a resolving subcategory. △ Less

Submitted 7 June, 2025; v1 submitted 22 August, 2024; originally announced August 2024.

Comments: 19 pages, coauthor added in this version

MSC Class: 13C60; 13D09; 18G80

A generalization of the dimension and radius of a subcategory of modules and its applications

Authors: Yuki Mifune

Abstract: Let $R$ be a commutative noetherian local ring and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, we give some evaluations of the singular locus of $R$ and annihilators of Tor and Ext from a viewpoint of the finiteness of dimensions/radii of full subcategories of $\operatorname{mod} R$. As an application, we recover a theorem of Dey and Takahashi wh… ▽ More Let $R$ be a commutative noetherian local ring and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, we give some evaluations of the singular locus of $R$ and annihilators of Tor and Ext from a viewpoint of the finiteness of dimensions/radii of full subcategories of $\operatorname{mod} R$. As an application, we recover a theorem of Dey and Takahashi when $R$ is Cohen--Macaulay. Moreover, we obtain the divergence of the dimensions of specific full subcategories of $\operatorname{mod} R$ in non-Cohen--Macaulay case. △ Less

Submitted 20 January, 2024; originally announced January 2024.

Comments: 8 pages

MSC Class: 13C60; 13D07

On a Verdier quotient of a derived category of a local ring

Authors: Yuki Mifune, Ryo Takahashi

Abstract: Let $R$ be a commutative noetherian local ring with residue field $k$. Denote by $\mathsf{D^b}(R)$ the bounded derived category of finitely generated $R$-modules. In this paper, we study the structure of the Verdier quotient $\mathsf{D^b}(R)/\mathsf{thick}(R\oplus k)$. We give necessary and sufficient conditions for it to admit an additive generator. Let $R$ be a commutative noetherian local ring with residue field $k$. Denote by $\mathsf{D^b}(R)$ the bounded derived category of finitely generated $R$-modules. In this paper, we study the structure of the Verdier quotient $\mathsf{D^b}(R)/\mathsf{thick}(R\oplus k)$. We give necessary and sufficient conditions for it to admit an additive generator. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 10 pages

MSC Class: 13D09; 18G80

On the finiteness of radii of resolving subcategories

Authors: Yuki Mifune

Abstract: Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we investigate the finiteness of the radii of resolving subcategories of mod R with respect to a fixed semidualizing module. As an application, we give a partial positive answer to a conjecture of Dao and Takahashi: we prove that for a Cohen-Macaulay local ring R, a resolving subcat… ▽ More Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we investigate the finiteness of the radii of resolving subcategories of mod R with respect to a fixed semidualizing module. As an application, we give a partial positive answer to a conjecture of Dao and Takahashi: we prove that for a Cohen-Macaulay local ring R, a resolving subcategory of mod R has infinite radius whenever it contains a canonical module and a non-MCM module of finite injective dimension. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: arXiv admin note: text overlap with arXiv:1111.2902 by other authors

MSC Class: 13C60; 13D05; 13H10