[论文解读] Actor of an alternative algebra

J. M. Casas, Tamar Datuashvili+1 more|ArXiv.org|Oct 3, 2009

Algebraic structures and combinatorial models参考文献 19被引用 6

一句话总结

本文引入了 g-交错代数的范畴，并为任意域 $F$ 上的 g-交错代数 $A$ 构造了一个通用严格一般自伴者 $Τ(A)$。它证明了若 $Τ(A) = 0$，则 $Τ(A)$ 是 g-交错代数范畴中的自伴者，特别地，对于具有平凡零化子的反对称交错代数，$Τ(A)$ 同时是交错代数与结合代数，从而在交错代数范畴中成为自伴者。

ABSTRACT

We define a category $\galt$ of g-alternative algebras over a field $F$ and present the category of alternative algebras $\alt$ as a full subcategory of $\galt$; in the case $\ch F eq 2$, we have $\alt=\galt$. For any g-alternative algebra $A$ we give a construction of a universal strict general actor $\cB(A)$ of $A$. We define the subset $\asoci(A)$ of $A$, and show that it is a $\cB(A)$-substructure of $A$. We prove that if $\asoci(A)=0$, then there exists an actor of $A$ in $\galt$ and $\act(A)=\cB(A)$. In particular, we obtain that if $A$ is anticommutative and $\ann(A)=0$, then there exists an actor of $A$ in $\galt$; from this, under the same conditions, we deduce the existence of an actor in $\alt$.

研究动机与目标

• 将 g-交错代数的范畴（$Τ̅̄̌$）定义为一个感兴趣范畴，以扩展交错代数的范畴（$Τ̅̄̌$）。
• 使用半阿贝尔范畴与感兴趣范畴框架中的范畴论方法，为任意 g-交错代数 $A$ 构造一个通用严格一般自伴者 $Τ(A)$。
• 识别出 $Τ(A)$ 在 $Τ̅̄̌$ 中成为 $A$ 的实际自伴者的充分条件，从而在 $Τ̅̄̌$ 中亦然成立。
• 建立对于具有平凡零化子的反对称交错代数，$Τ(A)$ 同时是交错代数与结合代数，从而确保在 $Τ̅̄̌$ 中存在自伴者。

提出的方法

• 将 $Τ̅̄̌$ 定义为一个感兴趣范畴，其中 $Τ̅̄̌$ 是其全子范畴，并证明当 $Τ̅̄̌ \neq 2$ 时，$Τ̅̄̌ = Τ̅̄̌$。
• 使用内部作用与分裂扩张分类器的范畴框架，为任意 g-交错代数 $A$ 构造通用严格一般自伴者 $Τ(A)$。
• 引入子集 $Τ(A) \subseteq A$，证明其为 $Τ(A)$-子结构，并将其用作关键不变量，以判断 $Τ(A)$ 是否属于 $Τ̅̄̌$。
• 在 $Τ̅̄̌$ 中定义导出作用，并证明 $Τ(A)$ 对 $A$ 的作用是导出作用，当且仅当 $Τ(A) = 0$。
• 利用 $Τ(A)$ 的普遍性质以及条件 $Τ(A) \ltimes A \in \u03a4̅̄̌$，推导出当 $Τ(A) = 0$ 时，$Τ(A)$ 是 $Τ̅̄̌$ 中 $A$ 的自伴者。
• 以双乘法代数 $Τ̅̄̌_{Τ̅̄̌}(A)$ 的形式提供自伴者的替代描述，类似于结合代数与李代数中的构造。

实验结果

研究问题

• RQ1 在何种条件下，g-交错代数 $A$ 的通用严格一般自伴者 $Τ(A)$ 成为 $Τ̅̄̌$ 范畴中的实际自伴者？
• RQ2 $Τ(A)$ 如何影响 $Τ(A)$ 的结构及其在 $Τ̅̄̌$ 中的成员资格？
• RQ3 在何种情况下 $Τ(A)$ 成为交错代数，何时成为结合代数，特别是对于反对称代数？
• RQ4 在 $Τ(A) = 0$ 的条件下，$Τ̅̄̌$ 中的自伴者 $Τ(A)$ 与通用严格一般自伴者 $Τ(A)$ 之间有何关系？
• RQ5 在 $Τ̅̄̌$ 中，自伴者的构造能否通过双乘法代数描述？其与结合代数和李代数中已知构造相比有何异同？

主要发现

• 若 $Τ(A) = 0$，则 $Τ(A)$ 是 g-交错代数，且 $Τ(A)$ 对 $A$ 的作用为导出作用，因此 $Τ(A) = Τ(A)$ 在 $Τ̅̄̌$ 中成立。
• 对于任意具有 $Τ(A) = 0$ 的反对称 g-交错代数 $A$，$Τ(A)$ 是结合代数，因此 $Τ(A) \in \u03a4̅̄̌$。
• 在特征为 2 的情况下，若 $A$ 是反对称的且 $Τ(A) = 0$，则 $Τ(A)$ 同时是交错代数与结合代数，从而确保 $Τ(A) = Τ(A)$ 在 $Τ̅̄̌$ 中成立。
• $Τ(A)$ 对 $A$ 的作用在 $Τ̅̄̌$ 中为导出作用，当且仅当 $Τ(A) = 0$，这是 $Τ(A)$ 成为 $Τ̅̄̌$ 中自伴者的必要且充分条件。
• 对于特征为 2 的域上具有平凡零化子的反对称交错代数，$Τ(A)$ 同构于双乘法代数 $Τ̅̄̌_{Τ̅̄̌}(A)$，因此 $Τ(A) = Τ(A)$。
• 将 $Τ(A)$ 构造为通用严格一般自伴者，确保 $Τ(A) \ltimes A \in \u03a4̅̄̌$ 当且仅当 $Τ(A)$ 是 $Τ̅̄̌$ 中 $A$ 的自伴者，从而为自伴者存在性提供了范畴论准则。