[論文レビュー] Noncommutative Tangent Cones and Calabi Yau Algebras

Raf Bocklandt|ArXiv.org|Nov 1, 2007

Algebraic structures and combinatorial models参考文献 13被引用数 5

ひとこと要約

本稿では、形式的完成を用いて、有限生成代数の非可換接錐と局所モデルを導入し、エタール局所構造定理を非可換設定に一般化する。2-カシミールヤウ代数の接錐は常に前射影的代数であることが証明され、3-カシミールヤウ代数の場合は局所モデルと接錐がしばしばスーパーポテンシャルから生じる。これは非可換カシミールヤウ幾何の一般化を支持する。

ABSTRACT

We study the generalization of the idea of a local quiver of a representation of a formally smooth algebra, to broader classes of finitely generated algebras. In this new setting we can construct for every semisimple representation $M$ a local model and a non-commutative tangent cone. The representation schemes of these new algebras model the local structure and the tangent cone of the representation scheme of the original algebra at $M$. In this way one can try to classify algebras according to their local behavior. As an application we will show that the tangent cones of Calabi Yau 2 Algebras are always preprojective algebras. For Calabi Yau 3 Algebras the corresponding statement would be that the local model and the tangent cones derive from superpotentials. Although we do not have a proof in all cases, we will show that this will indeed hold in many cases.

研究の動機と目的

• 形式的滑らか代数からの局所構造定理を、より広いクラスの有限生成代数へ一般化する。そのために形式的完成と接錐を用いる。
• 半単純表現における表現スキームの局所幾何を、非可換接錐と局所代数を用いてモデル化する。
• これらの非可換不変量を通じて代数の局所的挙動に基づく分類を試みる。
• 非可換設定におけるカシミールヤウ代数とスーパーポテンシャルの関係を確立する。特に3-カシミールヤウ代数に対して。
• リー・ブルア、プロセスィ、クローリー＝ブイの枠組みを、完成パス代数とべき級数を用いて非可換接錐へ拡張する。

提案手法

• W-位相フィルトレーションに関する完成パス代数の関連する次数代数として非可換接錐を構成する。
• 表現スキームの形式的完成と解析的スライスを用いて、半単純表現の局所モデルを定義する。
• 完全代数の再構成定理を適用し、行列変数における非可換べき級数で関係を表現する。
• 局所モデル $ L_M A $ を、表現 $ M $ の近傍におけるパラメータ化の一次および高次項から得られる関係をもとに、完成自由代数で割ったものとして定義する。
• 関係の最小成分の概念を用いて、べき級数展開における関係から接錐を抽出する。
• 具体的な例（例えば整数ヘイゼンベルク群）にこの手法を適用し、接錐がスーパーポテンシャルから生じることを検証する。

実験結果

リサーチクエスチョン

• RQ1 有限生成代数の表現スキームの局所構造は、非可換接錐と局所代数によってモデル化可能か？
• RQ2 2-カシミールヤウ代数の接錐は常に前射影的代数か？
• RQ3 3-カシミールヤウ代数の局所モデルと接錐は一般にスーパーポテンシャルから生じるか？
• RQ4 非可換設定において非可換接錐がエタール不変量としてどの程度有効か？
• RQ5 形式的完成とべき級数の枠組みをどのように用いて、古典的局所構造定理を非可換代数へ一般化できるか？

主な発見

• 任意の2-カシミールヤウ代数の接錐は前射影的代数であり、パス代数の場合に既知の結果を一般化する。
• 3-カシミールヤウ代数の場合は、局所モデルと接錐がしばしばスーパーポテンシャルから生じる。整数ヘイゼンベルク群の例でこれを確認した。
• 整数ヘイゼンベルク群代数の接錐は $ \mathbb{C}\langle X,Y\rangle / \langle \partial_X(X^2Y^2 - XYXY), \partial_Y(X^2Y^2 - XYXY) \rangle $ に同型であり、これは既知の3-カシミールヤウ代数である。
• 半単純表現 $ M = \oplus S_i^{\oplus \epsilon_i} $ の接錐は、$ M $ の分解を反映して、接錐代数のコピーの直和に同型である。
• この手法は、群代数やフィルター歪みなど、非可換な代数に対しても、表現スキームの局所幾何を効果的にモデル化できた。
• この構成により、非可換接錐がエタール不変量であることが確認された。これは、完成局所環の関連する次数構造によって決定されるからである。