Resolutions of facet ideals
本文研究了由S。法里迪这些单纯复形被称为树,并且是图论中树的概念的推广(到更高维度)。证明了树的刻面理想I的Koszul同调是由单式圈的同调类生成的,确定了1维树的I的投射维数和正则性,证明了余维连通树的I的分次贝蒂数满足交替和性质,并对刻面理想具有线性分解的树进行了分类.
2003-07-17 math.AC
Simplicial Trees are Sequentially Cohen-Macaulay
本文利用刻面理想理论与Stanley-Reisner理论的对偶性,证明了单纯树的刻面理想是序列Cohen-Macaulay理想。证明涉及到表明亚历山大对偶(或覆盖对偶,因为我们在这里称之为)的单纯树是一个分量线性理想。我们的结论与单纯树的其他组合性质。
2003-08-27 math.AC math.CO
Determinantal Facet Ideals
我们考虑由不定式的$m\times n$ -矩阵的$m$ -子式的一般集合生成的理想。生成器被识别为一个$(m-1)$维纯单纯复形的刻面。由对应于这样一个复形的小平面的子式生成的理想称为行列式小平面理想。给定一个纯单纯复形$Δ$,讨论了它的行列式分面理想$J_Δ$的生成子式构成Gröbner基和$J_Δ$是素理想的问题.
2012-04-30 math.AC math.CO
On the Stanley-Reisner ideal of an expanded simplicial complex
设$Δ$是一个单纯复形。我们研究$Δ$的展开式,主要是为了了解$Δ$及其展开式的代数性质和组合性质是如何相互联系的。证明了$Δ$是Cohen-Macaulay,序列Cohen-Macaulay,Buchsbaum或$k$ -可分解的当且仅当$Δ$的任意展开式具有相同的性质.此外,还比较了$Δ$及其展开式的Stanley-Reisner理想的正则性和投射维数等同调不变量.
2016-01-13 math.AC math.AG
Lattice Complements and the Subadditivity of Syzygies of Simplicial Forests
证明了小面理想单纯森林的合合点的最大次数的次可加性。对于这样一个理想的$I$,如果$i$ -th Betti数是非零的和$i=a+b$,我们表明,有单项式的lcm格的$I$是补充的部分格,每个支持一个非零的$a$ -th和$b$ -th贝蒂数。次可加性公式由这一观察得出。
2016-05-25 math.AC
Simplicial complexes with many facets are vertex decomposable
本文改进 Terai–Yoshida 定理,证明面数达到 $\inom{n}{c}-2c+1$ 的纯单纯复形不仅是 Cohen–Macaulay,更是顶点可分解的,并证明界最优。
2024-10-27 math.AC math.CO
On squarefree powers of simplicial trees
Sabanci University(萨贝里大学)
本文研究单纯树的平方自由幂的正则性及线性性质,提出路径图t-路径理想的平方自由幂的正则性组合公式。
2025-12-01 math.AC
Cohen-Macaulay Properties of Square-Free Monomial Ideals
在本文中,我们研究单纯复形作为高维图,以产生代数报表,其方面的理想。本文引入了一类具有Cohen-Macaulay等价的无平方的单项理想,并给出了单纯树的刻面理想的Cohen-Macaulay性的一个判别准则。在此过程中,我们将图论中的几个概念推广到单纯复形。
2005-07-12 math.AC math.CO
Uniformly Cohen-Macaulay simplicial complexes and almost Gorenstein* simplicial complexes
本文研究了Stanley-Reisner环几乎为Gorenstein且具有$a$ -不变零点的单纯复形.我们称这样的单纯复形为几乎Gorenstein* 单纯复形。为了研究几乎Gorenstein* 性质,我们引入了一类新的单纯复形,我们称之为一致Cohen-Macaulay单纯复形.一个$d$维单纯复形$Δ$称为一致Cohen-Macaulay,如果它是Cohen-Macaulay,并且对于$Δ$的任何小平面$F$,单纯复形$Δ\setminus\{F\}$是维数为$d$的Cohen-Macaulay。我们研究了这些单纯复形的基本代数、组合和拓扑性质,证明了几乎Gorenstein* 单纯复形一定是一致Cohen-Macaulay的.利用这一事实,我们证明了几乎Gorenstein* 单纯复形复形都可以分解为具有一维上同调的复形.同时,我们给出了维数为$\leq 2$的单纯复形的几乎Gorenstein* 性质的一个组合判据.
2016-02-25 math.AC
Simplicial cycles and the computation of simplicial trees
我们将圈的概念从图推广到单纯复形。我们表明,单纯循环是一个序列的小平面连接在一个圆圈的形状,或者是一个圆锥体在这样的结构。我们表明,单纯树是一个连接的无圈单纯复形,并使用此特性产生一个算法,检查在多项式时间内是否一个单纯复形是一棵树。我们还提出了一个有效的算法来检查是否一个单纯复形嫁接,因此科恩-麦考利。
2006-06-15 math.AC math.CO
Resolutions of square-free monomial ideals via facet ideals: a survey
本文综述了最近关于无平方项单项式理想的最小分次自由分解的一些结果。将这些结果统一起来的主题是这样一种观点,即单项理想的生成元对应于单纯复形Δ的极大面(刻面)。
2007-05-28 math.AC math.CO
Pure simplicial complexes and well-covered graphs
一个图$G$称为良好覆盖的,如果所有的极大独立顶点集具有相同的基数。单纯复形$Δ$称为纯复形,如果它的所有面都具有相同的基数。设$\mathcal G$是一类图,它具有一些不交的极大团覆盖所有顶点.本文证明了对于任意单纯复形或任意图,在类$\mathcal G$中存在一个相应的图,该图具有相同的良好覆盖性.然后给出了快速识别类$\cal G$中的图是否被覆盖的充分必要条件。为了做这个特征,我们使用代数解释根据零因子元素的边环的图。
2012-07-10 math.AC
Hamiltonian paths, unit-interval complexes, and determinantal facet ideals
我们研究d-维推广的三个相互关联的主题在图论:哈密顿路径,(单位)区间图,和二项式边理想。本文给出了Ore和Posa关于图是Hamilton图的充分条件的部分高维推广。我们介绍了一个层次的组合性质的单纯复形,推广单位区间,区间,和共同可比图。我们将这些属性连接到已经存在的概念的行列式方面的理想和哈密顿路径的单纯复形。我们的工作的一些重要结果是:(1)几乎闭强连通d维单纯复形是可迹的。(This推广了著名的结果“单位区间连通图是可迹的”。(2)每个几乎闭d-复形在删除d个或更少的顶点后保持强连通,是Hamilton的。(This推广了“单位区间2-连通图是哈密尔顿图”这一事实。(3)单位区间复形的特征在于,在可迹复形中,定义其行列式小面理想的子式形成与复形的可迹性相容的对角项阶的Groebner基。(This修正了Ene等人最近的一个定理,推广了赫尔佐格等人的一个结果,并部分回答了阿尔穆萨-范德博格的一个问题。)(4)只有单形的d-骨架具有线性分辨率的行列式小面理想。(This推广了Kiani和Saeedi-Madani的结果,即“只有完全图具有线性分解的二项式边理想”。(5)所有欠闭和半闭复形的行列式刻面理想都有关于lex的无平方初始理想。在特征p中,它们甚至是F纯的。
2021-04-12 math.AC math.CO
Higher Nerves of Simplicial Complexes
我们调查广义概念的神经复合体的方面的单纯复形。我们发现,这些更高的神经复合体的同源性决定了斯坦利Reisner环的深度$k[Δ]$以及$Δ$的$f$ -矢量和$h$ -矢量。作为应用,我们给出了计算单项理想正则性的一个公式。
2019-01-29 math.AC math.CO
Sortable simplicial complexes and their associated toric rings
该研究针对d-flag可排序单纯复形,证明其关联环面环及纯骨架面理想的Rees代数为Koszul正规Cohen-Macaulay整环,分析了环面环的Gorenstein性质等,并证明这类复形顶点可分解以刻画其Cohen-Macaulay性质。
2024-12-13 math.AC
Random numerical semigroups and a simplicial complex of irreducible semigroups
我们研究的随机数值半群的概率模型的启发下的随机图的Erdos-Renyi模型的性质。给出了随机半群的上有限性的门限函数,并给出了随机半群的期望嵌入维数、亏格和Frobenius数的界.我们的结果如下,令人惊讶的是,从一个非常自然的shellable单纯复形的建设,其方面是在双射与不可约的数值半群的一个固定的Frobenius数和其$h$ -向量确定的概率,一个特定的元素在于在半群。
2017-10-24 math.AC math.CO
Line graphs of simplicial complexes
本文研究纯单纯复形的线图,证明可基于其线图的组合结构计算面理想的第二阶分次Betti数,并刻画了线图为完全(二部)图的纯单纯复形及线图应满足的条件。
2025-09-15 math.AC math.CO
The Cohen-Macaulay Property of $f$-ideals
对于正整数$d<n$,设$[n]_d=\{A\in 2^{[n]}\mid |A|=d\}$,其中$[n]=:\{1,2,\ldots, n\}$。对于纯$f$ -单纯复形$Δ$使得${\rm dim}(Δ)={\rm dim}(Δ^c)$和$\mathcal{F}(Δ)\cap \mathcal{F}(Δ^c)=\emptyset$,我们证明了小平面理想$I(Δ)$是Cohen-Macaulay当且仅当它有线性分辨.对于$d$维纯$f$ -单纯复形$Δ$,使得$Δ'=:\langle F\mid F\in [n]_d\smallsetminus \mathcal F(Δ)\rangle$是$f$ -单纯复形,我们证明了$I(Δ^c)$是Cohen-Macaulay当且仅当$I(Δ')$有线性分辨.
2021-02-11 math.AC
Determinantal Facet Ideals for Smaller Minors
行列式分面理想(DFI)由一般$n\times m$矩阵的极大子式的子集生成,其中$n\leq m$由单纯复形$Δ$的分面索引。我们认为更一般的概念的$r$ -DFI,这是由一个子集的$r$ -未成年人的通用矩阵索引的方面的$Δ$为一些$1\leq r\leq n$。我们定义和研究了所谓的lcm-闭和单位区间$r$ -DFI,并表明,由$Δ$的方面参数化的未成年人形成一个减少的Gröbner基础方面的\emph{any}长期秩序的lcm-闭$r$ -DFI。我们还看到,是lcm-封闭的一般化条件以前介绍的文献中,并推测,在情况下$r=n$,lcm-封闭性是必要的Gröbner基础。给出了$Δ$的最大团的条件,保证了1 cm-闭的单位区间$r$ -DFI是Cohen-Macaulay的.最后,我们得出了Ene,Herzog和Hibi关于某些类型的$r$ -DFI的贝蒂数的猜想的一个变体,并为Cohen-Macaulay单位区间DFI提供了这个猜想的一个证明。
2022-01-26 math.AC
Linear Strands of Initial Ideals of Determinantal Facet Ideals
行列式分面理想(DFI)是由相关单纯复形$Δ$参数化的一般矩阵的极大子式生成的理想$J_Δ$。本文构造了任意DFI的初始理想关于任意对角项阶$<$的显式线性串。特别地,我们证明了如果$Δ$没有\emph{1-nonfaces},那么线性链的$J_Δ$和它的初始理想的贝蒂数一致。我们应用这个结果证明了一个猜想Ene,Herzog,和Hibi的贝蒂数的封闭二项式边理想的情况下,相关的图有最多$2$最大团。更一般地说,我们表明,线性链的初始理想(相对于$<$)的\emph{any} DFI支持多面体胞腔复形的诱导子复杂的\emph{complex of boxes},介绍了内格尔和赖纳。
2022-01-26 math.AC
A note on the van der Waerden complex
埃斯波伯格、戈文达雅、帕克和雷迪最近引入了范德瓦尔登复形,这是一种纯单纯复形,其面对应于等差数列。使用组合交换代数的技术,我们分类时,这些纯单纯复形是顶点可分解或不科恩-麦考利。作为一个推论,我们分类的范德瓦尔登复壳。
2017-07-24 math.AC math.CO
Spanning Simplicial Complexes of Uni-Cyclic Multigraphs
多重图是一个允许有多条边的非简单图,即有相同端点的边。本文引入了多重图$\mathcal{G}$的生成单纯复形$Δ_s(\mathcal{G})$的概念,推广了关联简单图的生成单纯复形.首先给出了单圈多重图$\mathcal{U}_{n,m}^r$的所有生成树的刻画,其中$n$的边包括长度为$m$的圈内和圈外的$r$重边.然后,我们确定了生成单纯复形$Δ_s(\mathcal{U}_{n,m}^r)$的刻面理想$I_\mathcal{F}(Δ_s(\mathcal{U}_{n,m}^r))$及其准素分解。欧拉特征是一个著名的拓扑和同伦不变量,分类曲面。最后,给出了生成单纯复形$Δ_s(\mathcal{U}_{n,m}^r)$的欧拉特征线的计算公式.
2017-08-19 math.AC math.AT math.CO
Lefschetz properties of balanced 3-polytopes
本文研究了平衡单纯$3$ -多面体的Stanley-Reisner环的Artin约化的Lefschetz性质。一个$(d-1)$维单纯复形称为平衡复形,如果它的图是$d$ -可着色的.如果一个单纯复形是平衡的,那么它的Stanley-Reisner环有一个特殊的由染色诱导的参数系。本文证明了平衡单纯$3$ -多胞形的Stanley-Reisner环关于这一特殊参数系的Artin约化具有强Lefschetz性质,只要基域的特征不为二或三.此外,我们还刻画了$(2,1)$ -平衡单纯多面体,即,在每个小平面中正好有一个红色顶点和两个蓝色顶点的多面体,使得类似的性质成立。事实上,我们表明,这是当且仅当诱导图的蓝色顶点满足一个拉曼型组合条件的情况下。
2016-06-07 math.AC math.CO
The projective dimension of sequentially Cohen-Macaulay monomial ideals
证明了序列Cohen-Macaulay无平方单项式理想的投射维数等于它的极小素数的最大高度(也称为大高度),或者等价地等于它的小平面复形的极小顶点覆盖的最大基数.这特别给出了一个公式的投射维数方面的理想,这些类的理想,这是已知的顺序科恩-麦考利:图树和单纯树,弦图和一些周期,弦杂波和图形,以及一些路径理想,仅举几例。由于极化保持了投射维数,我们的结果也给出了序列Cohen-Macaulay单项理想的投射维数.
2013-10-22 math.AC
An Eisenbud-Goto type inequality for Stanley-Reisner ideals and simplicial complexes
本文通过面片连接方式给出单纯复形 Leray 数的上界,并刻画等号成立时的结构,从而经 Stanley-Reisner 对应得到无平方单项式理想的 Eisenbud-Goto 型不等式,推广了 Terai 的结果。
2023-08-07 math.AC math.AT math.CO
Square-free powers of Cohen-Macaulay simplicial forests
Chennai Mathematical Institute(金奈数学研究所);SRM University-AP(SRM大学安得拉邦校区)
本文研究了Cohen-Macaulay simplicial森林的无平方幂性质,证明其在所有k≥1时均为Cohen-Macaulay,并引入特殊叶的概念,给出深度函数的显式公式。
2025-10-02 math.AC math.CO
Shellable simplicial complex and switching rook polynomial of frame polyominoes
本文通过框架多联骨牌的可壳单纯复形建立规范车构型与面的双射,并借助 McMullen-Walkup 定理将其环的 h-多项式解释为切换车多项式。
2023-11-07 math.AC math.CO
Cohen-Macaulayness of large powers of Stanley-Reisner ideals
证明了当m > 2时,Stanley-Reisner理想的m次符号幂是Cohen-Macaulay当且仅当单纯复形是拟阵.类似地,m次普通幂是Cohen-Macaulay,其中m > 2当且仅当复形是完全交。这些结果解决了Stanley-Reisner理想的普通幂和符号幂的Cohen-Macaulay性的几个公开问题。此外,它们对刻面理想和覆盖理想的象征力量的Cohen-Macaulayness有有趣的影响。
2010-09-04 math.AC
Geometrically vertex decomposable open neighborhood ideals
本文证明了TD-混合树的开邻域理想是几何顶点可分解的,并探讨了弦图开邻域理想与平方自由单项式理想的关系。
2026-01-21 math.AC
The van der Waerden Simplicial Complex and its Lefschetz Properties
McMaster University(麦克马斯特大学)
本文研究了van der Waerden simplicial complex的Lefschetz性质,发现当k=1,2或n-1时,环A(n,k)具有弱Lefschetz性质;当k=3时分类了具有该性质的环,且猜想当n远大于k≥3且k为奇数时,环失去该性质。
2026-08-21 math.AC
Symmetric (co)homology polytopes
Universität Osnabrück(奥斯纳布吕克大学);Dalhousie University(达尔豪斯大学)
本文提出了一种将单纯复形的拓扑性质转化为对称多面体几何性质的方法,并研究了其整数分解性质及反射性。
2026-02-19 math.AC math.CO
A construction of sequentially Cohen-Macaulay graphs
对每个单图$G$,引入了一类多团簇须图$G^{md}$,证明了所有图$G^{md}$都是点可分解的,从而独立单纯复形${\rm Ind}\,G^{md}$是顺序Cohen-Macaulay;研究了图$G^{md}$和带络须图$G^π$的性质,包括复形${\rm Ind}\, G^π$的刻面计数,覆盖理想$I_c(G^{md})$的贝蒂数的计算.
2018-06-13 math.AC
f-vectors implying vertex decomposability
证明了如果一个d维n面纯单纯复形在所有d维n面复形中具有最少的(d-1)维面,则它是顶点可分解的.这回答了赫尔佐格和T.日比事实上,我们证明了他们的定理使用组合方法的推广。
2013-02-18 math.AC math.CO
The $\mathcal{N}\mathcal{F}$-Number of a Simplicial Complex
设$Δ$是$[n]$上的一个单纯复形. $Δ$的$\mathcal{N}\mathcal{F}$ -复形是$[n]$上的单纯复形$δ_{\mathcal{N}\mathcal{F}}(Δ)$,其中$Δ$的小平面理想等于$δ_{\mathcal{N}\mathcal{F}}(Δ)$的Stanley-Reisner理想。此外,对于每个$k = 2,3,\ldots$,我们引入{ \em $k^{th}$ $\mathcal{N}\mathcal{F}$ -complex} $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ)$,其由具有设置$δ^{(1)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(Δ)$的$δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(δ^{(k-1)}_{\mathcal{N}\mathcal{F}}(Δ))$归纳地定义。可以设置$δ^{(0)}_{\mathcal{N}\mathcal{F}}(Δ) = Δ$。$\mathcal{N}\mathcal{F}$ -$Δ$的编号是$δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) \simeq Δ$的最小整数$k > 0$。…
2020-05-04 math.AC math.CO
On Stanley-Reisner rings with linear resolution
本文在已有图复形$Δ_k^t(G)$拓扑性质研究的基础上,进一步探究该复形及其Alexander对偶的Stanley-Reisner环的Cohen-Macaulay性、Betti数、线性消解等代数性质。
2023-11-05 math.AC
Vertex Dismissibility and Scalability of Simplicial Complexe
University of Sulaimani(苏莱曼尼亚大学)
本文研究了单纯复形的顶点可弃性和可扩展性,揭示了其严格层次结构及代数结构,通过拓扑与同调视角统一了经典结果。
2026-09-03 math.AC math.CO
Tableau complexes
设X,Y是有限集,T是从X -> Y的函数集合,我们称之为“tableaux”。我们定义了一个单纯复形,它的面,都是相同的尺寸,对应于这些tableaux。这样的“tableau复合物”有许多很好的性质,并经常同胚球,我们证明使用顶点分解。在我们的激励示例中,面由半标准Young tableaux标记,更一般的内部面由Buch的集值半标准tableaux标记。一个顶点分解这个“年轻的画面复杂”平行拉斯库的过渡公式vexillary双Grothendieck多项式。因此,我们得到这些多项式的公式(旧的和新的)。特别是,我们提出了一个共同的推广的公式的瓦克斯和布赫,其中每一个都意味着经典的表公式舒尔多项式。
2006-03-29 math.AC math.CO
The NF-operator and the NF-Numbers of Simplicial Complexes
School of Mathematics and Statistics, Shandong University of Technology(山东理工大学数学与统计学院)
本文定义并研究了单纯复形的NF-算子及其迭代周期(NF-数),给出了若干图族NF-数的显式公式,包括哑铃图、完全分裂图和双星图。
2026-05-29 cs.DM math.AC math.CO
DG-Sensitive Pruning & a Complete Classification of DG Trees and Cycles
本文证明了极小自由分解的dg代数结构在“修剪”下保持不变,并利用离散莫尔斯理论对由dg代数极小分解的树和圈进行了基于直径的完全分类。
2025-02-01 math.AC math.CO
Newton complementary duals of $f$-ideals
如果与$I$相关的小平面复形和非面复形具有相同的$f$ -向量,则称$k[x_1,\ldots,x_n]$的无平方单项式理想$I$是$f$ -理想。证明了$I$是$f$ -理想的充要条件是它的牛顿互补对偶$\widehat{I}$也是$f$ -理想.由于这种对偶性,以前关于某些类$f$ -理想的结果可以推广到更大类的$f$ -理想.一个有趣的副产品,我们的工作是另一种形式的Kruskal-Katona定理的$f$ -向量的单纯复形。
2018-09-04 math.AC math.CO
Minimal systems of binomial generators and the indispensable complex of a toric ideal
设$A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$是一个矢量构形,而$I_A \subset K[x_1,...,x_m]$是它相应的复曲面理想。本文共分两部分。在第一部分中,我们完全确定了$I_A$的二项式生成元的不同极小系统的个数。我们还证明了通有环面理想是由必不可少的二项式生成的。在第二部分中,我们将$A$与单纯复形$Δ_{\ind(A)}$相关联。证明了$Δ_{\ind(A)}$的顶点对应于复曲面理想$I_A$的必不可少的单项式,而$Δ_{\ind(A)}$的具有最小二项式$A$度的一维刻面对应于$I_{A}$的必不可少的二项式.
2006-07-11 math.AC math.CO
Sequentially Cohen-Macaulay Edge Ideals
设G是一个n阶简单无向图,I(G)\subseteq R = k[x_1,.,x_n]表示其相关的边理想。我们证明了所有弦图G都是序列Cohen-Macaulay图;我们的证明依赖于证明I(G)的Alexander对偶是分量线性的。我们的结果补充了Faridi的定理,即单纯树的小面理想是顺序Cohen-Macaulay,并暗示了Herzog,Hibi和Zheng的定理,弦图是Cohen-Macaulay当且仅当它的边理想是unmixed。我们还刻画了序列Cohen-Macaulay圈,并给出了一些非弦序列Cohen-Macaulay图的例子。
2006-04-12 math.AC math.CO
Algebraic properties of the path ideal of a tree
图G的路理想(长度t >=2)是单项式理想,记为I_t(G),其生成元对应于G中长度为t的有向路。本文研究了当G是树时I_t(G)的一些代数性质。首先证明了I_t(G)是单纯树的刻面理想。因此,商环R/I_t(G)总是序列Cohen-Macaulay的,并且R/I_t(G)的贝蒂数不依赖于域的特征.我们研究的情况下,线图在更详细的文件的最后。
2009-10-06 math.AC math.CO
Some degenerations of Kazhdan-Lusztig ideals and multiplicities of Schubert varieties
通过Kazhdan-Lusztig理想的Groebner退化,研究了Schubert簇在完备旗簇中的点的Hilbert-Samuel重数.在covexillary的情况下,我们给出了一个积极的组合规则的多重性,通过建立(与Groebner基)减少和等维的限制,其斯坦利-Reisner单纯复形是同胚的可壳球或球体。我们表明,多重计数的方面,这个复杂的数量。我们还得到了局部环的Hilbert级数的一个公式。特别地,我们的工作给出了Grassmannian Schubert簇的重数规则,为[Lakshmibai-Weyman '90],[Rosenthal-Zelevinsky' 01],[Krattenthaler '01],[Kreiman-Lakshmibai' 04]和[Woo-Yong '09]的公式提供了替代陈述和证明.我们建议我们的方法扩展到一般情况下。
2010-01-20 math.AC math.AG math.CO