[论文解读] Criterions for Shellable Multicomplexes

Dorin Popescu|ArXiv.org|May 30, 2005

Commutative Algebra and Its Applications参考文献 4被引用 13

一句话总结

本文建立了多複合形與多齊次純淨過濾的可shell化性之代數與組合條件。提出基於最大面的新型可shell化性準則，證明最大可shell化性蘊含可shell化性，且其對應的Stanley-Reisner環為純淨環，從而連結代數性質與組合結構。

ABSTRACT

After [J.Herzog, D.Popescu, Finite filtrations of modules and shellable multicomplexes, Preprint IMAR no 4/2005, Bucharest, 2005], the shellability of multicomplexes $Γ$ is given in terms of some special faces of $Γ$ called facets. Here we give a criterion for the shellability in terms of maximal facets. Multigraded pretty clean filtration is the algebraic counterpart of a shellable multicomplex. We give also a criterion for the existence of a multigraded pretty clean filtration.

研究动机与目标

• 提出基於最大面而非所有面的多複合形可shell化性之新準則。
• 透過多齊次純淨過濾在多項式環中建立可shell化性的代數對應。
• 透過獨立證明與純淨與擬純淨模之準則之推廣，廣義化[4]之結果。
• 釐清可shell化性、最大可shell化性與純淨過濾存在性之間之關係。
• 提供反例，顯示可shell化多複合形未必為最大可shell化，且純淨環未必為Cohen-Macaulay環。

提出的方法

• 透過滿足特定交集與次數條件之最大面序列 u₁,…,uᵣ 定義多複合形 Γ 的shell化。
• 利用與多複合形關聯之理想 I(Γ)，構造 S/I(Γ) 的過濾，其因子同構於 S/Jᵢ(−aᵢ)，其中 Jᵢ 為不可約或準素理想。
• 透過驗證：當 i < j 且 Pᵤᵢ ⊂ Pᵤⱼ 時，必有 Pᵤᵢ = Pᵤⱼ，來確立過濾為純淨。
• 證明若多複合形為最大可shell化，則其對應環 S/I(Γ) 為純淨，此由所構造之過濾可得。
• 應用維度過濾與局部上同調之性質，驗證純淨與擬純淨條件。
• 使用範例說明：可shell化多複合形可能不具最大可shell化性，且即使環非Cohen-Macaulay，純淨過濾仍可能存在。

实验结果

研究问题

• RQ1 多複合形之最大面需滿足何種條件，方能確保其可shell化？
• RQ2 多齊次純淨過濾之存在性如何以代數方式表徵？
• RQ3 是否每個可shell化多複合形必為最大可shell化？其結構差異為何？
• RQ4 Stanley-Reisner環能否為純淨但非Cohen-Macaulay？對其對應多複合形有何意義？
• RQ5 標準對與關聯素理想在決定多複合形可shell化性中扮演何種角色？

主要发现

• 若多複合形 Γ 允許透過滿足條件之最大面序列進行shell化，則其為可shell化：對每個 i，元素 fᵢ = x^{tᵢ}，其中 tᵢ ∈ Γ(uᵢ) ∖ Γ(wᵢ₁,…,wᵢc)，生成商模 (⋂_{s=1}^{i-1} I(Γ(uₛ)))/(⋂_{s=1}^{i} I(Γ(uₛ))) 為循環模。
• 若多複合形為最大可shell化，則其對應環 S/I(Γ) 為純淨，此由構造因子同構於 S/Jᵢ(−aᵢ)（Jᵢ 為不可約或準素理想）之過濾可得。
• 存在可shell化但非最大可shell化的多複合形，如例3.8所示：即使最大可shell化性不成立，過濾仍為純淨。
• 若 depth(S/I(Γ)) < dim(S/I(Γ))，則環 S/I(Γ) 非純淨（因此 Γ 非最大可shell化），如例3.7所示，其中 depth 為 1。
• 多複合形為最大可shell化，當且僅當 Γ(u₁,…,uᵢ₋₁) ∩ Γ(uᵢ) 的唯一最大面滿足：對每個 j，若 x^{q} ∈ I(Γ(u₁,…,uᵢ₋₁)) ∖ I(Γ(uᵢ))，則必有 x^q ∈ (fᵢ)，以確保過濾定義良好。
• 過濾之構造確保關聯素理想滿足純淨條件：若 i < j 且 Pᵤᵢ ⊂ Pᵤⱼ，則必有 Pᵤᵢ = PᵤⱫ，此為環為純淨之關鍵。