On the Cohen-Macaulay modules of graded subrings

We give several characterizations for the linearity property for a maximal Cohen-Macaulay module over a local or graded ring, as well as proofs of existence in some new cases. In particular, we prove that the existence of such modules is preserved when taking Segre products, as well as when passing to Veronese subrings in low dimensions. The former result even yields new results on the existence of finitely generated maximal Cohen-Macaulay modules over non-Cohen-Macaulay rings.

     

The Krull-Schmidt Theorem in the Case Two

We study what happens if, in the Krull-Schmidt Theorem, instead of considering modules whose endomorphism rings have one maximal ideal, we consider modules whose endomorphism rings have two maximal ideals. If a ring has exactly two maximal right ideals, then the two maximal right ideals are necessarily two-sided. We call such a ring of type 2. The behavior of direct sums of finitely many modules whose endomorphism rings have type 2 is completely described by a graph whose connected components are either complete graphs or complete bipartite graphs. The vertices of the graphs are ideals in a suitable full subcategory of Mod-R. The edges are isomorphism classes of modules. The complete bipartite graphs give rise to a behavior described by a Weak Krull-Schmidt Theorem. Such a behavior had been previously studied for the classes of uniserial modules, biuniform modules, cyclically presented modules over a local ring, kernels of morphisms between indecomposable injective modules, and couniformly presented modules. All these modules have endomorphism rings that are either local or of type 2. Here we present a general theory that includes all these cases.     

Local rings whose modules are almost serial

The present paper is a sequel to our previous work on almost uniserial rings and modules, which appeared in the Journal of Algebra in 2016; it studies rings over which every (left and right) module is almost serial. A module is almost uniserial if any two of its submodules are either comparable in inclusion or isomorphic. And a module is almost serial if it is a direct sum of almost uniserial modules. The results of the paper are inspired by a characterization of Artinian serial rings as rings having all left (or right) modules serial. We prove that if R is a local ring and all left R-modules are almost serial then R is an Artinian ring which is uniserial either on the left or on the right. We also produce a connection between local rings having all left and right modules almost serial, local balanced rings studied by Dlab and Ringel and local Köthe rings. Finally we prove Morita invariance of the almost serial property and list some consequences.     

Classifying thick subcategories of the stable category of Cohen-Macaulay modules

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the stable category of finitely generated representations of a finite p-group due to Benson, Carlson and Rickard, we consider classifying thick subcategories of the stable category of Cohen-Macaulay modules over a Gorenstein local ring. The main result of this paper yields a complete classification of the thick subcategories of the stable category of Cohen-Macaulay modules over a local hypersurface in terms of specialization-closed subsets of the prime ideal spectrum of the ring which are contained in its singular locus.     

Decomposition of local cohomology tables of modules with large E-depth

We introduce the notion of E-depth of graded modules over polynomial rings to measure the depth of certain Ext modules. First, we characterize graded modules over polynomial rings with (sufficiently) large E-depth as those modules whose (sufficiently) partial general initial submodules preserve the Hilbert function of local cohomology modules supported at the irrelevant maximal ideal, extending a result of Herzog and Sbarra on sequentially Cohen-Macaulay modules. Second, we describe the cone of local cohomology tables of modules with sufficiently high E-depth, building on previous work of the second author and Smirnov. Finally, we obtain a non-Artinian version of a socle-lemma proved by Kustin and Ulrich.     

Cluster-tilted algebras are Gorenstein and stably Calabi-Yau

We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein with all its finitely generated projectives of injective dimension at most one. We show that the stable category of its Cohen-Macaulay modules is 3-Calabi-Yau. We deduce in particular that cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary if they are of finite global dimension. Our results also apply to the stable (!) endomorphism rings of maximal rigid modules of [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press]. In addition, we prove a general result about relative 3-Calabi-Yau duality over non-stable endomorphism rings. This strengthens and generalizes the Ext-group symmetries obtained in [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press] for simple modules. Finally, we generalize the results on relative Calabi-Yau duality from 2-Calabi-Yau to d-Calabi-Yau categories. We show how to produce many examples of d-cluster tilted algebras.     

On toric face rings

Following a construction of Stanley we consider toric face rings associated to rational pointed fans. This class of rings is a common generalization of the concepts of Stanley-Reisner and affine monoid algebras. The main goal of this article is to unify parts of the theories of Stanley-Reisner and affine monoid algebras. We consider (non-pure) shellable fan’s and the Cohen-Macaulay property. Moreover, we study the local cohomology, the canonical module and the Gorenstein property of a toric face ring.     

A Generalization of Auslander's Last Theorem

