[论文解读] The composition algebra of an affine quiver

Andrew Hubery|ArXiv.org|Mar 12, 2004

Algebraic structures and combinatorial models参考文献 15被引用 7

一句话总结

本文为无定向环的仿射quiver的复合代数提供了完整的结构定理，通过证明其正则部分是无限多项式环与非齐次管的复合代数的乘积，从而在张的三角分解基础上进行了细化。本文证明了在循环quiver的Hall代数中，Schiffmann的中心多项式子代数即为整个中心，并为复合代数建立了PBW基。

ABSTRACT

We study the Hall and composition algebras of an affine quiver. In the case of a cyclic quiver, we provide generators for the central polynomial algebra described by Schiffmann and prove that this is in fact the whole of the centre of the Hall algebra. For an affine quiver without oriented cycles, we obtain a structure theorem for the composition algebra refining the structure provided by Zhang.

研究动机与目标

• 为无向环的仿射quiver的复合代数提供一个具体的结构定理，细化张的三角分解。
• 确定循环quiver的Hall代数中心的完整结构，确认其由无限组多项式生成元生成。
• 将任意仿射quiver的复合代数研究简化为非齐次管和循环quiver的复合代数研究。
• 利用预投射、正则和预内射模建立复合代数的PBW基。
• 推广Szántó对Kronecker quiver的结果，并将Ringel对幂零表示的工作扩展至任意仿射quiver。

提出的方法

• 使用反射函子和Ringel-Hall代数框架，将复合代数与关联Kac-Moody李代数的量化包络代数联系起来。
• 将PBW基构造应用于普遍包络代数，以确定复合代数的分次分量的维数。
• 将复合代数的正则部分表征为无限生成多项式代数与非齐次管的复合代数的乘积。
• 通过管到缺陷1的内射模的态射，以及正则单模，定义Hall代数元素的生成函数。
• 从内射模构造元素 $\mathfrak{p}^{(I)}(n)$ 和 $\mathfrak{p}^{(J)}(n)$，并证明它们的差属于非齐次管的复合代数的直和。
• 利用一环quiver上幂零表示的Hall代数与Macdonald对称函数之间的同构，识别出关键生成元。

实验结果

研究问题

• RQ1 无向环的仿射quiver的复合代数的完整结构是什么？
• RQ2 在循环quiver的Hall代数中，Schiffmann的中心多项式子代数是否即为整个中心？
• RQ3 一般仿射quiver的复合代数能否以预投射、正则和预内射模的形式分解？
• RQ4 非齐次管在复合代数结构中起什么作用？
• RQ5 能否利用三角分解为仿射quiver的复合代数构造PBW基？

主要发现

• 无向环的仿射quiver的复合代数具有细化的三角分解 $\mathcal{C} = \mathcal{P} \otimes \mathcal{T} \otimes \mathcal{I}$，其中 $\mathcal{T}$ 同构于无限生成多项式代数与非齐次管的复合代数的乘积。
• 对于循环quiver，Hall代数中由Schiffmann描述的中心多项式子代数实际上是整个中心，且由幂零表示生成。
• 循环quiver的复合代数具有平凡中心，确认中心生成元足以张成整个中心。
• 分次分量 $\mathcal{C}_\alpha$ 的维数等于将 $\alpha$ 表示为正根之和的方式数，其重数由关联Kac-Moody代数的根系决定。
• 差 $\mathfrak{p}^{(I)}(n) - \mathfrak{p}^{(J)}(n)$ 属于非齐次管的复合代数的直和，证明正则部分与缺陷1的内射模的选择无关。
• 该结果将任意仿射quiver的复合代数研究简化为非齐次管的复合代数与循环quiver上幂零表示的研究，这两类结构均通过Ringel与Deng-Du的工作得到充分理解。