[論文レビュー] Noncommutative Mather-Yau theorem and its applications to Calabi-Yau algebras and birational geometry

Zheng Hua, Gui-Song Zhou|arXiv (Cornell University)|Mar 16, 2018

Algebraic structures and combinatorial models参考文献 15被引用数 6

ひとこと要約

本稿は、有限クーヴィーに対して、非可換なマザ-ヤウ定理の類似を確立し、完備パス代数上のポテンシャルが、そのヤコビ代数とその0次ホッホシュトイ・ホモロジーにおけるポテンシャルの類によって、形式的変数変換の意味で一意に定まることを証明する。ヤコビ代数が有限次元であるとき、この不変量は関連するジンツブルクdg代数、一般化されたクラスター族、特異性カテゴリーを完全に制御し、3次元フロップにおけるドノヴァン＝ウェミス予想に対する強い証拠を提供する。

ABSTRACT

In this article, we prove that for a finite quiver $Q$ the equivalence class of a potential up to formal change of variables of the complete path algebra $\widehat{\mathbb{C} Q}$, is determined by its Jacobi algebra together with the class in its 0-th Hochschild homology represented by the potential assuming it is finite dimensional. This result can be viewed as a noncommutative analogue of the famous theorem of Mather and Yau on isolated hypersurface singularities. We also prove that the equivalence class of a potential is determined by its sufficiently high jet assuming the Jacobi algebra is finite dimensional. These results have several interesting applications. First, we show that if the Jacobi algebra is finite dimensional then the corresponding complete Ginzburg dg-algebra, and the (topological) generalized cluster category thereof, are determined by the isomorphic type of the Jacobi algebra together with the class in its 0-th Hochschild homology represented by the potential. The contraction algebras associated to three dimensional flopping contractions provide a class of examples of finite dimensional Jacobi algebras. As the second application, we prove that the contraction algebra together with the class in its 0-th Hochschild homology represented by the potential determines the relative singularity category defined by Kalck and Yang and the classical singularity category of Buchweitz and Orlov. This result provides an evidence for Donovan-Wemyss conjecture, which asserts that the contraction algebra is a complete invariant for the underlying singularities of three dimensional flopping contractions.

研究の動機と目的

• 有限クーヴィーとポテンシャルに対して、非可換なマザ-ヤウ定理を確立すること。
• ポテンシャルの同値類が、そのヤコビ代数と0次ホッホシュトイ・ホモロジーにおけるポテンシャルの類によって完全に記述される条件を特定すること。
• 有限次元ヤコビ代数に関連するジンツブルクdg代数および一般化されたクラスター族への影響を調査すること。
• 3次元フロッピング収縮の文脈で、収縮代数とホッホシュトイ類が相対的および古典的特異性カテゴリーを回復できることを示し、ドノヴァン＝ウェミス予想を検証すること。

提案手法

• 有限クーヴィーの完備パス代数における形式的変数変換を用いて、ポテンシャルの同値類を分類する。
• 特に0次ホッホシュトイ・ホモロジーを用いて、ポテンシャルの不変量を抽出する。
• ポテンシャルに関連するヤコビ代数の理論を用いて、完全なジンツブルクdg代数の構造を分析する。
• 十分に高いジャンクションの truncate を用いて、ヤコビ代数が有限次元であるとき、そのジャンクションがポテンシャルを決定することを示す。
• 3次元フロップにおける収縮代数が有限次元ヤコビ代数として構造を持つことを利用し、特異性カテゴリーの不変性を検証する。
• カルックとヤンの相対的特異性カテゴリーおよびブッハヴァイツの古典的特異性カテゴリーの結果を応用し、代数的不変量と幾何的特異性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 完備パス代数上のポテンシャルの同値類は、そのヤコビ代数と0次ホッホシュトイ・ホモロジーにおけるポテンシャルの類によって決定可能か？
• RQ2 ヤコビ代数が有限次元であるとき、十分に高い次数のジャンクションがポテンシャルを決定するか？
• RQ3 ジンツブルクdg代数および一般化されたクラスター族は、ヤコビ代数とポテンシャルのホッホシュトイ類にどの程度依存するか？
• RQ4 3次元フロッピング収縮の相対的特異性カテゴリーと古典的特異性カテゴリーは、収縮代数とポテンシャルのホッホシュトイ類から回復可能か？
• RQ5 この枠組みは、3次元フロップにおける特異性の収縮代数が完全不変量であるというドノヴァン＝ウェミス予想を支持する証拠を提供するか？

主な発見

• 有限クーヴィーの完備パス代数上のポテンシャルの同値類は、そのヤコビ代数とその0次ホッホシュトイ・ホモロジーにおけるポテンシャルの類によって決定される。
• ヤコビ代数が有限次元であるとき、十分に高いジャンクションがポテンシャルを決定するため、ポテンシャル再構成の有限的基準が確立される。
• 有限次元ヤコビ代数に関連する完全なジンツブルクdg代数およびトポロジカル的一般化クラスター族は、ヤコビ代数の同型型とポテンシャルのホッホシュトイ類によって完全に決定される。
• カルックとヤンの相対的特異性カテゴリーおよびブッハヴァイツとオルロフの古典的特異性カテゴリーは、収縮代数とポテンシャルのホッホシュトイ類によって決定される。
• これらの結果は、3次元フロップの特異性カテゴリーが収縮代数とポテンシャルのホッホシュトイ類から完全に回復可能であるため、ドノヴァン＝ウェミス予想に対する強い証拠を提供する。
• 本結果は、クーヴィーゲージ理論およびカラビ＝ヤウ圏の文脈において、孤立特異点のハイパーサーフェス特異点に対するマザ-ヤウ定理の非可換類似を確立する。