[論文レビュー] Simple game induced manifolds

Pavel Galashin, Gaiane Panina|arXiv (Cornell University)|Nov 27, 2013

Advanced Combinatorial Mathematics参考文献 16被引用数 3

ひとこと要約

本稿では、多角形の連結鎖の一般化である「準連結鎖」として知られる組合せ的対象から、『単純ゲームによって誘導される多様体』と呼ばれる新しい組合せ的多様体の構成を提案する。このような準連結鎖のモジュライ空間を、パーミュトヒードロンに類似したセル複体によってモデル化することで、著者らは、その結果得られる空間が、円周上の安定な点配置空間とPL同相であることを証明する。これは、古典的な多角形連結鎖に関する既知の結果を、より広範な組合せ的枠組みへと拡張するものである。

ABSTRACT

Starting by a simple game $Q $ as a combinatorial data, we build up a cell complex $M(Q)$, whose construction resembles combinatorics of the permutohedron. The cell complex proves to be a combinatorial manifold; we call it the extit{ simple game induced manifold.} By some motivations coming from polygonal linkages, we think of $Q$ and of $M(Q)$ as of extit{ a quasilinkage} and the extit{moduli space of the quasilinkage} respectively. We present some examples of quasilinkages and show that the moduli space retains many properties of moduli space of polygonal linkages. In particular, we show that the moduli space $M(Q)$ is homeomorphic to the space of stable point configurations on $S^1$, for an associated with a quasilinkage notion of stability.

研究の動機と目的

• 多角形連結鎖のモジュライ空間を、『準連結鎖』と呼ばれるより広い組合せ的対象のクラスへ一般化すること。
• 準連結鎖から生じる新しいセル複体のクラス、すなわち『単純ゲームによって誘導される多様体』を定義し、それらを研究すること。
• これらの多様体が、円周上の安定な点系の配置空間と位相的に同値であることを確立すること。
• ある準連結鎖が実際に正の長さベクトルを持つ多角形連結鎖から生じる（「実現可能である」）条件を同定すること。

提案手法

• 単調性および強い補完性公理を用いて定義される、準連結鎖 $ \mathcal{Q} $ からセル複体 $ M(\mathcal{Q}) $ を構成する。
• 球面 $ S^{n-1} $ 上の擬球のQ配置を用いて、準連結鎖のパrameter空間をモデル化し、各部屋（chamber）が異なる準連結鎖のタイプに対応する。
• 各部屋 $ C $ において、短集合を $ I \not\triangleq E_I^+ $ として定義し、これにより準連結鎖 $ L(C) $ を生成し、それに関連する多様体 $ M(L(C)) $ を定義する。
• 隣接する部屋は、一様に「フラップ」を介して異なる準連結鎖を生成し、それに対応する多様体は、セル構造と整合性を持つモースの手術によって異なることを証明する。
• フォルクマン＝ローレンスの位相的表現定理を用い、擬球の配置と向き付きマトロイドを関連付ける。
• 準連結鎖から導かれる安定性条件の下で、モジュライ空間 $ M(\mathcal{Q}) $ が、$ S^1 $ 上の安定な $ n $-重の点配置空間と同相であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ある準連結鎖が、正の長さベクトルを持つ多角形連結鎖の短集合族として実現可能となる条件は何か？
• RQ2 モジュライ空間 $ M(\mathcal{Q}) $ のセル構造は、パーミュトヒードロンや他の古典的多面体とどのように関係するか？
• RQ3 モジュライ空間 $ M(\mathcal{Q}) $ は、その背後にある準連結鎖からどのような位相的および組合せ的性質を引き継ぐか？
• RQ4 準連結鎖のモジュライ空間は、自然に $ S^1 $ 上の安定点配置空間と同一視可能か？その条件は何か？
• RQ5 フラップを介した準連結鎖の変更が、関連するモジュライ空間の位相にどのように影響を与えるか？

主な発見

• 任意の準連結鎖 $ \mathcal{Q} $ に対して、そのモジュライ空間 $ M(\mathcal{Q}) $ は、パーミュトヒードロンに類似したセル分解を用いて構成される組合せ的多様体である。
• 任意の準連結鎖 $ \mathcal{Q} $ に対して、そのモジュライ空間 $ M(\mathcal{Q}) $ は、準連結鎖から導かれる安定性条件の下で、$ S^1 $ 上の安定な $ n $-重の点配置空間と同相である。
• 擬球のQ配置における隣接する部屋は、一様に「フラップ」によって異なる準連結鎖を生成し、それに対応する多様体は、セル構造と整合性を持つモースの手術によって異なる。
• 準連結鎖のクラスは、実現可能な連結鎖のクラスを厳密に包含する。虚数的（非実現可能）な準連結鎖が存在し、それらは単純ゲームの公理を満たすが、いかなる正の長さベクトルからも誘導されない。
• この構成は、古典的な多角形連結鎖のモジュライ空間を一般化する：$ \mathcal{Q} = \mathcal{S}(L) $ のとき、得られる多様体 $ M(\mathcal{Q}) $ は古典的モジュライ空間 $ M(L) $ と一致する。
• 空間 $ M(\mathcal{Q}) $ のホモロジー群は自由アーベル群であり、そのランクは特定のサイズの短集合の数によって定まる。これは、一般な連結鎖の場合に知られている結果を拡張するものである。