[論文レビュー] On the Poset of Multichains

Henri Mühle|arXiv (Cornell University)|Jun 13, 2015

Advanced Algebra and Logic参考文献 8被引用数 3

ひとこと要約

本稿では、有限の半順序集合 $\mathcal{P}$ の $m$-多重鎖の半順序集合、すなわち成分ごとの順序に関する長さ $m$ の非減少鎖の集合として表される $\mathcal{P}^{[m]}$ を導入する。この構成によって、構造的および位相的性質——例えば EL-シェーリング可能性や順序複体の可縮性——が保たれることを示し、分配的ラティスの場合に $m$-多重鎖の半順序集合と $\mathcal{J}(\mathcal{P}) \times \mathcal{C}_m$ の順序イデアルとの間の標準的同型が存在することを示し、スターリングの $\mathcal{P}$-分割理論と結びつける。

ABSTRACT

In this note we introduce the poset of $m$-multichains of a given poset $\mathcal{P}$. Its elements are the multichains of $\mathcal{P}$ consisting of $m$ elements, and its partial order is the componentwise partial order of $\mathcal{P}$. We show that this construction preserves a number of poset-theoretic and poset-topological properties of $\mathcal{P}$. Moreover, we describe the structure of the poset of $m$-multichains of a finite distributive lattice, and provide a link to R.~Stanley's theory of $\mathcal{P}$-partitions.

研究の動機と目的

• 有限半順序集合 $\mathcal{P}$ の $m$-多重鎖の半順序集合 $\mathcal{P}^{[m]}$ を定義し、$\mathcal{P}^m$ の $m$ 重積における成分ごとの順序の下で部分半順序集合として扱う。
• 半順序集合論的および位相的性質——特に EL-シェーリング可能性と順序複体の可縮性——が $\mathcal{P}$ から $\mathcal{P}^{[m]}$ にどのように保存されるかを調査する。
• $\mathcal{P}$ が有限の分配的ラティスである場合に、$\mathcal{P}^{[m]}$ の構造的特徴づけを行い、積半順序集合の順序イデアルと結びつける。
• $\mathcal{P}$ が分配的ラティスである場合に、$m$-多重鎖と R. スターリングの $\mathcal{P}$-分割理論との間の関係を、標準的同型を用いて確立する。

提案手法

• $\mathcal{P}^{[m]}$ をすべての $m$-組 $(x_1, \dots, x_m)$ の集合として定義し、$x_1 \leq \cdots \leq x_m$ を満たすものとし、成分ごとの順序で順序づける。
• $\mathcal{P}^{[m]}$ が $\mathcal{P}^m$ の誘導部分半順序集合であることを示し、積からの順序関係を保つことを証明する。
• $\mathcal{P}$ が EL-シェーリング可能であるならば、$\mathcal{P}^{[m]}$ に対しても自然な辺ラベル付けの構成を用いて、EL-シェーリング可能であることを証明する。
• $m > 1$ のとき、順序複体の変形再びの議論を用いて、$\mathcal{P}^{[m]}$ の順序複体が可縮であることを示す。
• ビーコフの表現定理を適用し、$\mathcal{P}$ が有限の分配的ラティスである場合に、$\mathcal{P}^{[m]}$ が $\mathcal{J}(\mathcal{P}) \times \mathcal{C}_m$ の順序イデアルと同型であることを示す。ここで $\mathcal{J}(\mathcal{P})$ は結合的不可約元の半順序集合である。
• $\mathcal{P}$ における $m$-多重鎖と高さが $m$ 以下の $\mathcal{P}$-分割との間の双対性を確立し、同型 $\mathcal{A}(\mathcal{P};m) \cong \mathcal{I}(\mathcal{P} \times \mathcal{C}_m)$ を通じて、この構成をスターリングの $\mathcal{P}$-分割理論と結びつける。

実験結果

リサーチクエスチョン

• RQ1 $m$-多重鎖の構成は、元の半順序集合 $\mathcal{P}$ の EL-シェーリング可能性を保つのか？
• RQ2 $m > 1$ のとき、$\mathcal{P}^{[m]}$ の順序複体は可縮なのか？
• RQ3 有限の分配的ラティスにおける $m$-多重鎖の半順序集合は、順序イデアルの観点からどのように特徴づけられるか？
• RQ4 分配的ラティスにおける $m$-多重鎖とスターリングの $\mathcal{P}$-分割との関係は何か？
• RQ5 $m$-多重鎖の半順序集合は、自然に既知の組合せ的構造——例えば積半順序集合の順序イデアル——と同一視できるか？

主な発見

• $\mathcal{P}^{[m]}$ は $\mathcal{P}$ から EL-シェーリング可能性を引き継ぐ。つまり、$\mathcal{P}$ に一貫した辺ラベル付けが存在するならば、$\mathcal{P}^{[m]}$ に対しても同様に存在する。
• $m > 1$ のすべての $m$ に対して、$\mathcal{P}^{[m]}$ の順序複体は可縮である。これは、$\mathcal{P}^{[m]}$ が点とホモトピー同値であることを意味する。
• 有限の分配的ラティス $\mathcal{P}$ に対して、半順序集合 $\mathcal{P}^{[m]}$ は $\mathcal{J}(\mathcal{P}) \times \mathcal{C}_m$ の順序イデアルと同型である。ここで $\mathcal{J}(\mathcal{P})$ は $\mathcal{P}$ の結合的不可約元の半順序集合である。
• $\mathcal{P}$-分割の高さが $m$ 以下の $m$-有界 $\mathcal{P}$-分割の半順序集合 $\mathcal{A}(\mathcal{P};m)$ は $\mathcal{I}(\mathcal{P} \times \mathcal{C}_m)$ と同型であり、この同型は分配的ラティスにおいて $\mathcal{P}^{[m]} \cong \mathcal{I}(\mathcal{J}(\mathcal{P}) \times \mathcal{C}_m)$ に拡張される。
• 分配的ラティスにおける $m$-多重鎖の数は、$m$-有界 $\mathcal{P}$-分割の数より厳密に少ない。具体的な例では、12 対 46、および 13 対 33 のような特定のラティスで確認される。
• この構成により、分配的ラティスにおける $m$-多重鎖と、結合的不可約元の半順序集合とサイズ $m$ の鎖の積の順序イデアルとの間の標準的同型が得られ、2 つの組合せ的枠組みが統合される。