[论文解读] 2-dimensional algebras. Application to Jordan, G-associative and Hom-associative algebras

Elisabeth Remm, Michel Goze|arXiv (Cornell University)|May 6, 2012

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

一句话总结

本文在特征 2 的情形下，通过法诺平面和对称群 Σ₃ 的作用，对域 𝕂 上的二维代数按同构分类。该分类被应用于推导关于 Jordan 代数、G-结合代数和 Hom-结合代数的新结果，通过行列式条件和 𝕂⁶ 中的参数族，明确识别出 Hom-结合代数的显式族。

ABSTRACT

We classify, up to isomorphism, the 2-dimensional algebras over a field K. We focuse also on the case of characteristic 2, identifying the matrices of GL(2,F_2) with the elements of the symmetric group S_3. The classification is then given by the study of the orbits of this group on a 3-dimensional plane, viewed as a Fano plane. As applications, we establish classifications of Jordan algebras, algebras of Lie type or Hom-Associative algebras.

研究动机与目标

• 对域 𝕂 上的二维代数按同构进行分类，尤其关注特征 2 的情形。
• 识别代数的最小不变族，而非详尽的同构列表，以提升在高维非结合代数分类中的可用性。
• 将该分类应用于特定类：Jordan 代数、G-结合代数和 Hom-结合代数。
• 通过线性系统和行列式准则，确定二维代数满足 Hom-结合恒等式的条件。

提出的方法

• 对特征 ≠ 2 的情形，将乘法张量 μ 分解为对称部分与反对称部分。
• 利用 GL(2,𝔽₂) ≅ Σ₃ 在三维平面上的作用，通过法诺平面轨道对特征 2 情形下的代数进行分类。
• 利用同构不变性，将分类问题转化为群作用下的轨道分析。
• 通过恒等式 (xy)f(z) = f(x)(yz) 推导 Hom-结合条件，并为自同态 f 构造线性系统。
• 计算 4×4 矩阵 HA_A 的行列式 H(A)，以确定交换代数为 Hom-结合代数的条件。
• 利用代数几何方法，将二维交换 Hom-结合代数的集合描述为 𝕂⁶ 中的一个超曲面。

实验结果

研究问题

• RQ1 哪些域 𝕂 上的二维代数是同构的？如何通过群作用和张量分解实现其分类？
• RQ2 如何将二维代数的分类方法调整，以识别对高维非结合代数有用的最小不变族？
• RQ3 二维代数成为 Hom-结合代数的充要条件是什么？这些条件如何代数化表达？
• RQ4 二维代数的结果如何恢复或重新推导出已知的 Jordan 代数和 G-结合代数分类？
• RQ5 二维交换 Hom-结合代数集合的几何结构是什么？其如何通过行列式条件编码？

主要发现

• 通过特征 2 下 GL(2,𝔽₂) ≅ Σ₃ 的轨道分析，结合法诺平面结构，实现了 𝕂 上二维代数的分类。
• 代数 A⁴_{1,β₄} 在 β₄ ≠ ±2 时为 Hom-结合代数，具有非平凡的对角自同态 f，且当 β₄ ≠ 2 或 -2 时为非结合代数。
• 代数 A⁵₀ 在 f 映射到 𝕂{e₁} 时为 Hom-结合代数，且仅当 α₂ = ±1 时存在非平凡解，从而产生两个不同的非交换 Hom-结合代数。
• 对于交换 Hom-结合代数，条件 H(A) = 0 在 𝕂⁶ 中定义了一个超曲面，且给出了 H(A⁶) = 0 的显式根。
• 代数 A⁹ 至 A¹⁷ 均为 Hom-结合代数，因为对 i = 9 到 17，有 H(Aⁱ) = 0。
• 代数 A⁷ 和 A⁸ 不是 Hom-结合代数，因为 H(A⁷) = -1/4 且 H(A⁸) = -9/64，两者均非零。