Showing 1–50 of 55 results for author: Yassemi, S

Induced matching, ordered matching and Castelnuovo-Mumford regularity of bipartite graphs

Authors: A. V. Jayanthan, S. A. Seyed Fakhari, I. Swanson, S. Yassemi

Abstract: Let G be a finite simple graph and let indm(G) and ordm(G) denote the induced matching number and the ordered matching number of G, respectively. We characterize all bipartite graphs G with indm(G) = ordm(G). We establish the Castelnuovo-Mumford regularity of powers of edge ideals and depth of powers of cover ideals for such graphs. We also give formulas for the count of connected non-isomorphic s… ▽ More Let G be a finite simple graph and let indm(G) and ordm(G) denote the induced matching number and the ordered matching number of G, respectively. We characterize all bipartite graphs G with indm(G) = ordm(G). We establish the Castelnuovo-Mumford regularity of powers of edge ideals and depth of powers of cover ideals for such graphs. We also give formulas for the count of connected non-isomorphic spanning subgraphs of the complete bipartite graph K_{m,n} for which indm(G) = ordm(G) = 2, with an explicit expression for the count when m = 2,3,4 and m <= n. △ Less

Submitted 10 May, 2024; originally announced May 2024.

MSC Class: 13F55; 05E40

The non-decreasing condition on g-vectors

Authors: Mohamad Haerizadeh, Siamak Yassemi

Abstract: The non-decreasing condition on g-vectors is introduced. Our study shows that this condition is both necessary and sufficient to ensure that the generically indecomposable direct summands of a given g-vector are linearly independent. Additionally, we prove that for any finite dimensional algebra $Λ$, under the non-decreasing condition, the number of generically indecomposable irreducible component… ▽ More The non-decreasing condition on g-vectors is introduced. Our study shows that this condition is both necessary and sufficient to ensure that the generically indecomposable direct summands of a given g-vector are linearly independent. Additionally, we prove that for any finite dimensional algebra $Λ$, under the non-decreasing condition, the number of generically indecomposable irreducible components that appear in the decomposition of a given generically $τ$-reduced component is lower than or equal to $|Λ|$. This solves the conjecture concerning the cardinality of component clusters by Cerulli-Labardini-Schröer, in a reasonable generality. Lastly, we study numerical criteria to check the wildness of g-vectors. △ Less

Submitted 22 January, 2024; v1 submitted 14 January, 2024; originally announced January 2024.

On the index of depth stability of symbolic powers of cover ideals of graphs

Authors: Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of c… ▽ More Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of cover ideals of fully clique-whiskered graphs. Meanwhile, we determine a class of graphs $G$ with the property that the Castelnuovo--Mumford regularity of $S/I(G)$ is equal to the induced matching number of $G$. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:1709.03882

Differences in regularities of a power and its integral closure and symbolic power

Authors: Irena Swanson, Siamak Yassemi

Abstract: We show that for a square-free monomial ideal, the regularity of its symbolic (second) power and of the integral closure of of its (second) power can differ from the regularity of its ordinary (second) power by an arbitrarily large integer. We show that for a square-free monomial ideal, the regularity of its symbolic (second) power and of the integral closure of of its (second) power can differ from the regularity of its ordinary (second) power by an arbitrarily large integer. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: Accepted for publication in Communications in Algebra in 2023

MSC Class: Primary: 13H10; 13F55; Secondary: 05E40; 05E45

Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs

Authors: Seyed Amin Seyed Fakhari, Kosuke Shibata, Naoki Terai, Siamak Yassemi

Abstract: We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo. We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo. △ Less

Submitted 27 March, 2020; originally announced March 2020.

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

Little dimension and the improved new intersection theorem

Authors: Tsutomu Nakamura, Ryo Takahashi, Siamak Yassemi

Abstract: Let $R$ be a commutative noetherian local ring. We define a new invariant for $R$-modules which we call the little dimension. Using it, we extend the improved new intersection theorem. Let $R$ be a commutative noetherian local ring. We define a new invariant for $R$-modules which we call the little dimension. Using it, we extend the improved new intersection theorem. △ Less

Submitted 15 September, 2019; v1 submitted 23 December, 2018; originally announced December 2018.

Comments: 7 pages, to appear in Math. Scand

MSC Class: 13C15; 13D22

Journal ref: Math. Scand. 126 (2020), 209-220

Infinitely Generated Gorenstein Tilting Modules

Authors: Pooyan Moradifar, Siamak Yassemi

Abstract: The theory of finitely generated relative (co)tilting modules has been established in the 1980s by Auslander and Solberg, and infinitely generated relative tilting modules have recently been studied by many authors in the context of Gorenstein homological algebra. In this work, we build on the theory of infinitely generated Gorenstein tilting modules by develo** "Gorenstein tilting approximation… ▽ More The theory of finitely generated relative (co)tilting modules has been established in the 1980s by Auslander and Solberg, and infinitely generated relative tilting modules have recently been studied by many authors in the context of Gorenstein homological algebra. In this work, we build on the theory of infinitely generated Gorenstein tilting modules by develo** "Gorenstein tilting approximations" and employing these approximations to study Gorenstein tilting classes and their associated relative cotorsion pairs. As applications of our results, we discuss the problem of existence of complements to partial Gorenstein tilting modules as well as some connections between Gorenstein tilting modules and finitistic dimension conjectures. △ Less

