[論文レビュー] A note on noncommutative Poisson structures

William Crawley-Boevey|ArXiv.org|Jun 14, 2005

Algebraic structures and combinatorial models参考文献 7被引用数 10

ひとこと要約

本稿では、代数的ホッホシールドホモロジー $A/[A,A]$ 上のリー代数的括弧を介して $A$ 上の導分に引き上げられる、非可換なポアソン構造の新種を導入する。この構造は、半単純加群のモジュライ空間にポアソン括弧を誘導し、二重化されたクイバーのパス代数およびプレプロジェクティブ代数はネックテース・リー代数を介してこのような構造を有する。

ABSTRACT

We introduce a new type of noncommutative Poisson structure on associative algebras. It induces Poisson structures on the moduli spaces classifying semisimple modules. Path algebras of doubled quivers and preprojective algebras have noncommutative Poisson structures given by the necklace Lie algebra.

研究の動機と目的

• 非可換ポアソン構造の新クラスを、表現論と整合するように、結合的代数上に定義すること。
• 既存の非可換ポアソン構造が、加群のモジュライ空間に自然にポアソン括弧を誘導できないという限界を是正すること。
• 二重化クイバーのパス代数におけるネックテース・リー代数構成が、非可換ポアソン構造を生じることを示すこと。
• この構造が変形および乗法的プレプロジェクティブ代数にどのように継承されるかを証明し、既知の結果を拡張すること。
• 非可換ポアソン構造と、半単純表現のモジュライ空間におけるポアソン幾何との間に、関係を確立すること。

提案手法

• 非可換ポアソン構造を、$A/[A,A]$ 上のリー括弧として定義し、写像 $\overline{a} \mapsto \langle \overline{a}, - \rangle$ が導分 $d_a: A \to A$ によって誘導されることを要請する。
• リー括弧の定義に、ホッホシールドホモロジー $A/[A,A]$ を用い、トレース関数と整合性を持つようにする。
• パスとクロネッカーのデルタ関数を用いた組合せ論的公式により、二重化クイバーのパス代数上に導分 $d_p$ を構成する。
• ネックテース・リー代数括弧 $\langle \overline{p}, \overline{q} \rangle = \overline{d_p(q)}$ が非可換ポアソン構造を定義することを示す。
• 導分 $d_a$ が商代数 $\Pi^\lambda$（変形プレプロジェクティブ代数）に引き継がれることを証明し、構造が正しく定義されることを保証する。
• 表現スキーム上のトレース関数 $\operatorname{tr}_\alpha$ を用いて、座標環への括弧の持ち上げを行い、ヤコビ恒等式を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 非可換ポアソン構造を結合的代数上に定義でき、それが半単純加群のモジュライ空間にポアソン括弧を誘導できるか。
• RQ2 二重化クイバーにおけるネックテース・リー代数構成が、関連するパス代数上で非可換ポアソン構造に拡張可能か。
• RQ3 変形プレプロジェクティブ代数が、ネックテース・リー代数からどのように非可換ポアソン構造を継承するか。
• RQ4 半単純表現のモジュライ空間に誘導される括弧が反対称的かつヤコビ恒等式を満たすか。
• RQ5 代数上の導分が、$\Pi^\lambda$ のような商代数上に引き継がれるための条件は何か。

主な発見

• 非可換ポアソン構造は、各作用素 $\langle \overline{a}, - \rangle$ が導分 $d_a: A \to A$ によって誘導される $A/[A,A]$ 上のリー括弧として定義される。
• 任意のクイバー $Q$ に対して、ネックテース・リー代数 $K\overline{Q}/[K\overline{Q}, K\overline{Q}]$ は括弧 $\langle \overline{p}, \overline{q} \rangle = \overline{d_p(q)}$ を用いて非可換ポアソン構造を定義する。
• $K\overline{Q}$ 上の導分 $d_p$ は、変形プレプロジェクティブ代数 $\Pi^\lambda$ に引き継がれ、$\Pi^\lambda / [\Pi^\lambda, \Pi^\lambda]$ 上で構造が正しく定義されることを保証する。
• 表現環 $\operatorname{T}(A,\alpha)$ に誘導される括弧は、トレース関数の積に関する帰納法によりヤコビ恒等式を満たす。
• $\frac{1}{2} \notin K$ のとき、括弧は $\{f,f\} = 0$ を満たし、非超可換設定下での反対称性が保証される。
• この構成により、$n$ 次元の半単純 $A$-加群を分類するモジュライ空間 $\operatorname{Mod}(A,n) // \mathrm{GL}_n(K)$ の座標環にポアソン括弧が得られる。