[论文解读] Geometric approach to Hall algebra of representations of Quivers over local ring

Zhaobing Fan|arXiv (Cornell University)|Dec 23, 2010

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

一句话总结

该论文通过在局部环 $k[t]/(t^n)$ 上的 quiver 表示空间上的 perverse sheaf 构造了一个几何复合代数 $Π$，并利用简单 perverse sheaf 建立了典范基。该几何代数与同一环上局部投影 quiver 表示的 Hall 代数以及量子广义 Kac-Moody 代数建立了联系，证明了从量子广义 Kac-Moody 代数的负部分到 $Π$ 的代数同态，且 $Π$ 的典范基由简单 perverse sheaf 生成。

ABSTRACT

By using perverse sheaves on representation spaces of quivers over $k[t]/(t^n)$ and jet schemes over flag varieties, we construct a geometric composition algebra $\mathbf K$ under Lusztig's framework on geometric realizations of the negative part of quantum algebras. Simple perverse sheaves in $\mathbf K$ form the canonical basis of $\mathbf K$. The relationships among the algebra $\mathbf K$, the composition algebra of locally projective representations of quivers over $k[t]/(t^n)$ and quantum generalized Kac-Moody algebra are provided.

研究动机与目标

• 通过 perverse sheaf 构造局部环 $k[t]/(t^n)$ 上 quiver 表示的 Hall 代数的几何框架。
• 在 Lusztig 框架下构建几何复合代数 $\mathbf{K}$，将量子代数的几何实现推广至非阿贝尔精确范畴。
• 将 $\mathbf{K}$ 与 $k[t]/(t^n)$ 上局部投影 quiver 表示的代数 Hall 代数，以及量子广义 Kac-Moody 代数的负部分联系起来。
• 利用简单 perverse sheaf 构造 $\mathbf{K}$ 的典范基，将 Lusztig 的典范基构造推广至该几何设定。

提出的方法

• 通过在 $R = k[t]/(t^n)$ 上的 quiver 表示空间上使用 perverse sheaf，并借助旗流形上的 jet 丛，构造几何复合代数 $\mathbf{K}$。
• 利用 Lusztig 的量子代数几何实现框架，将其适配于局部投影 $R$-模的非阿贝尔精确范畴。
• 通过等变欧拉示性数 $d_j(E,G;L,M)$ 定义 $\mathbf{K}$ 上的双线性型，证明其非退化性，以确保典范基的良定义性。
• 将 Lusztig 的限制函子替换为自由部分分解，以处理局部投影 $R$-模精确范畴中非投影子模与商模的问题。
• 建立从量子广义 Kac-Moody 代数负部分到 $\mathbf{K}$ 的代数同态，保持分次与基结构。
• 证明 $\mathbf{K}$ 的典范基由简单 perverse sheaf 给出，利用双线性型的非退化性与 $d_j$-函数的性质。

实验结果

研究问题

• RQ1 如何将 Lusztig 的量子代数几何框架扩展至如 $k[t]/(t^n)$ 这类局部环上的 quiver 表示？
• RQ2 几何复合代数 $\mathbf{K}$ 与 $k[t]/(t^n)$ 上局部投影 quiver 表示的 Hall 代数之间有何关系？
• RQ3 能否以简单 perverse sheaf 描述 $\mathbf{K}$ 的典范基？其与量子群理论中已知典范基的关系如何？
• RQ4 几何复合代数 $\mathbf{K}$ 如何与量子广义 Kac-Moody 代数关联，特别是通过从该类代数负部分到 $\mathbf{K}$ 的代数同态？
• RQ5 在此设定下出现的技术挑战（如非正则投影与非投影子模）是什么？如何解决？

主要发现

• 通过在 $R = k[t]/(t^n)$ 上 quiver 表示空间上的 perverse sheaf 构造了几何复合代数 $\mathbf{K}$，其双线性型由等变欧拉示性数 $d_j(E,G;L,M)$ 定义。
• 证明了 $\mathbf{K}$ 上的双线性型是非退化的，从而确保了典范基的良定义性。
• $\mathbf{K}$ 的典范基由简单 perverse sheaf 给出，将 Lusztig 的典范基构造推广至该几何设定。
• 存在从量子广义 Kac-Moody 代数负部分 $\mathbf{U}^{-}_{v}$ 到 $\mathbf{K}$ 的代数同态 $f: \mathbf{U}^{-}_{v} \to \mathbf{K}$，其核等于 $\mathbf{U}^{-}_{v}$ 上双线性型的根。
• $\mathbf{U}^{-}_{v}/\mathcal{I}_2$ 同构于 $\mathbf{K}$，从而通过量子广义 Kac-Moody 代数精确实现了 $\mathbf{K}$ 的代数结构。
• 在 $R$ 上局部投影 quiver 表示的代数复合代数与 $\mathbf{K}$ 之间存在保持分次与基结构的满代数同态。