Submitted 28 April, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: Comments welcome; a gap in the proof of Thm.(3.11) was fixed

MSC Class: 18G25 (Primary) 14F05; 14J25; 16G10 (Secondary)

Improved bounds for the regularity of powers of edge ideals of graphs

Authors: Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if… ▽ More Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if $\ind-match_{\{K_2, C_5\}}(G)$ is an odd integer, then$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-1.$$Furthermore, it is shown that$${\rm reg}(I(G)^s)\leq 2s+\ord-match(G)-1,$$where $\ord-match(G)$ denotes the ordered matching number of $G$. Finally, we construct infinitely many connected graphs which satisfy the following strict inequalities:$$2s+\ind-match(G)-1 < {\rm reg}(I(G)^s)< 2s+{\rm cochord}(G)-1.$$This gives a positive answer to a question asked in \cite{jns}. △ Less

Submitted 11 May, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

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

Tilting Modules Under Special Base Changes

Authors: Pooyan Moradifar, Shahab Rajabi, Siamak Yassemi

Abstract: Given a non-unit, non-zero-divisor, central element $x$ of a ring $Λ$, it is well known that many properties or invariants of $Λ$ determine, and are determined by, those of $Λ/ x Λ$ and $Λ_x$. In the present paper, we investigate how the property of "being tilting" behaves in this situation. It turns out that any tilting module over $Λ$ gives rise to tilting modules over $Λ_x$ and $Λ/ x Λ$ after l… ▽ More Given a non-unit, non-zero-divisor, central element $x$ of a ring $Λ$, it is well known that many properties or invariants of $Λ$ determine, and are determined by, those of $Λ/ x Λ$ and $Λ_x$. In the present paper, we investigate how the property of "being tilting" behaves in this situation. It turns out that any tilting module over $Λ$ gives rise to tilting modules over $Λ_x$ and $Λ/ x Λ$ after localization and passing to quotient respectively. On the other hand, it is proved that under some mild conditions, a module over $Λ$ is tilting if its corresponding localization and quotient are tilting over $Λ_x$ and $Λ/ x Λ$ respectively. △ Less

Submitted 6 January, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: A gap in the statement of Proposition 2.5 and in the proof of Theorem 2.10 has been fixed. Minor editorial changes have been made. To appear in "Journal of Pure and Applied Algebra"

MSC Class: 16G30; 16D90 (Primary) 16E10; 16S50 (Secondary)

Regularity of Powers of edge ideal of very well-covered graphs

Authors: Pooran Norouzi, Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$. Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$. △ Less

Submitted 18 July, 2017; v1 submitted 16 July, 2017; originally announced July 2017.

On the regularity of edge ideal of graphs

Authors: Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities… ▽ More Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities $\ind-match_{\{K_2, C_5\}}(G)\leq{\rm reg}(S/I(G))\leq\min-match_{\{K_2, C_5\}}(G)$ are true. Moreover, we show that if $G$ is a Cohen--Macaulay graph with girth at least five, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$. Furthermore, we prove that if $G$ is a paw--free and doubly Cohen--Macaulay graph, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$ if and only if every connected component of $G$ is either a complete graph or a $5$-cycle graph. Among other results, we show that for every doubly Cohen--Macaulay simplicial complex, the equality ${\rm reg}(\mathbb{K}[Δ])={\rm dim}(\mathbb{K}[Δ])$ holds. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Graded Betti numbers of good filtrations

Authors: Kamran Lamei, Siamak Yassemi

Abstract: The asymptotic behavior of graded Betti numbers of powers of homogeneous ideals in a polynomial ring over a field has recently been reviewed. We extend quasi polynomial behavior of graded Betti numbers of powers of homogenous ideals to Z-graded algebra over Notherian local ring. Furthermore our main result treats the Betti table of filtrations which is finite or integral over the Rees algebra. The asymptotic behavior of graded Betti numbers of powers of homogeneous ideals in a polynomial ring over a field has recently been reviewed. We extend quasi polynomial behavior of graded Betti numbers of powers of homogenous ideals to Z-graded algebra over Notherian local ring. Furthermore our main result treats the Betti table of filtrations which is finite or integral over the Rees algebra. △ Less

Submitted 10 February, 2018; v1 submitted 21 October, 2016; originally announced October 2016.

Cohen-Macaulay lexsegment complexes in arbitrary codimension

Authors: Hassan Haghighi, Siamak Yassemi, Rahim Zaare-Nahandi

