Showing 1–15 of 15 results for author: Sharif, T

Cohen-Macaulay homological dimensions

Authors: Parviz Sahandi, Tirdad Sharif, Siamak Yassemi

Abstract: We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay in… ▽ More We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant. △ Less

Submitted 7 April, 2019; originally announced April 2019.

Comments: To appear in Mathematica Scandinavica

MSC Class: 13H10; 13C15; 13D05

A study of Tate homology via the approximation theory with applications to the depth formula

Authors: Olgur Celikbas, Li Liang, Arash Sadeghi, Tirdad Sharif

Abstract: In this paper we are concerned with absolute, relative and Tate Tor modules. In the first part of the paper we generalize a result of Avramov and Martsinkovsky by using the Auslander-Buchweitz approximation theory, and obtain a new exact sequence connecting absolute Tor modules with relative and Tate Tor modules. In the second part of the paper we consider a depth equality, called the depth formul… ▽ More In this paper we are concerned with absolute, relative and Tate Tor modules. In the first part of the paper we generalize a result of Avramov and Martsinkovsky by using the Auslander-Buchweitz approximation theory, and obtain a new exact sequence connecting absolute Tor modules with relative and Tate Tor modules. In the second part of the paper we consider a depth equality, called the depth formula, which has been initially introduced by Auslander and developed further by Huneke and Wiegand. As an application of our main result, we generalize a result of Yassemi and give a new sufficient condition implying the depth formula to hold for modules of finite Gorenstein and finite injective dimension. △ Less

Submitted 21 January, 2022; v1 submitted 10 March, 2019; originally announced March 2019.

Comments: Final version; to appear in Acta Math. Sin. (Engl. Ser.)

MSC Class: 13D07; 13D05

Quasi projective dimension for complexes

Authors: Tirdad Sharif

Abstract: In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension. In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension. △ Less

Submitted 15 August, 2017; originally announced August 2017.

Relative Homology and Gorenstein Flat Dimension

Authors: Sean Sather-Wagstaff, Tirdad Sharif, Diana White

Abstract: We use the machinery of relative homological algebra to study modules of finite Gorenstein flat dimension. We use the machinery of relative homological algebra to study modules of finite Gorenstein flat dimension. △ Less

Submitted 14 November, 2013; v1 submitted 13 July, 2013; originally announced July 2013.

Comments: 19 pages, v.2 adds coauthor

MSC Class: 13C11; 13C12; 13D02; 13D05; 13D07

André-Quillen homology and complete intersection flat dimension

Authors: Tirdad Sharif

Abstract: We study the relation between the vanishing of André-Quillen homology and complete intersection flat dimension and we extend some of the existing results in the literature. We study the relation between the vanishing of André-Quillen homology and complete intersection flat dimension and we extend some of the existing results in the literature. △ Less

Submitted 9 October, 2018; v1 submitted 2 July, 2013; originally announced July 2013.

Comments: 10 pages, the authors and the title have changed

Depth formula via complete intersection flat dimension

Authors: Parviz Sahandi, Tirdad Sharif, Siamak Yassemi

Abstract: We prove the depth formula, for homologically bounded complexes $X, Y$ provided that the complete intersection flat dimension of $X$ is finite and $\sup(X\utp_RY)<\infty$. In particular, let $M$ and $N$ are two $R$-modules and the complete intersection flat dimension of $M$ is finite. Then $M$ and $N$ satisfies the depth formula, provided $\Tor^R_i(M,N)=0$ for all $i\ge 1$. We prove the depth formula, for homologically bounded complexes $X, Y$ provided that the complete intersection flat dimension of $X$ is finite and $\sup(X\utp_RY)<\infty$. In particular, let $M$ and $N$ are two $R$-modules and the complete intersection flat dimension of $M$ is finite. Then $M$ and $N$ satisfies the depth formula, provided $\Tor^R_i(M,N)=0$ for all $i\ge 1$. △ Less

Submitted 10 August, 2010; originally announced August 2010.

Comments: 10 pages, to appear in comm. Algebra

MSC Class: 13D05-13D09-13D25-13C15

