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.     

On a generalization of the auslander-bridger transpose

Let λ be an artin algebra and _λω λ a faithfully balanced self-orthogonal bimodule. We generalize the notion of the Auslander-Bridger transpose to that of the transpose with respect to _λω _λand obtain some properties about dual modules with respect to_λω _λFurther, we characterize cotilting bimodules and give criteria for computing generalized Goren-stein dimension.     

Injective Envelopes and (Gorenstein) Flat Covers

We characterize left Noetherian rings in terms of the duality property of injective preenvelopes and flat precovers. For a left and right Noetherian ring R, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left R-module is at most the flat dimension of the injective envelope of _R R. Then we get that the injective envelope of _R R is (Gorenstein) flat if and only if the injective envelope of every Gorenstein flat left R-module is (Gorenstein) flat, if and only if the injective envelope of every flat left R-module is (Gorenstein) flat, if and only if the (Gorenstein) flat cover of every injective left R-module is injective, and if and only if the opposite version of one of these conditions is satisfied.     

Gorenstein injective, Gorenstein flat modules and the section functor

Let R be a commutative Noetherian ring of Krull dimension d, and let a be an ideal of R. In this paper, we will study the strong cotorsioness and the Gorenstein injectivity of the section functor Γ_a(−) in local cohomology. As applications, we will find new characterizations for Gorenstein and regular local rings. We also study the effect of the section functors Γ_a(−) and the functors on the Auslander and Bass classes.     

Gorenstein injective modules and Auslander categories

In this paper, we study Gorenstein injective modules over a local Noetherian ring R. For an R-module M, we show that M is Gorenstein injective if and only if Hom _R (Ȓ,M) belongs to Auslander category B(Ȓ), M is cotorsion and Ext ⁱ _R (E,M) = 0 for all injective R-modules E and all i > 0. Received: 24 August 2006 Revised: 30 October 2006     

k-torsionless modules with finite Gorenstein dimension

Let R be a commutative Noetherian ring. It is shown that the finitely generated R-module M with finite Gorenstein dimension is reflexive if and only if M _p is reflexive for p ∈ Spec(R) with depth(R _p) ? 1, and $G - {\dim _{{R_p}}}$ (M _p) ? depth(R _p) ? 2 for p ∈ Spec(R) with depth(R _p) ? 2. This gives a generalization of Serre and Samuel’s results on reflexive modules over a regular local ring and a generalization of a recent result due to Belshoff. In addition, for n ? 2 we give a characterization of n-Gorenstein rings via Gorenstein dimension of the dual of modules. Finally it is shown that every R-module has a k-torsionless cover provided R is a k-Gorenstein ring.     

Relative syzygies and grade of modules

Recently, Takahashi established a new approximation theory for finitely generated modules over commutative Noetherian rings, which unifies the spherical approximation theorem due to Auslander and Bridger and the Cohen-Macaulay approximation theorem due to Auslander and Buchweitz. In this paper we generalize these results to much more general case over non-commutative rings. As an application, we establish a relation between the injective dimension of a generalized tilting module ω and the finitistic dimension with respect to ω.     

Relative Gorenstein Dimensions

In the last years (Gorenstein) homological dimensions relative to a semidualizing module C have been subject of several works as interesting extensions of (Gorenstein) homological dimensions. In this paper, we extend to the noncommutative case the concepts of G _C -projective module and dimension, weakening the condition of C being semidualizing as well. We prove that indeed they share the principal properties of the classical ones and relate this new dimension with the classical Gorenstein projective dimension of a module. The dual concepts of G _C -injective modules and dimension are also treated. Finally, we show some interesting interactions between the class of G _C -projective modules and the Bass class associated to C on one side, and the class of G\({_{C^{\vee}}}\) -injective modules (C ^∨ = Hom _R (C, E) where E is an injective cogenerator in R-Mod) and the Auslander class associated to C in the other.     

Wakamatsu tilting modules with finite injective dimension