Abstract: We characterize pure lexsegment complexes which are Cohen-Macaulay in arbitrary codimension. More precisely, we prove that any lexsegment complex is Cohen-Macaulay if and only if it is pure and its one dimensional links are connected, and, a lexsegment flag complex is Cohen-Macaulay if and only if it is pure and connected. We show that any non-Cohen-Macaulay lexsegment complex is a Buchsbaum compl… ▽ More We characterize pure lexsegment complexes which are Cohen-Macaulay in arbitrary codimension. More precisely, we prove that any lexsegment complex is Cohen-Macaulay if and only if it is pure and its one dimensional links are connected, and, a lexsegment flag complex is Cohen-Macaulay if and only if it is pure and connected. We show that any non-Cohen-Macaulay lexsegment complex is a Buchsbaum complex if and only if it is a pure disconnected flag complex. For $t\ge 2$, a lexsegment complex is strictly Cohen-Macaulay in codimension $t$ if and only if it is the join of a lexsegment pure disconnected flag complex with a $(t-2)$-dimensional simplex. When the Stanley-Reisner ideal of a pure lexsegment complex is not quadratic, the complex is Cohen-Macaulay if and only if it is Cohen-Macaulay in some codimension. Our results are based on a characterization of Cohen-Macaulay and Buchsbaum lexsegment complexes by Bonanzinga, Sorrenti and Terai. △ Less

Submitted 3 September, 2016; originally announced September 2016.

Comments: 6 pages

Regularity of powers of edge ideal of whiskered cycles

Authors: Mahdieh Moghimian, Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G=W(C_{n})$ be a whiskered cycle graph with edge ideal $I=I(G)$. We prove that for every $s\geq 1$, the equality ${\rm reg}(I^{s})=2s+\lceil \frac{n-1}{2}\rceil-1$ holds. Let $G=W(C_{n})$ be a whiskered cycle graph with edge ideal $I=I(G)$. We prove that for every $s\geq 1$, the equality ${\rm reg}(I^{s})=2s+\lceil \frac{n-1}{2}\rceil-1$ holds. △ Less

Submitted 22 May, 2015; originally announced May 2015.

The behaviors of expansion functor on monomial ideals and toric rings

Authors: Rahim Rahmati-Asghar, Siamak Yassemi

Abstract: In this paper we study some algebraic and combinatorial behaviors of expansion functor. We show that on monomial ideals some properties like polymatroidalness, weakly polymatroidalness and having linear quotients are preserved under taking the expansion functor. The main part of the paper is devoted to study of toric ideals associated to the expansion of subsets of monomials which are minimal wi… ▽ More In this paper we study some algebraic and combinatorial behaviors of expansion functor. We show that on monomial ideals some properties like polymatroidalness, weakly polymatroidalness and having linear quotients are preserved under taking the expansion functor. The main part of the paper is devoted to study of toric ideals associated to the expansion of subsets of monomials which are minimal with respect to divisibility. It is shown that, for a given discrete polymatroid $P$, if toric ideal of $P$ is generated by double swaps then toric ideal of any expansion of $P$ has such a property. This result, in a special case, says that White's conjecture is preserved under taking the expansion functor. Finally, the construction of Gröbner bases and some homological properties of toric ideals associated to expansions of subsets of monomials is investigated. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Comments: 15 pages

Journal ref: Comm. in Algebra. 44, 3874-3889 (2016)

Generalized mixed product ideals

Authors: Jürgen Herzog, Roya Moghimipor, Siamak Yassemi

Abstract: We consider classes of ideals which generalize the mixed product ideals introduced by Restuccia and Villarreal, and also generalize the expansion construction by Bayati and the first author \cite{BH}. We compute the minimal graded free resolution of generalized mixed product ideals and show that the regularity of a generalized mixed product ideal coincides with regularity of the monomial ideal by… ▽ More We consider classes of ideals which generalize the mixed product ideals introduced by Restuccia and Villarreal, and also generalize the expansion construction by Bayati and the first author \cite{BH}. We compute the minimal graded free resolution of generalized mixed product ideals and show that the regularity of a generalized mixed product ideal coincides with regularity of the monomial ideal by which it is induced. △ Less

Submitted 17 April, 2014; v1 submitted 14 March, 2014; originally announced March 2014.

A new construction for Cohen-Macaulay graphs

Authors: Amir Mousivand, Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex de… ▽ More Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs. △ Less

Submitted 10 October, 2013; originally announced October 2013.

Comments: 9 pages, 2 figures

MSC Class: Primary: 13H10; 05E45; Secondary: 13F55; 05E40

Free resolution of powers of monomial ideals and Golod rings

Authors: Nasrin Altafi, Navid Nemati, S. A. Seyed Fakhari, Siamak Yassemi

Abstract: Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contain… ▽ More Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contains no variable, we show that $S/I$ is a Golod ring provided that for some integer $s\geq 1$, the ideal $I^s$ has linear quotient with respect to a monomial order. We also provide a lower bound for some Betti numbers of powers of a square-free monomial ideal which is generated in a single degree. △ Less