Before his death, Auslander announced that every finitely generated module over a local Gorenstein ring has a minimal Cohen–Macaulay approximation. Yoshimo extended Auslander's result to local Cohen–Macaulay rings admitting a dualizing module.Over a local Gorenstein ring the finitely generated maximal Cohen–Macaulay modules are the finitely generated Gorenstein projective modules so in fact Auslander's theorem says finitely generated modules over such rings have Gorenstein projective covers. We extend Auslander's theorem by proving that over a local Cohen–Macaulay ring admitting a dualizing module all finitely generated modules of finite G-dimension (in Auslander's sense) have a Gorenstein projective cover. Since all finitely generated modules over a Gorenstein ring have finite G-dimension, we recover Auslander's theorem when R is Gorenstein.     

On the Krull―Schmidt Theorem for Artinian Modules

A property of rings generalizing commutativity is introduced. If a ring satisfies this property, then the Krull--Schmidt theorem holds for Artinian modules over the ring. In particular, this property is fulfilled for local rings of finite rank and for rings such that their centers are surjectively mapped by the natural projection onto the factor with respect to the radical of the ring. A local ring for which the property fails is constructed; for the direct decompositions of Artinian modules over this ring there appear anomalies similar to the anomalies of direct decompositions of torsion-free Abelian groups of finite rank. Bibliography: 6 titles.     

Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals

We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.     

Irreducible maps of commutative rings

We give necessary conditions for a map to be irreducible (in the category of finitely generated, torsion free modules) over a non-local, commutative ring and sufficient conditions when the ring is Bass. In particular, we show that an irreducible map of ZG, where G is a square free abelian group, must be a monomorphism with a simple cokernel. We also show that local endomorphism rings are necessary and sufficient for the existence of almost split sequences over a commutative Bass ring and we explicitly describe the modules and the maps in those sequences. The results in this paper enable us to describe the Auslander-Reiten quiver of a non-local Bass ring in [8].     

Direct sum decompositions of infinitely generated modules

Almost all of the basic theorems in the representation theory of finite groups have proofs that depend upon the Krull-Schmidt Theorem. Because this theorem holds only for finite-dimensional modules, however, the recent interest in infinitely generated modules raises the question of which results may hold more generally. In this paper we present an example showing that Green's Indecomposability Theorem fails for infinitely generated modules. By developing and applying some general properties of idempotent modules, we are also able to construct explicit examples of modules for which the cancellation property fails.

     

On Regular Rings Satisfying Almost Comparability

In this article, we study regular rings satisfying almost comparability. We first show that, for regular rings, almost comparability is inherited by finitely generated projective modules and finite matrix rings, and, as a main result, we prove that the strict cancellation property holds for the family of all finitely generated projective modules over directly finite regular rings satisfying almost comparability.     

Commutative rings in which every finitely generated ideal is quasi-projective

This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. We provide some preliminaries on quasi-projective modules over commutative rings. Then we investigate the correlation with the well-known Prüfer conditions; that is, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky’s theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz’s related conjecture on Gaussian rings. We also establish an analogue of Bazzoni-Glaz results on the transfer of Prüfer conditions between a ring and its total ring of quotients. We then examine various contexts of trivial ring extensions in order to build new and original examples of rings where all finitely generated ideals are subject to quasi-projectivity, marking their distinction from related classes of Prüfer rings.     

Local rings of minimal length

This paper deals with local rings R possessing an m-canonical ideal ω, R⊆ω. In particular those rings such that the length l_R(ω/R) is as short as possible are studied. The same notion for one-dimensional local Cohen-Macaulay rings was introduced and studied with the name of Almost Gorenstein. Some necessary conditions, that become also sufficient under additional hypotheses, are given and examples are provided also in the non-Noetherian case. The case when the maximal ideal of R is stable is also studied.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

GRADED MATLIS DUALITY AND APPLICATIONS TO COVERS

Abstract

We study homological properties of graded Matlis duality and apply them to get covers by Gorenstein gr-projective modules. We show that these covers are minimal graded maximal Cohen-Macaulay approximations in some cases.     

3-standardness of the maximal ideal

We study a notion called n-standardness (defined by M.E. Rossi (2000) in [10] and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is 3-standard, first proving results for when the residue field has prime characteristic and then using the method of reduction to prime characteristic to extend the results to the equicharacteristic 0 case. As an application, we extend a result due to T. Puthenpurakal (2005) [9] and show that a certain length associated with a minimal reduction of the maximal ideal does not depend on the minimal reduction chosen.     

COPURE INJECTIVE MODULES

Abstract

A module is said to be copure injective if it is injective with respect to all modules A ? B with B/A injective. We first characterize submodules that have the extension property with respect to copure injective modules. Then we characterize commutative rings with finite self injective dimension in terms of copure injective modules. Finally, we show that the quotient categories of reduced copure injective modules and reduced h- divisible modules are isomorphic.