Mathematics > Algebraic Geometry
[Submitted on 1 Oct 2018 (v1), revised 9 Jun 2020 (this version, v4), latest version 16 Apr 2023 (v6)]
Title:Cluster categories and rational curves
View PDFAbstract: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 $\Gamma$. The curve is called nc rigid if $H^0\Gamma$ is finite dimensional. When $C$ is contractible, $H^0\Gamma$ is isomorphic to the contraction algebra defined by Donovan and Wemyss. More generally, one can show that there exists a $\Gamma$ 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}}({\rm{Hom}}_Y({\mathcal{O}}_{C_i},{\mathcal{O}}_{C_j}))=\delta_{ij}$. The collection is called nc rigid if $H^0\Gamma$ is finite dimensional. We prove that $\Gamma$ is a homologically smooth bimodule 3CY algebra. As a consequence, we define a (2CY) cluster category ${\mathcal{C}}_\Gamma$ 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}\to \hat{X}$, ${\mathcal{C}}_\Gamma$ 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\Gamma$. 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\Gamma, [w])$. We also give a new necessary condition for contractibility of rational curves in terms of $\Gamma$.
Submission history
From: Zheng Hua [view email][v1] Mon, 1 Oct 2018 15:04:53 UTC (42 KB)
[v2] Tue, 30 Oct 2018 05:59:27 UTC (45 KB)
[v3] Thu, 29 Nov 2018 09:13:28 UTC (54 KB)
[v4] Tue, 9 Jun 2020 09:03:14 UTC (55 KB)
[v5] Tue, 9 Nov 2021 06:38:18 UTC (58 KB)
[v6] Sun, 16 Apr 2023 14:56:04 UTC (62 KB)
Current browse context:
math.AG
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.