[論文レビュー] On the multiplication groups of three-dimensional topological loops

Ágota Figula|arXiv (Cornell University)|Jun 30, 2015

Mathematics and Applications参考文献 8被引用数 5

ひとこと要約

本稿は、乗法群がノルム的リー群である3次元単連結な位相的ループを分類し、このようなループが存在するのは乗法群が非フィリフォームなノルム的リー群である場合に限ることを証明している。具体的には、$ \mathcal{F}_{n+2} \times \mathbb{R}$ や $ \mathcal{F}_{n+2} \times_Z \mathcal{F}_{m+2}$ のような直積、特に中心を共有するものである。また、3次元多様体に最小作用する非可解リー群は、3次元位相的ループの乗法群になりえないことも示している。

ABSTRACT

We clarify the structure of nilpotent Lie groups which are multiplication groups of $3$-dimensional simply connected topological loops and prove that non-solvable Lie groups acting minimally on $3$-dimensional manifolds cannot be the multiplication group of $3$-dimensional topological loops. Among the nilpotent Lie groups for any filiform groups ${\mathcal F}_{n+2}$ and ${\mathcal F}_{m+2}$ with $n, m > 1$, the direct product ${\mathcal F}_{n+2} imes \mathbb R$ and the direct product ${\mathcal F}_{n+2} imes _Z {\mathcal F}_{m+2}$ with amalgamated center $Z$ occur as the multiplication group of $3$-dimensional topological loops. To obtain this result we classify all $3$-dimensional simply connected topological loops having a $4$-dimensional nilpotent Lie group as the group topologically generated by the left translations.

研究の動機と目的

• 3次元単連結位相的ループの乗法群として現れる可能性があるノルム的リー群を特定すること。
• 左移動によって生成される群が4次元でノルム的である場合の、3次元位相的ループの乗法群の構造を明確にすること。
• 3次元多様体に最小作用する非可解リー群が、3次元位相的ループの乗法群になり得るかどうかを調査すること。
• 左移動によって位相的に生成される群が4次元ノルム的リー群である3次元単連結位相的ループをすべて分類すること。
• 連続的実関数を用いたループ乗法の特徴づけを行い、乗法群がリー群となる条件を特定すること。

提案手法

• ループとリー群内の横断的集合の間の対応関係を用い、特に左移動が乗法群を生成することに注目する。
• 部分群のコアや$S$-連結な横断的集合といった群論的道具を用い、ループ構造と群構造との関係を関係づける。
• フィリフォームリー群$\mathcal{F}_{n+2}$の構造と、$\mathbb{R}$や中心を共有するものとの直積を用いて例を構成する。
• 連続関数$v_i(x,y)$、$u_j(x,y)$によるループ乗法のパrametrizationを用い、生成される群がリー群になる条件を分析する。
• 文献[5]の補題8を適用し、関数の非退化性に基づいて集合$F$とその射影が群$G$全体を生成するかどうかを決定する。
• 関数方程式（例：(6.8)、(6.9)）を導出し、解くことにより、ループ乗法の整合性と群演算における閉包性を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのノルム的リー群が3次元単連結位相的ループの乗法群として現れるか？
• RQ2 3次元多様体に最小作用する非可解リー群は、3次元位相的ループの乗法群になり得るか？
• RQ3 左移動によって生成される群が4次元ノルム的リー群である3次元単連結位相的ループの構造はいかなるものか？
• RQ4 連続関数$v_i(x,y)$と$u_j(x,y)$にどのような条件を課すと、3次元ループの乗法群がリー群になるか？
• RQ5 中心を共有する直積$\mathcal{F}_{n+2} \times_Z \mathcal{F}_{m+2}$は、3次元ループの乗法群としていつ現れるか？

主な発見

• 4次元フィリフォームリー群である3次元位相的ループは存在しない。
• $n \geq 2$のとき、直積$\mathcal{F}_{n+2} \times \mathbb{R}$は、2次元中心を持つ3次元位相的ループの乗法群として現れる。
• 5次元以下までのノルム的リー群の中で、$\mathbb{R} \times \mathcal{F}_4$のみが、2次元中心を持つ3次元ループの乗法群として現れる。
• 中心を共有する直積$\mathcal{F}_{n+2} \times_Z \mathcal{F}_{m+2}$は、1次元中心を持つ3次元ループの乗法群として現れる。このとき、$L/Z(L) \cong \mathbb{R}^2$である。
• 3次元ループの乗法群がリー群であるための必要十分条件は、定義関数$v_i(x,y)$と$u_j(x,y)$が指数多項式であることである。
• $n > 1$、$m > 1$のとき、関数$g(x, v_1(x,y), \dots, v_n(x,y), y, u_1(x,y), \dots, u_m(x,y), z)$で定義されるループ乗法は、左移動の群として$\mathcal{F}_{n+2} \times_Z \mathcal{F}_{m+2}$を生成する。このとき、関数方程式(6.8)と(6.9)が満たされ、$s_i(p,q) = 0$、$f_j(p,q) = 0$であり、$v_i(x,y) = v_i(x)$、$u_j(x,y) = u_j(y)$を満たす必要十分条件である。