Showing 1–11 of 11 results for author: Iima, K

Extension-closed subcategories over hypersurfaces of finite or countable CM-representation type

Authors: Kei-ichiro Iima, Ryo Takahashi

Abstract: Let k be an algebraically closed uncountable field of characteristic zero. Let R be a complete local hypersurface over k. Denote by CM(R) the category of maximal Cohen-Macaulay R-modules and by D^{sg}(R) the singularity category of R. Denote by CM_0(R) the full category of CM(R) consisting of modules that are locally free on the punctured spectrum of R, and by D^{sg}_0(R) the full subcategory of D… ▽ More Let k be an algebraically closed uncountable field of characteristic zero. Let R be a complete local hypersurface over k. Denote by CM(R) the category of maximal Cohen-Macaulay R-modules and by D^{sg}(R) the singularity category of R. Denote by CM_0(R) the full category of CM(R) consisting of modules that are locally free on the punctured spectrum of R, and by D^{sg}_0(R) the full subcategory of D^{sg}(R) consisting of objects that are locally zero on the punctured spectrum of R. In this paper, under the assumption that R has finite or countable CM-representation type, we completely classify the extension-closed subcategories of CM_0(R) in dimension at most two, and the extension-closed subcategories of D^{sg}_0(R) in arbitrary dimension. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Comments: 19 pages

MSC Class: 13D09; 13C60; 13H10

Vanishing of DHKK complexities for singularity categories and generation of syzygy modules

Authors: Tokuji Araya, Kei-ichiro Iima, Ryo Takahashi

Abstract: Let R be a commutative noetherian ring. In this paper, we study, for the singularity category of R, the vanishing of the complexity $δ_t(X,Y)$ in the sense of Dimitrov, Haiden, Katzarkov and Kontsevich. We prove that the set of real numbers t such that $δ_t(X,Y)$ does not vanish is bounded in various cases. We do it by building the high syzygy modules and maximal Cohen-Macaulay modules out of a si… ▽ More Let R be a commutative noetherian ring. In this paper, we study, for the singularity category of R, the vanishing of the complexity $δ_t(X,Y)$ in the sense of Dimitrov, Haiden, Katzarkov and Kontsevich. We prove that the set of real numbers t such that $δ_t(X,Y)$ does not vanish is bounded in various cases. We do it by building the high syzygy modules and maximal Cohen-Macaulay modules out of a single module only by taking direct summands and extensions. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 10 pages

MSC Class: 13D09; 13C60

When is a subcategory Serre or torsionfree?

Authors: Kei-ichiro Iima, Hiroki Matsui, Kaori Shimada, Ryo Takahashi

Abstract: Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of… ▽ More Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of mod R is a torsionfree class. We investigate certain modules out of which all modules of finite length can be built by taking direct summands and extensions, and then we apply it to show that the IKE-closed subcategories of mod R are torsionfree classes in the case where R is a certain numerical semigroup ring. △ Less

Submitted 28 February, 2022; originally announced March 2022.

Generation in singularity categories of hypersurfaces of countable representation type

Authors: Tokuji Araya, Kei-ichiro Iima, Maiko Ono, Ryo Takahashi

Abstract: The Orlov spectrum and Rouquier dimension are invariants of a triangulated category to measure how big the category is, and they have been studied actively. In this paper, we investigate the singularity category $\mathsf{D_{sg}}(R)$ of a hypersurface $R$ of countable representation type. For a thick subcategory $\mathcal{T}$ of $\mathsf{D_{sg}}(R)$ and a full subcategory $\mathcal{X}$ of… ▽ More The Orlov spectrum and Rouquier dimension are invariants of a triangulated category to measure how big the category is, and they have been studied actively. In this paper, we investigate the singularity category $\mathsf{D_{sg}}(R)$ of a hypersurface $R$ of countable representation type. For a thick subcategory $\mathcal{T}$ of $\mathsf{D_{sg}}(R)$ and a full subcategory $\mathcal{X}$ of $\mathcal{T}$, we calculate the Rouquier dimension of $\mathcal{T}$ with respect to $\mathcal{X}$. Furthermore, we prove that the level in $\mathsf{D_{sg}}(R)$ of the residue field of $R$ with respect to each nonzero object is at most one. △ Less

Submitted 22 July, 2019; v1 submitted 20 January, 2019; originally announced January 2019.

Comments: 11 pages, to appear in Arch. Math. (Basel)

MSC Class: 13D09; 13C14; 16G60

On the ideal case of a conjecture of Auslander and Reiten

Authors: Olgur Celikbas, Kei-ichiro Iima, Arash Sadeghi, Ryo Takahashi

Abstract: A celebrated conjecture of Auslander and Reiten claims that a finitely generated module $M$ that has no extensions with $M\oplus Λ$ over an Artin algebra $Λ$ must be projective. This conjecture is widely open in general, even for modules over commutative Noetherian local rings. Over such rings, we prove that a large class of ideals satisfy the extension condition proposed in the aforementioned con… ▽ More A celebrated conjecture of Auslander and Reiten claims that a finitely generated module $M$ that has no extensions with $M\oplus Λ$ over an Artin algebra $Λ$ must be projective. This conjecture is widely open in general, even for modules over commutative Noetherian local rings. Over such rings, we prove that a large class of ideals satisfy the extension condition proposed in the aforementioned conjecture of Auslander and Reiten. Along the way we obtain a new characterization of regularity in terms of the injective dimensions of certain ideals. △ Less