Submitted 29 September, 2013; v1 submitted 24 September, 2013; originally announced September 2013.

Comments: arXiv admin note: text overlap with arXiv:math/0307222 by other authors

Cohen-Macaulay-ness in codimension for bipartite graphs

Authors: Hassan Haghighi, Siamak Yassemi, Rahim Zaare-Nahandi

Abstract: Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unm… ▽ More Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$, is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples. △ Less

Submitted 2 February, 2013; originally announced February 2013.

Comments: 9 pages

Relative Tor functors with respect to a semidualizing module

Authors: Maryam Salimi, Sean Sather-Wagstaff, Elham Tavasoli, Siamak Yassemi

Abstract: We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and projective-like resolutions, are isomorphic. We show how the vanishing of these functors characterizes the finiteness of the homological dimension F_C-pd, and we use th… ▽ More We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and projective-like resolutions, are isomorphic. We show how the vanishing of these functors characterizes the finiteness of the homological dimension F_C-pd, and we use this to give a relation between the F_C-pd of a given module and that of a pure submodule. On the other hand, we show that other relations that one may expect to hold similarly, fail in general. In fact, such relations force the semidualizing modules under consideration to be trivial. △ Less

Submitted 27 January, 2012; originally announced January 2012.

Comments: 29 pages

MSC Class: 13D02; 13D05; 13D07

Homology of powers of ideals: Artin--Rees numbers of syzygies and the Golod property

Authors: Jürgen Herzog, Volkmar Welker, Siamak Yassemi

Abstract: For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, i… ▽ More For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, its Poincer{é}-Betti series is rational and the Betti numbers of the free resolution of K over R/I^k are polynomials in k of a specific degree. The first result is an extension of work of Kodiyalam and Cutkosky, Herzog & Trung on the regularity of I^k for k >> 0 from the graded situation to the local situation. The polynomiality consequence of the second result is an analog of work by Kodiyalam on the behavior of Betti numbers of the minimal free resolution of R/I^k over R. △ Less

Submitted 30 August, 2011; originally announced August 2011.

MSC Class: 13A30

$M$-Shellability of Discrete Polymatroids

Authors: Majid Alizadeh, Afshin Goodarzi, Siamak Yassemi

Abstract: In this note we show that every discrete polymatroid is $M$-shellable. This gives, in a partial case, a positive answer to a conjecture of Chari and improves a recent result of Schweig where he proved that the $h$-vector of a lattice path matroid satisfies a conjecture of Stanley. In this note we show that every discrete polymatroid is $M$-shellable. This gives, in a partial case, a positive answer to a conjecture of Chari and improves a recent result of Schweig where he proved that the $h$-vector of a lattice path matroid satisfies a conjecture of Stanley. △ Less

Submitted 5 December, 2010; originally announced December 2010.

Comments: 4 pages

MSC Class: 05B35; 05E45

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

Vertex decomposability and regularity of very well-covered graphs

Authors: Mohammad Mahmoudi, Amir Mousivand, Marilena Crupi, Giancarlo Rinaldo, Naoki Terai, Siamak Yassemi

Abstract: A graph $G$ is well-covered if it has no isolated vertices and all the maximal independent sets have the same cardinality. If furthermore two times this cardinality is equal to $|V(G)|$, the graph $G$ is called very well-covered. The class of very well-covered graphs contains bipartite well-covered graphs. Recently in \cite{CRT} it is shown that a very well-covered graph $G$ is Cohen-Macaulay if a… ▽ More A graph $G$ is well-covered if it has no isolated vertices and all the maximal independent sets have the same cardinality. If furthermore two times this cardinality is equal to $|V(G)|$, the graph $G$ is called very well-covered. The class of very well-covered graphs contains bipartite well-covered graphs. Recently in \cite{CRT} it is shown that a very well-covered graph $G$ is Cohen-Macaulay if and only if it is pure shellable. In this article we improve this result by showing that $G$ is Cohen-Macaulay if and only if it is pure vertex decomposable. In addition, if $I(G)$ denotes the edge ideal of $G$, we show that the Castelnuovo-Mumford regularity of $R/I(G)$ is equal to the maximum number of pairwise 3-disjoint edges of $G$. This improves Kummini's result on unmixed bipartite graphs. △ Less

Submitted 6 June, 2010; originally announced June 2010.

Comments: 11 pages

MSC Class: 13H10; 05C75

A note on the regularity of products

Authors: Seyed Hamid Hassanzadeh And Siamak Yassemi

