Showing 1–11 of 11 results for author: Faridian, H

Quillen's Fundamental Spectral Sequences Revisited

Authors: Hossein Faridian

Abstract: Quillen's fundamental spectral sequences relate André-Quillen homology and cohomology to Tor and Ext functors. The five-term exact sequences arising from these spectral sequences are leveraged to characterize regular and complete intersection local rings. Despite their immense importance in the theory of André-Quillen homology and cohomology, these spectral sequences are not treated in the literat… ▽ More Quillen's fundamental spectral sequences relate André-Quillen homology and cohomology to Tor and Ext functors. The five-term exact sequences arising from these spectral sequences are leveraged to characterize regular and complete intersection local rings. Despite their immense importance in the theory of André-Quillen homology and cohomology, these spectral sequences are not treated in the literature as they merit. A sketchy argument with gaps for a special case of the first spectral sequence appears in an unpublished manuscript of Quillen, while the second spectral sequence is only stated without proof in another paper of Quillen. A rigorous proof of the spectral sequences requires a delicate investigation of the subtle structures involved. The goal of this expository article is to present a comprehensive and detailed proof of Quillen's fundamental spectral sequences in a readable and well-structured manner. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Authors: Hossein Faridian

Abstract: This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by starting from the model structure on the category of connective chain complexes, transferring it to the category of simplicial modules via Dold-Kan Correspondence,… ▽ More This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by starting from the model structure on the category of connective chain complexes, transferring it to the category of simplicial modules via Dold-Kan Correspondence, and further transferring it to the category of simplicial commutative algebras through Quillen-Kan Transfer Machine. The subtlety of overcoming the acyclicity condition is addressed by introducing and studying the shuffle product of connective chain complexes, establishing a variant of Eilenberg-Zilber Theorem, and carefully scrutinizing the subtle structures under study. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Bounds on Gorenstein Dimensions and Exceptional Complete Intersection Maps

Authors: Hossein Faridian

Abstract: We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings of finite flat dimension and $M$ is a non-zero finitely generated $S$-module whose Gorenstein flat dimension over $R$ is bounded by the difference of the embedding dimensions of $R$ and $S$, then $M$ is a totally reflexive $S$-module and $f$ is an exceptional complete intersection map. This is an extension of a… ▽ More We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings of finite flat dimension and $M$ is a non-zero finitely generated $S$-module whose Gorenstein flat dimension over $R$ is bounded by the difference of the embedding dimensions of $R$ and $S$, then $M$ is a totally reflexive $S$-module and $f$ is an exceptional complete intersection map. This is an extension of a result of Brochard, Iyengar, and Khare to Gorenstein flat dimension. We also prove two analogues involving Gorenstein injective dimension. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: arXiv admin note: text overlap with arXiv:2307.13121

Bounds on Injective Dimension and Exceptional Complete Intersection Maps

Authors: Hossein Faridian

Abstract: We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding dimensions of $R$ and $S$, then $M$ is an injective $S$-module and $f$ is an exceptional complete intersection map. We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding dimensions of $R$ and $S$, then $M$ is an injective $S$-module and $f$ is an exceptional complete intersection map. △ Less

Submitted 24 July, 2023; originally announced July 2023.

A Note on Projective Modules

Authors: Hossein Faridian

Abstract: This expository note delves into the theory of projective modules parallel to the one developed for injective modules by Matlis. Given a perfect ring $R$, we present a characterization of indecomposable projective $R$-modules and describe a one-to-one correspondence between the projective indecomposable $R$-modules and the simple $R$-modules. This expository note delves into the theory of projective modules parallel to the one developed for injective modules by Matlis. Given a perfect ring $R$, we present a characterization of indecomposable projective $R$-modules and describe a one-to-one correspondence between the projective indecomposable $R$-modules and the simple $R$-modules. △ Less

Submitted 16 November, 2020; originally announced November 2020.

Gorenstein Homology and Finiteness Properties of Local (Co)homology

Authors: Hossein Faridian

Abstract: This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with bounded complexes of projective and injective modules, respectively. As an application, we investigate the Gorenstein version of the New Intersection Theorem. The… ▽ More This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with bounded complexes of projective and injective modules, respectively. As an application, we investigate the Gorenstein version of the New Intersection Theorem. The second chapter studies the notion of cofiniteness for modules and complexes set forth by Hartshorne. Recruiting techniques of derived category, we study this notion thoroughly, obtain novel results, and extend some of the results to stable under specialization sets. The third chapter delves into the Greenlees-May Duality Theorem which is widely thought of as a far-reaching generalization of the Grothendieck's Local Duality Theorem. This theorem is not addressed in the literature as it merits and its proof is indeed a tangled web in a series of scattered papers. By carefully scrutinizing the requisite tools, we present a clear-cut well-documented proof of this theorem. △ Less

Submitted 6 October, 2020; originally announced October 2020.

Stable Under Specialization Sets and Cofiniteness

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of… ▽ More Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of these cases, we prove that the local cohomology module $H^{i}_{\mathcal{Z}}(X)$ is $\mathcal{Z}$-cofinite for every homologically left-bounded $R$-complex $X$ whose homology modules are finitely generated and every $i \in \mathbb{Z}$. △ Less

Submitted 26 April, 2018; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: It will appear in Journal of Algebra and its applications

MSC Class: 13D45; 13D07; 13D09

Greenlees-May Duality in a Nutshell

Authors: Hossein Faridian

Abstract: This expository article delves into the Greenlees-May Duality Theorem which is widely thought of as a far-reaching generalization of the Grothendieck's Local Duality Theorem. This theorem is not addressed in the literature as it merits and its proof is indeed a tangled web in a series of scattered papers. By carefully scrutinizing the requisite tools, we present a clear-cut well-documented proof o… ▽ More This expository article delves into the Greenlees-May Duality Theorem which is widely thought of as a far-reaching generalization of the Grothendieck's Local Duality Theorem. This theorem is not addressed in the literature as it merits and its proof is indeed a tangled web in a series of scattered papers. By carefully scrutinizing the requisite tools, we present a clear-cut well-documented proof of this theorem for the sake of bookkeeping. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Local Homology, Koszul Homology and Serre Classes

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known de… ▽ More Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about the literature. △ Less

Submitted 26 April, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: It will appear in Rocky Mountain Journal of Mathematics

MSC Class: 13D07; 13D45; 13C05

Local homology, finiteness of Tor modules and cofiniteness

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and only if the $R$-module $\Tor^R_i(R/\fa,M)$ is finitely generated for every $0\leq i\leq n$. This provides a hands-on and computable finitely-many-steps criterion… ▽ More Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and only if the $R$-module $\Tor^R_i(R/\fa,M)$ is finitely generated for every $0\leq i\leq n$. This provides a hands-on and computable finitely-many-steps criterion to examine $\mathfrak{a}$-confiniteness. Our approach relies heavily on the theory of local homology which demonstrates the effectiveness and indispensability of this tool. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Comments: To appear in Journal of Algebra and Its Applications

MSC Class: 13D45; 13E05

A New Outlook on Cofiniteness

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq 2$, then the local cohomology module… ▽ More Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq 2$, then the local cohomology module $H^{i}_{\mathfrak{a}}(X)$ is $\mathfrak{a}$-cofinite for every $R$-complex $X$ with finitely generated homology modules and every $i \in \mathbb{Z}$. We further answer Question 1.3 in the three aforementioned cases, and reveal a correlation between Questions 1.1, 1.2, and 1.3. △ Less

Submitted 26 April, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: It will appear in Kyoto Journal of Mathematics

MSC Class: 13D45; 13D07; 13D09