Submitted 15 October, 2016; originally announced October 2016.

Comments: 10 pages

Perfect linkage of Cohen--Macaulay modules over Cohen--Macaulay rings

Authors: Kei-ichiro Iima, Ryo Takahashi

Abstract: In this paper, we introduce and study the notion of linkage by perfect modules, which we call perfect linkage, for Cohen-Macaulay modules over Cohen--Macaulay local rings. We explore perfect linkage in connection with syzygies, maximal Cohen-Macaulay approximations and Yoshino-Isogawa linkage. We recover a theorem of Yoshino and Isogawa, and analyze the structure of double perfect linkage. Moreove… ▽ More In this paper, we introduce and study the notion of linkage by perfect modules, which we call perfect linkage, for Cohen-Macaulay modules over Cohen--Macaulay local rings. We explore perfect linkage in connection with syzygies, maximal Cohen-Macaulay approximations and Yoshino-Isogawa linkage. We recover a theorem of Yoshino and Isogawa, and analyze the structure of double perfect linkage. Moreover, we establish a criterion for two Cohen-Macaulay modules of codimension one to be perfectly linked, and apply it to the classical linkage theory for ideals. We also construct various examples of linkage of modules and ideals. △ Less

Submitted 20 May, 2016; v1 submitted 27 December, 2014; originally announced December 2014.

Comments: 13 pages, minor changes, title is revised, to appear in J. Algebra

MSC Class: 13C14; 13C40

Remarks on torsionfreeness and its applications

Authors: Tokuji Araya, Kei-ichiro Iima

Abstract: In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p of height less than n, and we will give a partial answer of Tachikawa conjecture and Auslander-Reiten conjecture. In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p of height less than n, and we will give a partial answer of Tachikawa conjecture and Auslander-Reiten conjecture. △ Less

Submitted 20 May, 2016; v1 submitted 17 August, 2014; originally announced August 2014.

Comments: 9 pages, minor changes, title is revised

MSC Class: 13H10; 13D02; 13D07

On the left perpendicular category of the modules of finite projective dimension

Authors: Tokuji Araya, Kei-ichiro Iima, Ryo Takahashi

Abstract: In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding re… ▽ More In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module. △ Less

Submitted 22 April, 2011; v1 submitted 22 August, 2010; originally announced August 2010.

Comments: 6 pages; minor changes; to appear in Comm. Algebra

MSC Class: 13C60; 13D05; 13H10

On the structure of Cohen-Macaulay modules over hypersurfaces of countable Cohen-Macaulay representation type

Authors: Tokuji Araya, Kei-ichiro Iima, Ryo Takahashi

Abstract: Let R be a complete local hypersurface over an algebraically closed field of characteristic different from two, and suppose that R has countable Cohen-Macaulay representation type. In this paper, it is proved that the maximal Cohen-Macaulay R-modules which are locally free on the punctured spectrum are dominated by the maximal Cohen-Macaulay R-modules which are not locally free on the punctured sp… ▽ More Let R be a complete local hypersurface over an algebraically closed field of characteristic different from two, and suppose that R has countable Cohen-Macaulay representation type. In this paper, it is proved that the maximal Cohen-Macaulay R-modules which are locally free on the punctured spectrum are dominated by the maximal Cohen-Macaulay R-modules which are not locally free on the punctured spectrum. More precisely, there exists a single R-module X such that the indecomposable maximal Cohen-Macaulay R-modules not locally free on the punctured spectrum are X and its syzygy ΩX and that any other maximal Cohen-Macaulay R-module is obtained from some extension of X and ΩX. △ Less

Submitted 10 April, 2012; v1 submitted 31 January, 2010; originally announced February 2010.

Comments: 12 pages, to appear in Journal of Algebra

MSC Class: 13C14; 16G60

Groebner bases for the polynomial ring with infinite variables and their applications

Authors: Kei-ichiro Iima, Yuji Yoshino

Abstract: We develop the theory of Gröbner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division algorithm. We develop the theory of Gröbner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division algorithm. △ Less

Submitted 3 June, 2008; originally announced June 2008.

Comments: 17 pages

MSC Class: 13P10

On the Jordan decomposition of tensored matrices of Jordan canonical forms

Authors: Kei-ichiro Iima, Ryo Iwamatsu

Abstract: Let k be an algebraically closed field of characteristic p \ge 0. We shall consider the problem of finding out a Jordan canonical form of J(α,s) \otimes_{k} J(β,t), where J(α,s) means the Jordan block with eigenvalue α\in k and size s. Let k be an algebraically closed field of characteristic p \ge 0. We shall consider the problem of finding out a Jordan canonical form of J(α,s) \otimes_{k} J(β,t), where J(α,s) means the Jordan block with eigenvalue α\in k and size s. △ Less

Submitted 3 June, 2008; v1 submitted 15 December, 2006; originally announced December 2006.

Comments: 13 pages, 7 figures. Math. J. Okayama Univ. (to appear)

MSC Class: 13A02; 13E10; 05E05