[论文解读] Duality and equivalence of module categories in noncommutative geometry II: Mukai duality for holomorphic noncommutative tori

Jonathan Block|ArXiv.org|Apr 12, 2006

Algebraic structures and combinatorial models参考文献 16被引用 10

一句话总结

本文通过引入一个推广了非交换几何中拟相干层的拟完美DG范畴，将Mukai对偶性推广至非交换环面。该研究通过一个形变的Poincaré线丛，建立了全纯非交换环面的导出范畴与对偶复环面上全holomorphic gerbe的导出范畴之间的等价关系，利用扭曲双模结构及对施瓦茨函数上拉普拉斯型算子的谱分析。

ABSTRACT

This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a complex manifold. In this paper we enlarge this category to include objects which correspond to quasi-coherent sheaves. We then apply this framework to proving an equivalence of categories between derived categories on the noncommutative complex torus and on a holomorphic gerbe on the dual complex torus.

研究动机与目标

• 通过引入一个将完美范畴扩展至包含拟相干层的拟完美DG范畴，推广非交换几何中导出范畴的框架。
• 利用带有曲率的微分graded代数，为复几何中的导出前推与六则运算提供范畴框架。
• 制定并证明全纯非交换环面的形变Mukai对偶性，扩展经典复环面与其对偶之间的对偶性。
• 通过形变Poincaré线丛诱导的扭曲双模结构，建立非交换环面与对偶上全holomorphic gerbe的导出范畴等价性。
• 分析作用于施瓦茨函数上的拉普拉斯型算子的谱性质，以构造层复形上同调的核，并证明在度数g处存在一个秩为一的自由模。

提出的方法

• 引入拟完美范畴 $ q\tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $，作为对应于复流形上拟相干层的完美DG范畴 $ \tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $ 的扩展。
• 使用带有曲率项 $ c $ 的曲率微分graded代数 $ (\tilde{\text{A}}^\bullet, d, c) $ 编码可积的非交换几何，其中 $ c $ 编码形变数据。
• 在 $ X \times X^\vee $ 上构造一个形变Poincaré线丛，其中 $ X $ 为复环面，$ X^\vee $ 为其对偶，利用全纯联络与包含 $ B $-场的曲率形式。
• 在 $ \mathcal{Y}^\bullet \otimes_{\mathcal{A}(X;B)} \mathcal{A}^{0,\bullet}(X;B) $ 上定义双模结构，其中收缩映射 $ \beta $ 限制于对角线并选取最高阶分量。
• 分析作用于施瓦茨函数上的算子 $ \mathbb{L} = \sum_j \left( -\frac{\partial^2}{\partial z_j \partial \overline{z}_j} - 2\pi\sqrt{-1} Y_j + 4\pi^2(|z_j - w_j|^2 + |B_j(w)|^2) \right) $ 的谱理论。
• 证明 $ \Box^{0} $ 的核仅在 $ k - l = g $ 时非平凡，且复形 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ 的上同调在度数 $ g $ 处为 $ \mathcal{A}(\Lambda;\sigma) $-模的秩一自由模。

实验结果

研究问题

• RQ1 如何将带有曲率的DGA上模的完美DG范畴扩展至包含非交换几何中的拟相干层？
• RQ2 当限制于拟相干复形时，复几何中导出前推的范畴结构是什么？
• RQ3 能否通过Poincaré线丛的形变与扭曲双模结构，将Mukai对偶性推广至非交换环面？
• RQ4 作用于与形变Poincaré丛相关的施瓦茨函数上的拉普拉斯型算子 $ \mathbb{L} $ 的谱行为如何？
• RQ5 在何种条件下，复形 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ 的上同调会在度数 $ g $ 处产生一个非平凡的秩一自由模？

主要发现

• 拟完美范畴 $ q\tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $ 为导出前推提供了自然框架，并将层的范畴推广至包含拟相干层。
• 全纯非交换环面的导出范畴通过函子 $ \mathcal{F} \mapsto p_{2*}(p_1^*\mathcal{F} \otimes \mathcal{P}) $ 与对偶复环面上全holomorphic gerbe的导出范畴等价，其中 $ \mathcal{P} $ 为形变Poincaré丛。
• 算子 $ \mathbb{L} $ 在函数 $ a^{i,j} $ 上的本征值为 $ 2\pi(i + j + 1) $，其中 $ a^{0,0} $ 是本征值 $ 2\pi $ 的本征向量，且整个 $ g $-维核由总量子数 $ i + j = g - 1 $ 的态构成。
• 复形 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ 的上同调仅在度数 $ g $ 处非平凡，此时为 $ \mathcal{A}(\Lambda;\sigma) $-模的秩一自由模，由函数 $ a $ 生成。
• 映射 $ \beta: \mathcal{Y}^\bullet \otimes_{\mathcal{A}(X;B)} \mathcal{A}^{0,\bullet}(X;B) \to \mathcal{A}^{0,\bullet}(X;B) $，定义为 $ \beta(\phi)(z) = \iota_\Xi(\phi)(z,z) $，与 $ \mathbb{Z} $-联络可交换，并实现对角线上的收缩。
• 谱分析确认 $ \mathbb{L} a = 2\pi g a $，表明基态 $ a $ 是 $ \mathbb{L} $ 的本征态，本征值为 $ 2\pi g $，且整个集合 $ \{a^{i,j}\} $ 构成 $ L^2(\mathbb{C}^g) $ 的正交基。