Showing 1–12 of 12 results for author: Gheibi, M

Characteristic modules over a local ring

Authors: Mohsen Gheibi, Ryo Takahashi

Abstract: Let $R$ be a commutative noetherian local ring, and let $M$ be a finitely generated $R$-module. Inspired by works of Vasconcelos and Briggs on characterization of complete intersection local rings through the homological properties of the conormal module, in this paper, we define the characteristic module $\mathrm{T}_M$ and the cocharacteristic module $\mathrm{E}_M$ of $M$, and investigate their p… ▽ More Let $R$ be a commutative noetherian local ring, and let $M$ be a finitely generated $R$-module. Inspired by works of Vasconcelos and Briggs on characterization of complete intersection local rings through the homological properties of the conormal module, in this paper, we define the characteristic module $\mathrm{T}_M$ and the cocharacteristic module $\mathrm{E}_M$ of $M$, and investigate their properties. Our main results include characterizations of Cohen--Macaulay and Gorenstein local rings. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: Comments are welcome

MSC Class: 13D05; 13D07; 13H10

Numerical aspects of complexes of finite homological dimensions

Authors: Majid Rahro Zargar, Mohsen Gheibi

Abstract: Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = ν(\Ext^{g-\inf C}_R(Z,C))μ^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite $\GC$-dimension $g$. Additionally, we prove that if $\Ext^i(M,N)=0$ for sufficiently large $i$, while $\id_R\Ext^i(M,N)$ remains finite for all $i$, then both $\pd_R M$ and… ▽ More Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = ν(\Ext^{g-\inf C}_R(Z,C))μ^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite $\GC$-dimension $g$. Additionally, we prove that if $\Ext^i(M,N)=0$ for sufficiently large $i$, while $\id_R\Ext^i(M,N)$ remains finite for all $i$, then both $\pd_R M$ and $\id_R N$ are finite when $M$ and $N$ are finitely generated $R$-modules. These findings extend the recent results of Ghosh and Puthenpurakal \cite{Ghosh}, addressing their questions as presented in \cite[Question 3.9]{Ghosh} and \cite[Question 4.2]{Ghosh}. △ Less

Submitted 20 May, 2023; originally announced May 2023.

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

Quasi-injective dimension

Authors: Mohsen Gheibi

Abstract: Following our previous work about quasi-projective dimension, in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module $M$ over a loca… ▽ More Following our previous work about quasi-projective dimension, in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module $M$ over a local ring $R$ is finite, then it is equal to the depth of $R$. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then $R$ is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then $R$ is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite. △ Less

Submitted 7 June, 2023; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: The final version, to appear in J. Pure and Applied Algebra

MSC Class: 13D05; 13D07; 13H10

The homotopy Lie algebra of a Tor-independent tensor product

Authors: Luigi Ferraro, Mohsen Gheibi, David A. Jorgensen, Nicholas Packauskas, Josh Pollitz

Abstract: In this article we investigate a pair of surjective local ring maps $S_1\leftarrow R\to S_2$ and their relation to the canonical projection $R\to S_1\otimes_R S_2$, where $S_1,S_2$ are Tor-independent over $R$. Our main result asserts a structural connection between the homotopy Lie algebra of $S:=S_1\otimes_R S_2$, denoted $π(S)$, in terms of those of $R,S_1$ and $S_2$. Namely, $π(S)$ is the pull… ▽ More In this article we investigate a pair of surjective local ring maps $S_1\leftarrow R\to S_2$ and their relation to the canonical projection $R\to S_1\otimes_R S_2$, where $S_1,S_2$ are Tor-independent over $R$. Our main result asserts a structural connection between the homotopy Lie algebra of $S:=S_1\otimes_R S_2$, denoted $π(S)$, in terms of those of $R,S_1$ and $S_2$. Namely, $π(S)$ is the pullback of (adjusted) Lie algebras along the maps $π(S_i)\to π(R)$ in various cases, including when the maps above have residual characteristic zero. Consequences to the main theorem include structural results on André-Quillen cohomology, stable cohomology, and Tor algebras, as well as an equality relating the Poincaré series of the common residue field of $R,S_1,S_2$ and $S$. △ Less

Submitted 19 July, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: 20 pages. Corrected a mistake in 1.7; simplified and reorganized Sections 4 and 5

