[論文レビュー] Expansion Posets for Polygon Cluster Algebras

Andrew Claussen|arXiv (Cornell University)|May 5, 2020

Algebraic structures and combinatorial models参考文献 33被引用数 7

ひとこと要約

本稿では、弧、三角形分割、スネークグラフなどの組合せ的対象に自己同型を定義することにより、型A多角形クラスター代数におけるクラスターバリアブルの二重展開ポセットを導入する。展開ポセットとその双対との間の同型を確立し、すべてのこのようなポセットがYoungのラティスL(m,n)内の区間であることを証明し、新たなクラスターバリアブルの展開公式を提示する。主な結果として、スネークグラフに高々4つの最大の直線セグメントがある場合、格子路展開ポセットのランク関数が単峰的であることが示され、OvsienkoとMorier-Genoudの予想を部分的に確認する。

ABSTRACT

Define an expansion poset to be the poset of monomials of a cluster variable attached to an arc in a polygon, where each monomial is represented by the corresponding combinatorial object from some fixed combinatorial cluster expansion formula. We introduce an involution on several of the interrelated combinatorial objects and constructions associated to type $A$ surface cluster algebras, including certain classes of arcs, triangulations, and distributive lattices. We use these involutions to formulate a dual version of skein relations for arcs, and dual versions of three existing expansion posets. In particular, this leads to two new cluster expansion formulas, and recovers the lattice path expansion of Propp et al. We provide an explicit, structure-preserving poset isomorphism between an expansion poset and its dual version from the dual arc. We also show that an expansion poset and its dual version constructed from the same arc are dual in the sense of distributive lattices. We show that any expansion poset is isomorphic to a closed interval in one of the lattices $L(m,n)$ of Young diagrams contained in an $m imes n$ grid, and that any $L(m,n)$ has a covering by such intervals. We give two formulas for the rank function of any lattice path expansion poset, and prove that this rank function is unimodal whenever the underlying snake graph is built from at most four maximal straight segments. We show that the support of any type $A$ cluster variable is the orbit of a groupoid. Finally, in work joint with Nicholas Ovenhouse, we partially generalize $T$-paths to configurations of affine flags, and prove that a $T$-path expansion analogous to the type $A$ case holds when the initial seed is from a fan triangulation.

研究の動機と目的

• 型A表面クラスター代数における組合せ的対象（弧、三角形分割、スネークグラフなど）に自己同型を用いたクラスターバリアブル展開公式の双対的定式化を構築すること。
• 構造を保全する写像を用いて、展開ポセットとその双対との間の同型を確立すること。
• すべての展開ポセットが、m×nグリッド内のYoung図のラティスL(m,n)内の閉区間と同型であることを示すこと。
• 特定のスネークグラフの制約下で、格子路展開ポセットのランク関数の単峰性を証明すること。
• スネークグラフの幾何的特徴に基づいて、対称的なランク生成関数を特徴づけること。

提案手法

• 弧、三角形分割、スネークグラフに自己同型を導入し、双対の組合せ的対象および双対のスキーン関係を定義する。
• 完全マッチング、Tパス、格子路を用いて3つの双対展開ポセットを構成し、それぞれとその双対との間の同型を証明する。
• スネークグラフの構成を用いてクラスターバリアブルをモデル化し、分配的ラティスおよびYoung図と関連付ける。
• 任意の展開ポセットが、m×n長方形内のYoung図のラティスL(m,n)内の閉区間と同型であることを証明する。
• ポセット理論的技法を用いてランク関数を分析し、高々4つの最大の直線セグメントを持つスネークグラフに対して単峰性を証明する。
• Ovenhouseとの共同研究を用いて、ファン三角形分割下でのTパスをアフィンフラッグ配置に一般化する。

実験結果

リサーチクエスチョン

• RQ1 型Aクラスター代数における組合せ的対象に自己同型を用いた、クラスターバリアブル展開公式の双対的定式化はどのように構成できるか？
• RQ2 展開ポセットとその双対との間の構造的関係は何か？また、構造を保全するポセット同型を明示的に構成できるか？
• RQ3 格子路展開ポセットのランク関数が単峰的である条件は何か？
• RQ4 展開ポセットはYoungのラティスL(m,n)内の区間とどのように関係しているか？
• RQ5 下位のスネークグラフのどの幾何的特徴が、ランク生成関数が対称的であるかどうかを決定するか？

主な発見

• すべての展開ポセットは、m×nグリッド内のYoung図のラティスL(m,n)内の閉区間と同型であり、任意のL(m,n)はこのような区間の被覆をもつ。
• 展開ポセットとその双対（双対弧から構成される）は、分配的ラティスの意味で互いに双対的である。
• 構造を保全するポセット同型が、展開ポセットとその双対バージョンとの間で明示的に構成された。
• 下位のスネークグラフに高々4つの最大の直線セグメントがある場合、格子路展開ポセットのランク関数は単峰的である。
• 展開ポセットのランク生成関数が対称的であるための必要十分条件は、下位のスネークグラフが対称的な形状をしていることである。
• 任意の型Aクラスターバリアブルのサポートは、グループイドの軌道であるため、任意の1つの単項式から再構成可能である。