Related papers: Kustin-Miller unprojection with complexes
Gorenstein projection plays a key role in birational geometry; the typical example is the linear projection of a del Pezzo surface of degree d to one of degree d-1, but variations on the same idea provide many of the classical and modern…
Kustin--Miller unprojection constructs more complicated Gorenstein rings from simpler ones. Geometrically, it inverts certain projections, and appears in the constructions of explicit birational geometry. However, it is often desirable to…
Unprojection is a theory due to Reid which constructs more complicated rings starting from simpler data. The idea of unprojection is intended for serial use. Papadakis and Neves developed a theory of parallel unprojection. In the present…
Unprojection theory aims to analyze and construct complicated commutative rings in terms of simpler ones. Our main result is that, on the algebraic level of Stanley-Reisner rings, stellar subdivisions of non-acyclic Gorenstein simplicial…
The Kustin-Miller complex construction, due to A. Kustin and M. Miller, can be applied to a pair of resolutions of Gorenstein rings with certain properties to obtain a new Gorenstein ring and a resolution of it. It gives a tool to construct…
For a tensor ring $T_R(M)$, under certain conditions, we characterize the Gorenstein projective modules over $T_R(M)$, and prove that a $T_R(M)$-module $(X,u)$ is Gorenstein projective if and only if $u$ is monomorphic and ${\rm coker}(u)$…
Unprojection theory is a philosophy due to Miles Reid, which becomes a useful tool in algebraic geometry for the construction and the study of new interesting geometric objects such as algebraic surfaces and 3-folds. In the present work we…
Let $T_R(M)$ be a tensor ring, where $R$ is a ring and $M$ is an $N$-nilpotent $R$-bimodule. Under certain conditions, we characterize projectively coresolved Gorenstein flat modules over $T_R(M)$, showing that a $T_R(M)$ module $(X,u)$ is…
We describe elementary transformations between minimal models of rational surfaces in terms of unprojections. These do not fit into the framework of Kustin-Miller unprojections as introduced by Papadakis and Reid, since we have to leave the…
The existence of the Gorenstein projective precovers over arbitrary rings is an open question. In this paper, we make use of three diferent techniques addressing intrinsic and homological properties of several classes of relative Gorenstein…
We introduce and investigate the notion of $\gc$-projective modules over (possibly non-noetherian) commutative rings, where $C$ is a semidualizing module. This extends Holm and J{\o}rgensen's notion of $C$-Gorenstein projective modules to…
The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is…
Let $T_R(M)$ be a tensor ring, where $R$ is a ring and $M$ is an $N$-nilpotent $R$-bimodule. Under certain conditions, we characterize the Gorenstein flat-cotorsion modules over $T_R(M)$, showing that a $T_R(M)$-module $(X, u)$ is…
Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results…
Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…
In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings…
Let $(R,\mathfrak m)$ denote an $n$-dimensional complete local Gorenstein ring. For an ideal $I$ of $R$ let $H^i_I(R), i \in \mathbb Z,$ denote the local cohomology modules of $R$ with respect to $I.$ If $H^i_I(R) = 0$ for all $i \not= c =…
For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein…
We study the projective dimension of finitely generated modules over cluster-tilted algebras End(T) where T is a cluster-tilting object in a cluster category C. It is well-known that all End(T)-modules are of the form Hom(T,M) for some…
Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical…