[論文レビュー] On Hom type algebras

Yaël Frégier, Aron Gohr|arXiv (Cornell University)|Mar 19, 2009

Advanced Topics in Algebra参考文献 12被引用数 21

ひとこと要約

この論文は、線形写像 α を用いて定義の恒等式をねじるさまざまな方法を探索することで、特にホム・リー代数とホム・結合的代数の複数のタイプを体系的に分類・比較する。ユニタルなホム・結合的代数のタイプ間に部分順序を確立し、従来のホム・結合的性質が最も制限が厳しいことを証明するとともに、ホムモノイドを用いて、タイプ間のより強い含意関係が存在しないことを示す反例を構成する。

ABSTRACT

Hom-algebras are generalizations of algebras obtained using a twisting by a linear map. But there is a priori a freedom on where to twist. We enumerate here all the possible choices in the Lie and associative categories and study the relations between the obtained algebras. The associative case is richer since it admits the notion of unit element. We use this fact to find sufficient conditions for hom-associative algebras to be associative and classify the implications between the hom-associative types of unital algebras.

研究の動機と目的

• 標準的なホム・結合的およびホム・リー代数の恒等式を超えた、ホム代数を定義する代替的ねじれ戦略を探索・形式化すること。
• 特にユニタルな場合に、さまざまなタイプのホム・リー代数とホム・結合的代数の構造的関係を調査すること。
• ユニタリティを伴うホム・結合的代数タイプ間の制限の度合いの階層を特定すること。
• ホムモノイドを用いて明示的な反例を構成し、ホム代数タイプ間の特定の含意関係が成立しないことを証明すること。
• 異なるホム代数タイプ間の含意関係および非含意関係を完全に分類し、それらの論理的関係の限界を確立すること。

提案手法

• 括弧内の異なる位置にジャコビ恒等式をねじることで、3種類のホム・リー代数（$I_1$（標準的）、$I_2$、$I_3$）を定義する。
• 乗法の異なる位置に結合的恒等式をねじることで、3種類のホム・結合的代数（$II_1$、$II_2$、$II_3$）を定義する。
• タイプ間の非含意関係に対する反例を体系的に生成するために、ゼロを含む新しい構造クラス「ホムモノイド」を導入する。
• Mace4 と Prover9 の有限モデル探索ツールおよび定理証明ツールを用いて、恒等式の検証および複雑なタイプ階層における反例の構成を行う。
• 図式的推論と代数的変形を用いて、$II_1, II_2, II_3, I_2 \Rightarrow I_3$ のようなタイプ間の含意関係を証明する。
• 定義恒等式の制限の度合いに基づくユニタルなホム・結合的代数の部分順序を導入し、標準的ホム・結合的性質が最も制限が厳しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 リー代数および結合的代数の定義恒等式をねじる可能性のある方法は何か？
• RQ2 さまざまなタイプのホム・リー代数（$I_1$, $I_2$, $I_3$）は、互いにどのように関係し、通常のリー代数とはどのように関係するか？
• RQ3 タイプ $II_1$, $II_2$, $II_3$, $I_2$, $I_3$, および $III$, $III'$, $III''$ のユニタルなホム・結合的代数タイプ間の制限の度合いの階層は何か？
• RQ4 どのホム代数タイプ間の含意関係が成立せず、それらを反例によってどのように否定できるか？
• RQ5 ホムモノイドは、ホム代数タイプ階層における非含意関係の反例を体系的に構成するための有効なツールとして機能するか？

主な発見

• ユニタリティの下で、標準的ホム・結合的代数（タイプ $II_1$）は、すべてのホム・結合的代数タイプの中で最も制限が厳しい。これは、他のすべてのタイプを含意することを意味する。
• 明示的な反例により、$I_2 \nRightarrow I_3$、$II_2 \nRightarrow I_2$、$II_1 \nRightarrow II_2$ が成立しないことが証明され、より強い含意関係が存在しないことが示された。
• ホム・結合的代数タイプの部分順序は改善できない。階層は、追加の含意関係が成立しないという意味で最大であり、15個の構築済み反例によってこれを裏付けた。
• タイプ $III$, $III'$, $III''$（第3引数にねじられたもの）は、$I$ や $II$ タイプをどれも含意しない。$α(e_1)=α(e_2)=α(e_3)=e_3$ の反例によってこれを示した。
• $III, III', III'' \nRightarrow I_2, II_1, II_2, II_3$ の反例により、3階のタイプが1階および2階のタイプとは独立していることが確認された。
• ゼロおよび単位元を含むホムモノイドの使用により、ホム代数タイプ間の非含意関係を検証する最小で有限の反例を構築可能となった。