[論文レビュー] 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）であることを証明している。グリーンとクライトマンの対称鎖分解（SCD）に対して「刈り込み」技術を適用することで、これらの商の明示的なSCIsを構成し、ブールラティス上の広範な群作用クラスについて直接的かつ一般的な証明を確立している。

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.

研究の動機と目的

• すべての部分群 $G \leq S_n$ に対して、$B_n/G$ が対称鎖順序（SCO）であるというキャンフィールドとメイソンの予想を解決すること。
• 特に、互いに素な巡回置換のべきによって生成される群作用——特にそのような群作用に対して、直接的かつ構成的な証明を提供すること。
• ジョルダンの $n$-巡回置換の商に関する結果を一般化し、既存の対称鎖分解の刈り込みを用いたより単純で体系的な方法を提示すること。
• 群 $G$ が互いに素な巡回置換のべきによって生成されるとき、商順序集合 $B_n/G$ が対称鎖分解の性質を保つことを示すこと。これは、ネックレス順序集合に関する既知の結果を拡張する。

提案手法

• 著者たちは、$B_n$ の対称鎖分解（SCD）を基礎として、グリーンとクライトマンの結果を用いる。
• 群作用の不変部分格子に制限されるように、SCDに「刈り込み」技術を適用し、対称鎖構造を保つ。
• 互いに素な巡回置換のべきによって生成される群に対しては、商 $B_n/G$ が、各々が対称鎖分解（SCD）を有するより小さい商 $B(X_j)/H_j$ の積に分解されることを示した。
• SCOs の積が再び SCO であるという事実を活用し、成分間で対称鎖性が保たれることを示すために、補題2を用いた。
• 軌道構造の分析とランク対称性、鎖被覆関係を用いて、商における明示的な対称鎖を構成した。
• 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$ が互いに素な巡回置換のべきによって生成されるとき、$B_n$ のグリーン＝クライトマンのSCDが、体系的な刈り込みによって $B_n/G$ のSCDを導けるか。
• RQ4 群 $G$ が反射によって生成される2要素群である場合、$B_n/G$ はSCOか。また、より小さいブールラティスに基づく分解によってその証明が可能か。
• RQ5 群 $G$ が互いに素な巡回置換のべきによって作用するとき、商 $B_n/G$ の構造は対称鎖分解を保ち、元の $B_n$ のSCDとどのように関係するか。

主な発見

• 群 $G$ が互いに素な巡回置換のべきによって生成される限り、商 $B_n/G$ は対称鎖順序（SCO）であることが示され、定理1が証明された。
• グリーン＝クライトマンのSCDに対して刈り込みを適用する直接的な構成的手法により、先行研究で用いられた複雑な中間関係に依存しない証明が可能となった。
• $G$ が単一の $n$-巡回置換によって生成される場合、この結果はジョルダンの定理をより単純で一般化可能な方法で再確認した。
• $B_n/G$ は、各々がSCDを有するより小さい商 $B(X_j)/H_j$ の積と同型であり、SCOs の積はSCO である。
• 2要素群で反射によって生成される場合にも、$B_{\lfloor n/2 \rfloor}$ のSCDを用いて $B_n/G$ のSCDを構成する方法が拡張された。
• 著者たちは、グリーン＝クライトマンのSCDにおける対称鎖 $C_j$ が、巡回群作用に関して不変な部分格子 $C^m$ と交わるならば、$C_j \subseteq C^m$ であることを示し、これにより $C^m/K$ のSCDの構成が可能になった。