MSC Class: 13D02; 13D07; 16E45

Quasi-projective dimension

Authors: Mohsen Gheibi, David A. Jorgensen, Ryo Takahashi

Abstract: In this paper, we introduce a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. We discuss various properties of quasi-projective dimension. Among other things, we prove the following. (1) Over a quotient of a regular local ring by a regular sequence, every finitely generated module has finite quasi-projective dimension. (2) The Ausland… ▽ More In this paper, we introduce a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. We discuss various properties of quasi-projective dimension. Among other things, we prove the following. (1) Over a quotient of a regular local ring by a regular sequence, every finitely generated module has finite quasi-projective dimension. (2) The Auslander--Buchsbaum formula and the depth formula for modules of finite projective dimension remain valid for modules of finite quasi-projective dimension. (3) Several results on vanishing of Tor and Ext hold for modules of finite quasi-projective dimension. △ Less

Submitted 12 February, 2021; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: Final version, to appear in Pacific Journal of Mathematics

MSC Class: 13D05; 13D07; 13H10

Journal ref: Pacific J. Math. 312 (2021) 113-147

Some criteria for detecting large homomorphisms of local rings

Authors: Mohsen Gheibi, Ryo Takahashi

Abstract: We study ideals in a local ring $R$ whose quotient rings induce large homomorphisms of local rings. We characterize such ideals over complete intersections, Koszul rings, and over some classes of Golod rings. We study ideals in a local ring $R$ whose quotient rings induce large homomorphisms of local rings. We characterize such ideals over complete intersections, Koszul rings, and over some classes of Golod rings. △ Less

Submitted 2 March, 2021; v1 submitted 9 March, 2019; originally announced March 2019.

Comments: Final version, to appear in Communications in Algebra

Totally Reflexive Modules and Poincaré Series

Authors: Mohsen Gheibi, Ryo Takahashi

Abstract: We study Cohen-Macaulay non-Gorenstein local rings $(R,\mathfrak{m},k)$ admitting certain totally reflexive modules. More precisely, we give a description of the Poincaré series of $k$ by using the Poincaré series of a non-zero totally reflexive module with minimal multiplicity. Our results generalize a result of Yoshino to higher-dimensional Cohen-Macaulay local rings. Moreover, from a quasi-Gore… ▽ More We study Cohen-Macaulay non-Gorenstein local rings $(R,\mathfrak{m},k)$ admitting certain totally reflexive modules. More precisely, we give a description of the Poincaré series of $k$ by using the Poincaré series of a non-zero totally reflexive module with minimal multiplicity. Our results generalize a result of Yoshino to higher-dimensional Cohen-Macaulay local rings. Moreover, from a quasi-Gorenstein ideal satisfying some conditions, we construct a family of non-isomorphic indecomposable totally reflexive modules having an arbitrarily large minimal number of generators. △ Less

Submitted 30 November, 2018; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: Final version. To appear in J. Algebra

MSC Class: 13C13; 13D40

Associated Primes and Syzygies of Linked Modules

Authors: Olgur Celikbas, Mohammad T. Dibaei, Mohsen Gheibi, Arash Sadeghi, Ryo Takahashi

Abstract: Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring $R$, if a Cohen-Macaulay $R$-module $M$ of grade $g$ is linked to an $R$-module $N$ by a Gorenstein ideal $c$, such that $Ass_R(M)\cap Ass_R(N)=\emptyset$, then $M\otimes_RN$ is isomorphic to direct sum of copies of $R/a$, where $a$ is a Gorenstein ideal of $R$ of grade $g+1$. We give a criterion for… ▽ More Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring $R$, if a Cohen-Macaulay $R$-module $M$ of grade $g$ is linked to an $R$-module $N$ by a Gorenstein ideal $c$, such that $Ass_R(M)\cap Ass_R(N)=\emptyset$, then $M\otimes_RN$ is isomorphic to direct sum of copies of $R/a$, where $a$ is a Gorenstein ideal of $R$ of grade $g+1$. We give a criterion for the depth of a local ring $(R,m,k)$ in terms of the homological dimensions of the modules linked to the syzygies of the residue field $k$. As a result we characterize a local ring $(R,m,k)$ in terms of the homological dimensions of the modules linked to the syzygies of $k$. △ Less

Submitted 6 April, 2017; v1 submitted 27 February, 2016; originally announced February 2016.

