[论文解读] Noncommutative geometry and dual coalgebras

Lieven Le Bruyn|ArXiv.org|May 15, 2008

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

一句话总结

本文提出，k-代数A的非交换仿射概形rep(A)对应于其对偶余代数A⁰，建立了非交换几何与余代数结构之间的对偶性。关键结果表明，A⁰与由A-表示的简单模的Yoneda空间上的A∞-结构构造出的 pointed 余代数之间存在Takeuchi等价关系，从而通过同调代数编码表示论数据。

ABSTRACT

In arXiv:math/0606241v2 M. Kontsevich and Y. Soibelman argue that the category of noncommutative (thin) schemes is equivalent to the category of coalgebras. We propose that under this correspondence the affine scheme of a k-algebra A is the dual coalgebra A^o and draw some consequences. In particular, we describe the dual coalgebra A^o of A in terms of the A-infinity structure on the Yoneda-space of all the simple finite dimensional A-representations.

研究动机与目标

• 在非交换几何中建立非交换仿射概形与对偶余代数之间的对应关系。
• 以A-有限维单模的Yoneda Ext-空间为基准，描述对偶余代数A⁰的结构。
• 通过余代数对偶性，将交换代数几何中的几何洞见推广至非交换情形。
• 通过Takeuchi等价与A∞-结构，提供表示函子rep(A)的余代数实现。

提出的方法

• 将rep(A)定义为从有限维k-余代数到集合的反变函子，将C映射到alg_k(A, C*)，并证明其由A⁰表示。
• 利用Kostant对偶性，建立alg_k(A, C*)中的同态与coalg_k(C, A⁰)中的余代数同态之间的自然对应。
• 将A⁰的余根基表征为由单A-表示参数化的1维子余代数的直和，从而识别出simp(A) = corad(A⁰)。
• 在A的ext¹-Quiver上构造路径余代数ℬ，其共乘法由路径连接定义，余元由路径长度定义。
• 利用Yoneda空间Ext•_A上的A∞-结构，定义同调Maurer-Cartan映射μ = ⊕m_i，从ℬ(ext¹_A)到ext²_A。
• 建立A⁰与ℬ(ext¹_A)中位于μ的核内的子余代数之间的Takeuchi等价，通过此构造证明A⁰ ≅ A†。

实验结果

研究问题

• RQ1 在Kontsevich-Soibelman对偶下，非交换仿射概形rep(A)如何被实现为对偶余代数A⁰？
• RQ2 A⁰的余代数结构如何通过A-表示的简单模的Yoneda Ext-空间来描述？
• RQ3 Ext•_A上的A∞-结构如何决定A⁰的完整余代数结构？
• RQ4 能否从ext-Quiver与简单模上的A∞-运算重构对偶余代数A⁰？

主要发现

• 非交换仿射概形rep(A)被自然地识别为对偶余代数A⁰，从而在表示论与余代数之间建立了对偶性。
• A⁰的余根基同构于由单A-表示参数化的1维子余代数的直和，即corad(A⁰) ≅ ⊕_S k·g_S，其中S遍历simp(A)。
• 对偶余代数A⁰与路径余代数ℬ(ext¹_A)中位于同调Maurer-Cartan映射μ = ⊕m_i的核内的子余代数之间存在Takeuchi等价。
• A⁰的完整结构由Yoneda空间Ext•_A上的A∞-结构决定，其中μ编码了扩张之间的高阶关系。
• 对于有限子Quiver，该构造退化为Keller对有限维代数的结果，将其推广至无限维情形。
• 对μ*的核处的路径代数的完备化恢复了A的m-进完备化，表明在形式邻域层面也存在对偶性。