Let R be a left Noetherian ring, S a right Noetherian ring and _R ω a Wakamatsu tilting module with S = End( _R ω). We introduce the notion of the ω-torsionfree dimension of finitely generated R-modules and give some criteria for computing it. For any n ? 0, we prove that l.id _R (ω) = r.id _S (ω) ? n if and only if every finitely generated left R-module and every finitely generated right S-module have ω-torsionfree dimension at most n, if and only if every finitely generated left R-module (or right S-module) has generalized Gorenstein dimension at most n. Then some examples and applications are given.     

Whe are $${\varvec{}}$$-syzygy modules $${\varvec{}}$$-torsiofree?

Let R be a commutative Noetherian ring. We consider the question of when n-syzygy modules over R are n-torsionfree in the sense of Auslander and Bridger. Our tools include Serre’s condition and certain conditions on the local Gorenstein property of R. Our main result implies the converse of a celebrated theorem of Evans and Griffith.     

A generalized finite type condition for iterated function systems

We study iterated function systems (IFSs) of contractive similitudes on Rd with overlaps. We introduce a generalized finite type condition which extends a more restrictive condition in [S.-M. Ngai, Y. Wang, Hausdorff dimension of self-similar sets with overlaps, J. London Math. Soc. (2) 63 (3) (2001) 655-672] and allows us to include some IFSs of contractive similitudes whose contraction ratios are not exponentially commensurable. We show that the generalized finite type condition implies the weak separation property. Under this condition, we can identify the attractor of the IFS with that of a graph-directed IFS, and by modifying a setup of Mauldin and Williams [R.D. Mauldin, S.C. Williams, Hausdorff dimension in graph directed constructions, Trans. Amer. Math. Soc. 309 (1988) 811-829], we can compute the Hausdorff dimension of the attractor in terms of the spectral radius of certain weighted incidence matrix.     

Auslander–Bridger Modules

Classically, the Auslander–Bridger transpose finds its best applications in the well-known setting of finitely presented modules over a semiperfect ring. We introduce a class of modules over an arbitrary ring R, which we call Auslander–Bridger modules, with the property that the Auslander–Bridger transpose induces a well-behaved bijection between isomorphism classes of Auslander–Bridger right R-modules and isomorphism classes of Auslander–Bridger left R-modules. Thus we generalize what happens for finitely presented modules over a semiperfect ring. Auslander–Bridger modules are characterized by two invariants (epi-isomorphism class and lower-isomorphism class), which are interchanged by the transpose. Via a suitable duality, we find that kernels of morphisms between injective modules of finite Goldie dimension are also characterized by two invariants (mono-isomorphism class and upper-isomorphism class).     

Generalized tilting functors and Ringel-Hall algebras

It is known from [M. Auslander, M.I. Platzeck, I. Reiten, Coxeter functors without diagrams, Trans. Amer. Math. Soc. 250 (1979) 1-46] and [C.M. Ringel, PBW-basis of quantum groups, J. Reine Angew. Math. 470 (1996) 51-85] that the Bernstein-Gelfand-Ponomarev reflection functors are special cases of tilting functors and these reflection functors induce isomorphisms between certain subalgebras of Ringel-Hall algebras. In [A. Wufu, Tilting functors and Ringel-Hall algebras, Comm. Algebra 33 (1) (2005) 343-348] the result from [C.M. Ringel, PBW-basis of quantum groups, J. Reine Angew. Math. 470 (1996) 51-85] is generalized to the tilting module case by giving an isomorphism between two Ringel-Hall subalgebras. In [J. Miyashita, Tilting Modules of Finite Projective Dimension, Math. Z. 193 (1986) 113-146] Miyashita generalized the tilting theory by introducing the tilting modules of finite projective dimension. In this paper the result in [A. Wufu, Tilting functors and Ringel-Hall algebras, Comm. Algebra 33 (1) (2005) 343-348] is generalized to the tilting modules of finite projective dimension.     

