[论文解读] On Serre duality for compact homologically smooth DG algebras

Dmytro Shklyarov|ArXiv.org|Feb 20, 2007

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

一句话总结

本文通过证明两个关键结果，建立了紧致同调光滑DG代数上的Serre对偶性：Hochschild同调的有限维性，以及HHₙ(A)与HH₋ₙ(A)之间取值于基域k的非退化配对。证明依赖于导出范畴等价性及完美模的对偶性质，将经典Serre对偶性从光滑射影概形推广至DG代数的非交换设定。

ABSTRACT

The bounded derived category of coherent sheaves on a smooth projective variety is known to be equivalent to the triangulated category of perfect modules over a DG algebra. DG algebras, arising in this way, have to satisfy some compactness and smoothness conditions. In this paper, we describe a Serre functor on the category of perfect modules over an arbitrary compact and smooth DG algebra and use it to prove the existence of a non-degenerate pairing on the Hochschild homology of the DG algebra. This pairing is an algebraic analog of a well-known pairing on the Hodge cohomology of a smooth projective variety.

研究动机与目标

• 将经典Serre对偶性从光滑射影概形推广至紧致同调光滑DG代数。
• 建立此类DG代数Hochschild同调的有限维性。
• 构造一个非退化配对HHₙ(A) × HH₋ₙ(A) → k，类比于代数几何中的几何Serre对偶性。
• 通过Hochschild同调为Hodge理论不变量提供非交换代数框架。
• 为已知结果（如Connes微分B在Hochschild同调上的消失）在特定情况下提供替代证明。

提出的方法

• 利用光滑射影概形X与紧致同调光滑DG代数A之间的Dᵇ(Coh X)与D_per(A)之间的导出等价性。
• 在DG模的导出范畴中应用涉及张量积与导出Hom函子的对偶同构。
• 使用完美模N与任意模M之间的典范同构RHom_A(N, M) ≅ M ⊗ᴸ_A N∨。
• 使用对偶N∨ = Hom_A(N, A)以及完美模的双重对偶同构N ≅ (N∨)∨。
• 应用同构Hom_{D(A^e)}(A, N ⊗_k M*) ≅ Hom_{D(A)}(M, N)以关联导出Hom与张量积。
• 利用DG代数若集中于非正度数，则HHₙ(A)在n > 0时消失的性质，使配对蕴含有限维性。

实验结果

研究问题

• RQ1 紧致同调光滑DG代数的Hochschild同调是否保持有限维？
• RQ2 此类代数是否存在HHₙ(A)与HH₋ₙ(A)之间的非退化配对，类比于代数几何中的Serre对偶性？
• RQ3 Connes微分B在Hochschild同调上的消失能否从非交换设定中的对偶性推导而出？
• RQ4 能否通过此对偶框架在特定情况下恢复Hodge-到-de Rham退化猜想？
• RQ5 Dᵇ(Coh X)与D_per(A)之间的导出范畴等价是否意味着Hochschild同调在非交换情形下捕捉了Hodge上同调结构？

主要发现

• 紧致同调光滑DG代数A的Hochschild同调在总度数上是有限维的。
• 对所有n，存在一个非退化配对HHₙ(A) × HH₋ₙ(A) → k，将Serre对偶性推广至非交换设定。
• 对于集中于非正度数的DG代数，Hochschild同调集中在度数0，这是对偶配对的推论。
• 配对的存在性意味着Connes微分B在HHₙ(A)上消失，从而证实了非交换Hodge-到-de Rham退化猜想的特例。
• 该对偶框架为某些带关系的quiver代数的Hochschild同调计算提供了替代证明。
• 导出范畴等价Dᵇ(Coh X) ≃ D_per(A)诱导出同构HHₙ(X) ≅ HHₙ(A)，表明Hochschild同调是非交换情形下Hodge上同调的正确替代。