[論文レビュー] The derived contraction algebra

Matt Booth|arXiv (Cornell University)|Mar 28, 2019

Advanced Topics in Algebra参考文献 82被引用数 5

ひとこと要約

本稿では、導来商構成を用いて、ドノヴァンとウェミスの古典的収縮代数の微分付き複体代数（dga）拡張としての導来収縮代数を導入する。このdgaが、フロッピング曲線の導来非可換変形を制御し、収縮特異点の局所幾何を完全に回復することを証明しており、ドノヴァン–ウェミス予想の導来版を提供するとともに、3次元超越のフロップ自己同値の制御を一般化する。

ABSTRACT

Using Braun-Chuang-Lazarev's derived quotient, we enhance the contraction algebra of Donovan-Wemyss to an invariant valued in differential graded algebras. Given an isolated contraction $X o X_\mathrm{con}$ of an irreducible rational curve $C$ to a point $p$, we show that its derived contraction algebra controls the derived noncommutative deformations of $C$. We use dg singularity categories to prove that, when $X$ is smooth, the derived contraction algebra recovers the geometry of $X_\mathrm{con}$ complete locally around $p$, establishing a positive answer to a derived version of a conjecture of Donovan and Wemyss. When $X o X_\mathrm{con}$ is a simple threefold flopping contraction, it is known that the Bridgeland-Chen flop-flop autoequivalence of $D^b(X)$ is a `noncommutative twist' around the contraction algebra. We show that the derived contraction algebra controls an analogous autoequivalence in more general settings, and in particular for partial resolutions of Kleinian singularities.

研究の動機と目的

• ドノヴァン–ウェミスの古典的収縮代数を、導来商構成による微分付き複体代数（dga）不変量に一般化すること。
• 導来収縮代数が、収縮内に存在する1つの非可約有理曲線の導来非可換変形を制御することを示すこと。
• 全空間が滑らかであるとき、導来収縮代数が収縮特異点の完全な局所幾何を決定することを確立すること。
• 3次元超越のフロップ自己同値の制御を拡張し、クレイン型特異点の部分解体における変異自己同値を制御することを示すこと。

提案手法

• 導来収縮代数は、非可換解体代数の導来商として構成され、古典的収縮代数がdgaに拡張される。
• 幾何的回復の証明には、ホアとケラーによるdg特異点カテゴリーからの再構成に関する最近の定理が用いられる。
• 導来非可換変形の制御は、$A_\frown$-代数技術、特にフォーマリティとマッセイ積を用いて確立される。
• 本稿では、dgaコホモロジーから$A_\frown$-構造を構成するメルコフの方法を用い、高次積とマッセイ積の関係を確立する。
• クルツォル・双対性が、導来収縮代数とその二重双対との間の準同型を保証し、有限性および局所的条件のもとで quasi-isomorphism を得る。
• 形式的でないことを示すために、非消滅マッセイ積を用いた明示的計算が行われる。

実験結果

リサーチクエスチョン

• RQ1 古典的収縮代数は、高次元においても幾何的および変形論的制御を保つ微分付き複体代数（dga）に拡張可能か？
• RQ2 滑らかである場合、導来収縮代数は収縮特異点の局所幾何を完全に回復するか？
• RQ3 導来収縮代数は、1つのフロッピング曲線の導来非可換変形をどの程度制御するか？
• RQ4 導来収縮代数は、3次元フロップを超えた設定、例えばクレイン型特異点の部分解体において、変異自己同値を制御できるか？
• RQ5 ドノヴァン–ウェミス予想の導来版は正しいか：2つの導来収縮代数が quasi-isomorphic であれば、それに対応する特異点は同型か？

主な発見

• 導来収縮代数は、ゼロ次コホモロジーが古典的収縮代数であるdgaであり、フロッピング曲線の導来非可換変形を制御する。
• X が滑らかであるとき、導来収縮代数は、特異点 p の近傍における $X_{\mathrm{con}}$ の完全な局所幾何を決定する。これは、ドノヴァン–ウェミス予想の導来版を証明する。
• 導来収縮代数は、R のdg特異点カテゴリーと quasi-isomorphic であり、逆も成り立つ。これにより完全な再構成結果が得られる。
• 単純な3次元フロップの場合、導来収縮代数は、ブリッジランド–チエンのフロップ–フロップ自己同値を非可換ねじれとして回復する。
• クレイン型特異点の部分解体において、導来収縮代数は変異自己同値を制御し、3次元の場合の結果を一般化する。
• 導来収縮代数における非消滅マッセイ積は、非形式的であることを検出するための計算的ツールを提供する。