[论文解读] Relative Calabi-Yau completions

Wai‐Kit Yeung|arXiv (Cornell University)|Dec 19, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 36被引用 9

一句话总结

本文将凯勒的形变 $n$-卡拉比-丘完成推广至相对情形，从给定的在光滑 dg 范畴之间的 dg 函子 $F: \mathcal{A} \to \mathcal{B}$ 构造出一个 dg 函子扩展 $\widetilde{F}: \widetilde{\mathcal{A}} \to \widetilde{\mathcal{B}}$。证明了当参数化为相对负循环同调类 $\widetilde{\eta} \in HN_{n-2}(\mathcal{B}, \mathcal{A})$ 时，这些完成具备相对 $n$-卡拉比-丘结构，通过要求卡拉比-丘性质成立所需的提升至负循环类，从而弥合了原始绝对情形中的一个漏洞。

ABSTRACT

We generalize Keller's construction \cite{Kel11} of deformed $n$-Calabi-Yau completions to the relative context. This gives a construction that extends any given dg functor $F : A ightarrow B$ between smooth dg categories to a dg functor $\widetilde{F} : \widetilde{A} ightarrow \widetilde{B}$, together with a family of deformations of $(\widetilde{A},\widetilde{B},\widetilde{F})$ parametrized by relative negative cyclic homology classes $\widetildeη \in HN_{n-2}(B, A)$. We prove that these extensions admit relative $n$-Calabi-Yau structures in the sense of \cite{BD19}. In particular, this proof covers the original absolute case of \cite{Kel11}.

研究动机与目标

• 将凯勒的绝对形变 $n$-卡拉比-丘完成推广至光滑 dg 范畴之间 dg 函子的相对框架。
• 通过相对负循环同调 $HN_{n-2}(\mathcal{B}, \mathcal{A})$ 中的形变参数，建立相对 $n$-卡拉比-丘结构的构造。
• 通过证明 $n$-卡拉比-丘性质仅在形变类 $\eta \in HH_{n-2}(A)$ 可提升至负循环类 $\widetilde{\eta} \in HN_{n-2}(A)$ 时成立，来纠正并推广凯勒原始声明。
• 使用负循环复形的小模型，系统性地证明，从而解决在导出对偶双模的三角性条件中出现的微妙同伦障碍。

提出的方法

• 基于文献 [19] 中发展的 $\mathbb{N}$-分次混合复形 $(X^\bullet(\Pi), b, B)$，通过负循环复形的小模型构造相对 $n$-卡拉比-丘完成。
• 使用霍赫希尔德同调与负循环同调复形的显式模型，定义类 $\widetilde{\omega} \in HN_n(\widetilde{\Pi})$，其底层的霍赫希尔德类 $\omega \in HH_n(\widetilde{\Pi})$ 诱导出导出双模范畴中的映射 $\omega^\#: \widetilde{\Pi}^! [n] \to \widetilde{\Pi}$。
• 建立涉及包含映射 $\mathcal{S}(\Pi_{\mathcal{A}}) \to \mathcal{S}(\Pi_{\mathcal{B}/\mathcal{A}})$ 的锥的预映射的交换图，通过在四类生成元（A1）、（A2）、（B1）、（B2）上验证交换性，并利用五引理证明映射 $\omega^\#$ 是同构。
• 对混合复形中的元素应用康奈斯-茨扬算子 $B$，以建模负循环类 $\widetilde{\omega}$，确保其与导出对偶的三角结构相容。
• 通过显式公式验证关键图 (7.26) 对所有四类生成元 $\theta_{\mathcal{B}/\mathcal{A}}$ 的交换性，其中 $\omega_2 = B(J(s^{n-1}\theta_{\mathcal{B}/\mathcal{A}}))$ 在锥复形中给出。
• 通过证明绝对情形中的正合性适配至相对情形，表明若 $\widetilde{\eta}$ 属于 $B: HC_{n-3}(\mathcal{B}, \mathcal{A}) \to HN_{n-2}(\mathcal{B}, \mathcal{A})$ 的像，则相对 $n$-卡拉比-丘结构是正合的。

实验结果

研究问题

• RQ1 凯勒的绝对形变 $n$-卡拉比-丘完成能否推广至相对情形，使得 dg 函子 $F: \mathcal{A} \to \mathcal{B}$ 扩展为 $\widetilde{F}: \widetilde{\mathcal{A}} \to \widetilde{\mathcal{B}}$？
• RQ2 在何种形变参数 $\eta$ 条件下，相对完成 $\widetilde{\Pi}$ 允许具有相对 $n$-卡拉比-丘结构？
• RQ3 为何原始声明 [10] 在一般情况下不成立？需要何种修正以确保 $n$-卡拉比-丘性质成立？
• RQ4 如何通过负循环复形的小模型解决证明 $\Pi^{!}[n] \cong \Pi$ 时出现的微妙同伦障碍？
• RQ5 能否以康奈斯-茨扬算子 $B$ 的像来刻画相对 $n$-卡拉比-丘结构的正合性？

主要发现

• 相对 $n$-卡拉比-丘完成 $\widetilde{\Pi}$ 恰好当形变参数 $\eta \in HH_{n-2}(\mathcal{A})$ 可提升至类 $\widetilde{\eta} \in HN_{n-2}(\mathcal{B}, \mathcal{A})$ 时，才具备相对 $n$-卡拉比-丘结构。
• 负循环类 $\widetilde{\omega} \in HN_n(\widetilde{\Pi})$ 的构造通过负循环复形的小模型实现，从而能够显式验证三角性条件。
• 映射 $\omega^\#: \widetilde{\Pi}^! [n] \to \widetilde{\Pi}$ 在 $\mathcal{D}(\widetilde{\Pi}^e)$ 中是同构，这是通过验证图 (7.26) 对所有四类生成元（A1）、（A2）、（B1）、（B2）的交换性而确立的。
• 该证明通过将严格等式替换为同伦等价，并借助小混合复形模型仔细追踪同伦，从而解决了原始绝对情形中的一个微妙障碍。
• 若 $\widetilde{\eta}$ 属于 $B: HC_{n-3}(\mathcal{B}, \mathcal{A}) \to HN_{n-2}(\mathcal{B}, \mathcal{A})$ 的像，则相对 $n$-卡拉比-丘结构是正合的，这推广了绝对情形。
• 当 $\mathcal{A} = 0$ 时，该构造恢复为原始绝对情形，并为具有冻结变量的簇代数与奎iver簇的应用提供了概念性框架。