Globalization of Partial Group Actions on Not Necessarily Associative Algebras and Covariant Representations

1. 問題設定 (Problem)

背景:
部分群作用（Partial group actions）は、古典的な（大域的な）群作用の柔軟な一般化であり、群が数学的対象の「一部」のみに対して作用することを許容します。これまでに、多様体、位相空間、$C^*$-代数、半束（semilattices）など、様々な文脈における部分作用の「グローバル化（globalization）」（すなわち、部分作用が大域作用の制限として得られるように拡張すること）が研究されてきました。特に、結合的単位元を持つ代数におけるグローバル化は既知ですが、**非結合代数（non-associative algebras）**の文脈、特に任意の多様体（variety）$V(I)$ に属する代数に対する部分作用のグローバル化は未解決でした。

課題:

1. 非結合代数（リー代数、ジョルダン代数、代替代数など）における部分群作用の定義と、そのグローバル化の存在証明。
2. 部分表現（partial representations）から誘導される部分作用のグローバル化と、より一般的な「一般化された部分作用（generalized partial actions、像がイデアルである必要がない場合）」のグローバル化の統一的理解。
3. 部分共変表現（covariant representations）の概念を非結合代数に拡張し、グローバル化プロセスの関手的（functorial）性質を明らかにすること。
4. リー代数の半直積（semidirect products）との相互作用におけるグローバル化の振る舞いの検証。

2. 手法とアプローチ (Methodology)

著者らは、**「$\Lambda$-構成（$\Lambda$-construction）」**と呼ばれる構成法を中核的なツールとして用いています。これは、モジュール上の部分作用のグローバル化のために以前に提案された手法（文献 [31]）を、非結合代数の枠組みへと拡張・応用したものです。

主要な手法:

• $\Lambda$-構成の代数への適用:
  部分作用 $\alpha: G \curvearrowright A$ が与えられたとき、$K$-加群 $KG \otimes A$ を基底とし、特定の関係式 $\{g \otimes \alpha_h(a) - gh \otimes a\}$ による商をとることで、新しい加群 $\Lambda(A)$ を構成します。
• 代数構造の定義:
  非結合代数 $A$ に対して、$\Lambda(A)$ 上に自然な積を定義します。特に、理想部分表現（ideal partial representation）の場合、積は $\lfloor g, a \rfloor \cdot \lfloor h, b \rfloor = \lfloor g, a \pi_{g^{-1}h}(b) \rfloor$ のように定義され、これが $V(I)$ の多様体条件を満たすことを示します。
• 普遍性（Universal Property）の証明:
  構成された $\Lambda(A)$ が、与えられた部分作用の「普遍的大域作用（universal global action）」または「グローバル化」として機能することを、圏論的な普遍性（universal property）を用いて証明します。
• 共変表現の圏と随伴関手:
  部分共変表現の圏と、その「拡大（dilation）」された大域共変表現の圏を定義し、$\Lambda$ 構成がこれらの圏の間の随伴関手（adjoint pair）を誘導することを示します。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 非結合代数における部分作用のグローバル化

• 理想部分表現の場合:
  代数 $A \in V(I)$ 上の理想部分表現（像が両側イデアルである部分表現）$\pi$ が与えられたとき、$\Lambda(A)$ は $V(I)$ に属する非結合代数となり、$\pi$ によって誘導される部分作用の普遍グローバル化となります（定理 2.6）。これは、結合的単位元を持つ代数における既知の結果（文献 [20]）を非結合代数の広範なクラス（リー代数、ジョルダン代数など）に一般化したものです。
• 一般化された部分作用の場合:
  像がイデアルである必要のない一般化された部分作用に対しても、自由代数 $F_I(\Lambda(A))$ を用いた構成 $\Omega(A)$ によって、普遍的大域作用が存在することを証明しました（定理 2.14）。さらに、部分表現から誘導される一般化された部分作用に対して、この $\Omega(A)$ が実際にグローバル化（埋め込みが同型を誘導し、全体を生成する）となることを示しました（補題 2.16）。

B. 共変表現と拡大（Dilations）

• 部分共変表現の定義:
  非結合代数（結合的またはリー代数）上の部分表現 $\lambda$ に対する共変表現の概念を定義しました。
• $\Lambda$ 構成による持ち上げ:
  部分共変表現 $(\pi, M)$ に対して、$\Lambda$ 構成を適用することで、大域共変表現 $(\Lambda(\pi), \Lambda(M))$ を得ることができます。
• 随伴関係の確立:
  「拡大された共変表現（dilated covariant representations）」の圏 $\text{Dil}_\lambda(A)$ と、元の部分共変表現の圏 $\text{CovRep}_\lambda(A)$ の間に、$\Lambda$ 構成が左随伴関手となり、制限関手 $F$ が右随伴関手となる**随伴対（adjoint pair）**が存在することを証明しました（定理 3.9）。これは、グローバル化が表現のレベルで普遍性を満たすことを意味します。

C. リー代数の半直積との整合性

• リー代数 $L$ が $M$ に導分（derivations）として作用し、$G$ の部分表現の組 $(\lambda, \pi)$ が共変表現をなすとき、$\Lambda$ 構成は半直積と可換であることを示しました。
• 具体的には、$\Lambda(L \ltimes M) \cong \Lambda(L) \ltimes \Lambda(M)$ という同型が成り立ち、誘導される群作用も自然同型となります（定理 4.2）。これは、複雑な代数構造を持つ対象に対するグローバル化が、構成要素のグローバル化から自然に構築できることを示しています。

4. 意義と結論 (Significance)

この論文の意義は以下の点に集約されます：

1. 理論的枠組みの拡張:
   部分群作用の理論を、結合的代数から非結合代数（特に多様体 $V(I)$ に属する代数）へと体系的に拡張しました。これにより、リー代数やジョルダン代数など、物理や幾何学で重要な非結合構造に対する対称性の解析が可能になりました。
2. 統一された構成法の提示:
   「$\Lambda$-構成」という単一の強力な手法を用いることで、部分作用のグローバル化、部分表現のグローバル化、そして共変表現の拡大を統一的に扱えることを示しました。
3. 圏論的洞察:
   グローバル化プロセスが単なる構成ではなく、圏論的な随伴関係を通じて表現のレベルで普遍性を満たすことを明らかにしました。これは、部分作用を扱う際の「拡大（dilation）」の概念を厳密に定式化し、その性質を解明するものです。
4. 応用可能性:
   リー代数の半直積との整合性は、より複雑な対称性構造（例えば、ゲージ理論や積分可能系における対称性）を部分作用の文脈で研究する際の基礎を提供します。

総じて、この論文は非結合代数における部分対称性の理論を確立し、そのグローバル化と表現論を包括的に扱うための堅固な数学的基盤を提供した画期的な研究です。