Source author record

Somayeh Moradi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
2topics
4close collaborators

Published work

9 publications

preprint2020arXiv

Closed neighborhood ideal of a graph

We introduce a family of squarefree monomial ideals associated to finite simple graphs, whose monomial generators correspond to closed neighborhood of vertices of the underlying graph. Any such ideal is called the closed neighborhood ideal of the graph. We study some algebraic invariants of these ideals like Castelnuovo-Mumford regularity and projective dimension and present some combinatorial descriptions for these invariants in terms of graph invariants.

preprint2020arXiv

Homological shift ideals

For a monomial ideal II, we consider the iith homological shift ideal of II, denoted by HSi(I)\text{HS}_i(I), that is, the ideal generated by the iith multigraded shifts of II. Some algebraic properties of this ideal are studied. It is shown that for any monomial ideal II and any monomial prime ideal PP, HSi(I(P))⊆HSi(I)(P)\text{HS}_i(I(P))\subseteq \text{HS}_i(I)(P) for all ii, where I(P)I(P) is the monomial localization of II. In particular, we consider the homological shift ideal of some families of monomial ideals with linear quotients. For any c\textbf{c}-bounded principal Borel ideal II and for the edge ideal of complement of any path graph, it is proved that HSi(I)\text{HS}_i(I) has linear quotients for all ii. As an example of c\textbf{c}-bounded principal Borel ideals, Veronese type ideals are considered and it is shown that the homological shift ideal of these ideals are polymatroidal. This implies that for any polymatroidal ideal which satisfies the strong exchange property, HSj(I)\text{HS}_j(I) is again a polymatroidal ideal for all jj. Moreover, for any edge ideal with linear resolution, the ideal HSj(I)\text{HS}_j(I) is characterized and it is shown that HS1(I)\text{HS}_1(I) has linear quotients.

preprint2020arXiv

Systems of parameters and the Cohen--Macaulay property

We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of König type which include the edge ideals of König graphs. We show that a monomial ideal is of König type if and only if its corresponding residue class ring admits a system of parameters whose elements are of the form xi−xjx_i-x_j. This provides an algebraic characterization of König graphs. We use this special parameter systems for the study of the edge ideal of König graphs and the study of the order complex of a certain family of posets. Finally, for any simplicial complex ΔΔ we introduce a system of parameters for K[Δ]K[Δ] with a universal construction principle, independent of the base field and only dependent on the faces of ΔΔ. This system of parameters is an efficient tool to test Cohen--Macaulayness of the Stanley--Reisner ring of a simplicial complex.

preprint2016arXiv

Codismantlability and projective dimension of the Stanley-Reisner ring of special hypergraphs

In this paper firstly, we generalize the concept of codismantlable graphs to hypergraphs and show that some special vertex decomposable hypergraphs are codismantlable. Then we generalize the concept of bouquet in graphs to hypergraphs to extend some combinatorial invariants of graphs about disjointness of a set of bouquets. We use these invariants to characterize the projective dimension of Stanley-Reisner ring of special hypergraphs in some sense.

preprint2016arXiv

Expansion of a simplicial complex

For a simplicial complex ΔΔ, we introduce a simplicial complex attached to ΔΔ, called the expansion of ΔΔ, which is a natural generalization of the notion of expansion in graph theory. We are interested in knowing how the properties of a simplicial complex and its Stanley-Reisner ring relate to those of its expansions. It is shown that taking expansion preserves vertex decomposable and shellable properties and in some cases Cohen-Macaulayness. Also it is proved that some homological invariants of Stanley-Reisner ring of a simplicial complex relate to those invariants in the Stanley-Reisner ring of its expansions.

preprint2013arXiv

On vertex decomposable simplicial complexes and their Alexander duals

In this paper we study the Alexander dual of a vertex decomposable simplicial complex. We define the concept of a vertex splittable ideal and show that a simplicial complex ΔΔ is vertex decomposable if and only if IΔ∨I_{Δ^{\vee}} is a vertex splittable ideal. Moreover, the properties of vertex splittable ideals are studied. As the main result, it is proved that any vertex splittable ideal has a Betti splitting and the graded Betti numbers of such ideals are explained with a recursive formula. As a corollary, recursive formulas for the regularity and projective dimension of R/IΔR/I_Δ, when ΔΔ is a vertex decomposable simplicial complex, are given. Moreover, for a vertex decomposable graph GG, a recursive formula for the graded Betti numbers of its vertex cover ideal is presented. In special cases, this formula is explained, when GG is chordal or a sequentially Cohen-Macaulay bipartite graph. Finally, among the other things, it is shown that an edge ideal of a graph is vertex splittable if and only if it has linear resolution.

preprint2010arXiv

Bounds for the regularity of edge ideal of vertex decomposable and shellable graphs

In this paper we give upper bounds for the regularity of edge ideal of some classes of graphs in terms of invariants of graph. We introduce two numbers a′(G)a'(G) and n(G)n(G) depending on graph GG and show that for a vertex decomposable graph GG, $\reg(R/I(G))\leq \min\{a'(G),n(G)\}$ and for a shellable graph GG, $\reg(R/I(G))\leq n(G)$. Moreover it is shown that for a graph GG, where GcG^c is a dd-tree, we have $\pd(R/I(G))=\max_{v\in V(G)} \{°_G(v)\}$.

preprint2009arXiv

Poincaré series of some hypergraph algebras

A hypergraph H=(V,E)H=(V,E), where V={x1,...,xn}V=\{x_1,...,x_n\} and E⊆2VE\subseteq 2^V defines a hypergraph algebra RH=k[x1,...,xn]/(xi1...xik;{i1,...,ik}∈E)R_H=k[x_1,...,x_n]/(x_{i_1}... x_{i_k}; \{i_1,...,i_k\}\in E). All our hypergraphs are dd-uniform, i.e., ∣ei∣=d|e_i|=d for all ei∈Ee_i\in E. We determine the Poincaré series PRH(t)=∑i=1∞dim⁡kToriRH(k,k)tiP_{R_H}(t)=\sum_{i=1}^\infty\dim_k{\rm Tor}_i^{R_H}(k,k)t^i for some hypergraphs generalizing lines, cycles, and stars. We finish by calculating the graded Betti numbers and the Poincaré series of the graph algebra of the wheel graph.

Research graph

See the researcher in context

Open full explorer

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.