[论文解读] Noncommutative Geometry and Quiver algebras

William Crawley-Boevey, Pavel Etingof+1 more|ArXiv.org|Feb 15, 2005

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

一句话总结

本文提出了一种基于双导子的非交换微分几何与辛几何的新框架，为任意光滑结合代数 $B$ 定义了非交换余切丛 $T^*B$，并建立了非交换的矩映射与哈密顿约化。关键结果是，类似于泊松括号的李代数结构 $\Pi/[Π,\Pi]$ 可以延拓至哈密顿约化 $\Pi_w/[Π_w,\Pi_w]$，且对于非狄尼金型 quiver 的预投影代数，其霍赫希尔德上同调在该李代数作用下诱导出完整的格伦斯坦哈伯代数结构。

ABSTRACT

We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra B, we define its noncommutative cotangent bundle T^*B, which is a basic example of noncommutative symplectic manifold. Applying Hamiltonian reduction to noncommutative cotangent bundles gives an interesting class of associative algebras, P=P(B), that includes preprojective algebras associated with quivers. Our formalism of noncommutative Hamiltonian reduction provides the space P/[P,P] with a Lie algebra structure, analogous to the Poisson bracket on the zero fiber of the moment map. In the special case where P is the preprojective algebra associated with a quiver of non-Dynkin type, we give a complete description of the Gerstenhaber algebra structure on the Hochschild cohomology of P in terms of the Lie algebra P/[P,P].

研究动机与目标

• 基于双导子发展非交换微分与辛几何的新形式化体系，避免标准方法中固有的信息损失。
• 为任意光滑结合代数 $B$ 定义非交换余切丛 $T^*B$ 作为辛流形。
• 建立非交换矩映射与哈密顿约化，将经典辛约化推广至非交换情形。
• 以李代数 $\Pi/[\Pi,\Pi]$ 为框架，描述非狄尼金型 quiver 的预投影代数的霍赫希尔德上同调上的格伦斯坦哈伯代数结构。
• 证明预投影代数 $\Pi$ 的中心是平凡的（仅包含标量），且 $\Pi$ 是素代数。

提出的方法

• 将双导子 $A \to A \otimes A$ 引入为非交换向量场，推广普通导子。
• 在卡鲁比-德·拉姆复形 $\mathrm{DR}^\bullet A$ 上定义双导子的李导数与外微分算子。
• 在非交换余切丛 $T^*B$ 上构造一个典范的辛 2-形式 $\omega \in \mathrm{DR}^2(T^*B)$。
• 通过与双导子 $\Delta: a \mapsto a \otimes 1 - 1 \otimes a$ 的外微分收缩，定义非交换矩映射，将闭 2-形式映射至 $A$ 中的元素。
• 通过商掉由辛形式在矩映射下像 ${\mathbf{w}}$ 生成的双边理想 $A{\mathbf{w}}A$，执行哈密顿约化。
• 利用表示函子 $\mathrm{Rep}_n$ 将非交换结构与 $\mathrm{Rep}_n A$ 上的交换几何时空联系起来，确保与经典概念相容。

实验结果

研究问题

• RQ1 如何利用双导子重新表述非交换微分几何，以保留更丰富的代数结构？
• RQ2 非交换余切丛的类比是什么？它如何携带辛结构？
• RQ3 非交换几何中的哈密顿约化如何与矩映射及经典交换情形下的辛约化相关联？
• RQ4 非狄尼金型 quiver 的预投影代数的霍赫希尔德上同调上，格伦斯坦哈伯代数结构是什么？
• RQ5 非狄尼金型的预投影代数的中心是否平凡？该代数是否为素代数？

主要发现

• 由 $A$ 上的辛 2-形式诱导的 $A/[A,A]$ 上的李括号可下移至哈密顿约化 $A_\mathbf{w}/[A_\mathbf{w}, A_\mathbf{w}]$，从而建立非交换辛约化的类比。
• 对于非交换余切丛 $T^*B$，其表示概形 $\mathrm{Rep}_n(T^*B)$ 是一个辛流形，且 $T^*B/[T^*B, T^*B]$ 中的元素映射为该流形上的正则函数。
• 与非狄尼金型 quiver 关联的预投影代数 $\Pi$ 的霍赫希尔德上同调携带完整的格伦斯坦哈伯代数结构，其中 $\Pi/[\Pi,\Pi]$ 上的李括号生成奇数度部分。
• 预投影代数 $\Pi$ 的中心是平凡的：$Z(\Pi) = \Bbbk$，其证明基于通用表示概形的不可约性与舒尔引理。
• 预投影代数 $\Pi$ 是素代数：若 $a,b \in \Pi$ 非零且 $a\Pi b = 0$，则由 $\mathrm{Rep}(\Pi, \mathbf{d})$ 在 $\mathbf{d} \in \Sigma_0$ 时的不可约性可导出矛盾。
• 非交换矩映射将 $\mathrm{DR}^2 A$ 中的闭 2-形式映射至 $A$ 的元素，其像 $\mathbf{w}$ 诱导出一个矩映射 $\mathrm{Rep}_n A \to (\mathfrak{gl}_n)^*$。