[论文解读] On classification of finite dimensional algebras

Ural Bekbaev|arXiv (Cornell University)|Apr 6, 2015

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

一句话总结

本文通过结构常数，以构造性、依赖基的方式对有限维代数进行分类，定义了结构常数空间中一个开的、稠密的不变子集。通过映射 $ P $ 构造了有理不变量域的完整基，实现了对交换代数与反对称代数的分类，其不变量由 $ P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1}) $ 导出，并给出了明确的超越次数。

ABSTRACT

Classification and invariants, with respect to basis changes, of finite dimensional algebras are considered. An invariant open, dense (in the Zariscki topology) subset of the space of structural constants is defined. The algebras with structural constants from this set are classified and a basis to the field of invariant rational functions of structural constants is provided.

研究动机与目标

• 通过结构常数而非无基不变量，提供有限维代数的构造性分类。
• 在结构常数空间中定义一个开的、稠密的、关于 $ G $ 不变的子集，使得在此集合上分类成为可能。
• 为结构常数的 $ G $-不变有理函数域构造一个基。
• 通过群作用与有理不变量，将分类方法推广至交换代数与反对称代数。

提出的方法

• 引入 $ GL(m,F) $ 在结构常数空间上的群作用，通过张量变换实现。
• 定义映射 $ P: V_0 \to G $，满足 $ P(\tau(g,\mathbf{v})) = P(\mathbf{v})g^{-1} $，从而实现轨道分类。
• 将系统 $ \tau(P(\mathbf{x}), \mathbf{x}) $ 用作 $ G $-轨道的分离不变量系统。
• 应用有理映射 $ P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1}) $ 以生成不变量域。
• 通过 $ \mathbf{x}^{\otimes k} $ 的缩并构造一个非奇异矩阵 $ Q(\mathbf{x}) $，确保在 $ V_0 $ 上有 $ \det(Q(\mathbf{x})) \neq 0 $。
• 推导出不变量域 $ F(\mathbf{x})^G $ 为 $ F(P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1})) $，并证明其为纯超越扩张。

实验结果

研究问题

• RQ1 如何以构造性、依赖基的方式，利用结构常数对有限维代数进行分类？
• RQ2 在 $ GL(m,F) $ 作用于结构常数空间时，有理不变量域的结构是什么？
• RQ3 能否为交换代数与反对称代数显式构造出不变量域的完整基？
• RQ4 此类代数的不变量域的超越次数是多少？该扩张是否为纯超越扩张？

主要发现

• 有理不变量域 $ F(\mathbf{x})^G $ 由 $ P(\mathbf{x})\mathbf{x}(P(\mathbf{x})^{-1} \otimes P(\mathbf{x})^{-1}) $ 的各项生成，构成完整的不变量系统。
• 对于交换代数，$ F(\mathbf{x})^G $ 在 $ F $ 上的超越次数为 $ \frac{m^2(m-1)}{2} $，且扩张为纯超越扩张。
• 对于 $ m \geq 3 $ 的反对称代数，超越次数为 $ \frac{m^2(m-3)}{2} $，且扩张仍为纯超越扩张。
• 定义了一个开的、稠密的、$ G $-不变子集 $ V_0 = \{ A \in V : \det(P(A))\det(Q(A)) \neq 0 \} $，在此集合上分类完全有效。
• 若两个代数的结构常数属于 $ V_0 $，则它们同构当且仅当 $ P(A)A(P(A)^{-1} \otimes P(A)^{-1}) = P(B)B(P(B)^{-1} \otimes P(B)^{-1}) $。
• 该方法在 $ G \times V_{00} $ 与 $ V_0 $ 之间构造了一个双有理同构，其中 $ V_{00} = \{ v \in V_0 : P(v) = I_m \} $，从而实现轨道的重建。