[论文解读] Erratum to "Deformed Calabi-Yau completions"

Bernhard Keller|arXiv (Cornell University)|Sep 2, 2018

Algebraic structures and combinatorial models参考文献 5被引用 9

一句话总结

本文纠正了原始论文中关于形变 Calabi–Yau 完备化的一个关键错误，表明形变完备化 $Π_n(\mathcal{A},c)$ 仅当形变类 $c$ 提升至负循环同调 $HN_{n-2}(\mathcal{A})$ 时才是 $n$-Calabi–Yau，而不仅仅是在 Hochschild 同调中。该更正确立了 Ginzburg 微分分次代数的 Calabi–Yau 性质，并在该条件下推广至所有同调光滑的微分分次范畴。

ABSTRACT

We correct an error and some inaccuracies that occurred in "Deformed Calabi-Yau completions''. The most important point is that, as pointed out by W. K. Yeung, to show that the deformed Calabi-Yau completion has the Calabi-Yau property, one needs to assume that the deformation parameter comes from negative cyclic homology. Notice that this does hold in the case of Ginzburg dg algebras.

研究动机与目标

• 纠正原始论文中一个错误的断言，即形变 Calabi–Yau 完备化始终是 $n$-Calabi–Yau。
• 确定形变完备化保持 Calabi–Yau 性质的精确同调条件。
• 纠正原始工作中早期定理在证明和假设上的不准确之处。
• 将结果推广至任意同调光滑的微分分次范畴，扩展先前对有限细胞范畴的结果。

提出的方法

• 将形变 Calabi–Yau 完备化 $\Pi_n(\mathcal{A},c)$ 重新表述为一个带有修正微分的张量范畴，该微分扩展了一个双模态射 $\delta: \theta \to \mathcal{A}$。
• 利用自然同构 $HH_{n-2}(\mathcal{A}) \xrightarrow{\sim} \mathrm{Hom}_{{\mathcal{D}}({\mathcal{A}}^e)}(\theta, \Sigma{\mathcal{A}})$ 将类 $c$ 提升为一个度数为 1 的态射。
• 确立 $\Pi_n(\mathcal{A},c)$ 上的 $n$-Calabi–Yau 结构存在的充要条件是 $c$ 提升至负循环同调 $HN_{n-2}(\mathcal{A})$。
• 纠正原始证明中的错误断言，特别是关于 $\widetilde{\lambda}$ 的转置共轭映射到 $\rho$ 的问题，并用关于极小关系生成理想之正确假设替代错误假设。
• 使用修正后的滤子和双模态导出范畴中的同调代数，重新推导完备化的同调性质。
• 验证该条件在 Ginzburg 微分分次代数中成立，因为在这些代数中此类提升是保证存在的。

实验结果

研究问题

• RQ1 在何种同调条件下，形变 Calabi–Yau 完备化 $\Pi_n(\mathcal{A},c)$ 是 $n$-Calabi–Yau？
• RQ2 为何原始论文中定理 5.2 的断言不成立？实现 Calabi–Yau 性质的正确充分条件是什么？
• RQ3 原始论文中定理 4.8 和 6.1 的证明中的不准确之处如何影响原始结果的有效性？
• RQ4 对有限细胞微分分次范畴的结果能否推广至所有同调光滑的微分分次范畴？
• RQ5 负循环同调在实现形变完备化上非退化的 $n$-Calabi–Yau 结构中起什么作用？

主要发现

• 形变 Calabi–Yau 完备化 $\Pi_n(\mathcal{A},c)$ 是 $n$-Calabi–Yau 当且仅当形变类 $c \in HH_{n-2}(\mathcal{A})$ 提升至负循环同调 $HN_{n-2}(\mathcal{A})$。
• 原始论文中定理 5.2 的断言是错误的：对于任意 $c \in HH_{n-2}(\mathcal{A})$，Calabi–Yau 性质并不成立。
• 该更正后的条件在 Ginzburg 微分分次代数中成立，因为此类提升是保证存在的，从而验证了该重要例子类中构造的正确性。
• 原始论文中定理 4.8 的证明存在错误：$\widetilde{\lambda}$ 的转置共轭并不映射到 $\rho$，但两者定义了相同的同调类。
• 定理 6.1 需要额外假设：极小关系集合 $R$ 必须生成理想 $I$，而不仅仅是拓扑生成其 $J$-进完备化。
• 修正后的证明将微分条件替换为：$d: V^{-n-1} \to T_n$ 必须诱导出到 $H^0(T_n)$ 的首部的同构，从而确保适当的同调控制。