[論文レビュー] Cluster categories and rational curves

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

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}}の変形函手をプロ代表する。
• 集合{𝒪_{C_i}}のマルチポイント変形函手をプロ代表する非正のグレーディング付きdg代数Γとして、導来変形代数Γを定義する。
• Γがホモロジカルに滑らかで、双モジュール3CY代数であることを証明し、これにより2CYクラスター族CΓの構成が可能となる。
• YのCalabi–Yau構造を用いて、H⁰Γの零番目のHochschildホモロジーに標準的類[w]を構成する。
• 非可換Mather–Yau定理と特異Hochschildコホモロジーを適用し、(H⁰Γ, [w])を収縮の特異点型に関連付ける。
• H⁰Γと[w]の導来同値類が3次元フロップの特異点を完全に分類することを確立する。

実験結果

リサーチクエスチョン

• RQ1 Calabi–Yau 3次元多様体上の有理曲線の収縮可能性は、非可換変形理論によって特徴付けられるか？
• RQ2 ペアワイズExt¹が自明な有理曲線の集合に対する導来変形代数Γの構造は何か？
• RQ3 曲線の集合がnc剛性をもつとき、2CYクラスター族CΓは収縮の特異点族とどのように関係するか？
• RQ4 H⁰Γと[w]の導来同値類は、3次元フロッピング収縮を分類する完全不変量か？
• RQ5 H⁰Γの零番目のHochschildホモロジーにおける標準的類[w]は、特異点の分類において果たす役割は何か？

主な発見

• 有理曲線の集合に関連する導来変形代数Γは、ホモロジカルに滑らかで双モジュール3CY代数である。
• CΓの射の空間が有限次元となるのは、曲線の集合がnc剛性をもつときかつそのときに限る。
• 曲線の和集合が形式的に収縮可能であるとき、CΓは収縮の特異点族と同値となり、これにより収縮代数がカテゴライズ化される。
• YのCalabi–Yau構造により、HH₀(H⁰Γ)に一意に定まる（右同値を除いて）標準的類[w]が誘導される。
• 3次元フロッピング収縮の特異点は、(H⁰Γ, [w])の導来同値類によって完全に分類される。
• Γの構造から、nc剛性条件を一般化した、有理曲線の収縮可能性の新たな必要条件が導出される。