[论文解读] Derived Representation Schemes and Cyclic Homology

Yuri Berest, George A. Khachatryan+1 more|arXiv (Cornell University)|Dec 7, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用 4

一句话总结

本文引入了导出表示方案 DRep_V(A) 作为经典表示方案 Rep_V(A) 的同伦提升，从循环同调 HC_n(A) 构造了到同调 H_n(DRep_V(A)) 的典范迹映射。关键贡献在于将经典迹函子性地推广到更高阶循环同调，揭示了非交换几何与导出代数结构之间的深刻联系。

ABSTRACT

We describe the derived functor DRep_V(A) of the affine representation scheme Rep_V(A), parametrizing the representations of an associative k-algebra A on a finite-dimensional vector space V. We construct the characteristic maps Tr_V(A)_n: HC_n(A) o H_n[DRep_V(A)], extending the canonical trace Tr_V(A): HC_0(A) o k[Rep_V(A)] to the higher cyclic homology of the algebra A, and describe a related derived version of the representation functor introduced recently by M. Van den Bergh. We study various operations on the homology of DRep_V(A) induced by known operations on cyclic and Hochschild homology of A.

研究动机与目标

• 为结合代数的古典表示方案 Rep_V(A) 构建一个导出函子，以解决非阿贝尔同调代数中的局限性。
• 将循环同调几何化为非交换谱上函数的导出空间，推广经典迹映射。
• 通过导出框架将经典迹映射 Tr_V(A): HC_0(A) → k[Rep_V(A)] 扩展到更高阶循环同调。
• 将循环同调与霍赫希尔德同调中的已知运算（如康纳斯微分、博特定理）与导出表示方案上的几何结构联系起来。
• 为范登伯格在双模上的表示函子提供一个导出版本，从而丰富对非交换代数的几何理解。

提出的方法

• 将导出表示方案 DRep_V(A) 定义为表示函子 Rep_V(A) 的导出函子的代表，其为一个交换的微分分次代数。
• 构造特征映射 Tr_V(A)_n: HC_n(A) → H_n(DRep_V(A))，将经典迹 Tr_V(A) 从 HC_0(A) 扩展到更高阶循环同调。
• 利用交换微分分次代数的同伦理论，特别是 DGA_k 和 CDGA_k 上的模型范畴结构，以确保正确的导出构造。
• 应用如下原则：非交换代数上的几何结构应在表示空间上诱导出标准交换结构，现推广至导出情形。
• 利用 DGA_k 和 CDGA_k 模型范畴的正则性，确保弱等价在上包络下稳定，这对同伦不变性至关重要。
• 使用与自由扩张相关的双复形的总复形，分析上包络并验证导出情形下的拟同构性质。

实验结果

研究问题

• RQ1 如何对经典表示方案 Rep_V(A) 进行导出，以捕捉非阿贝尔同调代数中的更高阶同伦信息？
• RQ2 从 HC_0(A) 到 k[Rep_V(A)] 的迹映射的导出类比是什么？它如何被扩展到更高阶循环同调群？
• RQ3 循环同调与霍赫希尔德同调中的已知运算（如康纳斯微分、格尔斯滕哈伯括号）如何在导出表示方案上诱导出几何结构？
• RQ4 导出表示同调 H_•(A,V) 在多大程度上捕捉了 A 的完整循环同调？在此背景下，迹映射起什么作用？
• RQ5 能否通过此框架自然地将范登伯格引入的双模表示函子扩展到导出情形？

主要发现

• 导出表示方案 DRep_V(A) 由一个交换微分分次代数表示，其同调 H_•(DRep_V(A)) 仅依赖于 A 和 V，且 H_0 同构于经典表示代数 A_V。
• 本文构造了典范迹映射 Tr_V(A)_n: HC_n(A) → H_n(DRep_V(A))，将经典迹 Tr_V(A) 从 HC_0(A) 扩展到所有更高阶循环同调群。
• 这些迹映射是函子性的，并为循环同调提供了几何解释：即作为 A 的非交换谱上函数的导出空间。
• 循环同调中的运算（如康纳斯微分、博特定理）在导出表示同调 H_•(A,V) 上诱导出相应的几何结构。
• 证明了模型范畴 DGA_k 和 CDGA_k 是正则的，确保弱等价在上包络下稳定，这对导出构造至关重要。
• 该构造推广了普罗塞奇关于特征簇的定理，表明可通过导出表示同调 H_•(A,V) 研究导出特征簇。