Right representations of Novikov algebras

技术摘要：Novikov 代数的右表示

问题陈述
本文旨在解决 Novikov 代数结构理论中的一个空白：即关于右模和右表示的理论体系尚未建立。虽然有限维 Novikov 代数的理论（包括在特征为 0 和 $p>0$ 的域上的单代数及半单代数的分类）以及关于单代数的双模研究已由 Zel'manov、Osborn 和 Xu 等学者确立，但针对任意 Novikov 代数的右表示和右模的具体概念此前从未被研究过。作者旨在建立右表示理论的基础，定义不可约表示，并在该语境下刻画 Jacobson 根。

研究方法
本研究是在特征不为 2 的域 $F$ 上进行的。研究方法依赖于以下结构化路径：

1. 右表示的定义： 遵循 Slinko 和 Shestakov 对一般代数变体的框架，作者通过 $R$-恒等式（右乘算子的恒等式）定义了右表示 $\rho: A \to \text{End}(V)$。由此导出了满足特定恒等式的右 $A$-模 $M$ 的定义，这些恒等式源自 Novikov 公理：$(ma)b = (mb)a$以及$(m, a, b)c = (mc, a, b) = (m, ac, b)$。
2. 不可约模的分类： 本文通过区分结合情形与非结合情形来分析不可约模。文中利用了拟核（quasi-kernel）$K_\rho(A)$ 的概念，其定义为包含在表示 $\rho$ 的核中的最大理想。
3. 模理想： 作者引入了右模理想的概念。一个右理想 $I \neq A$ 是模理想，若满足以下条件之一：
   • 存在元素 $e, f \in A$，使得对于所有 $a \in A$，都有 $a - (a, e, f) \in I$（非结合情形）；或
   • $I$ 是一个双侧理想，且 $A/I$ 是一个具有单位元的交换代数（结合情形）。
4. 根理论： 本文采用 Kurosh-Amitsur 根理论框架，定义了一个由不具备不可约模的 Novikov 代数组成的根类 $\mathcal{J}$。

主要贡献与结果

• 不可约表示的描述：
  本文证明了每个 Novikov 代数 $A$ 的不可约右表示都同构于商模 $A/I$，其中 $I$ 是一个极大右模理想。具体而言：

  • 如果模是结合的，则 $I$ 是一个极大双侧理想，且 $A/I$ 是一个域。
  • 如果模是非结合的，则 $I$ 是一个极大右理想，且存在元素 $e, f \in A$，使得对于所有 $a \in A$，都有 $a - (a, e, f) \in I$。
  • 文中提供了一个基于 Osborn 研究的示例，展示了一个拥有非结合不可约模的有限维单 Novikov 代数，证明其结构与结合或交替代数有显著不同。

• Jacobson 根：
  作者将 Novikov 代数的 Jacobson 根 $J(A)$ 定义为不具备不可约表示的代数类 $\mathcal{J}$。

  • 定理： 类 $\mathcal{J}$ 是一个根类（满足同态像、扩张和链的并集的条件）。
    反向特征：
  • 特征化： $J(A)$ 被证明是 $A$ 所有不可约表示的拟核的交集。
  • 与经典情形的区别： 文中指出，与结合代数不同，不可约表示的核（而非拟核）的交集不一定是理想，也不一定与根一致。

• 本原代数：
  如果一个 Novikov 代数拥有一个不包含非零双侧理想的极大模右理想，则称该代数为本原的。

  • 等价性： 一个 Novikov 代数是本原的，当且仅当它拥有一个几乎忠实的不可约表示（其拟核为零）。
  • 结构： 每个本原 Novikov 代数都是素的。

• 根与本原理想之间的关系：
  本文确立了 Jacobson 根是所有本原理想的交集。因此，每个 $J$-半单 Novikov 代数都是本原代数的直和子积。

• 遗传性质：
  本文证明了 Novikov 代数的 Jacobson 根是遗传的。这意味着对于任何 Novikov 代数 $A$ 及其理想 $I \subseteq A$，该理想的根等于该代数根与该理想的交集：$J(I) = J(A) \cap I$。

• 有限维情形：
  对于有限维 Novikov 代数，其 Jacobson 根与最大的可解理想一致。

意义与主张
本文声称提供了对 Novikov 代数右表示的首次系统性研究。其主要意义在于：

1. 将 Novikov 代数的结构理论扩展到了模理论，特别是针对这些代数的非结合性质，这种性质要求必须与结合代数不同地定义模理想。
2. 通过不可约表示的拟核交集，建立了 Novikov 代数稳健的 Jacobson 根定义，而非简单的核。
3. 证明了不具备不可约表示的代数类构成一个遗传根，从而将 Novikov 代数整合进更广泛的 Kurosh-Amitsur 根理论框架中。
4. 澄清了本原性与几乎忠实不可约表示的存在性之间的关系，这与结合代数理论中的经典结果类似，但针对 Novikov 变体进行了调整。

作者明确指出，这些结果并不意味着立即解决了所有的结构性问题，也不适用于左表示（由于 Novikov 变体缺乏反同构封闭性，左表示可能有所不同）。这项工作被呈现为 Novikov 代数表示论的基础性步骤。