[論文レビュー] A Galois-Grothendieck-type correspondence for groupoid actions

Antonio Paques, Thaísa Tamusiunas|arXiv (Cornell University)|Dec 1, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 8

ひとこと要約

本稿は、可換環への群コアの作用に関するガロア＝グロタンディーク型の対応を確立し、群作用に限らない一般化された古典的ガロア理論を提示する。群コア $ G $ の広義部分群コアと、$ R $ が $ \beta $-ガロア拡大であるとき、$ K $ 上で分離的かつ $ \beta $-強であるような $ R $ の部分代数の間の一対一対応を証明する。これは、チェイス、ハリソン、ローゼンバーグの結果を、分離代数のための再定式化されたデデキンドの補題を用いて、群コアの設定へと拡張したものである。

ABSTRACT

In this paper we present a Galois-Grothendieck-type correspondence for groupoid actions. As an application a Galois-type correspondence is also given.

研究の動機と目的

• 群作用に対する古典的ガロア理論を、可換環への群コア作用へと一般化すること。
• $ \beta $-ガロア拡大の仮定の下で、$ G $-分裂集合と $ R $-分裂 $ K $-代数の間のカテゴリカル同値を確立すること。
• チェイス、ハリソン、ローゼンバーグのガロア対応を、群コア作用の設定に一般化すること。
• 拡大の成分 $ E_g $ が $ K $ 上で忠実であるための条件を提示し、対応の有効性を保証すること。

提案手法

• 分離 $ K $-代数のための、強く異なる $ K $-代数準同型および直交する冪等元を用いた、デデキンドの補題の再定式化を導入する。
• 集合および代数への群コア作用を定義し、$ R $ が $ R \otimes R $-加群として分離的であり、$ \beta $-ガロア座標系を持つという $ \beta $-ガロア拡大に注目する。
• $ T \mapsto R^\beta \otimes_K T $ という関手を用いて、有限 $ G $-分裂集合と $ R $-分裂 $ K $-代数の間のカテゴリカル同値を確立する。
• 商群コア $ G/H $ の構造を用いて、$ R $ の $ \beta $-強部分代数を分類し、$ R^{\beta_H} $ が $ G/H $ に対応することを示す。
• $ H $ が $ G $ の広義部分群コアであることと、$ R^{\beta_H} $ が分離的かつ $ \beta $-強であることの必要十分条件を、素イデアルにおける局域化におけるランクおよび冪等元の議論を用いて証明する。
• $ E_g $ が $ K $ 上で忠実であるための基準を提示し、$ E_g $ が忠実であることと、すべての $ h \in G $ に対して $ d(h^{\pm 1}) = d(g) $ または $ r(g) $ が成り立つこととが同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 群作用に対する古典的ガロア対応を、可換環への群コア作用へとどのように一般化できるか？
• RQ2 広義部分群コア $ H \subset G $ に対して、固定部分代数 $ R^{\beta_H} $ が分離的かつ $ \beta $-強であるための条件は何か？
• RQ3 $ \beta $-ガロア拡大の下で、$ G $-分裂集合と $ R $-分裂 $ K $-代数の間のカテゴリカル同値は何か？
• RQ4 $ R $ の成分 $ E_g $ が $ K $ 上で忠実であるための条件は何か？
• RQ5 分離代数のための再定式化されたデデキンドの補題は、群コア設定におけるガロア対応の構成をどのように支援するか？

主な発見

• $ R $ が $ K $ に対する $ \beta $-ガロア拡大であるという仮定の下で、広義部分群コア $ H \subset G $ と、$ K $-代数として分離的かつ $ \beta $-強であるような $ R $ の部分代数の間の一対一対応が確立される。
• この対応は、$ H \mapsto R^{\beta_H} $ という写像によって実現され、ここで $ R^{\beta_H} $ は $ H $ の作用による固定部分代数を表す。
• 各 $ g \in G $ に対して、$ (R^{\beta_H})_{\mathfrak{p}} $ の $ K_{\mathfrak{p}} $ 上のランクは、$ (G/H)_{g} $ の剰余類の数に等しく、これは strongly distinct な準同型の集合 $ V_g $ のサイズと一致する。
• この対応は完全にカテゴリカルである： $ R $ が $ K $ に対して $ \beta $-ガロアであるとき、有限 $ G $-分裂集合の圏と $ R $-分裂 $ K $-代数の圏は同値である。
• $ E_g $ が $ K $ 上で忠実であることは、$ E_g $ が忠実であることと、すべての $ h \in G $ に対して $ d(h^{\pm 1}) = d(g) $ または $ r(g) $ が成り立つことと同値である。
• 例から、$ R $ が $ K $ に対して $ \beta $-ガロアであっても、一部の $ E_g $ が忠実でない場合があることが示されるが、忠実性が成立しない限り、対応は成立しない。