Searcharxiv⌕ Search

arXiv subjects

Kei-ichiro Iima

Publications and source records attributed to Kei-ichiro Iima.

11 recordsLinked to original sources
arXiv2025

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

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.

math.AC↗
arXiv2023

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

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.

math.AC↗
arXiv2022

When is a subcategory Serre or torsionfree?

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.

math.AC↗
arXiv2019

Generation in singularity categories of hypersurfaces of countable representation type

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.

math.AC↗
arXiv2016

On the ideal case of a conjecture of Auslander and Reiten

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.

math.AC↗
arXiv2016

Remarks on torsionfreeness and its applications

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.

math.AC↗
arXiv2016

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

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.

math.AC↗
arXiv2012

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

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.

math.AC↗
arXiv2011

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

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.

math.AC↗