[论文解读] Some Quotients of the Boolean Lattice are Symmetric Chain Orders

Dwight Duffus, Jeremy McKibben-Sanders+1 more|arXiv (Cornell University)|Jul 6, 2011

Advanced Algebra and Logic参考文献 5被引用 5

一句话总结

本文证明了在由不相交轮换的幂生成的群作用下，布尔格 $B_n$ 的商格是对称链序（SCO），推广了 Jordan 的结果。通过在 Greene 与 Kleitman 的对称链分解基础上使用修剪技术，作者为这些商格构造了显式的对称链分解，从而为布尔格上一大类群作用提供了直接且普遍的证明。

ABSTRACT

R. Canfield has conjectured that for all subgroups G of the automorphism group of the Boolean lattice B(n) (which can be regarded as the symmetric group S(n)) the quotient order B(n)/G is a symmetric chain order. We provide a straightforward proof of a generalization of a result of K. K. Jordan: namely, B(n)/G is an SCO whenever G is generated by powers of disjoint cycles. The symmetric chain decompositions of Greene and Kleitman provide the basis for partitions of these quotients.

研究动机与目标

• 解决 Canfield 与 Mason 的猜想，即对于所有子群 $G \leq S_n$，商格 $B_n/G$ 均为对称链序。
• 为布尔格上一大类群作用——特别是由不相交轮换的幂生成的群作用——提供一种直接且构造性的证明。
• 通过修剪现有对称链分解的方法，推广 Jordan 关于 $n$-轮换商格的结果，提供一种更简单、更系统化的方法。
• 证明当 $G$ 由不相交轮换的幂生成时，商格 $B_n/G$ 继承对称链分解性质，从而扩展了对项链格已知结果的范围。

提出的方法

• 作者以 Greene 与 Kleitman 对 $B_n$ 的对称链分解（SCD）为基础。
• 他们应用一种‘修剪’技术，将 SCD 限制在群作用下的不变子格上，同时保持对称链结构。
• 对于由不相交轮换幂生成的群，证明了商格 $B_n/G$ 可分解为更小的商格 $B(X_j)/H_j$ 的乘积，每个商格均继承 SCD。
• 该证明利用了 SCO 的乘积仍是 SCO 的事实，并借助引理 2 在各分量间保持对称链性质。
• 作者通过分析轨道结构，结合秩对称性和链覆盖关系，显式构造了商格中的对称链。
• 对于由反射生成的二元群这一特殊情况，他们使用 $B_{\lfloor n/2 \rfloor}$ 的 SCD 来构造 $B_n/G$ 的 SCD。

实验结果

研究问题

• RQ1 在何种条件下，子群 $G \leq S_n$ 使得商格 $B_n/G$ 为对称链序（SCO）？
• RQ2 当 $G$ 由不相交轮换的幂生成时，能否在不依赖中间等价关系的前提下，为 $B_n/G$ 是 SCO 提供一种直接且构造性的证明？
• RQ3 当 $G$ 由不相交轮换幂生成时，Greene-Kleitman 的 $B_n$ SCD 是否可系统性地进行修剪，从而得到 $B_n/G$ 的 SCD？
• RQ4 当 $G$ 是由反射生成的二元群时，$B_n/G$ 是否为 SCO？能否基于更小的布尔格分解来证明这一点？
• RQ5 当 $G$ 通过不相交轮换幂作用时，商格 $B_n/G$ 的结构是否保持对称链分解？这与 $B_n$ 的原始 SCD 有何关联？

主要发现

• 当 $G$ 由不相交轮换的幂生成时，商格 $B_n/G$ 为对称链序，从而证明了定理 1。
• 该证明通过修剪 Greene-Kleitman 的 SCD，显式构造了对称链分解，避免了先前工作中使用的复杂中间关系。
• 当 $G$ 由单个 $n$-轮换生成时，该结果以更简单、更具推广性的方式确认了 Jordan 定理。
• 商格 $B_n/G$ 同构于更小商格 $B(X_j)/H_j$ 的乘积，每个商格均允许 SCD，且 SCO 的乘积仍为 SCO。
• 该构造可推广至由反射生成的二元群情形，通过使用 $B_{\lfloor n/2 \rfloor}$ 的 SCD 来构建 $B_n/G$ 的 SCD。
• 作者证明：若 Greene-Kleitman SCD 中的对称链 $C_j$ 与一个在循环群作用下不变的子格 $C^m$ 相交，则必有 $C_j \subseteq C^m$，从而可构造 $C^m/K$ 的 SCD。