[論文レビュー] Deformations of path algebras of quivers with relations

Severin Barmeier, Zhengfang Wang|arXiv (Cornell University)|Feb 23, 2020

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

ひとこと要約

本稿は、関係付きクーヴィーのパス代数の変形と還元系の変形の間の同型を確立し、後者を制御する明示的な L∞代数を導入する。任意の形式的変形が、組合せ的に定義されたスター積を通じて実現可能であることを示し、このような代数の変形理論を完全かつ明示的に記述する。応用としては、変形量子化およびPBW型変形に役立つ。

ABSTRACT

Let $A = \Bbbk Q / I$ be the path algebra of any finite quiver $Q$ modulo any two-sided ideal $I$ of relations and let $R$ be any reduction system satisfying the diamond condition for $I$. We introduce an intrinsic notion of deformation of reduction systems and show that there is an equivalence of deformation problems between deformations of the associative algebra $A$ and deformations of the reduction system $R$, the latter being controlled by a natural, explicit L$_\infty$ algebra. It follows in particular that any formal deformation of the associative multiplication on $A$ can, up to gauge equivalence, be given by a combinatorially defined star product, and the approach via reduction systems can be used to give a concrete and complete description of the deformation theory of $A$. For the polynomial algebra in a finite number of variables, this combinatorial star product can be described via bidifferential operators associated to graphs, which we compare to the graphs appearing in Kontsevich's universal quantization formula. Using the notion of admissible orders on the set of paths of the quiver $Q$, we give criteria for the existence of algebraizations of formal deformations, which we also interpret geometrically via algebraic varieties of reduction systems. In this context the Maurer-Cartan equation of the L$_\infty$ algebra can be viewed as a generalization of the Braverman-Gaitsgory criterion for Poincaré-Birkhoff-Witt deformations of Koszul algebras.

研究の動機と目的

• 還元系を用いて、関係付きクーヴィーのパス代数の体系的変形理論を確立すること。
• 関係付き代数 A = kQ/I の変形が、ダイアモンド条件を満たす還元系 R の変形と同値であることを示すこと。
• 還元系の変形を制御する明示的な L∞代数を構成し、変形問題の完全な記述を可能にすること。
• 特に多項式代数およびコンツェビッチ型量子化の文脈において、形式的変形の組合せ的実現としてのスター積を提供すること。
• 形式的変形の代数化のための基準を提示し、それらを還元系の代数的多様体として幾何学的に解釈すること。

提案手法

• 還元系に対する内在的な変形の概念を導入し、古典的変形理論を組合せ的構造へ一般化すること。
• ダイアモンド補題と非可換グレブナー基底理論を用いて、パス代数 kQ のイデアル I から還元系 R を定義すること。
• 還元系のホッホシールドコチェーン複体に L∞代数構造を構成し、その変形理論を支配すること。
• グラフに付随する双微分作用素に基づく組合せ的スター積を定義し、コンツェビッチの形式的同型定理と関連付けること。
• L∞代数のモーラー＝カルタン方程式を用いて変形を特徴付け、PBW代数のブラーマン＝ゲイツゴリー基準を一般化すること。
• 経路上の許容順序を用いて有限性条件を定義し、実際の変形およびPBW変形をパラメトライズする代数的多様体を構成すること。

実験結果

リサーチクエスチョン

• RQ1 関係付きクーヴィーのパス代数の変形理論は、還元系の言語にどのように再定式化できるか？
• RQ2 L∞代数は還元系の変形をどのように制御するのか？また、古典的ホッホシールドコホモロジーとどのように関係するか？
• RQ3 任意の形式的変形が、還元系から構成される組合せ的スター積によって実現可能か？
• RQ4 グラフィカルな計算とグラフに由来する双微分作用素は、コンツェビッチの普遍形式的同型公式とどのように関係するか？
• RQ5 形式的変形が代数化可能となる条件は何か？そして、それらは還元系の多様体としてどのように幾何学的に解釈できるか？

主な発見

• 関係付き代数 A = kQ/I の変形問題と、ダイアモンド条件を満たす還元系 R の変形問題との間に、自然な同型が存在する。
• 還元系の変形は、自然かつ明示的な L∞代数によって制御され、変形理論の完全で計算可能な枠組みを提供する。
• A 上の乗法の任意の形式的変形は、ゲージ同値を除いて、グラフに付随する双微分作用素から構成される組合せ的スター積で与えられる。
• 多項式代数の場合、スター積はグラフを用いて記述でき、コンツェビッチの普遍量子化公式の構造と一致する。
• L∞代数のモーラー＝カルタン方程式は、コーゾール代数のPoincaré–Birkhoff–Witt変形のブラーマン＝ゲイツゴリー基準を一般化する。
• 有限生成かつ許容順序の条件が満たされれば、形式的変形の代数化が可能であり、このような変形は還元系の代数的多様体に対応する。