Right representations of Novikov algebras

技術要約：Novikov代数の右表現

問題提起
本論文は、Novikov代数の構造論における欠落、すなわち右加群および右表現に関する発達した理論の不在に対処している。有限次元Novikov代数の理論（標数0および$p>0$の体における単純および半単純代数の分類を含む）や、単純代数上の双側加群の研究は、Zel'manov、Osborn、Xuらによって確立されているが、任意のNovikov代数に対する右表現および右加群という特定の概念については、これまで調査されていなかった。著者は、右表現論の基礎を確立し、既約表現を定義し、この文脈におけるJacobson根（Jacobson radical）を特徴付けることを目的としている。

方法論
研究は、標数が2ではない体$F$上で展開される。その手法は、以下の構造的アプローチに基づいている：

1. 右表現の定義： SlinkoおよびShestakovによる一般的な代数の多様性の枠組みに従い、著者は$R$-恒等式（右乗法作用素の恒等式）を通じて、右表現 $\rho: A \to \text{End}(V)$ を定義する。これにより、Novikov公理から導かれる特定の恒等式 $(ma)b = (mb)a$および$(m, a, b)c = (mc, a, b) = (m, ac, b)$を満たす右$A$-加群$M$の定義が導かれる。
2. 既約加群の分類： 論文では、結合的な場合と非結合的な場合を区別することで、既約加物を分析する。また、表現 $\rho$ の核に含まれる最大のイデアルとして定義される準核（quasi-kernel） $K_\rho(A)$ の概念を利用する。
3. モジュラーイデアル： 著者は、右モジュラーイデアルの概念を導入する。右イデアル $I \neq A$ がモジュラーであるとは、以下のいずれかの場合を指す：
   • 非結合的な場合、すべての $a \in A$ に対して $a - (a, e, f) \in I$ となるような $e, f \in A$ が存在する場合。
   • 結合的な場合、$I$ が二側面イデアルであり、$A/I$ が単位元を持つ可換代数である場合。
4. 根理論： 著者は、既約加群を持たないNovikov代数からなる根類 $\mathcal{J}$ を定義するために、Kurosh-Amitsur根理論の枠組みを採用する。

主要な貢献と結果

• 既約表現の記述：
  本論文は、Novikov代数 $A$ のすべての既約右表現が、極大右モジュラーイデアル $I$ による商加群 $A/I$ に同型であることを証明している。具体的には以下の通りである：

  • 加群が結合的である場合、$I$ は極大二側面イデアルであり、$A/I$ は体となる。
  • 加群が非結合的である場合、$I$ は極大右イデアルであり、すべての $a \in A$ に対して $a - (a, e, f) \in I$ となるような要素 $e, f \in A$ が存在する。
  • 論文では、Osbornの研究に基づく例を挙げ、非結合的な既約加群を持つ有限次元単純Novikov代数の存在を示し、その構造が結合代数や代替代数とは大きく異なることを実証している。

• Jacobson根（Jacobson radical）：
  著者は、Novikov代数のJacobson根 $J(A)$ を、既約右表現を持たない代数のクラス $\mathcal{J}$ として定義する。

  • 定理： クラス $\mathcal{J}$ は（準同型像、拡大、および鎖の和に関する条件を満たす）根類である。
  • 特徴付け： Jacobson根 $J(A)$ は、すべての既約表現の準核の共通部分であることが証明されている。
  • 古典的なケースとの相違： 論文では、結合代数とは異なり、既約表現の（準核ではなく）核の共通部分は必ずしもイデアルになるとは限らず、また必ずしも根と一致するわけではないことが指摘されている。

• 原始代数（Primitive Algebras）：
  Novikov代数は、零でない二側面イデアルを含まない極大モジュラー右イデアルを持つとき、原始的であると定義される。

  • 同値性： Novikov代数が原始的であるための必要十分条件は、それが**ほとんど忠実な（almost faithful）**既約表現（準核がゼロであるもの）を持つことである。
  • 構造： すべての原始的Novikov代数は素（prime）である。

• 根と原始イデアルの関係：
  論文は、Jacobson根が代数のすべての原始イデアルの共通部分であることを確立している。したがって、すべての$J$-半単純なNovikov代数は、原始代数の直積の部分代数となる。

• 継承的性質（Hereditary Property）：
  Novikov代数のJacobson根は継承的であることが証明されている。これは、任意のNovikov代数 $A$ とそのイデアル $I \subseteq A$ に対して、イデアルの根が代数の根とイデアルの共通部分に一致すること、すなわち $J(I) = J(A) \cap I$ であることを意味する。

• 有限次元の場合：
  有限次元Novikov代数において、Jacobson根は最大の可解イデアルと一致する。

意義と主張
本論文は、Novikov代数の右表現に関する初の体系的な研究を提供すると主張している。その主な意義は以下の点にある：

1. Novikov代数の構造論を加群論へと拡張し、特に、結合代数のモジュラーイデアルの定義とは異なる定義を必要とするNovikov多様体の非結合的な性質に対処したこと。
2. 単純な核ではなく、既約表現の準核の共通部分を通じて、Novikov代数のJacobson根の堅牢な定義を確立したこと。
3. 既約表現を持たない代数のクラスが継承的な根を形成することを証明し、Novikov代数をより広いKurosh-Amitsur根理論の枠組みに統合したこと。
4. 原始性とほとんど忠実な既約表現の存在との関係を明確にしたこと。これは、古典的な結合代数理論の結果をNovikov多様性に適応させたものである。

著者は、これらの結果が直ちにすべての構造的問題を解決するものではないこと、また、左表現には適用されない可能性があること（Novikov多様体には反イソモルフィズムによる閉性が欠けているため）を明示している。本研究は、Novikov代数の表現論における基礎的な一歩として提示されている。