Abstract: Let $S={\Bbb K}[x_1,\dots,x_n]$ denote a polynomial ring over a field $\Bbb K$. Given a monomial ideal $I$ and a finitely generated multigraded $M$ over $S$, we follow Herzog's method to construct a multigraded free $S$-resolution of $M/IM$ by using multigraded $S$-free resolutions of $S/I$ and $M$. The complex constructed in this paper is used to prove the inequality… ▽ More Let $S={\Bbb K}[x_1,\dots,x_n]$ denote a polynomial ring over a field $\Bbb K$. Given a monomial ideal $I$ and a finitely generated multigraded $M$ over $S$, we follow Herzog's method to construct a multigraded free $S$-resolution of $M/IM$ by using multigraded $S$-free resolutions of $S/I$ and $M$. The complex constructed in this paper is used to prove the inequality $\Reg(IM)\leq \Reg(I)+\Reg(M)$ for a large class of ideals and modules. In the case where $M$ is an ideal, under one relative condition on the generators which specially does not involve the dimensions, the inequality $\Reg(IM)\leq \Reg(I)+\Reg(M)$ is proven. △ Less

Submitted 25 May, 2010; originally announced May 2010.

Comments: 7 pages

Sequentially $S_r$ simplicial complexes and sequentially $S_2$ graphs

Authors: Hassan Haghighi, Naoki Terai, Siamak Yassemi, Rahim Zaare-Nahandi

Abstract: We introduce sequentially $S_r$ modules over a commutative graded ring and sequentially $S_r$ simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition $S_r$. In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially $S_r$ if and only if its pure… ▽ More We introduce sequentially $S_r$ modules over a commutative graded ring and sequentially $S_r$ simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition $S_r$. In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially $S_r$ if and only if its pure $i$-skeleton is $S_r$ for all $i$. For $r=2$, we provide a more relaxed characterization. As an algebraic criterion, we prove that a simplicial complex is sequentially $S_r$ if and only if the minimal free resolution of the ideal of its Alexander dual is componentwise linear in the first $r$ steps. We apply these results for a graph, i.e., for the simplicial complex of the independent sets of vertices of a graph. We characterize sequentially $S_r$ cycles showing that the only sequentially $S_2$ cycles are odd cycles and, for $r\ge 3$, no cycle is sequentially $S_r$ with the exception of cycles of length 3 and 5. We extend certain known results on sequentially Cohen-Macaulay graphs to the case of sequentially $S_r$ graphs. We prove that a bipartite graph is vertex decomposable if and only if it is sequentially $S_2$. We provide some more results on certain graphs which in particular implies that any graph with no chordless even cycle is sequentially $S_2$. Finally, we propose some questions. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Comments: 13 pages

Rings whose total graphs have genus at most one

Authors: Hamid Reza Maimani, Cameron Wickham, Siamak Yassemi

Abstract: Let $R$ be a commutative ring with $\Z(R)$ its set of zero-divisors. In this paper, we study the total graph of $R$, denoted by $\T(Γ(R))$. It is the (undirected) graph with all elements of $R$ as vertices, and for distinct $x, y\in R$, the vertices $x$ and $y$ are adjacent if and only if $x + y\in\Z(R)$. We investigate properties of the total graph of $R$ and determine all isomorphism classes o… ▽ More Let $R$ be a commutative ring with $\Z(R)$ its set of zero-divisors. In this paper, we study the total graph of $R$, denoted by $\T(Γ(R))$. It is the (undirected) graph with all elements of $R$ as vertices, and for distinct $x, y\in R$, the vertices $x$ and $y$ are adjacent if and only if $x + y\in\Z(R)$. We investigate properties of the total graph of $R$ and determine all isomorphism classes of finite commutative rings whose total graph has genus at most one (i.e., a planar or toroidal graph). In addition, it is shown that, given a positive integer $g$, there are only finitely many finite rings whose total graph has genus $g$. △ Less

Submitted 29 January, 2010; originally announced January 2010.

Comments: 7 pages. To appear in Rocky Mountain Journal of Mathematics

MSC Class: 13A15; 05C75

Bipartite $S_2$ graphs are Cohen-Macaulay

Authors: Hassan Haghighi, Siamak Yassemi, Rahim Zaare-Nahandi

Abstract: In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the c… ▽ More In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$. △ Less

Submitted 21 January, 2010; originally announced January 2010.

Comments: 6 pages. To appear in Bull. Math. Soc. Sci. Math. Roumanie

MSC Class: 13H10; 05C75

A generalization of $k$-Cohen-Macaulay complexes

Authors: Hassan Haghighi, Rahim Zaare-Nahandi, Siamak Yassemi

