[论文解读] Cluster categories and rational curves

Zheng Hua, Bernhard Keller|arXiv (Cornell University)|Oct 1, 2018

Algebraic structures and combinatorial models参考文献 65被引用 13

一句话总结

本文通过导出非交换形变理论，建立了一个非交换框架，用于研究光滑复Calabi–Yau三fold上的有理曲线。它引入了一个拟表示有理曲线族形变的同调光滑、3CY加权的微分分次代数Γ，并构造了一个2CY簇分类范畴CΓ，当这些曲线为nc刚性时，该范畴分类了收缩代数。关键结果是：三维 flop 的奇点由 (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三fold中曲线的可收缩性。
• 通过导出非交换形变理论，将Donovan和Wemyss的收缩代数推广到有理曲线族。
• 为nc刚性有理曲线族定义一个相关的2CY簇分类范畴CΓ。
• 利用 (H⁰Γ, [w]) 的导出等价类，对三维flop收缩的奇点进行分类。

提出的方法

• 使用导出非交换形变理论（Efimov–Lunts–Orlov），拟表示光滑CY三fold Y 上半单有理曲线结构层 {𝒪_{C_i}} 的形变函子。
• 将形变代数Γ定义为一个非正度数的微分分次代数，拟表示该族 {𝒪_{C_i}} 的多点形变函子。
• 证明Γ是一个同调光滑的双模3CY代数，从而可构造2CY簇分类范畴CΓ。
• 利用Y上的Calabi–Yau结构，在H⁰Γ的零阶Hochschild同调中构造一个典范类[w]。
• 应用非交换Mather–Yau定理与奇异Hochschild上同调，将 (H⁰Γ, [w]) 与收缩的奇点类型联系起来。
• 证明 (H⁰Γ, [w]) 的导出等价类完全分类了三维flop的奇点。

实验结果

研究问题

• RQ1 能否通过非交换形变理论表征Calabi–Yau三fold中一条有理曲线的可收缩性？
• RQ2 当有理曲线族的两两Ext¹为平凡时，其形变代数Γ的结构是什么？
• RQ3 当曲线族为nc刚性时，2CY簇分类范畴CΓ与收缩的奇异范畴有何关系？
• RQ4 (H⁰Γ, [w]) 的导出等价类是否为三维flop收缩分类的完备不变量？
• RQ5 H⁰Γ的零阶Hochschild同调中的典范类[w]在奇点分类中起什么作用？

主要发现

• 与有理曲线族相关的形变代数Γ是一个同调光滑的双模3CY代数。
• 当且仅当曲线族为nc刚性时，2CY簇分类范畴CΓ的态射空间是有限维的。
• 当曲线的并集形式可收缩时，CΓ与收缩的奇异范畴等价，从而实现了收缩代数的范畴化。
• Y上的Calabi–Yau结构在HH₀(H⁰Γ)中诱导出一个典范类[w]，其在右等价意义下是良定义的。
• 三维flop收缩的奇点完全由对 (H⁰Γ, [w]) 的导出等价类分类。
• 从Γ的结构中推导出有理曲线可收缩性的新必要条件，该条件推广了nc刚性条件。