[论文解读] Duality and equivalence of module categories in noncommutative geometry I

Jonathan Block|arXiv (Cornell University)|Sep 13, 2005

Algebraic structures and combinatorial models参考文献 23被引用 66

一句话总结

本文提出了一种微分分次范畴框架，以统一非交换几何、代数几何与数学物理中的对偶性。通过从 Dolbeault 数据构造一个曲率微分分次代数，实现了复流形上凝聚层的导出范畴，并在非交换复环面上建立了 Serre 对偶性，将 Baum-Connes 猜想与导出等价性联系起来。

ABSTRACT

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of categories of modules. In this paper, we develop a general framework needed to describe these dualities. In various geometric contexts, e.g. complex geometry, generalized complex geometry, and noncommutative geometry, the geometric structure is encoded in a certain differential graded algebra. We develop the module theory of such differential graded algebras in such a way that we can recover the derived category of coherent sheaves on a complex manifold. In this paper and ones to follow we apply this to stating and proving the duality statements mentioned above. After developing the general framework, we look at a (complex) Lie algebroid $\A o T_\cx X$. One can then consider our analogue of the derived category of coherent sheaves, integrable with respect to the Lie algebroid. We then establish a (Serre) duality theorem for "elliptic" Lie algebroids and for noncommutative tori.

研究动机与目标

• 开发一个适用于非交换几何、代数几何与数学物理中对偶性陈述的通用框架。
• 将算子 K-理论中的 Baum-Connes 猜想与代数几何及物理中的导出等价性联系起来。
• 构建一个微分分次范畴，利用全局微分几何数据捕捉复流形上凝聚层的导出范畴。
• 将准同构的概念从标准 dg-模推广至通过曲率 dga 构造的扭曲复形。
• 通过对偶化模与迹泛函，建立非交换复环面上的 Serre 对偶性。

提出的方法

• 利用紧致复流形的 Dolbeault 复形定义一个曲率微分分次代数（dga），并引入一个群 2-上循环 σ。
• 从 dga A 构造一个微分分次范畴 P_A，通过全局微分几何结构捕捉凝聚层。
• 利用复向量空间 V 的 (1,0)-分量在 A = A^{0,•}(Λ;σ) 上引入一个扭曲微分 ∂̄，确保其与对偶性相容。
• 为 dga 配备一个迹 τ，并定义一个对偶化模 (D, D̄, *, ∫)，以实现 Serre 对偶性。
• 利用在最高阶形式上的 ∫ 泛函定义一个非退化的配对，验证对偶性公理。
• 证明范畴 P_A 上的 Serre 自同态由 E ↦ E ⊗ D 与诱导微分 D̄ 给出，从而推广了经典 Serre 对偶性。

实验结果

研究问题

• RQ1 如何在单一范畴框架下统一非交换几何中的对偶性陈述，如 T-对偶性和镜像对称？
• RQ2 能否从全局微分几何结构而非局部全纯数据重构复流形上凝聚层的导出范畴？
• RQ3 Dolbeault dga 上 dg-模的正确准同构概念是什么？它与标准概念有何不同？
• RQ4 Baum-Connes 猜想如何与代数几何和物理中的导出等价性相关联？
• RQ5 Serre 对偶性能否推广至非交换复环面？其背后的结构是什么？

主要发现

• 微分分次范畴 P_A 的同伦范畴与紧致复流形 X 上凝聚层的导出范畴等价。
• 当 σ 为平凡时，dga A = A^{0,•}(Λ;σ) 同构于对偶复环面 X^∨ 的 Dolbeault 代数，与经典几何保持一致。
• dga A 是椭圆的，其对偶化模 (D, D̄, *, ∫) 通过迹 τ 与最高阶形式的积分定义。
• P_A 上的 Serre 自同态由 E ↦ E ⊗ D 与诱导微分 D̄ 给出，当 σ = 1 时，其恢复经典 Serre 自同态。
• 通过使用曲率 dga 与改进的范畴 P_A，该构造避免了标准 dg-模的同调缺陷。
• 该框架将弦理论中的 B-膜作为凝聚层的模型实现，与 Bergman 的工作相联系，从而关联到物理学。