On the representability of actions of unital algebras

技術的サマリー：単位的多元環の作用の表現可能性について

問題提起
本論文は、体上の単位的非結合多元環の文脈における内部作用の表現可能性を調査する。圏論的代数において、ある圏が作用表現可能であるとは、対象 $X$ 上の分裂拡大（または内部作用）の関手が、$[X]$ を「作用者（actor）」と呼ぶ対象とするホム関手 $\text{Hom}(-, [X])$ と自然同型であることをいう。この性質は、群（この場合 $[X] = \text{Aut}(X)$）やリー代数では成り立つが、可換結合多元環など、多くの非結合多元環の多様体では成り立たないことが知られている。

先行研究により、半アーベル圏（非単位的多元環を含む）の文脈では、作用表現可能性は極めて制限的な性質であり、本質的にアーベル代数とリー代数のみを特徴づけることが示されていた。著者らは、この制限が単位的多元環に注目した場合にも維持されるかどうかという問いに答える。具体的には、半アーベル圏とは異なり一般に点付きではない単位的多元環のイデアル的完全圏を調べ、乗法的単位元の存在が作用表現可能性を回復させるかどうかを決定する。

方法論
著者らは、圏論的代数と普遍代数の手法を組み合わせる：

1. イデアル的完全圏：彼らは G. Janelidze によって導入されたイデアル的完全圏の枠組みの中で作業する。これは半アーベル圏を一般化し、単位的環（$\text{Ring}$）や単位的可換環（$\text{CRing}$）のような点付きでない設定を含む。この文脈における作用表現可能性は、半アーベル切片圏 $(\mathcal{U} \downarrow 0)$ に対して相対的に定義される。
2. 外部弱作用者：作用アクセス可能な演算子論的非結合多元環の多様体に対して、著者らは外部弱作用者 $E(X)$ の構成を利用する。これは、多様体の定義方程式から導出された特定の恒等式（$\lambda/\mu$-規則）を満たす自己準同型の対から構成される部分多元環である。
3. 標準写像：中心的な道具は、要素 $x$ をその左乗算作用素と右乗算作用素 $(L_x, R_x)$ に写す標準的部分多元環準同型 $\text{Inn}: X \to E(X)$ である。
4. 単位閉多様体：解析の焦点は、代数に外部単位元を付加しても多様体への所属が保たれる単位閉多様体にある。これにより、著者らは単位的多元環の性質を、基礎となる非単位的多様体に関連付けることができる。

主要な貢献と結果

• 一般の単位的圏におけるアクセス可能性の欠如：本論文は、一般に単位的多元環の圏は、表現可能性よりも弱い条件である作用アクセス可能ですらないと示している。具体的には、命題 4.11 により、単位的可換多元環の圏（$\text{Com}_1$）と単位的非結合多元環の圏（$\text{Alg}_1$）が作用アクセス可能でないことが証明される。これは、分裂拡大が忠実な対象への準同型を持たないような、特定の 6 次元の単位的可換多元環を構成することで示される。

• 外部弱作用者による単位性の特性化：演算子論的、作用アクセス可能、かつ単位閉な多様体 $\mathcal{V}$ に対して、著者らは重要な同値性（定理 5.6）を証明する：$\mathcal{V}$ 内の任意の代数 $X$ について、標準写像 $\text{Inn}: X \to E(X)$ が同型であることと、$X$ が単位的代数であることは同値である。

  • $X$ が単位的である場合、$\text{Inn}$ の核（零化子）は自明であり、単位元の存在により外部弱作用者のすべての要素が単位元への作用によって一意に決定されるため、全射性が保証される。
  • $\text{Inn}$ が同型である場合、恒等対 $(\text{id}_X, \text{id}_X)$ の逆像は $X$ に対する乗法的単位元を提供する。

• 作用表現可能性に関する主要定理：中心的な結果（定理 5.7）は、$\mathcal{V}$ が演算子論的、作用アクセス可能、かつ単位閉な多様体であるならば、$\mathcal{V}$ 内の単位的多元環のイデアル的完全圏 $\mathcal{V}_1$ が作用表現可能であることを述べる。さらに、任意の単位的多元環 $X$ の作用者は $X$ 自身である。

  • これは、そのような多様体において、単位的多元環 $X$ の分裂拡大の関手が $X$ によって表現可能であることを意味する。
  • この結果は、単位的結合多元環、単位的可換結合多元環、単位的代替多元環、および標数 3 における単位的 Jacobi-Jordan 多元環に適用される。

• ポアソン代数への拡張：著者らはこれらの知見を単位的ポアソン代数（$\text{Pois}_1$）と単位的可換ポアソン代数（$\text{CPois}_1$）に拡張する。Orzech の興味ある圏に対する普遍厳密一般作用者（USGA）の明示的な構成を利用することで、これららの圏が作用表現可能であり、単位的ポアソン代数の作用者がその代数自身であることを証明する（定理 6.7 および 6.8）。

意義と主張
本論文は、非結合多元環における非単位的設定と単位的設定の間の顕著な対立を解決したと主張する。半アーベル（非単位的）設定における作用表現可能性は稀であり（本質的にリー代数に限られる）が、演算子論的、作用アクセス可能、単位閉な多様体において乗法的単位元を導入することは、この性質を普遍的に回復させる。

著者らは、これらの特定の多様体における単位的多元環にとって、「作用者」は双乗算子代数や導分代数のような複雑な外部対象ではなく、代数自身であると強調する。これは単位的多元環の作用の圏論的構造を単純化し、単位元の存在が分裂拡大と内部作用の振る舞いを根本的に変え、それらを直接的かつ内在的な方法で表現可能にすることを示唆している。また、この研究は、単位閉性質と$\lambda/\mu$-規則の存在をチェックすることによって、新しい多様体における作用表現可能性を検証する具体的な手法を提供する。