[论文解读] Counting cluster-tilted algebras of type $A_n$

Hermund André Torkildsen|ArXiv.org|Jan 24, 2008

Algebraic structures and combinatorial models参考文献 12被引用 23

一句话总结

本文通过计算基础图为 $A_n$ 的 quiver 的变异类，给出了类型 $A_n$ 的非同构簇-tilted 代数数量的显式公式。关键结果是该数量等于正 $(n+3)$-边形的三角剖分数量，其公式涉及卡塔兰数与对称性，且证明了两个簇-tilting 对象生成同构的簇-tilted 代数当且仅当其中一个为另一个在 Auslander-Reiten 变换下的平移。

ABSTRACT

The purpose of this paper is to give an explicit formula for the number of non-isomorphic cluster-tilted algebras of type $A_n$, by counting the mutation class of any quiver with underlying graph $A_n$. It will also follow that if $T$ and $T'$ are cluster-tilting objects in a cluster category $\mathcal{C}$, then $\End_{\mathcal{C}}(T)$ is isomorphic to $\End_{\mathcal{C}}(T')$ if and only if $T=τ^i T'$.

研究动机与目标

• 确定类型 $A_n$ 的非同构簇-tilted 代数的数量。
• 在簇-tilted 代数与正 $(n+3)$-边形的三角剖分之间建立双射。
• 刻画何时两个簇-tilting 对象生成同构的簇-tilted 代数。
• 利用卡塔兰数与对称性分析，推导出该计数的闭式公式。

提出的方法

• 计算基础图为 $A_n$ 的 quiver 的变异类，即所有与 $A_n$ 变异等价的 quiver 的集合。
• 利用正 $(n+3)$-边形的三角剖分几何模型，表示簇范畴中的簇-tilting 对象。
• 通过三角剖分中对角线的旋转操作定义 quiver 变异，quiver 的结构由三角剖分中的邻接关系决定。
• 应用群作用（旋转）对 quiver 进行同构分类，识别不同三角剖分何时产生同构代数。
• 使用轨道计数引理（Burnside 引理）计算在旋转作用下不同的 quiver 数量，引入对称性因子。
• 通过将卡塔兰数与二阶和三阶旋转对称性的修正项结合，推导出最终公式。

实验结果

研究问题

• RQ1 对于给定的 $n$，类型 $A_n$ 的非同构簇-tilted 代数有多少个？
• RQ2 在 $A_n$ 情况下，簇-tilting 对象与其对应的簇-tilted 代数之间的确切关系是什么？
• RQ3 在什么情况下两个簇-tilting 对象会产生同构的簇-tilted 代数？
• RQ4 有多少个非同构的簇-tilting 对象会产生同一个簇-tilted 代数？
• RQ5 此类代数的数量如何与卡塔兰数及多边形的对称性相关？

主要发现

• 类型 $A_n$ 的非同构簇-tilted 代数的数量 $a(n)$ 由公式 $a(n) = C(n+1) + \frac{1}{2}C\left(\frac{n+1}{2}\right) + \frac{2}{3}C\left(\frac{n}{3}\right)$ 给出，其中 $C(k)$ 为第 $k$ 个卡塔兰数，当参数非整数时该项省略。
• 该公式与 W. G. Brown (1964) 给出的正 $(n+3)$-边形旋转对称三角剖分数值一致。
• 两个簇-tilting 对象 $T$ 和 $T'$ 生成同构的簇-tilted 代数当且仅当 $T' = \tau^i T$ 对某个整数 $i$ 成立，其中 $\tau$ 为 Auslander-Reiten 变换。
• 产生同一簇-tilted 代数的非同构簇-tilting 对象的数量整除 $n+3$，且该数量最多为 $n+3$，当 $n+3$ 为素数时取等。
• 当 $n+3$ 为素数时，非同构簇-tilted 代数的数量为 $\frac{C(n)}{n+3}$，其中 $C(n)$ 为第 $n$ 个卡塔兰数。
• 簇范畴类型 $A_n$ 中非同构簇-tilting 对象的数量恰好为 $C(n)$，即第 $n$ 个卡塔兰数。