[论文解读] Extended canonical algebras and Fuchsian singularities

Helmut Lenzing, José Antonio de la Peña|ArXiv.org|Nov 17, 2006

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

一句话总结

本文将扩展的典型代数定义为典型代数的一点扩张，并通过分次代数的不变量建立其与富克斯奇点的联系。当典型代数为野生型且关联的分次代数为形式3生成时，所得奇点同构于阿诺德的例外单模奇点，从而通过自守形式和考克斯eter多项式将代数的表示理论与奇点理论联系起来。

ABSTRACT

We introduce a new class of finite dimensional algebras, called extended canonical, investigate their derived categories and study the spectral behavior of their Coxeter transformations. The subject relates to the triangulated categories of (graded) singularities introduced by R. Buchweitz (1987) and D. Orlov (2004).

研究动机与目标

• 定义并研究作为典型代数一点扩张的扩展典型代数。
• 当原始代数为坦型时，建立扩展典型代数与野生遗传代数或野生典型代数之间的导出等价性。
• 研究分次代数 $ R(p,\lambda) = \bigoplus_{n=0}^\infty \mathrm{Hom}_C(M, \tau_C^n M) $ 的结构，其中 $ M $ 是一个秩为一的非预投影模。
• 分类 $ R(p,\lambda) $ 为形式3生成的条件，并将其与曲面奇点的几何结构联系起来。
• 将分次代数 $ R(p,\lambda) $ 与自守形式联系起来，并证明当 $ k = \mathbb{C} $ 时，其结构对应于阿诺德的例外单模奇点。

提出的方法

• 将扩展典型代数 $ A = C[P] $ 定义为矩阵代数 $ \begin{bmatrix} k & 0 \\ P & C \end{bmatrix} $，其中 $ C $ 为典型代数，$ P $ 为 $ C $-模的不可约投影模。
• 在格罗滕迪克群 $ K_0(A) $ 上使用考克斯eter变换 $ \varphi_A $，并利用其特征多项式 $ f_A(T) $，将表示类型与奇点结构联系起来。
• 采用希尔伯特-庞加莱级数 $ \sum_{n=0}^\infty (\dim_k R_n) T^n $ 分析 $ R(p,\lambda) $ 的分次结构，证明在形式3生成条件下其形式为 $ \frac{1 - T^c}{(1 - T^{d_1})(1 - T^{d_2})(1 - T^{d_3})} $。
• 应用自守形式的结果：当 $ k = \mathbb{C} $ 时，将 $ R(p,\lambda) $ 识别为作用于上半平面的首类富克斯群的整自守形式环。
• 利用三角化奇点范畴 $ \mathrm{D}_{\mathrm{Sg}}^{\mathbb{Z}}(R) $，将分次模的导出范畴与加权射影直线上的凝聚层联系起来。
• 通过分析权型 $ p = (p_1,\dots,p_t) $ 和总和 $ \sum p_i $，对所有 $ R(p,\lambda) $ 为形式3生成的情况进行分类，证明当 $ 9 \leq \sum p_i \leq 11 $ 时，其等价于阿诺德的例外单模奇点。

实验结果

研究问题

• RQ1 当 $ R(p,\lambda) $ 与野生典型代数相关联时，其在什么条件下为形式3生成？
• RQ2 当 $ k = \mathbb{C} $ 时，$ R(p,\lambda) $ 的结构如何与曲面奇点及自守形式相关？
• RQ3 扩展典型代数的考克斯eter多项式与 $ R(p,\lambda) $ 的奇点类型之间的确切联系是什么？
• RQ4 在什么条件下 $ R(p,\lambda) $ 同构于形式为 $ k[x,y,z]/(F) $ 的商环，其中 $ F $ 为次数为 $ c $ 的齐次关系？
• RQ5 权型 $ p $ 满足 $ \sum p_i \in \{9,10,11\} $ 的情况如何对应于阿诺德的例外单模奇点？

主要发现

• 当 $ C $ 为坦型时，扩展典型代数 $ A = C[P] $ 导出等价于野生遗传代数或野生典型代数，表明 $ A $ 属于一个已充分研究的代数类。
• 对于满足 $ \chi_{\mathbb{X}} < 0 $ 的野生典型代数，$ A $ 的考克斯eter多项式满足 $ f_A(T) = P_C(T) f_C(T) $，其中 $ P_C(T) $ 为 $ R(p,\lambda) $ 的希尔伯特-庞加莱级数。
• 当 $ R(p,\lambda) $ 为形式3生成时，其庞加莱级数具有形式 $ \frac{1 - T^c}{(1 - T^{d_1})(1 - T^{d_2})(1 - T^{d_3})} $，且满足 $ 1 + d_1 + d_2 + d_3 = c $，表明其为拟齐次完全交。
• 当 $ k = \mathbb{C} $ 时，代数 $ R(p,\lambda) $ 同构于首类富克斯群的自守形式环，其结构对应于阿诺德的例外单模奇点。
• 对 $ t \geq 4 $ 且 $ k = \mathbb{C} $ 的所有形式3生成 $ R(p,\lambda) $ 的分类在表5中给出12个特定方程，全部等价于阿诺德的 $ J_{3,0}, Z_{1,0}, \dots, VNA^{1}_{0,0} $ 奇点。
• 当 $ t = 3 $ 时，表4中的14个方程恰好对应阿诺德的例外单模奇点，且满足 $ R(p,\lambda) \cong k[x,y,z]/(F) $，其中 $ F $ 为次数为 $ c $ 的齐次关系，且 $ \deg(x), \deg(y), \deg(z) $ 满足 $ 1 + d_1 + d_2 + d_3 = c $。