Searcharxiv⌕ Search

arXiv subjects

Tokuji Araya

Publications and source records attributed to Tokuji Araya.

16 recordsLinked to original sources
arXiv2026

Homological properties and finiteness of reducing invariants

We study reducing invariants of modules related to certain homological properties. For modules of finite reducing projective dimension, we establish grade inequalities. We prove that if $\mathbb{P}$ is the (uniform) Auslander condition, or the generalized Auslander--Reiten conjecture, or dependence of the total reflexivity conditions, then a module satisfies $\mathbb{P}$ provided that it has finite reducing invariant with respect to $\mathbb{P}$.

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 $\delta_t(X,Y)$ in the sense of Dimitrov, Haiden, Katzarkov and Kontsevich. We prove that the set of real numbers t such that $\delta_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↗
arXiv2021

On modules with finite reducing Gorenstein dimension

If $M$ is a nonzero finitely generated module over a commutative Noetherian local ring $R$ such that $M$ has finite injective dimension and finite Gorenstein dimension, then it follows from a result of Holm that $M$ has finite projective dimension, and hence a result of Foxby implies that $R$ is Gorenstein. We investigate whether the same conclusion holds for nonzero finitely generated modules that have finite injective dimension and finite reducing Gorenstein dimension, where the reducing Gorenstein dimension is a finer invariant than the classical Gorenstein dimension, in general.

math.AC↗
arXiv2020

On reducing homological dimensions over noetherian rings

Let $Λ$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $Λ$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate totally reflexive modules and reducing Gorenstein dimension. Next, we introduce homological invariants for $Λ$-modules which we call upper reducing projective and Gorenstein dimensions. We provide an inequality of upper reducing projective dimension and complexity when $Λ$ is commutative and local. Using it, we consider how upper reducing projective dimension relates to reducing projective dimension, and the complete intersection and AB properties of a commutative noetherian local 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↗
arXiv2019

Reducing invariants and total reflexivity

Motivated by a recent result of Yoshino, and the work of Bergh on reducible complexity, we introduce reducing versions of invariants of finitely generated modules over commutative Noetherian local rings. Our main result considers modules which have finite reducing Gorenstein dimension, and determines a criterion for such modules to be totally reflexive in terms of the vanishing of Ext. Along the way we give examples and applications, and in particular, prove that a Cohen-Macaulay local ring with canonical module is Gorenstein if and only if the canonical module has finite reducing Gorenstein dimension.

math.AC↗
arXiv2017

On the vanishing of self extensions over Cohen-Macaulay local rings

The celebrated Auslander-Reiten Conjecture, on the vanishing of self extensions of a module, is one of the long-standing conjectures in ring theory. Although it is still open, there are several results in the literature that establish the conjecture over Gorenstein rings under certain conditions. The purpose of this article is to obtain extensions of such results over Cohen-Macaulay local rings that admit canonical modules. In particular, our main result recovers theorems of Araya, and Ono and Yoshino simultaneously.

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↗
arXiv2013

Dimensions of triangulated categories with respect to subcategories

This paper introduces the concept of the dimension of a triangulated category with respect to a fixed full subcategory. For the bounded derived category of an abelian category, upper bounds of the dimension with respect to a contravariantly finite subcategory and a resolving subcategory are given. Our methods not only recover some known results on the dimensions of derived categories in the sense of Rouquier, but also apply to various commutative and non-commutative noetherian rings.

math.RT↗
arXiv2012

A Homological dimension related to AB rings

There are many homological dimensions which are closely related to ring theoretic properties. The notion of a AB ring has been introduced by Huneke and Jorgensen. It has nice homological properties. In this paper, we shall define a homological dimension which is closely related to a AB ring, and investigate its properties.

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↗
arXiv2009

A generalization of a theorem of Foxby

In this paper, it is proved that a commutative noetherian local ring admitting a finitely generated module of finite projective and injective dimensions with respect to a semidualizing module is Gorenstein. This result recovers a celebrated theorem of Foxby.

math.AC↗
arXiv2008

The Auslander-Reiten conjecture for Gorenstein rings

The Nakayama conjecture is one of the most important conjectures in ring theory. The Auslander-Reiten conjecture is closely related to it. The purpose of this note is to show that if the Auslander-Reiten conjecture holds in codimension one for a commutative Gorenstein ring $R$, then it holds for $R$.

math.AC↗
arXiv2005

Homological invariants associated to semi-dualizing bimodules

Cohen-Macaulay dimension for modules over a commutative noetherian local ring has been defined by A. A. Gerko. That is a homological invariant sharing many properties with projective dimension and Gorenstein dimension. The main purpose of this paper is to extend the notion of Cohen-Macaulay dimension for modules over commutative noetherian local rings to that for bounded complexes over non-commutative noetherian rings.

math.AC↗