[论文解读] Classification of a family of three dimensional real evolution algebras

Anvar Imomkulov|arXiv (Cornell University)|Dec 10, 2018

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

一句话总结

本文对一类三维实进化代数进行了分类，当代数的平方的维数为1时，识别出13个两两不同构的代数。该文从进化算子在不动点处的雅可比矩阵构造进化代数，并证明了这些导出代数与原代数之间存在同构关系。关键结果表明，仅某些代数允许非平凡不动点，且在(1,0,0)处的雅可比矩阵生成的代数同构于13类中的一类。

ABSTRACT

In this paper we classify a family of three-dimensional real evolution algebras. We also consider an evolution operator for an evolution algebra and find fixed points of this operator for two and three-dimensional cases. Then we construct an evolution algebra, the matrix of structural constants of which is Jacobian of the evolution operator at a fixed point. We study isomorphism between these evolution algebras.

研究动机与目标

• 对满足 dim(E²) = 1 的三维实进化代数进行分类。
• 分析进化算子 F(x) = x² 在二维和三维情形下的不动点。
• 利用进化算子 F 在不动点处的雅可比矩阵构造新的进化代数。
• 确定导出代数与原始进化代数之间的同构类。

提出的方法

• 使用由代数结构常数矩阵定义的进化算子 F(x) = x·x。
• 计算 F 在点 x 处的雅可比矩阵 J_F(x)，其提供线性近似。
• 通过求解 F(x) = x 识别 F 的不动点，重点关注非零解。
• 构造一个新的进化代数，其结构常数矩阵为 F 在不动点处的雅可比矩阵。
• 应用基变换对代数进行同构分类。
• 基于结构常数参数使用标准型和分类讨论，枚举出不同的同构类。

实验结果

研究问题

• RQ1 当 dim(E²) = 1 时，存在多少个两两不同构的三维实进化代数？
• RQ2 哪些进化代数在进化算子 F(x) = x² 下存在非零不动点？
• RQ3 由 F 在不动点处的雅可比矩阵生成的进化代数具有怎样的结构？
• RQ4 由雅可比矩阵导出的进化代数是否同构于原始代数？
• RQ5 是否能通过基变换和参数分析对所有此类代数进行完整分类？

主要发现

• 当 dim(E²) = 1 时，恰好存在13个两两不同构的三维实进化代数。
• 仅代数 E₄ 至 E₁₀ 在 (1,0,0) 处具有非零不动点，而 E₁、E₂、E₃、E₁₁、E₁₂ 和 E₁₃ 没有非零不动点。
• F 在 (1,0,0) 处的雅可比矩阵为 diag(2,0,0)，其生成的进化代数同构于 E₄。
• 由 (1,0,0) 处雅可比矩阵导出的代数同构于 E₄，验证了构造的一致性。
• 对于无非零不动点的代数，原点处的雅可比矩阵给出平凡代数，不具研究价值。
• 在假设 dim(E²) = 1 的前提下，分类是完整的，所有情形均通过基变换和参数条件彻底分析。