[論文レビュー] Stokes posets and serpent nests

Frédéric Chapoton|arXiv (Cornell University)|May 22, 2015

Algebraic structures and combinatorial models参考文献 22被引用数 5

ひとこと要約

本稿は、正多角形の四角形分割に関連する組合せ的構造として、Stokesの順序集合（Stokes poset）とヘビの巣（serpent nests）を導入する。この2つ間に一対一対応を確立し、型Aの非ネスト分割とクラスター代数の組合せ論を一般化する。Tamariラティス、Stokes多面体、およびコクセター群論とも関連する。

ABSTRACT

We study two different objects attached to an arbitrary quadrangulation of a regular polygon. The first one is a poset, closely related to the Stokes polytopes introduced by Baryshnikov. The second one is a set of some paths configurations inside the quadrangulation, satisfying some specific constraints. These objects provide a generalisation of the existing combinatorics of cluster algebras and nonnesting partitions of type A.

研究の動機と目的

• 正多角形の四角形分割に関連するStokes順序集合を定義・研究すること。これは、四角形分割の辺のフリップに整合する向き付けに基づく。
• ヘビの巣を導入する。これは、特定の非交差性および連結性の制約を満たす四角形分割内の経路配置であり、非ネスト分割に類似している。
• 各四角形分割に対して、Stokes順序集合の要素とヘビの巣との間に一対一対応を確立し、型Aのクラスター代数の組合せ論を一般化する。
• Stokes順序集合、Tamariラティス、およびTamariラティス上の傾きモジュールの導来圏との関係を調査する。
• 例外的系列と非交差分割を用いて、この理論を他の根系および有限コクセター群へ一般化することを提案する。

提案手法

• バリシニコフの研究に基づく相性条件に従い、四角形分割のフリップを向き付けた有向グラフ（digraph）を定義し、これが順序集合のハッセ図であることを示す。
• 葉となる正方形を順次除去する帰納的構成を用いて、これらの有向グラフが非循環的であり、順序集合をなしていることを証明する。また、対応する無向グラフは連結かつ正則であることを示す。
• ヘビの巣を「ヘビ」としての特定の経路の配置として定義する。これは、局所的な制約により非交差性と連結性を保証する。
• 記号的組合せ論（種の理論）を用いて、再帰的式 $ T^b = X(1 + 2T^b + 3(T^b)^2) $ などを導出し、四角形分割とクロスツリーの生成関数を符号化する。
• 不対称性定理を用いて、$ T^oxplus $、$ T^i $、$ T $ などの種の関係を関係づけ、さまざまな部分クラスの生成関数を導出する。
• 辺に沿って四角形分割をねじることで、対応するStokes多面体の未定義グラフ、単体的複体、およびF-三角形が保存されることを予想する。

実験結果

リサーチクエスチョン

• RQ1 フリップの整合性と向き付け規則に基づいて、正多角形の四角形分割に自然に順序集合を関連づける方法は何か？
• RQ2 ヘビの巣の組合せ的性質は何か？ また、Stokes順序集合の要素とはどのように関係しているか？
• RQ3 Stokes順序集合が、より小さいStokes順序集合のカルテジアン積に分解する条件は何か？
• RQ4 Stokes順序集合とヘビの巣の理論は、型Aを越えて他の有限コクセター群や根系へ一般化可能か？
• RQ5 辺に沿って四角形分割をねじることで、対応するStokes多面体およびF-三角形の位相的・代数的不変量が保存されるか？

主な発見

• 葉の正方形を順次除去する帰納的構成により、四角形分割に対応するStokes順序集合が、well-definedな順序集合であることが示された。対応するグラフは連結かつ正則である。
• 四角形分割が最小のもの（例：ジグザグパターン）であるとき、TamariラティスはStokes順序集合の特別な場合として回復される。
• 四角形分割にブリッジが存在する場合、対応するStokes順序集合は、2つの部分四角形分割に対応するより小さいStokes順序集合のカルテジアン積に分解される。
• 四角形分割におけるヘビの巣の数は、対応するStokes順序集合の要素数に等しく、再帰的種の式を用いて生成関数が計算される。
• 「クロス」構成（4つの隣接正方形を持つ正方形）を避ける四角形分割では、$ T^b $ の生成関数は $ 1, 2, 7, 26, 106, 452, 1999, \dots $ で始まり、特徴的な組合せ的クラスを示している。
• 辺に沿って四角形分割をねじることで、F-三角形および単体的複体構造が保存されるという予想は未解決だが、構造的証拠と生成関数の不変性によって支持されている。