[논문 리뷰] Hochschild cohomology and categorical Torelli theorems for Gushel-Mukai threefolds

Augustinas Jacovskis, Xun Lin외 2명|arXiv (Cornell University)|2021. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 45인용 수 2

한 줄 요약

이 논문은 Gushel-Mukai 세차원다양체에 대해 Kuznetsov 성분 $\mathcal{K}u(X)$ 내의 두 수치적 $(-1)$-류에 대응하는 Bridgeland 모듈리공간을 분석하여 보다 정밀하고 비라션적인 카테고리적 Torelli 정리들을 확립한다. 이는 약간의 조건 하에 Kuznetsov--Perry의 추측을 세 차원에서 증명하고, Debarre--Iliev--Manivel의 주기 함수에 대한 추측을 Hochschild (코)호모로지의 관점에서 국소적으로 재기재하고 검증한다.

ABSTRACT

The Kuznetsov component $\mathcal{K}u(X)$ of a Gushel--Mukai (GM) threefold has two numerical $(-1)$-classes with respect to the Euler form. We describe the Bridgeland moduli spaces for stability conditions on Kuznetsov components with respect to each of the $(-1)$-classes and prove refined and birational categorical Torelli theorems in terms of $\mathcal{K}u(X)$. We also prove a categorical Torelli theorem for special GM threefolds. We study the smoothness and singularities on Bridgeland moduli spaces for all smooth GM threefolds and use this to prove a conjecture of Kuznetsov--Perry in dimension three under a mild assumption. Finally, we use our moduli spaces to restate a conjecture of Debarre--Iliev--Manivel regarding fibers of the period map for ordinary GM threefolds. We also prove the restatement of this conjecture infinitesimally using Hochschild (co)homology.

연구 동기 및 목표

• Kuznetsov 성분 $\mathcal{K}u(X)$를 사용하여 Gushel-Mukai 세차원다양체에 대한 정밀한 카테고리적 Torelli 정리를 확립하기.
• 두 수치적 $(-1)$-류에 대해 $\mathcal{K}u(X)$의 안정성 조건에 대한 Bridgeland 모듈리공간을 분석하기.
• 약간의 조건 하에 매끄러운 GM 세차원다양체에 대해 Kuznetsov--Perry의 주기 함수에 대한 추측을 증명하기.
• Debarre--Iliev--Manivel의 주기 함수의 섬세한 성질에 대한 추측을 Hochschild (코)호모로지의 관점에서 재기재하고 국소적으로 검증하기.
• 모든 매끄러운 GM 세차원다양체에 대해 Bridgeland 모듈리공간의 매끄러움과 특이성 연구하기.

제안 방법

• 저자들은 $\mathcal{K}u(X)$의 안정성 조건에 대해 두 수치적 $(-1)$-류에 대해 오일러 형식을 기준으로 Bridgeland 모듈리공간을 분석한다.
• 그들은 $X$의 유도 범주에 대한 비자명한 부분범주로서의 $\mathcal{K}u(X)$의 구조를 이용하며, 비퇴화된 오일러 형식을 갖춘다.
• 논문은 국소적 의미에서 Debarre--Iliev--Manivel의 추측을 검증하기 위해 Hochschild 코호모로지를 사용하여 무한소 변형을 연구한다.
• 그들은 Bridgeland 안정성 조건과 모듈리 이론의 기법을 적용하여 모듈리공간의 기하학, 특히 그들의 매끄러움과 특이성을 분석한다.
• 저자들은 Debarre--Iliev--Manivel의 추측을 유도 범주와 $\mathcal{K}u(X)$ 내의 안정 대상의 모듈리에 기반한 카테고리적 자료로 재기재한다.
• 오일러 형식과 $(-1)$-류 간의 상호작용을 이용하여 $\mathcal{K}u(X)$ 위의 Bridgeland 안정성 조건을 구성하고 분류한다.

실험 결과

연구 질문

• RQ1 Bridgeland 모듈리공간이 $\mathcal{K}u(X)$의 안정성 조건에 대해 두 수치적 $(-1)$-류에 대해 어떻게 행동하는가?
• RQ2 Kuznetsov 성분을 사용하여 Gushel-Mukai 세차원다양체에 대해 정밀한 카테고리적 Torelli 정리를 확립할 수 있는가?
• RQ3 약간의 조건 하에 Kuznetsov--Perry의 GM 세차원다양체 주기 함수에 대한 추측은 세 차원에서 성립하는가?
• RQ4 Debarre--Iliev--Manivel의 주기 함수의 섬세한 성질에 대한 추측은 어떻게 카테고리적으로 재기재하고 국소적으로 검증할 수 있는가?
• RQ5 모든 매끄러운 GM 세차원다양체에 대해 Bridgeland 모듈리공간의 특이성과 매끄러움의 성격은 무엇인가?

주요 결과

• 논문은 Kuznetsov 성분 $\mathcal{K}u(X)$와 그 두 $(-1)$-류를 사용하여 Gushel-Mukai 세차원다양체에 대해 정밀하고 비라션적인 카테고리적 Torelli 정리를 증명한다.
• 모든 매끄러운 GM 세차원다양체에 대해 Bridgeland 모듈리공간의 매끄러움을 확립하고 그 특이성을 특성화한다.
• 저자들은 약간의 조건 하에 Kuznetsov--Perry의 추측을 세 차원에서 증명하여 주기 함수의 기대되는 행동을 확인한다.
• Debarre--Iliev--Manivel의 추측을 유도 범주적 자료로 재기재하고 Hochschild 코호모로지를 통해 그 국소적 판본을 증명한다.
• 연구 결과, 모듈리공간의 기하학은 $\mathcal{K}u(X)$ 내의 오일러 형식과 $(-1)$-류에 의해 지배되며, 이는 완전한 카테고리적 Torelli 결과로 이어진다.
• 논문은 $(-1)$-류에 대해 $\mathcal{K}u(X)$ 위의 Bridgeland 안정성 조건을 완전히 분류하여 특이성이 통제된 모듈리공간의 구축을 가능하게 한다.