[論文レビュー] Positive Fuss-Catalan numbers and Simple-minded systems in negative Calabi-Yau categories

Osamu Iyama, Haibo Jin|arXiv (Cornell University)|Feb 23, 2020

Algebraic structures and combinatorial models参考文献 24被引用数 6

ひとこと要約

本稿は、$(-d)$-Calabi-Yauクラスターカテゴリにおける$d$-単純-mindedシステム（d-SMS）と、負の単純根を含まない一般化されたクラスターテンプレートの最大単体の間の自然な全単射を確立する。精密化されたシルティング-$t$-構造対応を用いて、このようなd-SMSの数が正のFuss-Catalan数$C_d^+(W)$で与えられることを証明し、$d=1$およびタイプ$A_n$の既知の結果を、すべてのディンキン型にまで拡張する。

ABSTRACT

We establish a bijection between $d$-simple-minded systems ($d$-SMSs) of $(-d)$-Calabi-Yau cluster category ${\cal C_{-d}}(H)$ and silting objects of ${\cal D^{ m b}}(H)$ contained in $\cal D^{\le 0}\cap \cal D^{\ge 1-d}$ for hereditary algebra $H$ of Dynkin type and $d\ge 1$. We show that the number of $d$-SMSs in ${\cal C_{-d}}(H)$ is the positive Fuss-Catalan number $C_{d}^{+}(W)$ of the corresponding Weyl group $W$, by applying this bijection and Buan-Reiten-Thomas' and Zhu's results on Fomin-Reading's generalized cluster complexes. Our results are based on a refined version of silting-$t$-structure correspondence.

研究の動機と目的

• ($-d$)-Calabi-Yauクラスターカテゴリにおける$d$-単純-mindedシステム（d-SMS）と、一般化されたクラスターテンプレートにおける組合せ的対象との間の構造的関係を確立すること。
• ヒレディタリー代数のディンキン型に対する$(-d)$-Calabi-Yauカテゴリにおけるd-SMSの列挙問題を解くこと。
• $d=1$およびタイプ$A_n$の既知の結果を、精密化されたシルティング-$t$-構造対応を用いて、すべての有限ディンキン型にまで一般化すること。
• d-SMSの数が、Weyl群の指数とコックスター数を用いて定義される正のFuss-Catalan数$C_d^+(W)$に等しいことを示すこと。

提案手法

• ${\mathcal{D}^b(H)}$におけるシルティング対象と単純-minded集合の関係を、シルティング-$t$-構造対応の精密化版を用いて確立する。
• Buan-Reiten-ThomasおよびZhuの一般化されたクラスターテンプレートに関する結果を適用し、${\mathcal{D}^b(H)\cap \mathcal{D}^{\leq 0}\cap \mathcal{D}^{\geq 1-d}}$におけるシルティング対象と、$\Delta^d(\Phi)$における最大単体との関係を構築する。
• $\mathcal{C}_{-d}(H)$におけるd-SMSと、$\Delta^d(\Phi)$における負の単純根を含まない最大単体との間の全単射を構成する。
• ${\mathcal{C}_{-d}(H) := \mathcal{D}^b(H)/\nu[d]}$という軌道カテゴリ構成を用いる。ここで$\nu$はNakayama関手である。
• 公式$C_d^+(W) = \prod_{i=1}^n \frac{dh + e_i - 1}{e_i + 1}$を用い、$h$をコックスター数、$e_i$をWeyl群$W$の指数とする。この公式により、数え上げを実行する。
• 例外的系列における逆変異化操作$\mu_{\rm rev}^\pm$を用いた双対性の議論により、対応関係の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ヒレディタリー代数のディンキン型に対する$(-d)$-Calabi-Yauクラスターカテゴリにおける$d$-単純-mindedシステムの正確な組合せ的数え上げは何か？
• RQ2 d-SMSと一般化クラスターテンプレート$\Delta^d(\Phi)$における特定のクラスの単体との間には、自然な全単射が存在するか？
• RQ3 シルティング-$t$-構造対応は、負のCalabi-Yau設定におけるd-SMSを捉えるためにどのように精密化されるか？
• RQ4 正のFuss-Catalan数$C_d^+(W)$は、$\mathcal{C}_{-d}(H)$におけるd-SMSの数として実現可能であり、そのような実現はどのような圏的機構によって達成されるか？
• RQ5 導来カテゴリ${\mathcal{D}^b(H)}$およびその部分カテゴリ${\mathcal{D}^{\leq 0} \cap \mathcal{D}^{\geq 1-d}}$は、d-SMSの分類において果たす役割は何か？

主な発見

• $\mathcal{C}_{-d}(H)$におけるd-SMSの同型類の集合と、$\Delta^d(\Phi)$における負の単純根を含まない最大単体の集合との間に、自然な全単射が存在する。
• $\mathcal{C}_{-d}(H)$におけるd-SMSの数は、対応するディンキン型のWeyl群$W$を用いて定義される正のFuss-Catalan数$C_d^+(W)$に正確に一致する。
• タイプ$A_n$では、d-SMSの数は$\frac{1}{n+1}\binom{(d+1)n + d - 1}{n}$であり、これは既知の$C_d^+(W)$の公式と一致する。
• タイプ$B_n$または$C_n$では、d-SMSの数は$\binom{(d+1)n - 1}{n}$であり、正のFuss-Catalan数の公式と整合的である。
• タイプ$D_n$では、数え上げは$\frac{(2d+1)n - 2d - 2}{n}\binom{(n-1)(d+1) - 1}{n-1}$となり、定義に従って$C_d^+(W)$と一致する。
• 本結果は、先行研究を一般化する：[CS1]における$d=1$のケースと、[Ji1]における$A_n$のケースを確認し、すべてのディンキン型にまで拡張されている。