[论文解读] The Mukai pairing, I: a categorical approach

Andrei Căldăraru, Simon Willerton|arXiv (Cornell University)|Jul 13, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 38

一句话总结

本文提出了一种关于光滑、完备空间的 Hochschild 同调上 Mukai 对偶配对的范畴方法，将 K3 曲面上 Mukai 的配对推广至更一般情形。它建立了积分变换在 Hochschild 同调上的函子性与伴随性，定义了该语境下的 Chern 特征，并证明了半黎曼-洛赫公式与 Cardy 条件在导出范畴框架下普遍成立，其基础为一个由空间与核构成的 2-范畴。

ABSTRACT

We study the Hochschild homology of smooth spaces, emphasizing the importance of a pairing which generalizes Mukai's pairing on the cohomology of K3 surfaces. We show that integral transforms between derived categories of spaces induce, functorially, linear maps on homology. Adjoint functors induce adjoint linear maps with respect to the Mukai pairing. We define a Chern character with values in Hochschild homology, and we discuss analogues of the Hirzebruch-Riemann-Roch theorem and the Cardy Condition from physics. This is done in the context of a 2-category which has spaces as its objects and integral kernels as its 1-morphisms.

研究动机与目标

• 通过范畴框架将 K3 曲面上 Mukai 的配对推广至光滑、完备空间的 Hochschild 同调。
• 建立从导出范畴之间的积分核诱导出的 Hochschild 同调上线性映射的函子性。
• 证明伴随函子在 Mukai 对偶配对下诱导出伴随线性映射。
• 在该语境下定义取值于 Hochschild 同调的 Chern 特征，并通过 HKR 同构将其与经典 Chern 特征关联。
• 在开-闭拓扑量子场论的语境下，证明半赫兹布吕赫-黎曼-洛赫定理与 Cardy 条件普遍成立。
• 构建一个 2-范畴框架（V𝐵ar），其中空间为对象，积分核为 1-态射，从而系统研究这些结构。

提出的方法

• 通过 X×X 上导出范畴中的 Ext 群定义空间 X 的 Hochschild 上同调与同调：HH^i(X) = Hom^i(Id_X, Id_X)，HH_i(X) = Hom^{-i}(Σ_X^{-1}, Id_X)。
• 在 HH_•(X) 上引入非退化的 Mukai 对偶配对 ⟨−,−⟩_M，该配对推广了上同调上的 Poincaré 对偶配对。
• 构造一个 2-范畴 V𝐵ar，其中空间为对象，积分核为 1-态射，利用对角线与反 canonical 线丛定义单位核与 Serre 对偶核。
• 使用反射性礼貌性（reflexive politeness）的概念，确保核之间的伴随关系在同调上诱导出相容的伴随关系，从而保证函子性。
• 通过核 E: pt → X 对单位 1 ∈ HH_0(pt) 的作用，定义 Chern 特征 ch: K_0(X) → HH_0(X)。
• 证明 Chern 特征的配对等于欧拉示性数：⟨ch(E), ch(F)⟩_M = χ(E,F) = ∑(−1)^i dim Ext^i(E,F)，从而确立半赫兹布吕赫-黎曼-洛赫定理。

实验结果

研究问题

• RQ1 如何在范畴框架下将 K3 曲面上 Mukai 的配对推广至任意光滑、完备空间的 Hochschild 同调？
• RQ2 导出范畴之间的积分变换是否诱导出 Hochschild 同调上的线性映射，且在核的复合下保持函子性？
• RQ3 是否存在一个自然的 Hochschild 同调上的 Chern 特征，其在 HKR 同构下可恢复为经典 Chern 特征？
• RQ4 在该推广设定下，半赫兹布吕赫-黎曼-洛赫公式是否成立，且由 Mukai 对偶配对取代上积？
• RQ5 在开-闭 TQFT 中的 Cardy 条件是否能在该导出范畴框架下自然满足，即使对于非 Calabi-Yau 空间？

主要发现

• Hochschild 同调上的 Mukai 对偶配对是非退化的，并推广了上同调上的 Poincaré 对偶配对。
• 积分核以函子性方式诱导出 Hochschild 同调上的线性映射，且与核的复合相容。
• 伴随函子在 Mukai 对偶配对下诱导出伴随线性映射，确保对偶性相容。
• Chern 特征映射 ch: K_0(X) → HH_0(X) 是良定义的，并且在 HKR 同构下与经典 Chern 特征一致。
• 半赫兹布吕赫-黎曼-洛赫公式成立：⟨ch(E), ch(F)⟩_M = ∑(−1)^i dim Ext^i(E,F)，将配对与欧拉示性数联系起来。
• 在该框架下，开-闭 TQFT 中的 Cardy 条件自动满足，即使对于非 Calabi-Yau 空间，这是由于所有核均具有反射性礼貌性。