A main ingredient for Kustin–Miller unprojection, as developed in [PR], is the module HomR(I, ωR), where R is a local Gorenstein ring and I a codimension one ideal with R/I Gorenstein. We prove a method of calculating it in a relative setting using resolutions. We give three applications. In the first we generalise a result of [CFHR]. The second and the third are about Tom and Jerry, two famili...

In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three classes of modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of “Gorenstein projective, injective, and flat modules”and the no...

In 1966, Auslander introduced the notion of the G-dimension of a finitely generated module over a Cohen-Macaulay noetherian ring and found the basic properties of these dimensions. His results were valid over a local Cohen-Macaulay ring admitting a dualizing module (also see Auslander and Bridger (Mem. Amer. Math. Soc., vol. 94, 1969)). Enochs and Jenda attempted to dualize the notion of G-dime...

Max Noether’s Theorem asserts that if ω is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms SymH(ω) → H(ω) are surjective for all n ≥ 1. This is true for Gorenstein nonhyperelliptic curves as well. We prove this remains true for nearly Gorenstein curves and for all integral nonhyperelliptic curves whose non-Gorenstein points are unibranch. The re...

We examine some recent work of Phillip Griffith on étale covers and fibered products from the point of view of tight closure theory. While it is known that cyclic covers of Gorenstein rings with rational singularities are Cohen-Macaulay, we show this is not true in general in the absence of the Gorenstein hypothesis. Specifically, we show that the canonical cover of a Q-Gorenstein ring with rat...

In 1966 [1], Auslander introduced a class of finitely generated modules having a certain complete resolution by projective modules. Then using these modules, he defined the G-dimension (G ostensibly for Gorenstein) of finitely generated modules. It seems appropriate then to call the modules of G-dimension 0 the Gorenstein projective modules. In [4], Gorenstein projective modules (whether finite...

In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong [WY06b] on the Gorenstein locus of Schubert varieties.

This paper discusses free-choice like effects in generics. Just as Jane may drink coffee or tea can be used to convey Jane may drink coffee and Jane may drink tea (she is “free to choose”), some generics with disjunctive predicates can be used to convey conjunctions of simpler generics: elephants live in Africa or Asia can be used to convey elephants live in Africa and elephants live in Asia. I...

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of Artinian Gorenstein algebras with the Weak Lefschetz Property, a property shared by most Artinian Gorenstein algebras. Starting with an arbitrary SI-sequence, we construct a reduced, arithmeti...

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 two special cases of a question of Takahashi and White.