Separability for relative extensions of object unital strongly groupoid graded rings

技術的サマリー：オブジェクト単位的強群圏付環の相対拡張の分離性

問題の定義
本論文は、群圏 $\Gamma$ によって付された環 $R$ と、その広範な部分群圏 $\Delta \subseteq \Gamma$ に対応する部分環 $R_\Delta$ である相対環拡張 $R/R_\Delta$ の分離性を特徴づける問題に取り組む。行列環、群付環、および基底環 $R_0$ 上の群圏付環といった特定のケースにおける分離性の条件は、DeMeyer-Ingraham、Năstăsescu、Van den Bergh、Van Oystaeyen などの文献において確立されているが、一般的な群圏付の文脈における相対的拡張の統一的枠組みは欠けていた。具体的には、著者らは、群構造によって自然に誘導されない付与がなされるケースに対処しつつ、群付環に関する既存の定理をより広範な群圏付環の文脈へ一般化することを目的としている。

手法
著者らは、分離可能関手理論と十分な冪等元を持つ環の構造を活用する、圏論的かつ代数的なアプローチを採用している。

1. 枠組み: 環 $R$ は、オブジェクト単位的（各成分環 $R_e$ が $e \in \Gamma_0$ に対して単位的である）であり、群圏 $\Gamma$ によって強く付されていると仮定される。部分環 $R_\Delta$ は、広範な部分群圏 $\Delta$ によって定義される。
2. 関手的アプローチ: 拡張 $R/R_\Delta$ の分離性は、制限関手 $\text{Res}_{R/R_\Delta}: R\text{UMod} \to R_\Delta\text{UMod}$ と誘導関手 $\text{Ind}_{R/R_\Delta}$ の分離性に関連付けられる。著者らは、十分な冪等元を持つ環の分離性に関する先行研究 [2] の主要な結果（定理 11）を活用する。
3. トレース写像と同値関係:
   • 著者らは、$\Lambda = \text{Iso}(\Delta)$ を $\Delta$ の等方群圏として、$\Gamma$ の右 $\Lambda$-同値類の代表系 $T$ を定義する。
   • これらの代表元上で和を取り、強付性から導かれる加法写像 $\gamma_\sigma$ を利用することで、相対トレース写像 $\text{tr}^e_{\Gamma/\Delta}: R \to R$ を構成する。
   • 中心化環 $C_{R_0}(R_\Lambda)$ と、これらの元に対するトレース写像の挙動を分析する。
4. 還元: 問題は群圏の連結成分へと還元される。著者らは、大域的拡張の分離性が、連結成分 $\Gamma_e$ に制限された拡張の分離性と同等であることを示す。

主要な貢献と結果

• 主要定理（定理 5/31）: 本論文は、$R/R_\Delta$ の分離性に対する必要十分条件を確立する。具体的には、$R/R_\Delta$ が分離可能であるための必要十分条件は、各対象 $e \in \Gamma_0$ に対して、連結成分 $[e]$ 内の対象 $f$ と、元 $r \in C_{R_0}(R_\Lambda)$ が存在し、相対トレース $\text{tr}^f_{\Gamma/\Delta}(r) = 1_{R_f}$ となることである。

  • この結果は、同時に以下の定理を一般化する：
    • 行列環および群環に関する定理（DeMeyer-Ingraham）。
    • 強群付環に関する定理（Năstăsescu、Van den Bergh、Van Oystaeyen）。
    • 群付環の相対拡張に関する定理（Theohari-Apostolidi、Vavatsoulas）。
    • $R_0$ 上の群圏付環に関する定理（Cala、Lundström、Pinedo）。

• 先行文献の修正: 著者らは、[18]（Theohari-Apostolidi および Vavatsoulas）の定理 2.1 の証明における欠陥を特定し、それを埋める。彼らは、群付ケース $R/R_H$ における分離性の条件において、元 $r$ がより大きな中心 $Z(R_H)$ ではなく、中心化環 $C_{R_e}(R_H)$ に属する必要があることを示し、この強化された条件に対する厳密な証明を提供する。

• 正規部分群圏の場合（第 4 節）: $\Delta$ が $\Gamma$ の正規部分群圏である場合、著者らはより具体的な特徴づけ（定理 38）を提供する。この場合、分離性が成り立つための必要十分条件は、各 $e$ に対して指数 $[\Gamma(e) : \Delta(e)]$ が有限であり、かつ中心化環 $C_{R_e}(R_{\Delta(e)})$ にトレースが恒等写像に等しい元が存在することである。

• オブジェクト交叉積への応用（第 5 節）: 主要定理は、オブジェクト交叉積 $R = A \rtimes^\alpha_\beta \Gamma$ に適用される。

  • 著者らは、固定点部分環 $Z(A_e)^{\Delta(e)}$ と、これらの部分環上で定義された相対トレース写像を含む具体的な分離性基準を導き出す。
  • オブジェクトねじれた群圏環: $B \rtimes_\beta \Gamma$ の形の環について、分離性は、基底環 $B$ における指数 $[\Gamma(e) : \Delta(e)]$ の有限性と可逆性によって特徴づけられる。
  • 無限体拡大: 本論文は、これらの結果を無限分離可能体拡大によって定義された交叉積に適用する。そのような拡張が分離可能であるための必要十分条件は、安定化部分群の指数が有限であるような共役体 $L_i$ が存在することであることを証明する。これは、古典的な群圏環および行列環に関する先行結果を回復し、一般化するものである。

重要性
本論文は、環論における多様な結果を包含する統一的な理論的枠組みを提供することにより、重要性を主張する。群付から群圏付へ、そして絶対的拡張（$R/R_0$）から相対的拡張（$R/R_\Delta$）へと一般化することで、著者らは、群によって自然に付与できない複雑な代数的構造（特定の行列環や交叉積など）における分離性を分析するための包括的なツールを提供する。[18] の欠陥の修正は、群付環における分離性の理論的基盤をさらに確かなものにする。無限体拡大への応用は、古典的な群論的手法が不十分または直接的でない可能性のある構造を扱う際における、群圏アプローチの実用性を示している。