[論文レビュー] Contraction algebra and singularity of three-dimensional flopping contraction

Zheng Hua|arXiv (Cornell University)|Oct 18, 2016

Algebraic structures and combinatorial models参考文献 14被引用数 4

ひとこと要約

本稿は、3次元のフロッピング特異点の特異点の近傍の形式的ネighbourhoodが、自然な $\mathbb{Z}/2$-次数付き $A_\infty$-構造を備えた収縮代数によって決定されることを証明する。ホッフマンコhomologyが特異点のミルナー代数および定義方程式を回復できることを示すことにより、著者らは、これらの $A_\infty$-代数のモラータ同値性が、両立可能な同形的同型の下での局所幾何を分類することを確立する。

ABSTRACT

In [5], Donovan and Wemyss introduced the contraction algebra of flopping curves in 3-folds. They conjectured that the contraction algebra determines the formal neighborhood of the underlying singularity of the contraction. In this paper, we prove that the contraction algebra together with its natural $A_\infty$-structure constructed in [10], determine the formal neighborhood of the singularity.

研究の動機と目的

• ドノヴァンとウェイムズの予想である、収縮代数が3次元フロッピング特異点の形式的ネighbourhoodを決定するかを解決すること。
• 収縮代数上の $A_\infty$-構造が局所特異点幾何を回復するために不可欠であることを示すこと。
• フロッピング収縮に関連する $A_\infty$-代数のモラータ同値性が、特異点の形式的ネighbourhoodの同型を意味することを確立すること。
• 収縮代数のホッフマンコhomologyと特異点のミルナー代数を結びつけることにより、特異点の定義方程式を回復すること。
• 古典的代数構造だけでは特異点を回復できないことの必要性を示し、$A_\infty$-強化が不可欠であることを示すこと。

提案手法

• デイクホフの結果の使用：特異点の導来圏 $\mathrm{D}_{\mathrm{sg}}(Y)$ のホッフマンコhomologyは、$Y$ のミルナー代数に同型である。
• トーダとの先行研究を用いて、収縮代数に自然な $\mathbb{Z}/2$-次数付き $A_\infty$-構造を構成する。
• 収縮代数の $A_\infty$-構造と $\mathrm{D}_{\mathrm{sg}}(Y)$ の間のモラータ同値性を確立し、それらのホッフマンコhomologyが同型であることを示す。
• 特異点における構造層の自己準同型dg代数の最小モデルの $A_\infty$-構造に関するエフイモフの結果の適用。
• 上三角行列のdg代数（ハッペル、ブッハヴァイツ、ケラー）の使用により、ホッフマンコhomology類がモラータ同値性に関して不変であることを示す。
• 同型 $HH^\bullet(A,A) \cong M_W$ を介して、$A_\infty$-積が表すホッフマンコhomology類が、特異点の定義方程式 $W$ に一致することを同定する。

実験結果

リサーチクエスチョン

• RQ1 ドノヴァンとウェイムズの予想である、収縮代数のみで3次元フロッピング特異点の形式的ネighbourhoodが決定可能かどうか。
• RQ2 収縮代数上の $A_\infty$-構造が特異点の局所幾何を回復するために必要かどうか。
• RQ3 $A_\infty$-強化収縮代数のホッフマンコhomologyがミルナー代数および特異点のハイパーサーフェース特異点の定義方程式を再構成できるか。
• RQ4 ホッフマンコhomologyに現れる $A_\infty$-積に対応する類が、ミルナー代数における定義方程式 $W$ の類と同型かどうか。
• RQ5 $A_\infty$-代数のモラータ同値性が、特異点の形式的ネighbourhoodの同型を意味するか。

主な発見

• $A_\infty$-強化収縮代数のホッフマンコhomologyは、特異点のミルナー代数に同型である。
• $A_\infty$-積が表すホッフマンコhomology類は、ハイパーサーフェース特異点の定義方程式 $W$ に正確に一致する。
• $A_\infty$-構造を備えた収縮代数は、特異点を制御する特異点の導来圏 $\mathrm{D}_{\mathrm{sg}}(Y)$ とモラータ同値である。
• マザール＝ヨウの定理により、チュリナ代数が特異点のgermを決定する。チュリナ代数がミルナー代数から回復できるため、特異点は完全に決定される。
• 古典的収縮代数（$A_\infty$-構造なし）は一般に無限次元のホッフマンコhomologyを持つため、$A_\infty$-強化が特異点回復に不可欠であることが示される。