[论文解读] Extending structures, Galois groups and supersolvable associative algebras

A. L. Agore, G. Militaru|arXiv (Cornell University)|May 26, 2013

Advanced Topics in Algebra参考文献 24被引用 7

一句话总结

本文引入了统一积——一种新的代数构造，通过上同调数据对给定代数 $A$ 的余维数为 $\mathfrak{c}$ 的单位结合代数扩张进行分类。它利用非交换上同调类型的对象 $\mathcal{AH}^2_A(V,A)$ 和 $\mathcal{AH}^2(V,A)$ 提供显式分类，并将该框架应用于描述代数扩张的伽罗瓦群，以及对任意域（包括特征 2）上的幂零结合代数进行分类。

ABSTRACT

Let $A$ be a unital associative algebra over a field $k$. All unital associative algebras containing $A$ as a subalgebra of a given codimension $\mathfrak{c}$ are described and classified. For a fixed vector space $V$ of dimension $\mathfrak{c}$, two non-abelian cohomological type objects are explicitly constructed: ${\mathcal A}{\mathcal H}^{2}_{A} \, (V, \, A)$ will classify all such algebras up to an isomorphism that stabilizes $A$ while ${\mathcal A}{\mathcal H}^{2} \, (V, \, A)$ provides the classification from Hölder's extension problem viewpoint. A new product, called the unified product, is introduced as a tool of our approach. The classical crossed product or the twisted tensor product of algebras are special cases of the unified product. Two main applications are given: the Galois group ${ m Gal} \, (B/A)$ of an extension $A \subseteq B$ of associative algebras is explicitly described as a subgroup of a semidirect product of groups ${ m GL}_k (V) times { m Hom}_k (V, \, A)$, where the vector space $V$ is a complement of $A$ in $B$. The second application refers to supersolvable algebras introduced as the associative algebra counterpart of supersolvable Lie algebras. Several explicit examples are given for supersolvable algebras over an arbitrary base field, including those of characteristic two whose difficulty is illustrated.

研究动机与目标

• 通过分类所有包含给定余维数为 $\mathfrak{c}$ 的子代数 $A$ 的代数，解决单位结合代数的扩张结构问题。
• 引入并表征统一积作为此类扩张的通用构造，推广经典构造如半积与扭曲张量积。
• 显式描述伽罗瓦群 $\mathrm{Gal}(B/A)$ 作为半直积 $\mathrm{GL}_k(V)\rtimes\mathrm{Hom}_k(V,A)$ 的子群，其中 $V$ 是 $B$ 中 $A$ 的补空间。
• 定义并分类幂零结合代数，作为幂零李代数的结合代数对应物，通过基于余维数 1 扩张的递归构造实现。
• 通过分析特征标与扭曲导子，对任意域（包括特征 2）上的三维幂零代数提供完整分类。

提出的方法

• 通过扩展数据 $\Omega(A,V) = (\lhd, \rhd, \leftharpoonup, \rightharpoonup, f, \cdot)$ 引入统一积 $A\ltimes V$，该数据编码了 $A$ 与补空间 $V$ 之间的作用与类上闭链数据。
• 建立 $\Omega(A,V)$ 的公理，使得 $A\ltimes V$ 成为单位结合代数，推广已知构造如半积。
• 定义两个上同调对象：$\mathcal{AH}^2_A(V,A)$ 分类在同构下保持 $A$ 不变的扩张，而 $\mathcal{AH}^2(V,A)$ 分类符合霍尔德扩张问题精神的扩张。
• 利用统一积通过从 $k$ 开始的余维数 1 扩张递归构建有限维代数。
• 将该框架应用于计算代数扩张的伽罗瓦群，通过将 $\mathrm{Gal}(B/A)$ 嵌入 $\mathrm{GL}_k(V)\rtimes\mathrm{Hom}_k(V,A)$ 实现。
• 通过分析 $A$ 的特征标与扭曲导子，确定扩张的存在性与分类，尤其在特征 2 情况下。

实验结果

研究问题

• RQ1 如何对所有包含固定子代数 $A$（余维数为 $\mathfrak{c}$）的单位结合代数进行分类？
• RQ2 代数扩张 $A \subseteq B$ 的伽罗瓦群 $\mathrm{Gal}(B/A)$ 的结构是什么？
• RQ3 通过连续余维数 1 扩张构造幂零结合代数的条件是什么？
• RQ4 与其它特征相比，特征 2 下的分类结果有何不同？
• RQ5 当 $A = k_{(0,1)}$ 或 $A = k_{(c,1)}$（$c \in T$）时，哪些代数作为统一积出现？

主要发现

• 伽罗瓦群 $\mathrm{Gal}(B/A)$ 嵌入为 $\mathrm{GL}_k(V)\rtimes\mathrm{Hom}_k(V,A)$ 的子群，其中 $V$ 是 $B$ 中 $A$ 的补空间。
• 当 $\mathrm{char}(k) \neq 2$ 且 $k = k^2$ 时，三维幂零代数在同构下的集合有两个同构类：$A^1_3$ 和 $A^1_4$，分别对应于因子集类 $\overline{(0,0,0)}$ 与 $\overline{(0,1,0)}$。
• 当 $\mathrm{char}(k) \neq 2$ 且 $k \neq k^2$ 时，统一积构造产生额外的代数 $B_2(d)$（$d \in S$），其由平方类参数化。
• 在特征 2 时，分类包括代数 $C^1_3$、$C^1_4(c)$、$C^1_5$ 与 $D_2(\delta)$，其中 $c \in T$，$\delta \in R$，反映了当 $c \neq 0$ 时方程 $y^2 + y + c = 0$ 无解。
• 当 $c \neq 0$ 时，代数 $k_{(c,1)}$ 无特征标，因此不存在三维幂零代数扩张它，这意味着此情况下 $\mathcal{F}(k_{(c,1)}) = \emptyset$。
• 三维幂零代数的完整分类在四种情况下给出，取决于域的特征以及 $k = k^2$ 是否成立，最复杂情况下最多有 15 个不同的同构类。