Searcharxiv⌕ Search

arXiv subjects

Naoya Hiramatsu

Publications and source records attributed to Naoya Hiramatsu.

13 recordsLinked to original sources

Krull--Gabriel dimension and Cohen-Macaulay representations

Let $R$ be a complete Cohen--Macaulay local ring and $Λ$ an $R$-order. We study the Krull--Gabriel dimension of the functor category $\mathrm{mod}\,\underline{\mathcal C}(Λ)$, where $\underline{\mathcal C}(Λ)$ is the stable category of maximal Cohen--Macaulay $Λ$-modules. This work is motivated by the non-existence theorem of Herzog and Krause for Krull--Gabriel dimension $1$ over artin algebras. We first prove that, if $Λ$ is Gorenstein and $\mathrm{KGdim}\,\mathrm{mod}\,\underline{\mathcal C}(Λ)\leq 1$, then $Λ$ is an isolated singularity. We then show that, if $Λ$ is an isolated singularity of uncountable Cohen--Macaulay representation type, then $\mathrm{KGdim}\,\mathrm{mod}\,\underline{\mathcal C}(Λ)\neq 1$.

math.AC↗

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↗

A characterization of Cohen-Macaulay rings in terms of levels of perfect complexes

Let $R$ be a commutative noetherian ring, and let $C$ be a semidualizing $R$-module. In this paper, we study levels of bounded complexes of finitely generated $R$-modules with respect to the full subcategory $\mathsf{G}_{C}(R)$ consisting of Gorenstein $C$-projective $R$-modules. Our main result provides a characterization of the Cohen-Macaulayness of $R$ in terms of the finiteness of levels of perfect complexes with respect to $\mathsf{G}_{C}(R)$. This recovers a recent theorem of Christensen, Kekkou, Lyle and Soto Levins on the Gorensteinness of $R$.

math.AC↗

The spectrum of a category of maximal Cohen-Macaulay modules

We introduce an analog of the Ziegler spectrum for maximal Cohen-Macaulay modules over a complete Cohen-Macaulay local ring. We define a topology on the space of isomorphism classes of indecomposable maximal Cohen-Macaulay modules and investigate the topological structure. We also calculate the Cantor-Bendixson rank for a ring which is of CM_+-finite representation type.

math.AC↗

Krull--Gabriel dimension of Cohen--Macaulay modules over hypersurfaces of countable Cohen--Macaulay representation type

We calculate the Krull--Gabriel dimension of the functor category of the (stable) category of maximal Cohen--Macaulay modules over hypersurfaces of countable Cohen--Macaulay representation type. We show that the Krull--Gabriel dimension is $0$ if the hypersurface is of finite Cohen--Macaulay representation type and that is $2$ if the hypersurface is of countable but not finite Cohen--Macaulay representation type.

math.AC↗

Geometry of varieties for graded maximal Cohen--Macaulay modules

We study a variety for graded maximal Cohen--Macaulay modules, which was introduced by Dao and Shipman. The main result of this paper asserts that there are only a finite number of isomorphism classes of graded maximal Cohen--Macaulay modules with fixed Hilbert series over Cohen--Macaulay algebras of graded countable representation type.

math.AC↗

A topology on the set of isomorphism classes of maximal Cohen--Macaulay modules

In this paper, we introduce a topology on the set of isomorphism classes of finitely generated modules over an associative algebra. Then we focus on the relative topology on the set of isomorphism classes of maximal Cohen--Macaulay modules over a Cohen--Macaulay local ring. We discuss the irreducible components over certain hypersurfaces.

math.AC↗

On the stable hom relation and stable degenerations of Cohen-Macaulay modules

We study the stable hom relation for Cohen-Macaulay modules over Gorenstein local algebras. We give the sufficient condition to make the stable hom relation a partial order when the base algebra is of finite representation type. As an application, we give the description of stable degenerations of Cohen-Macaulay modules over simple singularities of several types by using the stable hom relation.

math.AC↗

Relations for Grothendieck groups of Gorenstein rings

We consider the converse of the Butler, Auslander-Reiten's Theorem which is on the relations for Grothendieck groups. We show that a Gorenstein ring is of finite representation type if the Auslander-Reiten sequences generate the relations for Grothendieck groups. This gives an affirmative answer of the conjecture due to Auslander.

math.AC↗

Degenerations of graded Cohen-Macaulay modules

We introduce a notion of degenerations of graded modules. In relation to it, we also introduce several partial orders as graded analogies of the hom order, the degeneration order and the extension order. We prove that these orders are identical on the graded Cohen-Macaulay modules if a graded ring is of graded finite representation type and representation directed.

math.AC↗

Remarks on subcategories of artinian modules

We study two subcategories of the category of artinian modules, a wide subcategory and a Serre subcategory. We prove that all wide subcategories of artinian modules are Serre subcategories. We also provide the bijection between the set of Serre subcategories and the set of specialization closed subsets of the set of closed prime ideals of some completed ring.

math.AC↗

Examples of degenerations of Cohen-Macaulay modules

We study the degeneration problem for maximal Cohen-Macaulay modules and give several examples of such degenerations. It is proved that such degenerations over an even-dimensional simple hypersurface singularity of type $(A_n)$ are given by extensions. We also prove that all extended degenerations of maximal Cohen-Macaulay modules over a Cohen-Macaulay complete local algebra of finite representation type are obtained by iteration of extended degenerations of Auslander-Reiten sequences.

math.AC↗