Tate cohomology with respect to semidualizing modules

Authors: Sean Sather-Wagstaff, Tirdad Sharif, Diana White

Abstract: We investigate Tate cohomology of modules over a commutative noetherian ring with respect to semidualizing modules. We identify classes of modules admitting Tate resolutions and analyze the interaction between the corresponding relative and Tate cohomology modules. As an application of our approach, we prove a general balance result for Tate cohomology. Our results are based on an analysis of Ta… ▽ More We investigate Tate cohomology of modules over a commutative noetherian ring with respect to semidualizing modules. We identify classes of modules admitting Tate resolutions and analyze the interaction between the corresponding relative and Tate cohomology modules. As an application of our approach, we prove a general balance result for Tate cohomology. Our results are based on an analysis of Tate cohomology in abelian categories. △ Less

Submitted 28 July, 2009; originally announced July 2009.

Comments: 31 pages, uses xy-pic

MSC Class: 13D07 (Primary); 18G15; 18G25; 13D02 (Secondary); 13D05; 18G10; 18G20

A tight closure approach to a result of G. Faltings

Authors: Tirdad Sharif

Abstract: Using a result of M. Hochster and C. Huneke on $F$-rational rings a criterion for complete intersection rings of characteristic $p>0$ is presented. As an application, we give a completely different proof for an algebraic result of G. Faltings that was used by Taylor and Wiles in \cite{TW} for a simplification of the proof of the minimal deformation problem. Using a result of M. Hochster and C. Huneke on $F$-rational rings a criterion for complete intersection rings of characteristic $p>0$ is presented. As an application, we give a completely different proof for an algebraic result of G. Faltings that was used by Taylor and Wiles in \cite{TW} for a simplification of the proof of the minimal deformation problem. △ Less

Submitted 17 June, 2008; originally announced June 2008.

AB-Contexts and Stability for Gorenstein Flat Modules with Respect to Semidualizing Modules

Authors: Sean Sather-Wagstaff, Tirdad Sharif, Diana White

Abstract: We investigate the properties of categories of G_C-flat R-modules where C is a semidualizing module over a commutative noetherian ring R. We prove that the category of all G_C-flat R-modules is part of a weak AB-context, in the terminology of Hashimoto. In particular, this allows us to deduce the existence of certain Auslander-Buchweitz approximations for R-modules of finite G_C-flat dimension.… ▽ More We investigate the properties of categories of G_C-flat R-modules where C is a semidualizing module over a commutative noetherian ring R. We prove that the category of all G_C-flat R-modules is part of a weak AB-context, in the terminology of Hashimoto. In particular, this allows us to deduce the existence of certain Auslander-Buchweitz approximations for R-modules of finite G_C-flat dimension. We also prove that two procedures for building R-modules from complete resolutions by certain subcategories of G_C-flat R-modules yield only the modules in the original subcategories. △ Less

Submitted 6 March, 2008; originally announced March 2008.

Comments: 22 pages, uses xypic

MSC Class: 13C05; 13C11; 13D02; 13D05

Homological flat dimensions

Authors: Parviz Sahandi, Tirdad Sharif, Siamak Yassemi

Abstract: For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimension… ▽ More For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimensions) which for finitely generated modules, coincide with the corresponding classical ones. △ Less

Submitted 4 February, 2008; v1 submitted 26 September, 2007; originally announced September 2007.

Comments: 24pages

MSC Class: 13D05

Gorenstein cohomology in abelian categories

Authors: Sean Sather-Wagstaff, Tirdad Sharif, Diana White

Abstract: We investigate relative cohomology functors on subcategories of abelian categories via Auslander-Buchweitz approximations and the resulting strict resolutions. We verify that certain comparison maps between these functors are isomorphisms and introduce a notion of perfection for this context. Our main theorem is a balance result for relative cohomology that simultaneously recovers theorems of Ho… ▽ More We investigate relative cohomology functors on subcategories of abelian categories via Auslander-Buchweitz approximations and the resulting strict resolutions. We verify that certain comparison maps between these functors are isomorphisms and introduce a notion of perfection for this context. Our main theorem is a balance result for relative cohomology that simultaneously recovers theorems of Holm and the current authors as special cases. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Comments: 22 pages

