Theorem. Let R be a Cohen-Macaulay ring (locally, always) 1 c R an ideal o f height at least 2, S the Rees ring of R with respect to I, and G = S /S I the associated graded ring. Assume that S and G are Cohen-Macaulay rings, and that S has a canonical module cos. Then G has a canonical module r and: (i) I f co s can be embedded into S such that cos (considered as an ideal now) is not contained ...

We study Gorenstein dimension and grade of a module M over a filtered ring whose assosiated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded module is the most valuable property for an investigation of filtered rings. We prove an inequality G-dimM ≤ G-dimgrM and an equality gradeM = grade grM , whe...

Let X be a projective minimal Gorenstein 3-fold of general type with canonical singularities. We prove that the 5canonical map is birational onto its image.

In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.

Let $(R,underline{m})$ be a commutative Noetherian local ring and $M$ be a non-zero finitely generated $R$-module. We show that if $R$ is almost Cohen-Macaulay and $M$ is perfect with finite projective dimension, then $M$ is an almost Cohen-Macaulay module. Also, we give some necessary and sufficient condition on $M$ to be an almost Cohen-Macaulay module, by using $Ext$ functors.

Let (R,m, k) be a d-dimensional Noetherian reduced local ring of prime characteristic p such that R1/p e are finite over R for all e ∈ N (i.e. R is F -finite). Consider the sequence { ae qα(R)+d }e=0, in which α(R) = logp[k : kp], q = pe, and ae is the maximal rank of free R-modules appearing as direct summands of R-module R1/q . Denote by s−(R) and s+(R) the liminf and limsup respectively of t...

let $r$ be a commutative ring. we write $mbox{hom}(mu_a, nu_b)$ for the set of all fuzzy $r$-morphisms from $mu_a$ to $nu_b$, where $mu_a$ and $nu_b$ are two fuzzy $r$-modules. we make$mbox{hom}(mu_a, nu_b)$ into fuzzy $r$-module by redefining a function $alpha:mbox{hom}(mu_a, nu_b)longrightarrow [0,1]$. we study the properties of the functor $mbox{hom}(mu_a,-):frmbox{-mod}rightarrow frmbox{-mo...

An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces C/G in dimensions r ≥ 4 would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit necessary and suf...

For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the intermediate extension to a Hodge module on P of the variation of Hodge structure on the middle-dimensional cohomology of the hyperplane sections of X . We also e...

In these notes we will first define projective modules and prove some standard properties of those modules. Then we will classify finitely generated projective modules over Dedekind domains Remark 0.1. All rings will be commutative with 1. 1. Projective modules Definition 1.1. Let R be a ring and let M be an R-module. Then M is called projective if for all surjections p : N → N ′ and a map f : ...