New methods for constructing shellable simplicial complexes

A clutter $mathcal{C}$ with vertex set $[n]$ is an antichain of subsets of $[n]$, called circuits, covering all vertices. The clutter is $d$-uniform if all of its circuits have the same cardinality $d$. If $mathbb{K}$ is a field, then there is a one-to-one correspondence between clutters on $V$ and...

Full description

Bibliographic Details
Main Authors: Mohammad Farrokhi D. G., Ali Akbar Yazdan Pour
Format: Article
Language:fas
Published: Kharazmi University 2022-12-01
Series:پژوهش‌های ریاضی
Subjects:
Online Access:http://mmr.khu.ac.ir/article-1-3171-en.html
_version_ 1797871667561627648
author Mohammad Farrokhi D. G.
Ali Akbar Yazdan Pour
author_facet Mohammad Farrokhi D. G.
Ali Akbar Yazdan Pour
author_sort Mohammad Farrokhi D. G.
collection DOAJ
description A clutter $mathcal{C}$ with vertex set $[n]$ is an antichain of subsets of $[n]$, called circuits, covering all vertices. The clutter is $d$-uniform if all of its circuits have the same cardinality $d$. If $mathbb{K}$ is a field, then there is a one-to-one correspondence between clutters on $V$ and square-free monomial ideals in $mathbb{K}[x_1,ldots,x_n]$ as follows: To each clutter $mathcal{C}$ we correspond its circuit ideal $I(mathcal{C})$ generated by monomials $x_{i_1}cdots x_{i_k}$ with ${i_1,ldots,i_k}inmathcal{C}$. Conversely, to each square-free monomial ideal $I$ with minimal set of generators $mathcal{G}(I)$, we correspond a clutter with circuits ${i_1,ldots,i_k}$, where $x_{i_1}cdots x_{i_k}inmathcal{G}(I)$. The independence complex of a clutter $mathcal{C}$ on $[n]$ is the simplicial complex $Delta_{mathcal{C}}$ whose faces are independent sets in $mathcal{C}$ by which we mean sets $Fsubseteq [n]$ such that $ensubseteq F$ for all $einmathcal{C}$. It is easy to see that the Stanley-Reisner ideal of $Delta_{mathcal{C}}$ coincides with $I(mathcal{C})$. The above correspondence establishes a one-to-one correspondence between simplicial complexes and independence complex of clutters. A simplicial complex $Delta$ is shellable if there exists a total order on its facets, say $F_1<cdots  </cdots
first_indexed 2024-04-10T00:46:20Z
format Article
id doaj.art-a71a5438c77742a8a3791c323b375a13
institution Directory Open Access Journal
issn 2588-2546
2588-2554
language fas
last_indexed 2024-04-10T00:46:20Z
publishDate 2022-12-01
publisher Kharazmi University
record_format Article
series پژوهش‌های ریاضی
spelling doaj.art-a71a5438c77742a8a3791c323b375a132023-03-13T19:26:42ZfasKharazmi Universityپژوهش‌های ریاضی2588-25462588-25542022-12-0184164179New methods for constructing shellable simplicial complexesMohammad Farrokhi D. G.0Ali Akbar Yazdan Pour1 Institute for Advanced Studies in Basic Sciences (IASBS) Institute for Advanced Studies in Basic Sciences (IASBS) A clutter $mathcal{C}$ with vertex set $[n]$ is an antichain of subsets of $[n]$, called circuits, covering all vertices. The clutter is $d$-uniform if all of its circuits have the same cardinality $d$. If $mathbb{K}$ is a field, then there is a one-to-one correspondence between clutters on $V$ and square-free monomial ideals in $mathbb{K}[x_1,ldots,x_n]$ as follows: To each clutter $mathcal{C}$ we correspond its circuit ideal $I(mathcal{C})$ generated by monomials $x_{i_1}cdots x_{i_k}$ with ${i_1,ldots,i_k}inmathcal{C}$. Conversely, to each square-free monomial ideal $I$ with minimal set of generators $mathcal{G}(I)$, we correspond a clutter with circuits ${i_1,ldots,i_k}$, where $x_{i_1}cdots x_{i_k}inmathcal{G}(I)$. The independence complex of a clutter $mathcal{C}$ on $[n]$ is the simplicial complex $Delta_{mathcal{C}}$ whose faces are independent sets in $mathcal{C}$ by which we mean sets $Fsubseteq [n]$ such that $ensubseteq F$ for all $einmathcal{C}$. It is easy to see that the Stanley-Reisner ideal of $Delta_{mathcal{C}}$ coincides with $I(mathcal{C})$. The above correspondence establishes a one-to-one correspondence between simplicial complexes and independence complex of clutters. A simplicial complex $Delta$ is shellable if there exists a total order on its facets, say $F_1<cdots  </cdotshttp://mmr.khu.ac.ir/article-1-3171-en.htmlclutterhybrid cluttershellabilitycohen-macaulayindependence complex
spellingShingle Mohammad Farrokhi D. G.
Ali Akbar Yazdan Pour
New methods for constructing shellable simplicial complexes
پژوهش‌های ریاضی
clutter
hybrid clutter
shellability
cohen-macaulay
independence complex
title New methods for constructing shellable simplicial complexes
title_full New methods for constructing shellable simplicial complexes
title_fullStr New methods for constructing shellable simplicial complexes
title_full_unstemmed New methods for constructing shellable simplicial complexes
title_short New methods for constructing shellable simplicial complexes
title_sort new methods for constructing shellable simplicial complexes
topic clutter
hybrid clutter
shellability
cohen-macaulay
independence complex
url http://mmr.khu.ac.ir/article-1-3171-en.html
work_keys_str_mv AT mohammadfarrokhidg newmethodsforconstructingshellablesimplicialcomplexes
AT aliakbaryazdanpour newmethodsforconstructingshellablesimplicialcomplexes