MSC Class: Primary 18G10; 18G15; 18G20; 18G25; Secondary 13D02; 13D05; 13D07

Comparison of relative cohomology theories with respect to semidualizing modules

Authors: Sean Sather-Wagstaff, Tirdad Sharif, Diana White

Abstract: We compare and contrast various relative cohomology theories that arise from resolutions involving semidualizing modules. We prove a general balance result for relative cohomology over a Cohen-Macaulay ring with a dualizing module, and we demonstrate the failure of the naive version of balance one might expect for these functors. We prove that the natural comparison morphisms between relative co… ▽ More We compare and contrast various relative cohomology theories that arise from resolutions involving semidualizing modules. We prove a general balance result for relative cohomology over a Cohen-Macaulay ring with a dualizing module, and we demonstrate the failure of the naive version of balance one might expect for these functors. We prove that the natural comparison morphisms between relative cohomology modules are isomorphisms in several cases, and we provide a Yoneda-type description of the first relative Ext functor. Finally, we show by example that each distinct relative cohomology construction does in fact result in a different functor. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Comments: 28 pages

MSC Class: 13D02; 13D05; 13D07

Stability of Gorenstein Categories

Authors: Sean Sather-Wagstaff, Tirdad Sharif, Diana White

Abstract: We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective $R$-modules $G=...\xra{\partial^G_2}G_1\xra{\partial^G_1}G_0\xra{\partial^G_0} ...$ such that the complexes $\Hom_R(G,H)$ and $\Hom_R(H,G)$ are exact for each Gorens… ▽ More We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective $R$-modules $G=...\xra{\partial^G_2}G_1\xra{\partial^G_1}G_0\xra{\partial^G_0} ...$ such that the complexes $\Hom_R(G,H)$ and $\Hom_R(H,G)$ are exact for each Gorenstein projective $R$-module $H$, the module $\coker(\partial^G_1)$ is Gorenstein projective. The proof of this result hinges upon our analysis of Gorenstein subcategories of abelian categories. △ Less

Submitted 21 June, 2007; v1 submitted 21 March, 2007; originally announced March 2007.

Comments: 21 pages, uses XY-pic. Version 2 contains corrected proofs of Lemma 2.1 and Theorem 4.8

MSC Class: 13C05; 13D02; 13D07; 18G10; 18G15

Special homological dimensions and Intersection Theorem

Authors: Tirdad Sharif, Siamak Yassemi

Abstract: Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show that, in the Intersection Theorem, projective dimension can be replaced by quasi--projective dimension. Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show that, in the Intersection Theorem, projective dimension can be replaced by quasi--projective dimension. △ Less

Submitted 7 April, 2004; originally announced April 2004.

Comments: 10 pages

MSC Class: 13D05; 13D25

Bounds for numbers of generators for a class of submodules of a finitely generated module

Authors: Tirdad Sharif, Siamak Yassemi

Abstract: The aim of this paper is to obtain a uniform bound for a certain class of submodules from the following theorem: Let $(R,\frak m)$ be a local ring, let $M$ be a finite $R$--module of dimension $d\ge 1$ and let $\frak q$ be an ideal of $R$ generated by a system of parameters on $M$. Let $N$ be a submodule of $M$ with $\depth M/N\ge d-1$. Then $\ell(N/\frak qN)\le\ell(M/\frak qM)$. The aim of this paper is to obtain a uniform bound for a certain class of submodules from the following theorem: Let $(R,\frak m)$ be a local ring, let $M$ be a finite $R$--module of dimension $d\ge 1$ and let $\frak q$ be an ideal of $R$ generated by a system of parameters on $M$. Let $N$ be a submodule of $M$ with $\depth M/N\ge d-1$. Then $\ell(N/\frak qN)\le\ell(M/\frak qM)$. △ Less

Submitted 1 October, 2002; originally announced October 2002.

Comments: 5 pages

MSC Class: 13C99; 13E15; 13H10