Comments: To appear in Journal of Commutative Algebra

MSC Class: 13D07; 13D02; 13C40; 13D05

Homological dimensions of rigid modules

Authors: Olgur Celikbas, Mohsen Gheibi, Majid Rahro Zargar, Arash Sadeghi

Abstract: We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective dimension of the maximal ideal $\fm$ of $R$ is finite. Furthermore we prove that $R$ must be regular if a single $\Ext_{R}^{n}(I,J)$ vanishes for some integrally cl… ▽ More We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective dimension of the maximal ideal $\fm$ of $R$ is finite. Furthermore we prove that $R$ must be regular if a single $\Ext_{R}^{n}(I,J)$ vanishes for some integrally closed $\fm$-primary ideals $I$ and $J$ of $R$ and for some integer $n\geq \dim(R)$. Along the way we observe that local rings that admit maximal Cohen-Macaulay Tor-rigid modules are Cohen-Macaulay. △ Less

Submitted 9 February, 2015; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: Major revision; title and abstract has been edited, new sections included

Journal ref: Kyoto J. Math. 58, no. 3 (2018), 639-669

Brauer-Thrall for totally reflexive modules over local rings of higher dimension

Authors: Olgur Celikbas, Mohsen Gheibi, Ryo Takahashi

Abstract: Let $R$ be a commutative Noetherian local ring. Assume that $R$ has a pair $\{x,y\}$ of exact zerodivisors such that $\dim R/(x,y)\ge2$ and all totally reflexive $R/(x)$-modules are free. We show that the first and second Brauer--Thrall type theorems hold for the category of totally reflexive $R$-modules. More precisely, we prove that, for infinitely many integers $n$, there exists an indecomposab… ▽ More Let $R$ be a commutative Noetherian local ring. Assume that $R$ has a pair $\{x,y\}$ of exact zerodivisors such that $\dim R/(x,y)\ge2$ and all totally reflexive $R/(x)$-modules are free. We show that the first and second Brauer--Thrall type theorems hold for the category of totally reflexive $R$-modules. More precisely, we prove that, for infinitely many integers $n$, there exists an indecomposable totally reflexive $R$-module of multiplicity $n$. Moreover, if the residue field of $R$ is infinite, we prove that there exist infinitely many isomorphism classes of indecomposable totally reflexive $R$-modules of multiplicity $n$. △ Less

Submitted 29 May, 2013; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: to appear in Algebras and Representation Theory

Journal ref: Algebr Represent Theor (2014) 17:997-1008 (The final publication is available at link.springer.com)

Sequence of Exact Zero-Divisors

Authors: Mohammad T. Dibaei, Mohsen Gheibi

Abstract: The concept of a sequence of exact zero-divisors on a noetherian local ring is defined and studied. Some properties of sequences of exact zero-divisors are compared with regular sequences. The concept of a sequence of exact zero-divisors on a noetherian local ring is defined and studied. Some properties of sequences of exact zero-divisors are compared with regular sequences. △ Less

Submitted 23 April, 2012; v1 submitted 11 December, 2011; originally announced December 2011.

Comments: 18 pages, with some corrections

Linkage of modules over Cohen-Macaulay rings

Authors: Mohammad T. Dibaei, Mohsen Gheibi, S. H. Hassanzadeh, Arash Sadeghi

Abstract: Inspired by the works in linkage theory of ideals, the concept of sliding depth of extension modules is defined to prove the Cohen-Macaulyness of linked module if the base ring is merely Cohen-Macaulay. Some relations between this new condition and other module-theory conditions such as G-dimension and sequentially Cohen-Macaulay are established. By the way several already known theorems in linkag… ▽ More Inspired by the works in linkage theory of ideals, the concept of sliding depth of extension modules is defined to prove the Cohen-Macaulyness of linked module if the base ring is merely Cohen-Macaulay. Some relations between this new condition and other module-theory conditions such as G-dimension and sequentially Cohen-Macaulay are established. By the way several already known theorems in linkage theory are improved or recovered by new approaches. △ Less

Submitted 7 October, 2010; originally announced October 2010.

Comments: 12 Pages

MSC Class: 13C40; 13D45; 13C14

Journal ref: Journal of Algebra, 335, Issue 1, 1 June 2011, Pages 177-187