[论文解读] Certain Examples of Deformed Preprojective Algebras and Geometry of Their *-Representations

Anton Mellit|ArXiv.org|Feb 2, 2005

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

一句话总结

本文通过将扩展 Dynkin 图 D₄、E₆、E₇ 和 E₈ 关联的 *-代数的 C*-包络代数实现为在有限群作用下等变的球面上连续矩阵值函数代数，构建了这些代数的 C*-包络代数。该研究利用形变预投射代数及其幂等元截断，建立了一个统一的框架，证明了 C*-包络代数同构于在有限群作用下等变的球面上取值于矩阵的连续函数代数，并表明局部子代数的同构蕴含整个 C*-代数的同构。

ABSTRACT

We consider algebras $e_i Π^λ(Q) e_i$ obtained from deformed preprojective algebra of affine type $Π^λ(Q)$ and an idempotent $e_i$ for certain concrete value of the vector $λ$ which corresponds to the traces of $-1\in SU(2, C)$ in irreducible representations of finite subgroups of $SU(2, C)$. We give a certain realization of these algebras which allows us to construct the $C^*$-enveloping algebras for them. Some well-known results, including description of four projections with sum 2 happen to be a particular case of this picture.

研究动机与目标

• 为与扩展 Dynkin 图 D₄、E₆、E₇ 和 E₈ 关联的 *-代数提供 C*-包络代数的统一构造。
• 将这些 C*-代数实现为在有限群作用下等变的球面上取值于矩阵的连续矩阵值函数代数。
• 基于关键点处局部子代数的同构，建立此类 C*-代数同构的判据。
• 通过统一的代数与几何框架，将已知的四个投影和为 2 的结果推广至更高秩情形。

提出的方法

• 本文使用仿射型 quiver Q 的形变预投射代数 Π^λ(Q)，特别关注与 SU(2) 表示中 -1 的迹相关的特定 λ 值。
• 考虑中心顶点 i 的截断 e_iΠ^λ(Q)e_i，得到由自伴元生成的 *-代数，其谱受 λ 参数的约束。
• 通过首一多项式 P_i(t) = ∏(t - α_ij) 编码谱条件，确保生成元满足 P_i(x_i) = 0 且 ∑x_i = μe。
• C*-包络代数被实现为在 2-球面上取值于矩阵、在由 quiver 对称性导出的有限群作用下等变的连续函数代数。
• 通过在框架空间 F 之间定义连续映射 t: F → SU(H)，并满足与关键点 P 处局部矩阵代数 M_P 的互换条件，发展了态射理论。
• 通过构造保持框架的连续映射 t，诱导 *-同构，从而证明 C*-代数的同构，依赖于 SU(H) 的单连通性及局部算子的交换性。

实验结果

研究问题

• RQ1 如何几何地实现 *-代数 A_{D₄} 的 C*-包络代数，其四个自伴投影和为 2？
• RQ2 能否为 A_{E₆}、A_{E₇} 和 A_{E₈} 的 C*-包络代数给出类似于 D₄ 情形的统一构造？
• RQ3 形变预投射代数及其幂等元截断在将这些 C*-代数实现为球面上等变矩阵函数方面起什么作用？
• RQ4 在何种条件下，点 A、B、C、A' 处局部子代数 M_P 的同构能推出整个 C*-代数的同构？
• RQ5 形变预投射代数上的对合 * 如何与对合表示相关联，并在不可约表示的分类中发挥作用？

主要发现

• A_{D₄} 的 C*-包络代数同构于在二面体群（阶为 8）作用下等变的 2-球面上取值于矩阵的连续函数代数。
• 对于 A_{E₆}、A_{E₇} 和 A_{E₈}，其 C*-包络代数分别实现为在二面体群、二十分群和二十二面体群作用下等变的 2-球面上取值于矩阵的连续函数代数。
• 该构造表明，对于特定 λ 值的星形 quiver，*-代数 e_cΠ^λ(Q)e_c 生成的代数其谱受由 λ_i 导出的 α_ij 参数的约束。
• 通过构造保持框架的连续映射 t: F → SU(H)，并与关键点处的局部矩阵代数 M_P 互换，建立了 C*-代数的同构，依赖于 SU(H) 的单连通性。
• 本文证明：若在点 A、B、C、A' 处局部代数 M_P^1 与 M_P^2 同构，则整个 C*-代数 C^1 与 C^2 同构。
• 该结果推广了已知的四个投影和为 2 的情形，并通过群等变函数代数为更高秩情形提供了几何实现。