[论文解读] Hochschild cohomology versus the Jacobian ring, and the Torelli theorem for cubic fourfolds

Daniel Huybrechts, Jørgen Vold Rennemo|arXiv (Cornell University)|Oct 13, 2016

Algebraic Geometry and Number Theory参考文献 23被引用 5

一句话总结

本文建立了光滑超曲面 $X \subset \mathbb{P}^{n+1}$ 的雅可比环 $J(X)$ 与库任采夫范畴 $\mathcal{A}_X$ 的 Hochschild 上同调 $HH^*(\mathcal{A}_X, (1))$ 的一个变体之间的分次环同构，当 $d \mid n+2$ 时证明了其双射性。该结果通过 K3 曲面的导出 Torelli 定理，为立方四次超曲面的全局 Torelli 定理提供了新证明，凸显了通过雅可比环与 Hochschild 上同调，立方四次超曲面与 K3 曲面之间深层的联系。

ABSTRACT

The Jacobian ring J(X) of a smooth hypersurface determines its isomorphism type. This has been used by Donagi and others to prove the generic global Torelli theorem for hypersurfaces in many cases. In Voisin's original proof of the global Torelli theorem for smooth cubic fourfolds the Jacobian ring does not intervene. In this paper we present a proof of the global Torelli theorem for cubic fourfolds that relies on the Jacobian ring and the (derived) global Torelli theorem for K3 surfaces. It emphasizes, once again, the relation between K3 surfaces and smooth cubic fourfolds. More generally, for a variant of Hochschild cohomology of Kuznetsov's category (together with the degree shift functor) associated with an arbitrary smooth hypersurface we construct a graded ring homomorphism from the Jacobian ring to it, which is shown to be bijective whenever Kuznetsov's category is a Calabi-Yau category.

研究动机与目标

• 建立光滑超曲面的雅可比环 $J(X)$ 与库任采夫范畴 $\mathcal{A}_X$ 的一个导出不变量 $HH^*(\mathcal{A}_X, (1))$ 之间的结构联系。
• 基于雅可比环与 K3 曲面的导出 Torelli 定理，为立方四次超曲面的全局 Torelli 定理提供新证明。
• 阐明雅可比环在立方四次超曲面全局 Torelli 问题中的作用，与沃辛原始证明中绕过雅可比环的做法形成对比。
• 通过这一上同调同构，展示立方四次超曲面的导出范畴如何表现出与 K3 曲面类似的性质。

提出的方法

• 为光滑超曲面 $X \subset \mathbb{P}^{n+1}$（度数 $d \leq n+2$）的库任采夫范畴 $\mathcal{A}_X$ 定义 Hochschild 上同调 $HH^*(\mathcal{A}_X, (1))$ 的一个变体，引入一个分次移位函子 $(1)$。
• 利用超曲面的几何性质与矩阵因子化的结构，构造一个自然的分次环同态 $\pi: J(X) \to HH^*(\mathcal{A}_X, (1))$。
• 证明当 $d \mid n+2$ 时，$\pi$ 是同构，此时 $\mathcal{A}_X$ 为 Calabi–Yau 范畴。
• 利用同构 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ 推出雅可比环同构蕴含立方四次超曲面同构。
• 借助 K3 曲面的导出全局 Torelli 定理，证明 $H^4_{\text{pr}}(X, \mathbb{Z})$ 上的 Hodge 同构蕴含四次超曲面同构。
• 将这一推理链条应用于重新证明立方四次超曲面的全局 Torelli 定理，使其与多纳吉对超曲面的通用 Torelli 定理保持一致。

实验结果

研究问题

• RQ1 立方四次超曲面的雅可比环能否通过库任采夫范畴 $\mathcal{A}_X$ 的 Hochschild 上同调实现为一个导出不变量？
• RQ2 对于满足 $d \mid n+2$ 的光滑超曲面，是否存在 $J(X)$ 与 $HH^*(\mathcal{A}_X, (1))$ 之间的自然分次环同构？
• RQ3 能否利用雅可比环与 K3 曲面的导出 Torelli 定理，重新证明立方四次超曲面的全局 Torelli 定理？
• RQ4 在超曲面的导出范畴背景下，雅可比环与 $\mathcal{A}_X$ 的 Hochschild 上同调之间的确切关系为何？
• RQ5 同构 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ 是否为立方四次超曲面的 Torelli 问题提供了更几何化的全新视角？

主要发现

• 对于任意光滑超曲面 $X \subset \mathbb{P}^{n+1}$（度数 $d \leq (n+2)/2$），存在一个自然的分次环满同态 $\pi: J(X) \to HH^*(\mathcal{A}_X, (1))$。
• 当 $d \mid n+2$ 时，同态 $\pi$ 是同构，此条件确保 $\mathcal{A}_X$ 为 Calabi–Yau 范畴。
• 该同构为雅可比环提供了一种导出-几何实现，即作为带分次移位的 Hochschild 上同调群，推广了 Dyckerhoff 对矩阵因子化的结果。
• 同构 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ 允许为立方四次超曲面的全局 Torelli 定理提供新证明。
• 两个光滑立方四次超曲面 $X$ 与 $X'$ 同构当且仅当存在 Hodge 同构 $H^4_{\text{pr}}(X, \mathbb{Z}) \simeq H^4_{\text{pr}}(X', \mathbb{Z})$，且新证明依赖于雅可比环同构与 K3 曲面的 Torelli 定理。
• 该结果揭示了雅可比环与立方四次超曲面的导出范畴之间一种全新的直接联系，进一步强化了立方四次超曲面与 K3 曲面之间神秘的类比关系。