Separable functors and firm modules

技術的概要：分離可能関手とファーム加群

問題提起
本論文は、単位的な設定から非単位的環の文脈へと、分離可能環拡大および分離可能関手という古典的な環論的概念の拡張を扱っている。分離可能拡大は単位的環に対してよく理解されており（それらはマシュケの定理と半単純性の継承に対する圏論的説明を提供する）、非単位的環に関する文献は乏しい。既存の結果はしばしば「十分な冪等元を持つ」環など、制限的な仮定に依存している。中心的な問題は、一般の非単位的環上の適切な加群の圏に対して、分離可能関手の機構を体系的に拡張できるかどうか、特に Quillen によって導入されたファーム加群の枠組みを利用することによって、それを決定することである。

方法論
著者パトリク・ルンドストロムは、ファーム加群の理論に基づいた圏論的アプローチを採用している。

1. 圏論的枠組み: 本論文は、任意の圏間の分離可能関手に関する体系的な記述から始まる。分離可能関手が極限、余極限、単射、全射、切断、再帰、および同型といった重要な構造的性質を反映することを証明する。決定的なことに、分離可能性が、部分対象/商の単純性、半単純性、および零対象の存在といった対象の性質を反映することを示す。
2. 加群の圏: 本研究は非単位的結合環に焦点を当てる。著者は、単位的、単位付き、s-単位的、およびファームという様々な加群のタイプを区別する。左 $A$-加群 $M$ がファームであるとは、乗法写像 $\mu_{A,M}: A \otimes_A M \to M$ が同型である場合をいう。本論文は、左 s-単位的環（すべての元 $m$ が $m \in Am$ を満たす）に対しては、単位付き、s-単位的、およびファーム加群の圏が一致することを明確にしている。
3. 関手的解析: 核心的な方法論は、環準同型 $f: B \to A$ に関連する制限関手 $\text{Res}_f: A\text{FMod} \to B\text{FMod}$ と誘導関手 $\text{Ind}_f: B\text{FMod} \to A\text{FMod}$ を解析することである。著者は、これらの関手が分離可能となる条件を調査し、関手の分離可能性を環拡大 $A/B$ の分離可能性と結びつけている。

主要な貢献と結果
本論文は、古典的定理のいくつかの非単位的アナログを確立している。

• 定理 3（主要同値）: $A$ をファーム環とし、$f: B \to A$ を左ファーム環準同型とする。拡大 $A/B$ が分離可能であることは、制限関手 $\text{Res}_f: A\text{FMod} \to B\text{FMod}$ が分離可能であることと同値である。これは、ナスタセスク、ヴァン・デン・ベルフ、およびヴァン・オイステヤエンによる古典的結果をファーム加群の設定に一般化したものである。
• 定理 4（半単純性の継承）: $A$ と $B$ が左 s-単位的環であり、$B$ が左半単純であり、かつ $f: B \to A$ が $A/B$ が分離可能となるような左 s-単位的準同型であるならば、$A$ は左半単純である。この結果は、分離可能関手がファーム加群の圏において半単純性を反映するという事実に依存している。
• 定理 5（群環の分離可能性）: $G$ を有限群とし、$B$ を $|G|B = B$ を満たす局所単位を持つ環とする。群環 $A = B[G]$ は $B$ 上の分離可能拡大を形成する。証明は、局所単位を用いて乗法写像に対する明示的な $A$-両側加群の分裂を構成する。
• 定理 6（局所単位的マシュケの定理）: 定理 4 と定理 5 を組み合わせることで、本論文は、$B$ が $|G|B = B$ を満たす局所単位を持つ半単純環であるならば、群環 $A = B[G]$ が半単純であることを証明する。これはマシュケの定理の局所単位的バージョンを提供する。
• 定理 45（遺伝的性質）: 本論文は、同様の分離可能性および保存条件の下で遺伝的性質が拡大によって継承されることを示し、その結果を遺伝的環に拡張する。

意義と主張
本論文は、「マシュケの定理の局所単位的バージョン」を提供し、古典的な半単純性の結果を広範な非単位的設定に拡張すると主張している。ファーム加群を利用することで、著者は「十分な冪等元を持つ」環を必要とした先行研究を一般化している。意義は、環と加群がファーム条件を満たす限り、分離可能環拡大と半単純性の継承との間の概念的なつながりが、大域単位が存在しない場合でも成り立つことを示す点にある。

著者は、非単位的環における分離可能性に関する結果は少ないが、この研究は分離可能性の関手的機構を適応させることでそのギャップを埋めると指摘している。結果は古典的定理の直接的なアナログとして提示されており、既知の結果（マシュケの定理など）を特殊な場合として回復しつつ、無限直和や局所構成から生じる環（非単位的代数では一般的だが大域単位を持たない）に適用されている。本論文は新しい実験的応用を提案するものではなく、むしろ非単位的文脈における半単純構造の研究のための理論的基盤を確立するものである。