On the vanishing of (co)homology over local rings

Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology groups assumed to vanish may be arbitrarily far apart from each other.     

Lower complete intersection dimension over local homomorphisms

We introduce and study a theory of lower complete intersection dimension over local homomorphisms which encompasses the theory of lower complete intersection dimension for finite modules over local rings introduced by Gerko. In particular, we show that the lower complete intersection dimension over local homomorphisms reflects the complete intersection property of base rings as expected. As an application, we prove that the converse of a theorem of Sather-Wagstaff is also true.     

Complete intersection dimensions for complexes

We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the question of the behavior of complete intersection dimension with respect to short exact sequences.     

Cohen–Macaulay,Gorenstein, complete intersection and regular defect for the tensor product of algebras

The main goal of this paper is to measure the defect of Cohen–Macaulay, Gorenstein, complete intersection and regularity for the tensor product of algebras over a ring. For this sake, we determine the homological invariants which are inherent to these notions, such as the Krull dimension, depth, injective dimension, type and embedding dimension of the tensor product constructions in terms of those of their components. Our results allow to generalize various theorems in this topic especially [4, Theorem 2.1], [21, Theorem 6] and [14, Theorems 1 and 2] as well as two Grothendieck's theorems on the transfer of Cohen–Macaulayness and regularity to tensor products over a field issued from finite field extensions. To prove our theorems on the defect of complete intersection and regularity, the homology theory introduced by André and Quillen for commutative rings turns out to be an adequate and efficient tool in this respect.     

Geometry of regular modules over canonical algebras

We classify canonical algebras such that for every dimension vector of a regular module the corresponding module variety is normal (respectively, a complete intersection). We also prove that for the dimension vectors of regular modules normality is equivalent to irreducibility.

     

Complete intersection dimensions and Foxby classes

Let R be a local ring and M a finitely generated R-module. The complete intersection dimension of M-defined by Avramov, Gasharov and Peeva, and denoted -is a homological invariant whose finiteness implies that M is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger’s Gorenstein dimension by the inequalities .Using Blanco and Majadas’ version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms φ:R→S and ψ:S→T such that φ has finite Gorenstein dimension, if ψ has finite complete intersection dimension, then the composition ψ°φ has finite Gorenstein dimension. This follows from our result stating that, if M has finite complete intersection dimension, then M is C-reflexive and is in the Auslander class A_C(R) for each semidualizing R-complex C.     

Modules of finite homological dimension with respect to a semidualizing module

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. This research was conducted while S.S.-W. visited the IPM in Tehran during July 2008. The research of S.Y. was supported in part by a grant from the IPM (No. 87130211).     

Descent of the complete intersection property by homomorphisms of finite virtual projective dimension