Abstract: For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${\rm CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${\rm CM}_t(=$1-${\rm CM}_t)$ complexes, in terms of vanis… ▽ More For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${\rm CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${\rm CM}_t(=$1-${\rm CM}_t)$ complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is $k$-${\rm CM}_t$ if and only if the links of its nonempty faces are $k$-${\rm CM}_{t-1}$. We prove that for an integer $s\le d$, the $(d-s-1)$-skeleton of a $(d-1)$-dimensional $k$-${\rm CM}_t$ complex is $(k+s)$-${\rm CM}_t$. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes. △ Less

Submitted 21 December, 2009; originally announced December 2009.

Comments: 8 pages

MSC Class: 05C75; 13H10

Gorenstein Von Neumann regular rings

Authors: Najib Mahdou, Mohammed Tamekkante, Siamak Yassemi

Abstract: In this paper, we study the rings with zero Gorenstein weak dimensions, which we call them Gorenstein Von Neumann regular rings. In this paper, we study the rings with zero Gorenstein weak dimensions, which we call them Gorenstein Von Neumann regular rings. △ Less

Submitted 24 October, 2009; originally announced October 2009.

MSC Class: 13D05; 13D02

Rings that are homologically of minimal multiplicity

Authors: Keivan Borna, Sean Sather-Wagstaff, Siamak Yassemi

Abstract: Let R be a local Cohen-Macaulay ring with canonical module ω_R. We investigate the following question of Huneke: If the sequence of Betti numbers \{β_i^R(ω_R)\} has polynomial growth, must R be Gorenstein? This question is well-understood when R has minimal multiplicity. We investigate this question for a more general class of rings which we say are homologically of minimal multiplicity. We prov… ▽ More Let R be a local Cohen-Macaulay ring with canonical module ω_R. We investigate the following question of Huneke: If the sequence of Betti numbers \{β_i^R(ω_R)\} has polynomial growth, must R be Gorenstein? This question is well-understood when R has minimal multiplicity. We investigate this question for a more general class of rings which we say are homologically of minimal multiplicity. We provide several characterizations of the rings in this class and establish a general ascent and descent result. △ Less

Submitted 12 January, 2010; v1 submitted 25 April, 2009; originally announced April 2009.

Comments: 23 pages, minor revisions for v.2, final version, to appear in Comm. Algebra

MSC Class: 13D07; 13D02; 13H10

Gorenstein weak dimension of a coherent power series rings

Authors: Najib Mahdou, Mohammed Tamekkante, Siamak Yassemi

Abstract: We compute the Gorenstein weak dimension of a coherent power series rings over a commutative rings and we show that, in general, $\gwd(R) \leq 1$ does not imply that $R$ is an arithmetical ring. We compute the Gorenstein weak dimension of a coherent power series rings over a commutative rings and we show that, in general, $\gwd(R) \leq 1$ does not imply that $R$ is an arithmetical ring. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 9 pages

MSC Class: 13D05; 13D02

The complement of a connected bipartite graph is vertex decomposable

Authors: Mohammad Mahmoudi, Amir Mousivand, Siamak Yassemi

Abstract: Associated to a simple undirected graph $G$ is a simplicial complex $Δ_G$ whose faces correspond to the independent sets of $G$. A graph $G$ is called vertex decomposable if $Δ_G$ is a vertex decomposable simplicial complex. We are interested in determining what families of graph have the property that the complement of $G$, denoted by $\overline{G}$, is vertex decomposable. We obtain the result… ▽ More Associated to a simple undirected graph $G$ is a simplicial complex $Δ_G$ whose faces correspond to the independent sets of $G$. A graph $G$ is called vertex decomposable if $Δ_G$ is a vertex decomposable simplicial complex. We are interested in determining what families of graph have the property that the complement of $G$, denoted by $\overline{G}$, is vertex decomposable. We obtain the result that the complement of a connected bipartite graph is vertex decomposable and so it is Cohen-Macaulay due to pureness of $Δ_{\overline{G}}$. △ Less

Submitted 25 February, 2009; originally announced February 2009.

Comments: 5 pages

MSC Class: 13H10; 05C75

On the existence of embeddings into modules of finite homological dimensions

Authors: Ryo Takahashi, Siamak Yassemi, Yuji Yoshino

Abstract: Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander and Bridger to rings of higher Krull dimension, and it also improves a result due to Foxby where the ring is assumed to be Cohen-Macaulay. Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander and Bridger to rings of higher Krull dimension, and it also improves a result due to Foxby where the ring is assumed to be Cohen-Macaulay. △ Less

Submitted 1 April, 2010; v1 submitted 26 November, 2008; originally announced November 2008.

Comments: 4 pages, final version, to appear in Proc. Amer. Math. Soc

MSC Class: 13D05; 13H10

Modules of finite homological dimension with respect to a semidualizing module

Authors: Sean Sather-Wagstaff, Siamak Yassemi

Abstract: We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. △ Less

Submitted 25 April, 2009; v1 submitted 29 July, 2008; originally announced July 2008.

Comments: 9 pages, uses xypic; v2 is mostly a minor revision, with the addition of Corollary 2.14, v.3 is final version, to appear in Archiv der Mathematik (Basel)

MSC Class: 13C05; 13D05; 13H10

Arithmetical rank of the cyclic and bicyclic graphs

Authors: Margherita Barile, Dariush Kiani, Fatemeh Mohammadi, Siamak Yassemi

Abstract: We show that for the edge ideals of the graphs consisting of one cycle or two cycles of any length connected through a vertex or a path, the arithmetical rank equals the projective dimension. We show that for the edge ideals of the graphs consisting of one cycle or two cycles of any length connected through a vertex or a path, the arithmetical rank equals the projective dimension. △ Less

Submitted 12 August, 2008; v1 submitted 12 May, 2008; originally announced May 2008.

MSC Class: 13A15; 13F55; 13D02; 05C38

Journal ref: Journal of Algebra and Its Applications, Vol. 11, No. 02 (2012)

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

Comaximal graph of commutative rings

Authors: Hamid Reza Maimani, Maryam Salimi, Asiyeh Sattari, Siamak Yassemi

Abstract: Let $R$ be a commutative ring with identity. Let $Γ(R)$ be a graph with vertices as elements of $R$, where two distinct vertices $a$ and $b$ are adjacent if and only if $Ra+Rb=R$. In this paper we consider a subgraph $Γ_2(R)$ of $Γ(R)$ which consists of non-unit elements. We look at the connectedness and the diameter of this graph. We completely characterize the diameter of the graph… ▽ More Let $R$ be a commutative ring with identity. Let $Γ(R)$ be a graph with vertices as elements of $R$, where two distinct vertices $a$ and $b$ are adjacent if and only if $Ra+Rb=R$. In this paper we consider a subgraph $Γ_2(R)$ of $Γ(R)$ which consists of non-unit elements. We look at the connectedness and the diameter of this graph. We completely characterize the diameter of the graph $Γ_2(R)\setminus\J(R)$. In addition, it is shown that for two finite semi-local rings $R$ and $S$, if $R$ is reduced, then $Γ(R)\congΓ(S)$ if and only if $R\cong S$. △ Less

Submitted 31 January, 2007; originally announced January 2007.

Comments: 8 Pages

MSC Class: 05C75; 13A15

Zero-divisor graphs of amalgamated duplication of a ring along an ideal

Authors: Hamid Reza Maimani, Siamak Yassemi

Abstract: Let $R$ be a commutative ring with identity and let $I$ be an ideal of $R$. Let $R\Join I$ be the subring of $R\times R$ consisting of the elements $(r,r+i)$ for $r\in R$ and $i\in I$. We study the diameter and girth of the zero-divisor graph of the ring $R\Join I$. Let $R$ be a commutative ring with identity and let $I$ be an ideal of $R$. Let $R\Join I$ be the subring of $R\times R$ consisting of the elements $(r,r+i)$ for $r\in R$ and $i\in I$. We study the diameter and girth of the zero-divisor graph of the ring $R\Join I$. △ Less

Submitted 23 January, 2007; originally announced January 2007.

Comments: 9 pages

MSC Class: 05C75; 13A15

Complete $r$-partite zero-divisor graphs and coloring of commutative semigroups

Authors: Hamid Reza Maimani, Mojgan Mogharrab, Siamak Yassemi

Abstract: For a commutative semigroup $S$ with 0, the zero-divisor graph of $S$ denoted by $Γ(S)$ is the graph whose vertices are nonzero zero-divisor of $S$, and two vertices $x$, $y$ are adjacent in case $xy=0$ in $S$. In this paper we study the case where the graph $Γ(S)$ is complete $r$-partite for a positive integer $r$. Also we study the commutative semigroups which are finitely colorable. For a commutative semigroup $S$ with 0, the zero-divisor graph of $S$ denoted by $Γ(S)$ is the graph whose vertices are nonzero zero-divisor of $S$, and two vertices $x$, $y$ are adjacent in case $xy=0$ in $S$. In this paper we study the case where the graph $Γ(S)$ is complete $r$-partite for a positive integer $r$. Also we study the commutative semigroups which are finitely colorable. △ Less

Submitted 22 January, 2007; originally announced January 2007.

Comments: 11 pages

MSC Class: 20M14; 13A99

Stanley decompositions and partitionable simplicial complexes

Authors: Juergen Herzog, Ali Soleyman Jahan, Siamak Yassemi

Abstract: We study Stanley decompositions and show that Stanley's conjecture on Stanley decompositions implies his conjecture on partitionable Cohen-Macaulay simplicial complexes. We also prove these conjectures for all Cohen-Macaulay monomial ideals of codimension 2 and all Gorenstein monomial ideals of codimension 3. We study Stanley decompositions and show that Stanley's conjecture on Stanley decompositions implies his conjecture on partitionable Cohen-Macaulay simplicial complexes. We also prove these conjectures for all Cohen-Macaulay monomial ideals of codimension 2 and all Gorenstein monomial ideals of codimension 3. △ Less

Submitted 15 January, 2007; v1 submitted 29 December, 2006; originally announced December 2006.

Comments: 10 pages

Local cohomology and Gorenstein injective dimension over local homomorphisms

Authors: Leila Khatami, Massoud Tousi, Siamak Yassemi

Abstract: A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module. A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module. △ Less

Submitted 22 May, 2006; originally announced May 2006.

MSC Class: 13D05; 13D45; 14B15

Finiteness of extension functors of local cohomology modules

Authors: Mohammad T. Dibaei, Siamak Yassemi

Abstract: Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that $\Hom_R(R/\fa,\H^t_\fa(M))$ is finitely generated $R$--module. In this paper we study the finiteness of $\Ext^1_R(R/\fa,\H^t_\fa(M))$ and $\Ext^2_R(R/\fa,\H^t_\fa(M))$. Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that $\Hom_R(R/\fa,\H^t_\fa(M))$ is finitely generated $R$--module. In this paper we study the finiteness of $\Ext^1_R(R/\fa,\H^t_\fa(M))$ and $\Ext^2_R(R/\fa,\H^t_\fa(M))$. △ Less

Submitted 15 September, 2005; originally announced September 2005.

Comments: 5 pages

MSC Class: 13D45; 14B15

Attached primes of the top local cohomology modules with respect to an ideal (II)

Authors: Mohammad T. Dibaei, Siamak Yassemi

Abstract: For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It… ▽ More For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for all $i\geq r$. △ Less

Submitted 5 January, 2005; originally announced January 2005.

Comments: 9 pages

MSC Class: 13D45; 13D25

Associated primes and cofiniteness of local cohomology modules

Authors: Mohammad T. Dibaei, Siamak Yassemi

Abstract: Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module $\mathrm{H}^s_\mathfrak{a}(M)$ is non $\mathfrak{a}$-cofinite, then we show that $\mathrm{Hom}_{R}(R/\mathfrak{a}, \mathrm{H}^s_\mathfrak{a}(M))$ is finite. Specially… ▽ More Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module $\mathrm{H}^s_\mathfrak{a}(M)$ is non $\mathfrak{a}$-cofinite, then we show that $\mathrm{Hom}_{R}(R/\mathfrak{a}, \mathrm{H}^s_\mathfrak{a}(M))$ is finite. Specially, the set of associated primes of $\mathrm{H}^s_\mathfrak{a}(M)$ is finite. Next assume $(R,\mathfrak{m})$ is a local Noetherian ring and $M$ is a finitely generated module. We study the last integer $n$ such that the local cohomology module $\mathrm{H}^n_\mathfrak{a}(M)$ is not $\mathfrak{m}$-cofinite and show that $n$ just depends on the support of $M$. △ Less

Submitted 31 May, 2004; v1 submitted 26 May, 2004; originally announced May 2004.

Comments: 9 pages

MSC Class: 13D45

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

Generalized local cohomology and the Intersection Theorem

Authors: Mohammad T. Dibaei, Siamak Yassemi

Abstract: Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}Γ_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for bounded complexes $X$ and $Y$ with finite homology, $\dim Y\le\dim{\mathbf R}\Hom_R(X,Y)\le\pd X+\dim(X\otimes^{\mathbf L}_RY)+\sup X$ which strengthen the Intersect… ▽ More Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}Γ_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for bounded complexes $X$ and $Y$ with finite homology, $\dim Y\le\dim{\mathbf R}\Hom_R(X,Y)\le\pd X+\dim(X\otimes^{\mathbf L}_RY)+\sup X$ which strengthen the Intersection Theorem. Here $\inf X$ and $\sup X$ denote the homological infimum, and supremum of the complex $X$, respectively. △ Less

