[論文レビュー] Minuscule reverse plane partitions via quiver representations

Alexander Garver, Rebecca Patrias+1 more|arXiv (Cornell University)|Apr 4, 2019

Advanced Combinatorial Mathematics被引用数 6

ひとこと要約

本稿は、型Aにおけるリムフックの多重集合と逆平面分割の間の双対性（Hillman–GrasslおよびPak対応）を、単純なループ型Dykin図形のクーヴィー表現を用いて、すべての最小的表現へ一般化する。単純なループ型Dykinクーヴィーの表現上でトグル操作を用いた一様な、区分的線形双射を構築することで、最小的poset上の逆平面分割におけるプロモーションが、コクセター数に等しい周期を持つことを証明する。これは古典的な結果をすべての最小的型へ拡張するものである。

ABSTRACT

The Hillman--Grassl correspondence is a well-known bijection between multisets of rim hooks of a partition shape $λ$ and reverse plane partitions of $λ$. We use the tools of quiver representations to generalize Hillman--Grassl in type $A$ and to define an analogue in all minuscule types. This is an extended abstract prepared for FPSAC 2019 based on arXiv:1812.08345, emphasizing its combinatorial aspects.

研究の動機と目的

• 型Aに限られていたHillman–GrasslおよびPakの双対性を、表現論を用いてすべての最小的posetへ拡張すること。
• 最小的poset上の逆平面分割の生成関数を一様で双対的な証明で実現すること。
• 区分的線形写像を通じて、クーヴィー表現の同型類と逆平面分割との間の関係を確立すること。
• 最小的poset上の逆平面分割におけるプロモーションが、関連する根系のコクセター数に等しい周期を持つことを示すこと。

提案手法

• 単純なループ型Dykinクーヴィーのクーヴィー表現を用いて、最小的poset上の逆平面分割をモデル化する。
• トグル操作の系列を介して、CQ,m 内の表現の同型類と逆平面分割の間の双対写像 ρQ,m を定義する。
• アドラーマン–レーデンクォーヴァーを用いて、非分解的表現の構造とその次元ベクトルの分析を視覚化する。
• 区分的線形写像と準同型を適用して双対写像を構築し、クーヴィー構造と整合性を保つ。
• アドラーマン–レーデン翻訳 τ の作用を用いて、表現同士の関係を関係づけ、双対写像を通じて変化を追跡する。
• コクセター数 h に対して h 回のプロモーションを適用すると、逆平面分割上で恒等写像が得られることを検証する。

実験結果

リサーチクエスチョン

• RQ1 Hillman–Grassl対応は、クーヴィー表現を用いて型Aを超えてすべての最小的posetへ一般化可能か？
• RQ2 最小的poset上の逆平面分割の生成関数 ∏u∈P 1/(1−q^rank(u)) を実現する一様で双対的な構成は存在するか？
• RQ3 型Aにおける既知の双対性（Hillman–GrasslおよびPak）は、より一般的なクーヴィー理論的構成の特殊ケースとしてどのように現れるか？
• RQ4 最小的poset上の逆平面分割におけるプロモーションの動的挙動は何か？周期性を示すか？
• RQ5 非分解的クーヴィー表現の構造は、次元ベクトルを用いて逆平面分割を符号化・構成するために利用可能か？

主な発見

• CQ,m 内の表現の同型類と最小的poset上の逆平面分割の間の双対写像 ρQ,m は、型AにおけるHillman–Grassl対応の、一様で区分的線形な一般化である。
• 左向きの向き付けをもつ型Aクーヴィーでは、ρQ,m はHillman–Grassl対応を正確に回復する。
• 中心に最小的頂点があり、V字型の向き付けを持つ型Aクーヴィーでは、ρQ,m はPak対応を正確に回復する。
• 最小的poset上の逆平面分割におけるプロモーションは、関連する根系のコクセター数 h に等しい周期を持つ。
• 本手法により、∑ρ q^|ρ| = ∏u∈P 1/(1−q^rank(u)) の生成関数がクーヴィー表現理論を用いて新たな形で実現される。
• 本手法はすべての最小的型に一様に適用可能であり、以前に別個に存在していた双対性を、一つの表現論的枠組みで統一する。