[論文レビュー] Schur partition theorems via perfect crystal

Shunsuke Tsuchioka, Masaki Watanabe|arXiv (Cornell University)|Sep 7, 2016

Algebraic structures and combinatorial models参考文献 30被引用数 3

ひとこと要約

本稿は、奇数の整数 $ p \geq 3 $ に対して1926年のシュールの分割定理を一般化する2つの新しい整数分割のクラス—$ S_p $ および $ \mathsf{Schur}_p $—を導入する。アフィンリ Lie 代数の表現理論および $ A^{(2)}_{p-1} $-クリスタル構造を用いて、$ S_p $ が奇数かつ $ p $-クラス正則分割の集合と分割論的に同値であることを証明し、$ p=5 $ におけるアンドリュースの3パrameter一般化されたロジャース＝ラマヌジャン恒等式について計算機を用いない証明を提供するとともに、$ p=3 $ におけるシュールの元々の定理を再証明する。

ABSTRACT

Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.

研究の動機と目的

• 表現論的道具を用いて、奇数の整数 $ p \geq 3 $ に対するシュールの1926年分割定理を一般化する。
• 2つの新しい分割集合 $ S_p $（$ p $-厳密分割の内側）および $ \mathsf{Schur}_p $（厳密分割の内側）を定義する。両者とも一般化された $ p $-シュール不等式を満たし、禁止された部分パターンを避ける。
• $ S_p $ が奇数および厳密な $ p $-クラス正則分割の集合と分割論的に同値であることを確立する。
• 計算機を用いない方法で、$ p=5 $ におけるアンドリュースの3パrameter一般化されたロジャース＝ラマヌジャン恒等式の証明を提供する。これは、かつてアンドリュース–ベッセンロート–オルソンによって証明された予想を確認する。
• 分割論的結果を、対称群のスピンモジュラー表現および量子群理論と結びつけるため、アフィンリ Lie 代数のクリスタル構造を通じて統一する。

提案手法

• 一般化された $ p $-シュール不等式を定義：$ \lambda_i - \lambda_{i+h} \geq p $、ただし $ \lambda_i \in p\mathbb{Z} $ ならば厳密な不等式が成り立つ。ここで $ p = 2h+1 $ である。
• 禁止された部分パターンの集合 $ \mathsf{Forb}_p $（ワイルドカード $ \ast $ を含む）を導入し、$ S_p $ をこれらのパターンを避ける $ p $-厳密分割として定義する。
• $ A^{(2)}_{p-1} $-クリスタル枠組みを用いて $ S_p $ にクリスタル構造を構成し、それがレベル1の完全クリスタルであることを示す。
• 残留に基づく操作を用いて、$ \mathsf{Str}^{[p+1,p+h]} $、$ \mathsf{Str}^{[p-h,p-1]} $ などの成分に分割するための双対写像 $ \Psi^{\mathsf{str}}_1 $ および $ \Psi^{\mathsf{str}}_2 $ を定義する。
• クリスタル作用素 $ \tilde{f}_i $ を用いて、残差 $ i \mod p $ の箱を追加する上昇作用素を定義し、$ p $-シュール不等式と整合性を保つようにする。
• 成分を $ S_p $ にマップする写像 $ \beta_p $ が良いクリスタル準同型であることを証明し、クリスタル構造を保存し、再帰的構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 シュールの1926年分割定理は、表現論的道具を用いて奇数の整数 $ p \geq 3 $ に一般化可能か？
• RQ2 $ A^{(2)}_{p-1} $-クリスタル構造を用いて、一般化された $ p $-シュール不等式を満たす新しい分割族を定義し、特徴づける方法は何か？
• RQ3 $ p $-厳密分割で、$ p $-シュール不等式を満たし、$ \mathsf{Forb}_p $ の部分パターンを避ける集合 $ S_p $ は、奇数または厳密な $ p $-クラス正則分割の集合と同一の濃度を持つか？
• RQ4 このクリスタル理論的枠組みを用いて、計算機を用いずにアンドリュースの3パrameter一般化されたロジャース＝ラマヌジャン恒等式を証明できるか？
• RQ5 シュールの元々の定理とアンドリュースの3パrameter拡張を、$ A^{(2)}_{p-1} $-クリスタルを通じて統一する均一なクリスタル理論的メカニズムは存在するか？

主な発見

• $ p=3 $ の場合、集合 $ S_3 $ は奇数および厳密な3クラス正則分割の集合と分割論的に同値であるため、シュールの1926年分割定理が再証明される。
• $ p=5 $ の場合、この構成により、アンドリュースの3パrameter一般化されたロジャース＝ラマヌジャン恒等式に対する計算機フリーの証明が得られ、かつてアンドリュース–ベッセンロート–オルソンによって証明された予想を確認する。
• 集合 $ S_p $ はレベル1の完全な $ A^{(2)}_{p-1} $-クリスタルを形成し、定義される限り、残差 $ i \mod p $ の箱を追加する作用素 $ \tilde{f}_i $ が明確に定義される。
• $ \mathsf{Schur}_p $ のすべての分割は $ p $-シュール不等式を満たし、クリスタル作用素 $ \tilde{f}_i $ に関して閉じているため、そのクリスタル構造は一貫している。
• 写像 $ \beta_p $ は良いクリスタル準同型である。これはクリスタル構造を保存し、$ S_p $ をそれ自身が $ A^{(2)}_{p-1} $-クリスタルである成分に分解可能にする。
• $ \Psi^{\mathsf{str}}_1 $ および $ \Psi^{\mathsf{str}}_2 $ の双対写像により、$ S_p $ の分割の再帰的分解が可能となり、成分ごとの解析とパターン回避を用いた同値性の証明が可能になる。