Totally reflexive modules with respect to a semidualizing bimodule

Let S and {iaR} be two associative rings, let _S C _R be a semidualizing (S,R)-bimodule. We introduce and investigate properties of the totally reflexive module with respect to _S C _R and we give a characterization of the class of the totally C _R -reflexive modules over any ring R. Moreover, we show that the totally C _R -reflexive module with finite projective dimension is exactly the finitely generated projective right R-module. We then study the relations between the class of totally reflexive modules and the Bass class with respect to a semidualizing bimodule. The paper contains several results which are new in the commutative Noetherian setting.     

Gorenstein injective dimension and Tor-depth of modules

The main aim of this paper is to obtain a dual result to the now well known Auslander-Bridger formula for G-dimension. We will show that if R is a complete Cohen-Macaulay ring with residue field k, and M is a non-injective h-divisible Ext-finite R-module of finite Gorenstein injective dimension such that for each i 3 1i \geq 1 Extⁱ (E,M) = 0 for all indecomposable injective R-modules E 1 E(k)E \neq E(k), then the depth of the ring is equal to the sum of the Gorenstein injective dimension and Tor-depth of M. As a consequence, we get that this formula holds over a d-dimensional Gorenstein local ring for every nonzero cosyzygy of a finitely generated R-module and thus in particular each such n^th cosyzygy has its Tor-depth equal to the depth of the ring whenever n 3 dn \geq d.     

Absolute integral closure in positive characteristic

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke [M. Hochster, C. Huneke, Infinite integral extensions and big Cohen–Macaulay algebras, Ann. of Math. 135 (1992) 53–89] states that if R is excellent, then the absolute integral closure of R is a big Cohen–Macaulay algebra. We prove that if R is the homomorphic image of a Gorenstein local ring, then all the local cohomology (below the dimension) of such a ring maps to zero in a finite extension of the ring. As a result there follow an extension of the original result of Hochster and Huneke to the case in which R is a homomorphic image of a Gorenstein local ring, and a considerably simpler proof of this result in the cases where the assumptions overlap, e.g., for complete Noetherian local domains.     

On Artinian generalized local cohomology modules

Let R be a commutative Noetherian ring with non-zero identity and a be a maximal ideal of R. An R-module M is called minimax if there is a finitely generated submodule N of M such that M/N is Artinian. Over a Gorenstein local ring R of finite Krull dimension, we proved that the Socle of H _a ⁿ (R) is a minimax R-module for each n ≥ 0.     

Gorenstein Injective Envelopes of Artinian Modules

Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.     

Uniqueness of complex structure and real hereditarily indecomposable Banach spaces

There exists a real hereditarily indecomposable Banach space X=X(C) (respectively X=X(H)) such that the algebra L(X)/S(X) is isomorphic to C (respectively to the quaternionic division algebra H).Up to isomorphism, X(C) has exactly two complex structures, which are conjugate, totally incomparable, and both hereditarily indecomposable. So there exist two Banach spaces which are isometric as real spaces but totally incomparable as complex spaces. This extends results of J. Bourgain and S. Szarek [J. Bourgain, Real isomorphic complex Banach spaces need not be complex isomorphic, Proc. Amer. Math. Soc. 96 (2) (1986) 221-226; S. Szarek, On the existence and uniqueness of complex structure and spaces with “few” operators, Trans. Amer. Math. Soc. 293 (1) (1986) 339-353; S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444], and proves that a theorem of G. Godefroy and N.J. Kalton [G. Godefroy, N.J. Kalton, Lipschitz-free Banach spaces, Studia Math. 159 (1) (2003) 121-141] about isometric embeddings of separable real Banach spaces does not extend to the complex case.The quaternionic example X(H), on the other hand, has unique complex structure up to isomorphism; other examples with a unique complex structure are produced, including a space with an unconditional basis and non-isomorphic to l₂. This answers a question of S. Szarek in [S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444].