[논문 리뷰] Hochschild cohomology versus the Jacobian ring, and the Torelli theorem for cubic fourfolds

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

Algebraic Geometry and Number Theory참고 문헌 23인용 수 5

한 줄 요약

이 논문은 $d \leq (n+2)/2$ 인 매끄러운 초곡면 $X \subset \mathbb{P}^{n+1}$ 의 잭비안 링 $J(X)$ 와 쿠즈네цов의 카테고리 $\mathcal{A}_X$ 의 하이퍼코호몰로지 $HH^*(\mathcal{A}_X, (1))$ 의 변종 사이에 계수 링의 동형사상이 존재함을 증명하며, 이는 $d \mid n+2$ 일 때 전형성을 갖는다. 이는 K3 표면의 유도 Torelli 정리에 기반하여 삼차 4차 초곡면에 대한 전역 Torelli 정리의 새로운 증명을 제공하며, 잭비안 링과 하이퍼코호몰로지에 의한 삼차 4차 초곡면과 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 정리를 기반으로 삼차 4차 초곡면에 대한 전역 Torelli 정리의 새로운 증명을 제공하기 위해.
• 잭비안 링이 삼차 4차 초곡면의 전역 Torelli 문제에서 수행하는 역할을 명확히 하여, Voisin의 원래 증명이 이를 회피한 것과 대비하기 위해.
• 이러한 코호몰로지 동형사상에 의해 삼차 4차 초곡면의 유도 범주가 K3 표면과 유사하게 행동함을 보여주기 위해.

제안 방법

• 매끄러운 초곡면 $X \subset \mathbb{P}^{n+1}$ 의 차수 $d \leq n+2$ 에 대해 쿠즈네цов의 카테고리 $\mathcal{A}_X$ 에 대해 하이퍼코호몰로지의 변종 $HH^*(\mathcal{A}_X, (1))$ 을 정의하며, 이는 차수 이동 함수 $(1)$ 을 포함한다.
• 초곡면의 기하학과 행렬 팩터라이제이션의 구조를 이용하여 자연스러운 계수 링 준동형사상 $\pi: J(X) \to HH^*(\mathcal{A}_X, (1))$ 을 구성한다.
• 이때 $d \mid n+2$ 라면 $\pi$ 는 동형사상임을 증명한다. 이 조건은 $\mathcal{A}_X$ 가 칼라비-야우 카테고리임을 보장한다.
• 등식 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ 을 이용하여 잭비안 링의 동형사상이 삼차 4차 초곡면의 동형사상임을 유도한다.
• K3 표면의 유도 전역 Torelli 정리를 활용하여 $H^4_{\text{pr}}(X, \mathbb{Z})$ 상의 호지 등급사상이 초곡면의 동형사상을 암시함을 보인다.
• 이러한 추론 체계를 활용하여 초곡면의 일반 Torelli 정리가 쿠즈네цов의 카테고리의 하이퍼코호몰로지와 잭비안 링에 기반하여 재증명된다.

실험 결과

연구 질문

• RQ1 삼차 4차 초곡면의 잭비안 링이 쿠즈네цов의 카테고리 $\mathcal{A}_X$ 의 하이퍼코호몰로지에 의한 유도 불변량으로서 실현될 수 있는가?
• RQ2 차수 $d \mid n+2$ 를 갖는 매끄러운 초곡면에 대해 $J(X)$ 와 $HH^*(\mathcal{A}_X, (1))$ 사이에 자연스러운 계수 링 동형사상이 존재하는가?
• RQ3 잭비안 링과 K3 표면의 유도 Torelli 정리를 기반으로 삼차 4차 초곡면에 대한 전역 Torelli 정리를 재증명할 수 있는가?
• RQ4 유도 범주론적 맥락에서 잭비안 링과 $\mathcal{A}_X$ 의 하이퍼코호몰로지 간의 정확한 관계는 무엇인가?
• RQ5 등식 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ 는 삼차 4차 초곡면의 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$ 가 칼라비-야우 카테고리임을 보장한다.
• 이 동형사상은 차수 이동을 포함한 하이퍼코호몰로지 군으로서 잭비안 링의 유도 기하학적 실현을 제공하며, 행렬 팩터라이제이션에 관한 디커호프의 결과를 일반화한다.
• 등식 $J(X) \cong HH^*(\mathcal{A}_X, (1))$ 는 삼차 4차 초곡면에 대한 전역 Torelli 정리의 새로운 증명을 가능하게 한다.
• 두 매끄러운 삼차 4차 초곡면 $X$ 와 $X'$ 는 서로 동형일 필요충분조건으로 $H^4_{\text{pr}}(X, \mathbb{Z}) \simeq H^4_{\text{pr}}(X', \mathbb{Z})$ 의 호지 등급사상이 존재하는 것이다. 이 증명은 이제 잭비안 링의 동형사상과 K3 표면의 Torelli 정리에 기반한다.
• 이 결과는 삼차 4차 초곡면의 잭비안 링과 그 유도 범주 간의 새로운 직접적 연결 고리를 보여주며, 삼차 4차 초곡면과 K3 표면 간의 신비로운 유사성에 대한 강화를 보여준다.