[논문 리뷰] Cluster categories and rational curves

Zheng Hua, Bernhard Keller|arXiv (Cornell University)|2018. 10. 01.

Algebraic structures and combinatorial models참고 문헌 65인용 수 13

한 줄 요약

이 논문은 유도 비가환 변형 이론을 사용하여 매끄러운 복소 Calabi–Yau 3차 곡면 위의 유리곡선을 연구하기 위한 비가환 프레임워크를 수립한다. 연구는 유리곡선들의 집합의 변형을 프로표현하는 호모로지적으로 매끄럽고 3CY인 등급을 가진 dg 대수 Γ를 도입하며, 곡선들이 nc-강한 경우 수축 대수를 분류하는 2CY 클러스터 카테고리 CΓ를 구성한다. 주요 결과는 3차원 플롭에서 발생하는 특이점이 (H⁰Γ, [w])의 유도 동치류에 의해 분류된다는 것이다. 여기서 [w]는 Hochschild 호모로지에 속한 표준적 클래스이다.

ABSTRACT

We study rational curves on smooth complex Calabi--Yau threefolds via noncommutative algebra. By the general theory of derived noncommutative deformations due to Efimov, Lunts and Orlov, the structure sheaf of a rational curve in a smooth CY 3-fold $Y$ is pro-represented by a nonpositively graded dg algebra $Γ$. The curve is called nc rigid if $H^0Γ$ is finite dimensional. When $C$ is contractible, $H^0Γ$ is isomorphic to the contraction algebra defined by Donovan and Wemyss. More generally, one can show that there exists a $Γ$ pro-representing the (derived) multi-pointed deformation (defined by Kawamata) of a collection of rational curves $C_1,\ldots,C_t$ so that ${\mathrm{dim}}({ m{Hom}}_Y({\mathcal{O}}_{C_i},{\mathcal{O}}_{C_j}))=δ_{ij}$. The collection is called nc rigid if $H^0Γ$ is finite dimensional. We prove that $Γ$ is a homologically smooth bimodule 3CY algebra. As a consequence, we define a (2CY) cluster category ${\mathcal{C}}_Γ$ for such a collection of rational curves in $Y$. It has finite-dimensional morphism spaces iff the collection is nc rigid. When $\bigcup_{i=1}^tC_i$ is (formally) contractible by a morphism $\hat{Y} o \hat{X}$, ${\mathcal{C}}_Γ$ is equivalent to the singularity category of $\hat{X}$ and thus categorifies the contraction algebra of Donovan and Wemyss. The Calabi-Yau structure on $Y$ determines a canonical class $[w]$ (defined up to right equivalence) in the zeroth Hochschild homology of $H^0Γ$. Using our previous work on the noncommutative Mather--Yau theorem and singular Hochschild cohomology, we prove that the singularities underlying a 3-dimensional smooth flopping contraction are classified by the derived equivalence class of the pair $(H^0Γ, [w])$. We also give a new necessary condition for contractibility of rational curves in terms of $Γ$.

연구 동기 및 목표

• Calabi–Yau 3차 곡면 내 유리곡선의 수축 가능성에 대한 비가환적 접근법을 개발하기 위해.
• Donovan과 Wemyss의 수축 대수를 유도 비가환 변형 이론을 통해 유리곡선들의 집합으로 일반화하기 위해.
• nc-강한 유리곡선 집합과 관련된 2CY 클러스터 카테고리 CΓ를 정의하기 위해.
• H⁰Γ와 [w]의 유도 동치류를 사용하여 3차원 플롭 수축을 분류하기 위해.

제안 방법

• Efimov–Lunts–Orlov의 유도 비가환 변형 이론을 사용하여, 매끄러운 CY 3차 곡면 Y 위의 구조층 {𝒪_{C_i}}의 준단순 집합의 변형 함수를 프로표현한다.
• 다중점 변형 함수를 프로표현하는 비음수 등급을 가진 dg 대수 Γ를 유도 변형 대수로 정의한다.
• Γ가 호모로지적으로 매끄럽고 이중모듈러 3CY 대수임을 증명함으로써, 2CY 클러스터 카테고리 CΓ의 구성이 가능하다.
• Y의 Calabi–Yau 구조를 이용하여 H⁰Γ의 제로번째 Hochschild 호모로지에 표준적 클래스 [w]를 구성한다.
• 비가환 Mather–Yau 정리와 특이 Hochschild 코hom로지 이론을 적용하여 (H⁰Γ, [w])가 수축의 특이점 유형과 관련됨을 밝힌다.
• H⁰Γ와 [w]의 유도 동치류가 3D 플롭의 특이점을 완전히 분류함을 확립한다.

실험 결과

연구 질문

• RQ1 Calabi–Yau 3차 곡면 내 유리곡선의 수축 가능성은 비가환 변형 이론을 통해 특성화될 수 있는가?
• RQ2 서로 다른 유리곡선들 사이의 Ext¹이 자명한 집합에 대해 유도 변형 대수 Γ의 구조는 어떠한가?
• RQ3 유리곡선 집합이 nc-강한 경우, 2CY 클러스터 카테고리 CΓ는 수축의 특이점 카테고리와 어떻게 관련되는가?
• RQ4 H⁰Γ와 [w]의 유도 동치류는 3D 플롭 수축을 분류하는 완전한 불변량인가?
• RQ5 H⁰Γ의 제로번째 Hochschild 호모로지에 속한 표준적 클래스 [w]는 특이점 분류에서 어떤 역할을 하는가?

주요 결과

• 유리곡선 집합에 관련된 유도 변형 대수 Γ는 호모로지적으로 매끄럽고 이중모듈러 3CY 대수이다.
• CΓ의 사상 공간이 유한차원이 되는 것은 곡선 집합이 nc-강한 경우에 국한된다.
• 곡선들의 합집합이 형식적으로 수축 가능할 경우, CΓ는 수축의 특이점 카테고리와 동치가 되며, 이는 수축 대수를 분류하는 데 기여한다.
• Y의 Calabi–Yau 구조는 H⁰Γ의 제로번째 Hochschild 호모로지에 [w]라는 표준적 클래스를 유도하며, 이는 우변 동치에 대해 잘 정의되어 있다.
• 3D 플롭 수축의 특이점은 (H⁰Γ, [w])의 유도 동치류에 의해 완전히 분류된다.
• Γ의 구조로부터 유도된 새로운 수축 가능성의 필요조건이 도출되었으며, 이는 nc-강성 조건을 일반화한다.