Gorenstein algebras and Hochschild cohomology

Abstract. For homomorphism σ: K → S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K- module, the property that all non-trivial fiber rings of σ are Gorenstein is characterized in terms of properties of the cohomology modules Ext