[論文レビュー] On the congruence kernel of isotropic groups over rings

Anastasia Stavrova|arXiv (Cornell University)|Apr 30, 2013

Advanced Algebra and Geometry参考文献 20被引用数 3

ひとこと要約

本稿は、連結ノエター環 $R$ 上の非退化単純連結簡約群 $G$ が、群型および環の性質にやや緩い条件を満たす場合、$E(R)$ のプロファイ近似における合同核の中心性を確立する。証明は、非退化群に対するシュタインバーグ群の構成と、局所的・グローバル的原理および在庫部分群の議論を用いて、プロファイ近似および合同近似におけるその挙動を分析することに依拠する。

ABSTRACT

Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the unipotent radicals of two opposite parabolic subgroups P^+ and P^- of G. Assume that 2 is invertible in R if G is of type B_n,C_n,F_4,G_2 and 3 is invertible in R if G is of type G_2. We prove that the congruence kernel of E(R), defined as the kernel of the natural homomorphism between the profinite completion of E(R) and the congruence completion of E(R) with respect to congruence subgroups of finite index, is central. In the course of the proof, we construct Steinberg groups associated to isotropic reductive groups and show that they are central extensions of E(R) if R is a local ring.

研究の動機と目的

• ス latter 群から非退化簡約群への合同核の中心性の拡張を図ること。
• 環の理論的条件がやや緩い場合に、$E(R)$ のプロファイ近似 $\widehat{E(R)}$ における $E(R)$ の合同核が中心的であることを確立すること。
• ラピンチューク＝ラピンチュークおよびカサボフ＝ニコロフの結果を、任意の連結ノエター環上、ランク $\geq 2$ の非退化群へ一般化すること。
• 局所環 $R$ に対して、非退化簡約群のシュタインバーグ群を構成し、$E(R)$ の中心的拡張であることを示すこと。
• 与えられた仮定のもとで、合同近似 $\overline{E(R)}$ が $\overline{G(R)}$ と一致することを示し、局所データによるグローバル解析を可能にすること。

提案手法

• 局所環上の非退化簡約群に付随するシュタインバーグ群を構成し、$E(R)$ の中心的拡張であることを示す。
• 環 $R$ の極大イデアル $m$ における $G$ の局所構造を用いて、$\hat{R}_m$-近似を通じて $\widehat{E(R)}$ および $\overline{E(R)}$ の近似を分析する。
• 局所からグローバルへの原理を適用し、局所近似 $\hat{\Gamma}_m$ によって生成される部分群 $\Delta$ を用いて、$E(R)$ の像が $\widehat{E(R)}$ に稠密であることを示す。
• 関係式 $\widehat{U_{(\delta)}(R)} \cong U_{(\delta)}(\hat{R})$ を用い、局所的単型部分群をプロファイ近似へ埋め込む。
• コンパクト集合 $S \subseteq \widehat{E(R)}$ から $E(\hat{R})$ への写像の全射性を用いて、$C \cap \Delta_m$ が $C$ に稠密であることを示す。
• すべての $\hat{\Gamma}_m$ が $\hat{\Gamma}_m'$ および $C \cap \Delta_m$ を中心化することに着目し、$\Delta$ が $\widehat{E(R)}$ に稠密であることから、核 $C$ が $\widehat{E(R)}$ で中心的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $G$ が連結ノエター環 $R$ 上の非退化単純連結簡約群であるとき、$E(R)$ の合同核はそのプロファイ近似 $\widehat{E(R)}$ において中心的か？
• RQ2 ス latter 群に対する中心性結果は、一般の環上、ランク $\geq 2$ の非退化群へ拡張可能か？
• RQ3 局所環上での非退化群に対して、シュタインバーグ群は $E(R)$ の構造に果たす役割は何か？
• RQ4 $G$ がランク $\geq 2$ の非退化群であるとき、$E(R)$ のプロファイ近似と合同近似はどのように関係するか？
• RQ5 $\overline{E(R)} = \overline{G(R)}$ が成り立つ条件は何か？ これにより、局所的解析に還元可能である。

主な発見

• 任意の連結ノエター環 $R$ およびランク $\geq 2$ の非退化単純連結簡約群 $G$ に対して、$\widehat{E(R)} \to \overline{E(R)}$ の核 $C = \ker$ は $\widehat{E(R)}$ で中心的である。
• 与えられた仮定のもとで、合同近似 $\overline{E(R)}$ は $\overline{G(R)}$ と一致し、局所データによるグローバル解析が可能である。
• 任意の局所環 $R$ に対して、$G$ に付随するシュタインバーグ群は $E(R)$ の中心的拡張であり、重要な構造的道具である。
• $\widehat{E(R)}$ に含まれる、局所近似 $\hat{\Gamma}_m$ によって生成される部分群 $\Delta$ は $\widehat{E(R)}$ に稠密であり、グローバルな中心性の議論を可能にする。
• $E(R)$ の像は、$\sum_{m} \hat{R}_m$ が $\hat{R}$ に稠密であることと、$\widehat{U_{(\delta)}(R)} \cong U_{(\delta)}(\hat{R})$ であることから、$\widehat{E(R)}$ に稠密である。
• $C$ はすべての $\hat{\Gamma}_m$ によって中心化され、これらが稠密な部分群を生成するので、$C$ は $\widehat{E(R)}$ で中心的である。