[論文レビュー] 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

ひとこと要約

本稿は、次数 $d \leq (n+2)/2$ の滑らかな超曲面 $X \subset \mathbb{P}^{n+1}$ に対して、Kuznetsovの圏 $\mathcal{A}_X$ の Hochschild コホホロジー $HH^*(\mathcal{A}_X, (1))$ の変種と、$J(X)$ のジャンビアン環との間で、$d \mid n+2$ のとき全単射となる階数付き環同型を確立する。これは、立方四次超曲面のグローバル Torelli 定理の新たな証明を提供し、K3 表面の導来 Torelli 定理を用いることで、立方四次超曲面と K3 表面の間の深い関係を示唆している。この関係は、ジャンビアン環と Hochschild コホホロジーを通じて明らかである。

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)$ と Kuznetsovの圏 $\mathcal{A}_X$ の導来不変量 $HH^*(\mathcal{A}_X, (1))$ の間の構造的関係を確立すること。
• ジャンビアン環と K3 表面の導来 Torelli 定理に依存する、立方四次超曲面のグローバル Torelli 定理の新たな証明を提供すること。
• ジャンビアン環が立方四次超曲面のグローバル Torelli 問題において果たす役割を明確にすること。これは、Voisin の元々の証明とは異なり、ジャンビアン環を避けるものではない。
• このコホホロジー的同型を通じて、立方四次超曲面の導来圏が K3 表面のそれと同様に振る舞うことを示すこと。

提案手法

• 次数 $d \leq n+2$ の滑らかな超曲面 $X \subset \mathbb{P}^{n+1}$ に対して、度数シフトファンクター $(1)$ を含む、Kuznetsovの圏 $\mathcal{A}_X$ の Hochschild コホホロジー $HH^*(\mathcal{A}_X, (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})$ 上のホッジ同型が四次超曲面の同型を示すことへと導く。
• この推論の連鎖を用いて、超曲面の Donagi の一般 Torelli 定理に一致する形で、立方四次超曲面のグローバル Torelli 定理を再証明する。

実験結果

リサーチクエスチョン

• RQ1 立方四次超曲面のジャンビアン環は、Kuznetsovの圏 $\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))$ が存在する。
• この準同型 $\pi$ は、$d \mid n+2$ のとき同型である。これは、$\mathcal{A}_X$ が Calabi–Yau 圏である条件に一致する。
• この同型は、度数シフト付き Hochschild コホホロジー群としてのジャンビアン環の導来幾何的実現を提供し、行列因子分解に関する Dyckerhoff の結果を一般化する。
• 同型 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ を用いて、立方四次超曲面のグローバル Torelli 定理の新たな証明が可能である。
• 2つの滑らかな立方四次超曲面 $X$ と $X'$ が同型であるための必要十分条件は、$H^4_{\text{pr}}(X, \mathbb{Z}) \simeq H^4_{\text{pr}}(X', \mathbb{Z})$ なるホッジ同型が存在することであり、この証明はジャンビアン環の同型と K3 表面の Torelli 定理に依存する。
• この結果は、ジャンビアン環と立方四次超曲面の導来圏との間の、新たな直接的な関係を示しており、立方四次超曲面と K3 表面の間の奇妙な類似性を強化している。