[论文解读] 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 cluster categories 中建立了 $d$-simple-minded systems (d-SMSs) 与不含负简单根的广义簇复形中的极大单形之间的双射。通过改进的 silting-$t$-structure 对应关系，证明了此类 d-SMSs 的数量由正 Fuss-Catalan 数 $C_d^+(W)$ 给出，将已知的 $d=1$ 和类型 $A_n$ 的结果推广至所有 Dynkin 类型。

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 cluster categories 中的 $d$-simple-minded systems (d-SMSs) 与广义簇复形中组合对象之间的结构联系。
• 解决在遗传代数的 Dynkin 类型下，$(-d)$-Calabi-Yau 范畴中 d-SMSs 的计数问题。
• 通过改进的 silting-$t$-structure 对应关系，将已知的 $d=1$ 和类型 $A_n$ 的结果推广至所有有限 Dynkin 类型。
• 证明 d-SMSs 的数量等于正 Fuss-Catalan 数 $C_d^+(W)$，该数通过 Weyl 群的指数与 Coxeter 数定义。

提出的方法

• 利用改进的 silting-$t$-structure 对应关系，将 $\mathcal{D}^b(H)$ 中的 silting 对象与 simple-minded collections 关联起来。
• 应用 Buan-Reiten-Thomas 和 Zhu 关于广义簇复形的结果，将 $\Delta^d(\Phi)$ 中的极大单形与 $\mathcal{D}^b(H)\cap \mathcal{D}^{\leq 0}\cap \mathcal{D}^{\geq 1-d}$ 中的 silting 对象联系起来。
• 在 $\mathcal{C}_{-d}(H)$ 中的 d-SMSs 与 $\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$ 为 Coxeter 数，$e_i$ 为 Weyl 群 $W$ 的指数。
• 通过涉及例外序列的逆突变操作 $\mu_{\rm rev}^\pm$ 的对偶性论证验证了该对应关系。

实验结果

研究问题

• RQ1 对于遗传代数的 Dynkin 类型，$(-d)$-Calabi-Yau cluster categories 中 $d$-simple-minded systems 的精确组合计数是什么？
• RQ2 是否存在 $d$-SMSs 与广义簇复形 $\Delta^d(\Phi)$ 中特定单形类之间的典范双射？
• RQ3 silting-$t$-structure 对应关系如何改进以捕捉负 Calabi-Yau 设置中的 $d$-SMSs？
• RQ4 正 Fuss-Catalan 数 $C_d^+(W)$ 是否可被实现为 $\mathcal{C}_{-d}(H)$ 中 $d$-SMSs 的数量？若是，其范畴机制为何？
• RQ5 导出范畴 $\mathcal{D}^b(H)$ 及其子范畴 $\mathcal{D}^{\leq 0} \cap \mathcal{D}^{\geq 1-d}$ 在分类 $d$-SMSs 中起什么作用？

主要发现

• 在 $\mathcal{C}_{-d}(H)$ 中的 d-SMSs 的同构类集合与广义簇复形 $\Delta^d(\Phi)$ 中不包含负简单根的极大单形集合之间存在典范双射。
• $\mathcal{C}_{-d}(H)$ 中 d-SMSs 的数量恰好为正 Fuss-Catalan 数 $C_d^+(W)$，其中 $W$ 为相应 Dynkin 类型的 Weyl 群。
• 对于类型 $A_n$，d-SMSs 的数量为 $\frac{1}{n+1}\binom{(d+1)n + d - 1}{n}$，与已知的 $C_d^+(W)$ 公式一致。
• 对于类型 $B_n$ 或 $C_n$，d-SMSs 的数量为 $\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$ 情况，现已被推广至所有 Dynkin 类型。