[论文解读] On the multiplication groups of three-dimensional topological loops

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

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

一句话总结

本文分类了乘法群为幂零李群的三维单连通拓扑圈，证明此类圈存在当且仅当乘法群是非滤形幂零李群——具体而言，为 $τ_{n+2} \times \mathbb{R}$ 或 $τ_{n+2} \times_Z \u03c4_{m+2}$ 等直积，其中心被合并。此外，本文还表明，作用在三维流形上极小的非单连通李群不能作为三维拓扑圈的乘法群。

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.

研究动机与目标

• 确定哪些幂零李群可作为三维单连通拓扑圈的乘法群。
• 阐明当由左平移生成的群为四维且幂零时，三维拓扑圈乘法群的结构。
• 研究作用在三维流形上极小的非单连通李群是否可作为三维拓扑圈的乘法群。
• 对所有以四维幂零李群作为其左平移拓扑生成群的三维单连通拓扑圈进行分类。
• 通过连续实函数刻画圈的乘法运算，并确定乘法群成为李群的条件。

提出的方法

• 利用圈与李群中横截面之间的对应关系，特别关注由左平移生成乘法群的情形。
• 应用群论工具，如子群的核与 $S$-连通横截面，将圈的结构与群的结构联系起来。
• 利用滤形李群 $\mathcal{F}_{n+2}$ 及其与 $\mathbb{R}$ 或中心合并的直积构造例子。
• 通过连续函数 $v_i(x,y)$, $u_j(x,y)$ 参数化圈的乘法运算，并分析生成群为李群的条件。
• 应用文献 [5] 中的引理 8，根据函数的非退化性，确定集合 $F$ 及其投影是否生成整个群 $G$。
• 导出并求解函数方程（例如 (6.8)、(6.9)），以确保圈乘法的一致性及在群运算下的封闭性。

实验结果

研究问题

• RQ1 哪些幂零李群可作为三维单连通拓扑圈的乘法群？
• RQ2 作用在三维流形上极小的非单连通李群是否可作为三维拓扑圈的乘法群？
• RQ3 三维单连通拓扑圈的结构如何，其左平移生成一个四维幂零李群？
• RQ4 在何种条件下，连续函数 $v_i(x,y)$ 与 $u_j(x,y)$ 使得三维圈的乘法群为李群？
• RQ5 在何种条件下，中心合并的直积 $\mathcal{F}_{n+2} \times_Z \mathcal{F}_{m+2}$ 作为三维圈的乘法群出现？

主要发现

• 不存在乘法群为四维滤形李群的三维拓扑圈。
• 当 $n \geq 2$ 时，直积 $\mathcal{F}_{n+2} \times \mathbb{R}$ 作为具有二维中心的三维拓扑圈的乘法群出现。
• 在至多五维的幂零李群中，仅 $\mathbb{R} \times \mathcal{F}_4$ 作为具有二维中心的三维圈的乘法群出现。
• 中心合并的直积 $\mathcal{F}_{n+2} \times_Z \mathcal{F}_{m+2}$ 作为具有 1 维中心的三维圈的乘法群出现，其中 $L/Z(L) \cong \mathbb{R}^2$。
• 三维圈的乘法群是李群当且仅当定义函数 $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)$。