[論文レビュー] Lie-isoclinism of pairs of Leibniz algebras

Zahra Riyahi, J. M. Casas|arXiv (Cornell University)|Jul 25, 2018

Advanced Topics in Algebra参考文献 11被引用数 4

ひとこと要約

本稿では、同型の一般化として、リー代数の対におけるリー同型的同値関係（Lie-isoclinism）を導入し、有限次元リー代数とは異なり、リー代数の文脈においてはリー同型的同値関係が同型を意味しないことを示している。主な貢献は、因子集合構成を用いて、リー同型的同値でかつ有限次元のリー茎リー代数が同型となる十分条件を同定したことである。これは、非反交換的代数への古典的同型的同値理論の非自明な拡張を解決するものである。

ABSTRACT

The aim of this paper is to consider the relation between Lie-isoclinism and isomorphism of two pairs of Leibniz algebras. We show that, unlike the absolute case for finite dimensional Lie algebras, these concepts are not identical, even if the pairs of Leibniz algebras are Lie-stem. Moreover, throughout the paper we provide some conditions under which Lie-isoclinism and isomorphism of Lie-stem Leibniz algebras are equal. In order to get this equality, the concept of factor set is studied as well.

研究の動機と目的

• リー代数における同型的同値の概念を、リー化ファンクターを用いてリー代数の対へ拡張すること。
• 有限次元リー代数の文脈において、リー同型的同値関係が同型を意味するかどうかを、リー代数の場合と同様に成り立つかを調査すること。
• リー同型的同値なリー茎リー代数が同型となる条件を特定すること、特に因子集合の使用を通じて行うこと。
• リー代数において一般に同型的同値関係と同型が等価でないことを示す反例を提供すること。

提案手法

• 商代数と交換子部分代数の間の同型を用いて、リー代数の対 $(\mathfrak{m}, \mathfrak{q})$ におけるリー同型的同値関係を導入すること。
• リー交換子 $[\mathfrak{m}, \mathfrak{q}]_{\mathsf{Lie}}$ とリー中心 $Z_{\mathsf{Lie}}(\mathfrak{m}, \mathfrak{q})$ を $\mathfrak{m}$ 内の両側イデアルとして定義すること。
• リー代数の非アーベル拡張における因子集合構成を用いて、拡張を分類し、それらを同型的同値関係と関連付けること。
• 因子集合 $f$ とコホモロジー的データを用いて、拡張間のリー同型的同値関係を保つ同型写像 $\lambda$ を構成すること。
• 短い五重の補題（Short Five Lemma）を適用して、指定された条件下で、構成された写像 $\lambda$ が同型であることを証明すること。
• 具体例を通じて条件を検証し、2次元リー代数（$[a_2,a_2] = \lambda a_1$, $\lambda \notin \mathbb{C}^2$）および特定の $\varepsilon_{ij}$ 対称性を持つ4次元代数を含む。

実験結果

リサーチクエスチョン

• RQ1 有限次元リー代数において、リー同型的同値関係は同型を意味するのか。リー代数の場合と同様に成り立つか。
• RQ2 リー代数の絶対的状況から、リー代数の対における同型的同値関係の概念を一般化できるか。
• RQ3 リー同型的同値なリー茎リー代数が同型となる条件は何か。
• RQ4 因子集合は、同型的ではあるが同型ではないリー代数の対を区別するためにどのように寄与するか。
• RQ5 $[x_1,x_2] = \varepsilon_{12}[x_2,x_1]$ のような構造的条件（例えば $\varepsilon_{12} \in \mathbb{C}$）が、リー同型的同値関係から同型を保証するか。

主な発見

• リー同型的同値関係と同型が、有限次元リー代数においても、リー茎対に制限しても一般には等価でないことが、反例によって示された。
• 有限次元のリー茎リー代数の間でリー同型的同値関係が存在しても、一般には同型が保証されない。
• リー同型的同値なリー茎リー代数が同型となる十分条件は、すべての $x_1, x_2 \in \mathfrak{q}$ に対して $[x_1, x_2] = \varepsilon_{12}[x_2, x_1]$ が、ある $\varepsilon_{12} \in \mathbb{C}$ を満たすことである。
• 因子集合 $f$ は、非アーベル拡張の分類およびリー同型的同値な対間の同型写像の構成において中心的な役割を果たす。
• 構成された同型写像 $\lambda$ はリー同型的同値関係の構造を保ち、その全単射性は短い五重の補題によって証明された。
• 具体例により、$\mathcal{A}_7$ や $\lambda \notin \mathbb{C}^2$ を満たす2次元リー代数が、対称性条件を満たさないことが確認され、したがって同型の基準を満たさないことが示された。