[論文レビュー] Derivations of Group Algebras

Andronick Arutyunov, A. S. Mishchenko+1 more|arXiv (Cornell University)|Aug 16, 2017

Optics and Image Analysis被引用数 3

ひとこと要約

本稿では、有限生成群に対して、群代数 $ C[G] $ の外導分を、随伴作用の群系列の字面によって特徴付ける方法を提示する。主な結果は、内導分が、各有向経路に沿って合計がゼロとなる、群系列グラフ上の有限台付き1次コチェーンにちょうど一致することを示しており、群系列コホモロジーの観点から導分の完全な代数的特徴づけが得られる。

ABSTRACT

In the paper, a method of describing the outer derivations of the group algebra of a finitely presentable group is given. The description of derivations is given in terms of characters of the groupoid of the adjoint action of the group.

研究の動機と目的

• 有限生成群の群代数 $ C[G] $ の外導分を記述する体系的な手法を開発すること。
• 群の随伴作用に関連する群系列の字面を用いて導分を特徴づけること。
• コホモロジー的およびグラフ論的構造を用いて、導分が内導分であるための必要十分条件を同定すること。
• 群系列上の局所的有限台付き字面と導分の構造との関係を明確にすること。
• 群代数の文脈で導分問題を解消するために、導分を群系列グラフ上の経路和条件に結びつけること。

提案手法

• 導分を、行に有限台条件 (F1) を満たす行列 $ X = \|x^h_g\| $ で表現する。
• 導分を、線形作用素として、ライブニッツ則 $ X(uv) = X(u)v + uX(v) $ を満たすものとして定義し、これにより条件 (F2) が得られる。
• 随伴作用の共役類 $[a]$ に対する群系列 $ \mathcal{G}_{[a]} $ を導入し、射は $ \alpha \xrightarrow{g} g\alpha g^{-1} $ で与えられる。
• 導分 $ X $ から、群系列 $ \Delta(\mathcal{G}_{[a]}) $ の1次コチェイン $ \varphi(T^X) \in C^1(\Delta(\mathcal{G}_{[a]})) $ を構成し、射をスカラーにマッピングする。
• 有向辺 $ [b, gbg^{-1}] $ からなるグラフ $ \Gamma_{g,a} $ を用いて群系列を経路 $ \Gamma_{g,a}^\alpha $ に分解し、経路和条件を定義する。
• 導分 $ X \in \text{Int}_{[a]}(\mathcal{A}) $ であることと、$ \varphi(T^X) $ が有限台であり、各経路 $ \Gamma_{g,a}^\alpha $ に沿って和がゼロとなることが同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限生成群 $ G $ の群代数 $ C[G] $ の外導分はどのように特徴づけられるか？
• RQ2 随伴作用の群系列の字面を用いて、導分はどのように記述できるか？
• RQ3 コホモロジー的およびグラフ論的データを用いて、導分が内導分であるための正確な条件は何か？
• RQ4 射影 $ p^f_a $ の核は、経路和条件を用いて内導分の集合として特徴づけられるか？
• RQ5 経路和条件を満たすが内導分でない導分は存在するか？ もしあるならば、それらが内導分でない理由は何か？

主な発見

• 導分 $ X \in \text{Der}(\mathcal{A}) $ が共役類 $[a]$ 上で内導分であることは、その関連コチェイン $ \varphi(T^X) $ が有限台であり、群系列グラフ内のすべての有向経路 $ \Gamma_{g,a}^\alpha $ に沿って和がゼロとなることと同値である。
• 内導分の集合 $ \text{Int}_{[a]}(\mathcal{A}) $ は、グラフ $ \Gamma_{g,a} $ の各経路上でのコチェイン和の消滅によって特徴づけられ、完全な代数的基準が得られる。
• 局所的有限台付き字面 $ T \in \ker p^f_a $ で経路和条件 (FF) を満たさないものが存在することから、$ \ker p^f_a \supsetneq \text{Int}_{[a]}(\mathcal{A}) $ であることが示され、核は内導分よりも厳密に大きいことがわかる。
• 自由群 $ F(x_1,x_2) $ に対して、1つの経路上でのみ非ゼロとなるような字面 $ T $ を構成でき、他のすべての経路上ではゼロとなる。このとき条件 (FF) が破られるため、$ \text{Int}_{[a]}(\mathcal{A}) $ に属さない導分が存在することが示される。
• 本手法により、導分問題が群系列上のコホモロジー的条件に還元され、経路和制約を用いた導分の完全な記述が可能になる。
• 関係式を群系列の生成元上の加法的条件として符号化することにより、この枠組みは有限生成群に適用可能であり、字面の拡張の一貫性が保証される。