We prove a descent theorem for the complete intersection property by homomorphisms of finite (Avramov's) virtual projective dimension. This result suggests a (slight) modification of Avramov's definition of virtual projective dimension.     

The structure of the core of ideals

The core of an R-ideal I is the intersection of all reductions of I. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of adjoint of an ideal. Being an a priori infinite intersection of ideals, the core is difficult to describe explicitly. We prove in a broad setting that: core(I) is a finite intersection of minimal reductions; core(I) is a finite intersection of general minimal reductions; core(I) is the contraction to R of a ‘universal’ ideal; core(I) behaves well under flat extensions. The proofs are based on general multiplicity estimates for certain modules. Received: 16 May 2000 / Revised version: 11 December 2000 / Published online: 17 August 2001     

On derived categories of modules over 2-vertex basic algebras

We investigate finite dimensional 2-vertex basic algebras of finite global dimension and the derived categories of modules over such algebras. We prove that any superrigid object in the derived category of modules over a “loop-kind” two-vertex algebra is a pure module up to the action of Serre functor and translation. All superrigid objects in the derived categories of modules over two-vertex algebras of global dimension 2 are described. Also we obtain a complete classification of two-vertex basic algebras possessing a full exceptional pair in the derived category of modules.     

Two theorems about maximal Cohen–Macaulay modules

This paper contains two theorems concerning the theory of maximal Cohen–Macaulay modules. The first theorem proves that certain Ext groups between maximal Cohen–Macaulay modules M and N must have finite length, provided only finitely many isomorphism classes of maximal Cohen–Macaulay modules exist having ranks up to the sum of the ranks of M and N. This has several corollaries. In particular it proves that a Cohen–Macaulay lo cal ring of finite Cohen–Macaulay type has an isolated singularity. A well-known theorem of Auslander gives the same conclusion but requires that the ring be Henselian. Other corollaries of our result include statements concerning when a ring is Gorenstein or a complete intersection on the punctured spectrum, and the recent theorem of Leuschke and Wiegand that the completion of an excellent Cohen–Macaulay local ring of finite Cohen–Macaulay type is again of finite Cohen–Macaulay type . The second theorem proves that a complete local Gorenstein domain of positive characteristic p and dimension d is F-rational if and only if the number of copies of R splitting out of divided by has a positive limit. This result relates to work of Smith and Van den Bergh. We call this limit the F-signature of the ring and give some of its properties. Received: 6 May 2001 / Published online: 6 August 2002 Both authors were partially supported by the National Science Foundation. The second author was also partially supported by the Clay Mathematics Institute.     

Multiplication Modules and a Theorem of P. F. Smith

P. F. Smith [7, Theorem 8] gave sufficient conditions on a finite set of modules for their sum and intersection to be multiplication modules. We give sufficient conditions on an arbitrary set of multiplication modules for the intersection to be a multiplication module. We generalize Smith"s theorem, and we prove conditions on sums and intersections of sets of modules sufficient for them to be multiplication modules. This revised version was published online in June 2006 with corrections to the Cover Date.     

Numerical equivalence defined on Chow groups of Noetherian local rings

In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional -vector space, as in the case of smooth projective varieties. Numerical equivalence on local rings is deeply related to that on smooth projective varieties. For example, if Grothendiecks standard conjectures are true, then a vanishing of Chow group (of local rings) modulo numerical equivalence can be proven. Using the theory of numerical equivalence, the notion of numerically Roberts rings is defined. It is proved that a Cohen–Macaulay local ring of positive characteristic is a numerically Roberts ring if and only if the Hilbert–Kunz multiplicity of a maximal primary ideal of finite projective dimension is always equal to its colength. Numerically Roberts rings satisfy the vanishing property of intersection multiplicities. We shall prove another special case of the vanishing of intersection multiplicities using a vanishing of localized Chern characters.     

Virtually Gorenstein rings and relative homology of complexes

We extend the notion of virtually Gorenstein rings to the setting of arbitrary rings, and prove that all rings R of finite Gorenstein weak global dimension are virtually Gorenstein such that all Gorenstein projective R-modules are Gorenstein flat. For such a ring R, we introduce the notion of relative homology functors of complexes with respect to Gorenstein projective (resp., flat) modules, and establish a balanced and a vanishing result for the homology functor.     

POLES OF ZETA FUNCTIONS OF COMPLETE INTERSECTIONS

51.IntroductionLetF.beafinitefieldofqele~swithcharederisticp.LetXbeanThdilnensionalalgebraicsetdeadedoverF..ThezetafunctionofX/F.isdennedbywhereXOdenotesthesetofclosedpointsOfX/F.and#X(F.d)denotesthenUInberof.F.d-rationalpointsonX.ItiseasytoseethatZ(X,T)isapowerserieswithintegercoefficients.Dwork'srationalltytheoremIg]showsthatthezetafunctionZ(X,T)isrationalinT.ThuS,therearealgebraicintegerspll'.3Pr,pl,'3basuchthatThereisagoodreasonthatwemoantheabovezetafunctionbythepower(--1)"-…     

Homology of perfect complexes

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known results on free actions of elementary abelian groups and of tori on finite CW complexes. The arguments use numerical invariants of objects in general triangulated categories, introduced here and called levels. They allow one to track, through changes of triangulated categories, homological invariants like projective dimension, as well as structural invariants like Loewy length. An intermediate result sharpens, with a new proof, the New Intersection Theorem for commutative algebras over fields. Under additional hypotheses on the ring R stronger estimates are proved for Loewy lengths of modules of finite projective dimension.     

A characterization of modules locally of finite injective dimension

In this note, we characterize finite modules locally of finite injective dimension over commutative Noetherian rings in terms of vanishing of Ext modules.

     

Modules with Reducible Complexity,II

We continue studying the class of modules having reducible complexity over a local ring. In particular, a method is provided for computing an upper bound of the complexity of such a module, in terms of vanishing of certain cohomology modules. We then specialize to complete intersections, which are precisely the rings over which all modules have finite complexity.     

Idempotent and Nilpotent Submodules of Multiplication Modules

All rings are commutative with identity, and all modules are unital. The purpose of this article is to investigate multiplication von Neumann regular modules. For this reason we introduce the concept of nilpotent submodules generalizing nilpotent ideals and then prove that a faithful multiplication module is von Neumann regular if and only if it has no nonzero nilpotent elements and its Krull dimension is zero. We also give a new characterization for the radical of a submodule of a multiplication module and show in particular that the radical of any submodule of a Noetherian multiplication module is a finite intersection of prime submodules.     

The Hilbert function of a maximal Cohen–Macaulay module. Part II

Let (A,m)$(A,\mathfrak{m})$ be a strict complete intersection of positive dimension and let M be a maximal Cohen–Macaulay A-module with bounded Betti numbers. We prove that the Hilbert function of M is non-decreasing. We also prove an analogous statement for complete intersections of codimension two.