Source author record

Tirdad Sharif

Tirdad Sharif appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AC math.RA

Catalog footprint

What is connected

4works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

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

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.

preprint2013arXiv

Relative Homology and Gorenstein Flat Dimension

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

preprint2010arXiv

Depth formula via complete intersection flat dimension

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$.

preprint2007arXiv

Stability of Gorenstein Categories

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.