[論文レビュー] Galois corings applied to partial Galois theory

S. Caenepeel, E. De Groot|ArXiv.org|Jun 9, 2004

Algebraic structures and combinatorial models参考文献 2被引用数 27

ひとこと要約

本稿は、Galoisコリングを用いて、部分的ガロア理論の非可換一般化を展開し、群の部分的作用が環上に誘導するコリング構造を確立するとともに、拡大が忠実平坦な部分的ガロア拡大であるための必要十分条件として、関連する標準的写像が同型であることを示している。主な貢献は、部分的ガロア拡大とコリング理論を統合する枠組みを提供し、モーリタの文脈とコリング同型を介して、非可換設定における古典的ガロア理論を拡張することにある。

ABSTRACT

Partial Galois extensions were recently introduced by Dokuchaev, Ferrero and Paques. We introduce partial Galois extensions for noncommutative rings, using the theory of Galois corings. We associate a Morita context to a partial action on a ring.

研究の動機と目的

• Galoisコリング理論を用いて、可換環に限らない部分的ガロア理論を拡張すること。
• 環上の部分的群作用と、イデアルの直和上のコリング構造との間の対応を確立すること。
• 標準的写像の同型性と忠実平坦性を用いて、部分的ガロア拡大を特徴付けること。
• 部分的作用からモーリタ文脈を構成し、その厳密性が部分的ガロア拡大を特徴付けること。
• コリング形式を用いて、部分的ガロア理論を既存のガロア理論（古典的および弱ホップガロア理論）と統一すること。

提案手法

• 有限群 $G$ による環 $A$ 上の部分的作用から、idempotent $e_\sigma$ を用いてコリング $\mathcal{C} = \bigoplus_{\sigma \in G} A e_\sigma $ を構成する。
• $\mathcal{C}$ 内の群的元 $x = \sum_{\sigma \in G} u_\sigma$ を定義し、$A$ に右 $\mathcal{C}$-コアクションを誘導させ、$A$ を右 $\mathcal{C}$-コモジュールとする。
• $B = A^{\mathrm{co}\mathcal{C}}$ として、標準的写像 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ を用いてガロア拡大を特徴付ける。
• $T = A^{\mathrm{co}\mathcal{C}}$ とし、モーリタ文脈 $ (T, {}^*\mathcal{C}, A, Q, \tau, \mu) $ を構成し、その厳密性とガロア性の関係を調べる。
• 標準的写像 $\mathrm{can}$ が同型であるための必要十分条件として、$A$ が $B = T$ 上で忠実平坦であること、およびモーリタ文脈が厳密であることの両立を証明する。
• $A$ と $Q = \mathrm{Hom}_A({}^*\mathcal{C}, A)$ 間の同型を用いて、モーリタ文脈の構造を $A$ 上に持ち運ぶ。

実験結果

リサーチクエスチョン

• RQ1 非可換環上での部分的群作用が、Galoisコリング構造を誘導するための条件は何か？
• RQ2 標準的写像 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ は、どのように部分的ガロア拡大を特徴付けるか？
• RQ3 部分的作用に関連するモーリタ文脈がいつ厳密になるのか？ そしてそのことは拡大にどのような意味を持つのか？
• RQ4 $A$ が不変環 $B = A^{\mathrm{co}\mathcal{C}}$ 上で忠実平坦であることと、標準的写像が同型であることは、どのように関係するか？
• RQ5 コリング理論的アプローチは、部分的ガロア理論を古典的および弱ホップガロア理論とどのように統一するのか？

主な発見

• 標準的写像 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ が同型であるための必要十分条件は、$A$ が左 $B$-加群として忠実平坦であることと、$\mathrm{can}$ が同型であることである。
• モーリタ文脈 $ (B, {}^*\mathcal{C}, A, A, \tau, \mu) $ が厳密であるための必要十分条件は、$B = T$ かつ標準的写像が同型であることである。
• 接続写像 $\tau: A \otimes_{{}^*\mathcal{C}} A \to T$ が全射であるための必要十分条件は、$\sum_{\sigma \in G} \alpha_\sigma(a e_{\sigma^{-1}}) = 1$ を満たす $a \in A$ が存在することである。
• $\mu: A \otimes_T A \to {}^*\mathcal{C}$ は $\mu(a \otimes b) = \sum_{\sigma \in G} u_\sigma \alpha_\sigma(a e_{\sigma^{-1}}) b$ で与えられ、$A$ 上の両側加群構造を定義する。
• $A$ と $Q = \mathrm{Hom}_A({}^*\mathcal{C}, A)$ 間の同型により、モーリタ文脈の構造を $A$ 上に持ち運ぶことができ、結果としてモーリタ文脈 $ (T, {}^*\mathcal{C}, A, A, \tau, \mu) $ が得られる。
• 定理3.6における4条件の同値性により、コリング同型、忠実平坦性、厳密なモーリタ文脈、および圏同値性を用いた部分的ガロア拡大の完全な特徴付けが確立された。