[论文解读] Algebras Generated by Elements with Given Spectrum and Scalar Sum and Kleinian Singularities

Anton Mellit|ArXiv.org|Jun 7, 2004

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

一句话总结

本文建立了由给定谱的元素生成的代数与标量和之间精确的同构关系，以及在扩展Dykin图上的形变前投影代数的幂等截断。证明了此类代数的中心同构于Klein奇点坐标环的形变，并确定了代数满足的多项式恒等式的最小次数。

ABSTRACT

For a certain class of (nonunital) subalgebras of deformed preprojective algebra of affine type we describe their centers as certain deformation of Kleinian singularity and find their PI-degree. These results can be applied to algebras generated by elements with given spectrum and scalar sum.

研究动机与目标

• 建立由非交换元素上的多项式约束定义的代数与形变前投影代数之间的结构联系。
• 分析扩展Dykin图 $Q$ 和与最小虚根 $\delta$ 正交的权 $\lambda$ 的幂等截断 $e_i π^\lambda(Q)e_i$ 的中心。
• 确定标准恒等式在 $e_i π^\lambda(Q)e_i$ 中成立的最小次数 $k$。
• 证明代数 $A_{P_1,\dots,P_n;\mu}$ 是星形图上以中心顶点 $c$ 的 $e_c \tilde{\u03a0}^\lambda(Q)e_c$ 的特例。
• 证明 $e_i \tilde{\u03a0}^\lambda(Q)e_i$ 的中心同构于 $\mathcal{O}^\lambda(Q)$，即Klein奇点坐标环的形变。

提出的方法

• 构造一个图 $Q(A)$，其顶点由多项式 $P_i$ 的根索引，外加一个中心顶点 $c$，并以链式结构将每个根顶点连接至 $c$。
• 通过双图路径代数的商定义形变前投影代数 $\tilde{\u03a0}^\lambda(Q)$，关系为 $\sum_{a} [a,a^*] = \lambda$。
• 根据 $P_i$ 的根之差为顶点分配权 $\lambda$，令 $\lambda_c = \mu$，确保 $\lambda$ 位于与最小虚根 $\delta$ 正交的超平面上。
• 通过归纳法和路径代数分解，证明映射 $x_i \mapsto a_{i1}a_{i1}^*$ 使得 $e_c \tilde{\u03a0}^\lambda(Q)e_c$ 同构于 $A_{P_1,\dots,P_n;\mu}$。
• 通过分析标准滤子下的伴随分次代数，证明中心映射 $\phi_\lambda^i$ 的满射性和单射性。
• 应用形变前投影代数及其中心的理论，证明 $\mathcal{O}^\lambda(Q)$ 是Klein奇点坐标环的形变。

实验结果

研究问题

• RQ1 由给定谱和固定标量和的元素生成的代数与形变前投影代数之间有何关系？
• RQ2 当 $Q$ 为扩展Dykin图且 $\lambda \perp \delta$ 时，$e_i \tilde{\u03a0}^\lambda(Q)e_i$ 的中心结构如何？
• RQ3 在 $e_i \tilde{\u03a0}^\lambda(Q)e_i$ 中，标准恒等式在最小次数 $k$ 下成立，$k$ 的值是多少？
• RQ4 在何种条件下，代数 $A_{P_1,\dots,P_n;\mu}$ 同构于星形图 $Q$ 的 $e_c \tilde{\u03a0}^\lambda(Q)e_c$？
• RQ5 $\mathcal{O}^\lambda(Q)$，即 $e_i \tilde{\u03a0}^\lambda(Q)e_i$ 的中心，是否同构于Klein奇点坐标环的形变？

主要发现

• 在基于多项式 $P_i$ 的根分配权的条件下，代数 $A_{P_1,\dots,P_n;\mu}$ 同构于星形图 $Q$ 的中心顶点 $c$ 的 $e_c \tilde{\u03a0}^\lambda(Q)e_c$。
• $e_i \tilde{\u03a0}^\lambda(Q)e_i$ 的中心同构于 $\mathcal{O}^\lambda(Q)$，后者是与扩展Dykin图 $Q$ 对应的Klein奇点坐标环的形变。
• 在 $e_i \tilde{\u03a0}^\lambda(Q)e_i$ 中，标准恒等式成立的最小次数 $k$ 为 $k = 2\delta_i$，其中 $\delta_i$ 是最小虚根 $\delta$ 的第 $i$ 个分量。
• $\phi_\lambda^i: \mathcal{O}^\lambda(Q) \to e_i \tilde{\u03a0}^\lambda(Q)e_i$ 是一个分次代数的同构，其伴随分次映射 $\phi_0^i$ 是满射。
• 由于权重分配具有对称性，$e_c \tilde{\u03a0}^\lambda(Q)e_c$ 的同构类型仅取决于多项式 $P_i$ 的根，而与根的顺序无关。
• 对于链图 $C_n$，代数 $R^\lambda_n$ 同构于 $\mathbb{C}[x]/P(x)$，其中 $P(x)$ 是基于 $\lambda_i$ 累加和的线性因子的乘积，从而确认了截断的结构。