Let $(R,fm,k)$ be a local Gorenstein ring of dimension $n$. Let $H_{I,J}^i(R)$ be the  local cohomology with respect to a pair of ideals $I,J$ and $c$ be the $inf{i|H_{I,J}^i(R)neq0}$. A pair of ideals $I, J$ is called cohomologically complete intersection if $H_{I,J}^i(R)=0$ for all $ineq c$. It is shown that, when $H_{I,J}^i(R)=0$ for all $ineq c$, (i) a minimal injective resolution of $H_{I,...

We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it and reflects give conditions on when a stable objects, singularity defect categories, respectively. In appendix, we direct proof following known result: for an category with enough projectives injectives, its global coincides injective dimension.

known as the left big finitistic projective dimension of A, is finite. Here pdM denotes the projective dimension of M . Unfortunately, this number is not known to be finite even if A is a finite dimensional algebra over a field, where, indeed, its finiteness is a celebrated conjecture. On the other hand, for such an algebra, finite flat certainly implies finite projective dimension, simply beca...

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory ω of an abelian category. We introduce the Frobenius category of ω-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of ω-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable cat...

Let [Formula: see text] be an abelian category. In this paper, we investigate the global text]-Gorenstein projective dimension text], associated to a GP-admissible pair text]. We give homological conditions over that characterize it. Moreover, given GI-admissible study under which and are same.

If V is an equidimensional codimension c subscheme of an n-dimensional projective space, and V is linked to V ′ by a complete intersection X, then we say that V is minimally linked to V ′ if X is a codimension c complete intersection of smallest degree containing V . Gaeta showed that if V is any arithmetically Cohen-Macaulay (ACM) subscheme of codimension two then there is a finite sequence of...

For Gorenstein quotient spaces C d =G, a direct generalization of the classical McKay correspondence in dimensions d 4 would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstei...

For Gorenstein quotient spaces C/G, a direct generalization of the classical McKay correspondence in dimensions d ≥ 4 would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein...

Tate local cohomology and Gorenstein theory, which are important generalizations of the classical cohomology, has been investigated. It found that they have such vanishing properties long exact sequences. However, for homology, what about duality? In this paper we concerned with homology homology. first part generalize as study properties, artinianness some sequence modules. We find an artiania...