[论文解读] Lexicographic shellability for balanced complexes

Patricia Hersh|ArXiv.org|Nov 16, 2003

Topological and Geometric Data Analysis参考文献 16被引用 6

一句话总结

本文引入了一种广义的字典序壳化概念——CC-标记，适用于纯的、平衡的布尔胞腔复形，将经典的壳化理论推广至商复形，如 Δ(B₂ₙ)/S₂≀Sₙ 和 Δ(Πₙ)/Sₙ。本文建立了 Δ(B₂ₙ)/S₂≀Sₙ 的字典序壳化，并对 Δ(Πₙ)/Sₙ 实现了划分，从而给出了在秩选择的分拆格同调中平凡表示的重数 bₛ(n) 的组合解释，并证明了在任意域上，不变多项式环 k[x₁,…,x₂ₙ]^{S₂≀Sₙ} 的 Cohen-Macaulay 性质。

ABSTRACT

We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $. Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.

研究动机与目标

• 将字典序壳化理论推广至由偏序集上群作用产生的商复形，特别是那些非单纯单纯复形的商复形。
• 回答 Stanley 关于在秩选择的分拆格同调中平凡表示重数 bₛ(n) 何时为零的开放问题。
• 证明在任意域 k 上，不变环 k[x₁,…,x₂ₙ]^{S₂≀Sₙ} 是 Cohen-Macaulay 的，将已知结果推广至任意特征。
• 通过商复形的旗 h-向量，利用字典序壳化中的下降集，为 bₛ(n) 提供组合解释。

提出的方法

• 为纯的、平衡的布尔胞腔复形引入一种新的 CC-标记概念，将基于偏序集的壳化推广至非单纯商复形。
• 验证 Δ(B₂ₙ)/S₂≀Sₙ 和 Δ(Πₙ)/Sₙ 满足 CC-标记的三个条件：唯一递增链、交叉条件及多重面重叠。
• 通过基于半直积作用结构与轨道代表元中上升模式的链标记，构造 Δ(B₂ₙ)/S₂≀Sₙ 的字典序壳化。
• 利用 Garsia-Stanton 定理，从壳化中导出一组基本不变量，从而构造具有已知代数性质的不变环。
• 应用 Reiner 的同构（商复形的面环与不变子环之间），将 Cohen-Macaulay 性从复形传递至多项式环。
• 分析壳化与划分中的下降集，实现对 bₛ(n) 的组合解释，并证明 Hanlon 的结论：b₁,…,ᵢ(n) = 0。

实验结果

研究问题

• RQ1 在什么条件下，秩选择分拆格 Δ(Πₙˢ) 的同调中平凡表示的重数 bₛ(n) 等于零？
• RQ2 当 G 是作用于偏序集 P 的群，且 Δ(P)/G 不同构于 Δ(P/G) 时，能否为商复形 Δ(P)/G 定义字典序壳化？
• RQ3 若一个平衡布尔胞腔复形具有 CC-标记，是否意味着其面环是 Cohen-Macaulay 的？
• RQ4 能否利用 Δ(Πₙ)/Sₙ 的旗 h-向量，为 bₛ(n) 提供组合解释？
• RQ5 在任意域 k（包括正特征域）上，不变环 k[x₁,…,x₂ₙ]^{S₂≀Sₙ} 是否为 Cohen-Macaulay 的？

主要发现

• 通过 CC-标记构造了 Δ(B₂ₙ)/S₂≀Sₙ 的字典序壳化，证明该商复形是壳化的。
• 为 Δ(Πₙ)/Sₙ 构造了划分，且该划分中的下降集提供了 Δ(Πₙˢ) 同调中平凡表示重数 bₛ(n) 的组合解释。
• 证明了对所有 i 和 n，有 b₁,…,ᵢ(n) = 0，利用划分中的下降结构，为 Hanlon 的结论提供了简洁证明。
• 面环 k[Δ(B₂ₙ)/S₂≀Sₙ] 在整数环上是 Cohen-Macaulay 的，通过 Reiner 的同构，这意味着不变子环 k[x₁,…,x₂ₙ]^{S₂≀Sₙ} 在任意域 k 上都是 Cohen-Macaulay 的。
• Δ(Πₙ)/Sₙ 划分的关联矩阵尚不知是否非奇异，但划分的存在性意味着不变环可能存在一组基。
• 通过壳化与 Garsia-Stanton 定理，证明了在任意域 k（包括正特征域）上，不变环 k[x₁,…,x₂ₙ]^{S₂≀Sₙ} 是 Cohen-Macaulay 的。