[論文レビュー] On centerless commutative automorphic loops

Gábor P. Nagy|arXiv (Cornell University)|Jan 15, 2015

Mathematics and Applications被引用数 4

ひとこと要約

本稿では、特徴が 2 の体上のリー環を用いて、中心が自明な指数 2 の可換自己同型ループを構成する新しい手法を提示する。特定の可換性および可逆性条件を満たす双線形写像 β: H → End(K) を定義することにより、非可換なループを生成し、それらが自己同型的かつ中心が自明であることを示し、ノルム的または可換構造を超えたこのようなループの存在を裏付ける。

ABSTRACT

In this short paper, we survey the results on commutative automorphic loops and give a new construction method. Using this method, we present new classes of commutative automorphic loops of exponent 2 with trivial center.

研究の動機と目的

• 指数 2 で中心が自明な可換自己同型ループを構成する新しい手法を開発すること。
• リー環論および核的半直積構成を用いて、そのようなループの構造的性質を調査すること。
• 特徴が 2 のリー環におけるリー環条件 (W2, W2+, W2−) の同値性について未解決の問題を解消すること。
• 体の自己同型および単射準同型を用いて、非可換的で中心が自明な指数 2 のループの明示的例を提供すること。
• F2 上の低次元ノルム的リー代数において反例が存在しないことを確認すること。

提案手法

• リー環 (Q, +, [.,.]) 上に x∘y = x + y − [x,y] で定義されるループ演算 ∘ を構成し、写像 y ↦ y±[x,y] の可逆性を仮定する（W1）。
• すべての x,y,z ∈ Q に対して [[x,y],[z,y]] = 0 が成り立つ条件 (W2) を課す。これによりループは自己同型的（W2−）であることが保証される。
• 対称性、単位元、可換性の条件を満たす自己同型族 φi,j を用いた核的半直積構成を用いる。
• φi,j = (id + β(i+j))⁻¹ ∘ (id + β(i)) ∘ (id + β(j)) により β: H → End(K) を定義し、結合的かつ自己同型的構造を保証する。
• すべての i ∈ H に対して id + β(i) が可逆であることを保証することで、W1 の可逆性条件を満たし、ループの構成を保証する。
• 得られたループ (Q,*) が可換的で、自己同型的かつ指数 2 であり、中心が自明であることを、核的半直積との同型性を用いて検証する。

実験結果

リサーチクエスチョン

• RQ1 特徴が 2 のリー環において、自己同型ループ条件 (W2−) はリー環条件 (W2) を含意するか？
• RQ2 リー環において [[x,y],[z,y]] = 0 ならば、すべての x,y,z,w に対して [[x,y],[z,w]] = 0 が成り立つか？
• RQ3 リー環の手法を用いて、非可換的で中心が自明な可換自己同型ループを体系的に構成できるか？
• RQ4 F2 上の低次元ノルム的リー代数において、(W2)、(W2+)、(W2−) 間の含意関係が破綻する例は存在するか？
• RQ5 β: H → End(K) にどのような条件を課すと、得られるループの核および中心が自明になるか？

主な発見

• 著者らは、特徴が 2 の体上のリー環を用いて、中心が自明な指数 2 の可換自己同型ループの新しいクラスを構成した。
• 明示的例が提示された：例 1 では、1 ∉ Im(δ) を満たす単射準同型 δ: H → (K,+) を用い、例 2 では、K ⊃ H の体拡張と σ ∈ K∖H を用いて β(i)(a) = σia を定義した。
• ループ (Q,*) は核的半直積 (Q,⋆) と同型であり、φi,j = id であることと β(i)β(j) = 0 であることとが同値である限り、中心が自明である。
• 次元 5 の場合、F2 上のノルム的リー代数において、ループが可換的で、自己同型的かつ指数 2 であり、中核の指数が 4 である例が得られた。
• F2 上の次元 ≤9 のノルム的リー代数において、(W2−) ⇒ (W2) または (W2) ⇒ (W2+) の含意関係に対する反例は見つからなかった。
• 例 2 で構成されたループは非可換的で、中心が自明であり、核的に分解しない。これは、核的に分解しないことから生じる。