[論文レビュー] Iterative properties of birational rowmotion

Darij Grinberg, Tom Roby|arXiv (Cornell University)|Feb 25, 2014

Advanced Combinatorial Mathematics参考文献 28被引用数 8

ひとこと要約

本稿は、有限poset上の古典的rowmotionの一般化である双有理的rowmotionを調査し、特に$(p,q)$-長方形、三角形状poset、スケルタルposetなどの特定のposet上でその有限位数を証明している。ヴォルコフのZamolodchikov周期性に関する研究にインspiredされた手法を用いて、$p \times q$ 長方形上の双有理的rowmotionの位数が$p+q$ に等しいことを確立し、poset上の双有理的力学系への周期性現象の拡張を達成した。

ABSTRACT

We study a birational map associated to any finite poset P. This map is a far-reaching generalization (found by Einstein and Propp) of classical rowmotion, which is a certain permutation of the set of order ideals of P. Classical rowmotion has been studied by various authors (Fon-der-Flaass, Cameron, Brouwer, Schrijver, Striker, Williams and many more) under different guises (Striker-Williams promotion and Panyushev complementation are two examples of maps equivalent to it). In contrast, birational rowmotion is new and has yet to reveal several of its mysteries. In this paper, we prove that birational rowmotion has order p+q on the (p, q)-rectangle poset (i.e., on the product of a p-element chain with a q-element chain); we furthermore compute its orders on some triangle-shaped posets and on a class of posets which we call "skeletal" (this class includes all graded forests). In all cases mentioned, birational rowmotion turns out to have a finite (and explicitly computable) order, a property it does not exhibit for general finite posets (unlike classical rowmotion, which is a permutation of a finite set). Our proof in the case of the rectangle poset uses an idea introduced by Volkov (arXiv:hep-th/0606094) to prove the AA case of the Zamolodchikov periodicity conjecture; in fact, the finite order of birational rowmotion on many posets can be considered an analogue to Zamolodchikov periodicity. We comment on suspected, but so far enigmatic, connections to the theory of root posets. We also make a digression to study classical rowmotion on skeletal posets, since this case has seemingly been overlooked so far.

研究の動機と目的

• 有限posetの順序理想における双有理的rowmotionの反復的挙動を理解すること。
• 一般に無限位数を示す任意のposetとは対照的に、双有理的rowmotionが有限位数をとる条件を同定すること。
• 双有理的rowmotionと根posetとの関係、特にZamolodchikov周期性および根系構造との関連を探索すること。
• 文献でこれまで軽視されてきたクラスであるスケルタルposetにおける古典的rowmotionの体系的かつ包括的な研究を提供すること。
• 長方形や三角形状posetを含む主要なposet族における双有理的rowmotionの位数を明示的に導出すること。

提案手法

• Zamolodchikov周期性の分野でヴォルコフが開発した手法を応用し、$(p,q)$-長方形poset上での双有理的rowmotionの有限位数を証明する。
• Grassmannianパラメータ化とPlücker-Ptolemy関係式を用いて、poset上の双有理写像を分析する。
• 双有理的rowmotionの力学的挙動を簡素化するために、縮約済みおよび同次的ラベリングの概念を導入する。
• 階数付きスケーリングと反対posetによる双対性を用いて、位数の性質を分析する。
• 線形拡張やトグル操作といった組合せ論的技法を用いて、rowmotion写像を定義・操作する。
• 計算的検証と記号的代数（例：Sageを用いて）を用いて、$\Phi^+(H_3)$ や $\Phi^+(I_2(m))$ などの根posetに関する予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 $(p,q)$-長方形poset上での双有理的rowmotionの位数は何か？ なぜそれは$p+q$ に等しいのか？
• RQ2 三角形状posetおよびスケルタルposet上での双有理的rowmotionは有限位数をとるのか？ もし有限であれば、その位数はどのように決定されるのか？
• RQ3 双有理的rowmotionはZamolodchikov周期性とどのように関係しているのか？ また、この類似性は異なるposet族に一般化可能か？
• RQ4 なぜ双有理的rowmotionは$\Phi^+(D_4)$ では無限位数を示すのか？ 一方で$\Phi^+(D_2)$ および $\Phi^+(D_3)$ では有限位数を示すのか？
• RQ5 根posetおよび最小単位ヒープは、双有理的rowmotionの有限位数挙動を決定づける役割を果たすのか？

主な発見

• $(p,q)$-長方形poset上での双有理的rowmotionは、正確に位数$p+q$ をもち、古典的rowmotionの周期性を一般化する。
• $\vartriangleright$ 三角形および$\Delta/\nabla$ 三角形posetでは、双有理的rowmotionの位数が明示的に計算され、有限周期性が示された。
• スケルタルposet、特に階数付きフォレストを含むものでは、双有理的rowmotionは有限位数をもち、その位数は構造的性質から計算可能である。
• $\Phi^+(A_n)$ 上での双有理的rowmotionの位数は$n \geq 2$ のとき$2(n+1)$、$n=1$ のとき$2$ であり、$\Phi^+(B_n)$ の位数は$2n$ であると予想されている。
• $\Phi^+(H_3)$ では双有理的rowmotionの位数は$10$、$\Phi^+(I_2(m))$ では$\operatorname{lcm}(2,m)$ であり、計算的に確認された。
• $\Phi^+(D_4)$ 上での双有理的rowmotionは無限位数を示し、これは3つの要素に被覆される要素の存在に起因するとされ、他の根posetとは区別される。