A FREENESS CRITERION WITHOUT PATCHING FOR MODULES OVER LOCAL RINGS

It is proved that if $\varphi \colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated B-module N whose flat dimension over A is at most $\operatorname {edim} A - \operatorname {edim} B$ is free over B and $\varphi $ is a special type of complete intersection. This result is motivated by a ‘patching method’ developed by Taylor and Wiles and a conjecture of de Smit, proved by the first author, dealing with the special case when N is flat over A.

New model structures and projective (injective) cotorsion pairs

Let [Formula: see text] be either the category of [Formula: see text]-modules or the category of chain complexes of [Formula: see text]-modules and [Formula: see text] a cofibrantly generated hereditary abelian model structure on [Formula: see text]. First, we get a new cofibrantly generated model structure on [Formula: see text] related to [Formula: see text] for any positive integer [Formula: see text], and hence, one can get new algebraic triangulated categories. Second, it is shown that any [Formula: see text]-strongly Gorenstein projective module gives rise to a projective cotorsion pair cogenerated by a set. Finally, let [Formula: see text] be an [Formula: see text]-module with finite flat dimension and [Formula: see text] a positive integer, if [Formula: see text] is an exact sequence of [Formula: see text]-modules with every [Formula: see text] Gorenstein injective, then [Formula: see text] is injective.

Lower-Estimates on the Hochschild (Co)Homological Dimension of Commutative Algebras and Applications to Smooth Affine Schemes and Quasi-Free Algebras

The Hochschild cohomological dimension of any commutative k-algebra is lower-bounded by the least-upper bound of the flat-dimension difference and its global dimension. Our result is used to show that for a smooth affine scheme X satisfying Pointcaré duality, there must exist a vector bundle with section M and suitable n which the module of algebraic differential n-forms Ωn(X,M). Further restricting the notion of smoothness, we use our result to show that most k-algebras fail to be smooth in the quasi-free sense. This consequence, extends the currently known results, which are restricted to the case where k=C.

Ascent properties for test modules

We investigate modules for which vanishing of Tor-modules implies finiteness of homological dimensions (e.g., projective dimension and G-dimension). In particular, we answer a question of O. Celikbas and Sather-Wagstaff about ascent properties of such modules over residually algebraic flat local ring homomorphisms. To accomplish this, we consider ascent and descent properties over local ring homomorphisms of finite flat dimension, and for flat extensions of finite dimensional differential graded algebras.

Cohen-Macaulay homological dimensions

We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant.

Finitistic dimension and endomorphism algebras of 𝒲-Gorenstein modules

Let [Formula: see text] be an artin algebra, [Formula: see text] be a [Formula: see text]-Gorenstein [Formula: see text]-module and [Formula: see text], then [Formula: see text] is a [Formula: see text]-[Formula: see text]-bimodule. We use the restricted flat dimension of [Formula: see text] and the finitistic [Formula: see text]-dimension of [Formula: see text] to characterize the finitistic dimension of [Formula: see text], and obtain the following main result: if [Formula: see text] is [Formula: see text]-finite with [Formula: see text], then we have: (1) If [Formula: see text] or [Formula: see text], then [Formula: see text] (2) If [Formula: see text], then [Formula: see text]