[論文レビュー] Commutative algebras with nondegenerate invariant trace form and trace-free multiplication endomorphisms

Daniel J. F. Fox|arXiv (Cornell University)|Apr 26, 2020

Advanced Topics in Algebra被引用数 4

ひとこと要約

本稿は、非可換的で非単位的であるが、非退化で不変なキリング型のトレース形式とトレースゼロの積自己準同型を備えた非可換的で非単位的代数、すなわちキリングメトリック正確可換代数を導入する。これは半単純リー代数と形式的な類似性を示し、断面的非可換性と呼ばれる曲率に類似した不変量を導入し、ノートン不等式を一般化する境界を確立することで、低次元における分類を可能にするとともに、ジョルダン代数およびハルチッツ代数と関連付ける。

ABSTRACT

A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither unital nor associative. Such algebras can be viewed as commutative analogues of semisimple Lie algebras or, alternatively, as nonassociative generalizations of étale (associative) algebras. Some basic examples are described and there are introduced quantitative measures of nonassociativity, formally analogous to curvatures of connections, that serve to facilitate the organization and characterization of these algebras.

研究の動機と目的

• 半単純リー代数と強い構造的類似性を示す、取り扱いやすい非可換的で非単位的可換代数のクラスを開発すること。
• 非退化で不変なキリング型のトレース形式とトレースゼロの積自己準同型を備えた代数を定義し、それらを研究すること。
• リーマン幾何学における断面曲率に形式的に類似した非可換性の定量的測度を導入すること。
• ノートン不等式を非可換的設定に一般化する非可換性の境界を確立し、低次元における分類を可能にすること。
• ユークリッド的ジョルダン代数、ハルチッツ代数、およびそれらの非単位化との関係を調査すること。

提案手法

• すべての積自己準同型 $ L_{\bullet}(x) $ がトレースゼロであるとき、可換代数を「正確」と定義する。
• キリング形式 $ \tau_{\bullet}(x,y) = \operatorname{tr}(L_{\bullet}(x)L_{\bullet}(y)) $ が非退化かつ不変であるとき、可換代数を「キリングメトリック」と定義する。
• 断面的非可換性テンソルを導入し、2つの元のペアにおける非可換性を測る曲率に類似した不変量とする。
• 立方多項式 $ P(x) = \frac{1}{6} h(x\circ x, x) $ の極化を用いて、計量と立方形式から積を再構成する。
• 不変量理論と表現論を用いて、特に $ \mathbb{Herm}(n,\mathbb{k}) $（$ \mathbb{k} = \mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O} $）における自己同型群を分析する。
• スペクトル解析を用いて $ L_{\bullet}(x) $ の固有値を評価し、ノートン不等式を非可換的設定に一般化する非可換性の境界を証明する。

実験結果

リサーチクエスチョン

• RQ1 非可換的で非単位的可換代数で、非退化で不変なキリング形式を備えるものは、体系的に分類可能か？
• RQ2 リーマン幾何学における断面曲率に形式的に類似した方法で、非可換性をどのように定量的に測定できるか？
• RQ3 次元 $ n \leq 4 $ におけるキリングメトリック正確可換代数の構造的性質および分類的性質は何か？
• RQ4 単純なユークリッド的ジョルダン代数の非単位化は、どの程度までキリングメトリック正確代数を生成するか？
• RQ5 不等式 $ |[X,Y]|_f^2 \leq 2|X|_f^2|Y|_f^2 $ は $ \mathbb{Herm}(n,\mathbb{O}) $ に対して成り立ち、非可換性の境界にどのような意味を持つのか？

主な発見

• キリングメトリック正確可換代数は、すべての積自己準同型がトレースゼロであるため、必然的に非単位的かつ非可換的である。
• 断面的非可換性テンソルは、ノートン不等式を非可換代数に一般化する曲率に類似した不変量を提供する。
• 次元 $ n \leq 4 $ では、すべてのキリングメトリック正確可換代数が、単純なユークリッド的ジョルダン代数の非単位化として生じることを分類した。
• 体 $ \mathbb{k} $ が可換的であるとき、$ \mathbb{Herm}(n,\mathbb{k}) $ に対して不等式 $ |[X,Y]|_f^2 \leq 2|X|_f^2|Y|_f^2 $ が成り立ち、等号成立は $ X $ と $ Y $ がそれぞれ $ e_{ii} - e_{jj} $ と $ e_{ij} + e_{ji} $ のスカラー倍である場合に限り成立する。
• 非可換性の境界における等号成立は、非可換性が特定のペアの要素に対してのみ最大に達することを意味し、この特徴付けは自己同型群に関して不変である。
• 実ヒルツィッツ代数上のシャーン＝ドールド＝小林不等式が一般化され、$ \mathbb{Herm}(n,\mathbb{k}) $ に対しても成り立つことが示され、等号成立条件は随伴作用素のスペクトルノルムと関連している。