Submitted 19 February, 2004; originally announced February 2004.

Comments: 13 pages

MSC Class: 13D45; 13D22; 13D25; 13D05

Characterizing local rings via homological dimensions and regular sequences

Authors: Shokrollah Salarian, Sean Sather-Wagstaff, Siamak Yassemi

Abstract: Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length at most d-t then either G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given. Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length at most d-t then either G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given. △ Less

Submitted 2 August, 2005; v1 submitted 5 January, 2004; originally announced January 2004.

Comments: Final version, to appear in J. Pure Appl. Algebra. 9 pages. Uses XY-pic

MSC Class: 13H05

Gorenstein injective dimension, Bass formula and Gorenstein rings

Authors: Leila Khatami, Siamak Yassemi

Abstract: Let $(R,\frak m, k)$ be a noetherian local ring. It is well-known that $R$ is regular if and only if the injective dimension of $k$ is finite. In this paper it is shown that $R$ is Gorenstein if and only if the Gorenstein injective dimension of $k$ is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein inject… ▽ More Let $(R,\frak m, k)$ be a noetherian local ring. It is well-known that $R$ is regular if and only if the injective dimension of $k$ is finite. In this paper it is shown that $R$ is Gorenstein if and only if the Gorenstein injective dimension of $k$ is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein injective dimension. It also improves Christensen's generalized Bass formula (cf. "Gorenstein dimensions", volume 1747 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 2000). △ Less

Submitted 1 June, 2004; v1 submitted 31 December, 2003; originally announced December 2003.

Comments: 13 pages, Main theorem in section 3 generalized, with new corollaries

MSC Class: 13D05; 13H10