[論文レビュー] Linear groups - Malcev's theorem and Selberg's lemma

Bogdan Nica|arXiv (Cornell University)|Jun 10, 2013

Geometric and Algebraic Topology被引用数 11

ひとこと要約

本稿は、Malcevの定理（有限性の残渣的性）とSelbergの補題（有限生成線型群の仮想的ねじれ自由性）を統一的かつ簡潔に証明する。その根拠として、Platonovの定理を確立する。この定理は、標数0ではすべての素数 $p$ に対して（有限個の例外を除き）、標数 $p > 0$ ではその特徴の素数 $p$ に対して、有限生成線型群が仮想的 $p$-有限であることを示す。主な貢献は、$p$-進性質を通じて、残渣的有限性と仮想的ねじれ自由性の概念的関係を明確にすることにある。

ABSTRACT

An account of two fundamental facts concerning finitely generated linear groups: Malcev's theorem on residual finiteness, and Selberg's lemma on virtual torsion-freeness.

研究の動機と目的

• 有限生成線型群に対して、Malcevの定理とSelbergの補題を統一的かつ簡略化された証明を提供すること。
• 標数0ではすべての素数 $p$ に対して（有限個の例外を除き）、標数 $p > 0$ ではその特徴の素数 $p$ に対して、有限生成線型群が仮想的 $p$-有限であることを確立すること。
• 線型群における残渣的有限性、仮想的ねじれ自由性、$p$-進的残渣的性質の関係を明確にすること。
• Platonovの定理がMalcevの定理とSelbergの補題の系として包含されることを示すこと。
• 整域と正規化の役割に焦点を当て、これらの基礎的結果を自己完結的かつ理解しやすい形で提示すること。

提案手法

• 体上の有限生成代数の正規化定理を用い、環の有理化における代数的独立な元を構成することで、問題を $\mathbb{Z}[1/m]$ 上の部分環に還元する。
• 整域的上昇性質（整域的拡大において可逆元が基底環でも可逆である）を適用し、群が $p$-有限に残渣的である可能性がある素数の集合を制限する。
• $\mathrm{SL}_n(\mathbb{Z})$ および有限生成整域 $A$ に対する $\mathrm{E}_n(A)$ の構造を解析し、基本行列による生成とねじれ部分群の性質を調べる。
• $p$-標数の環 $A$ の加法群における $p$-ねじれが $\mathrm{GL}_n(A)$ に埋め込まれることを用い、$\ell \neq p$ に対しては仮想的 $\ell$-有限でないことを示し、結果の鋭さを証明する。
• 残渣的 $p$-有限性がねじれ元の位数が $p$-冪であることと同値であることを示し、異なる素数 $p$ と $q$ に対して仮想的 $p$-および $q$-有限性が成り立つならば仮想的ねじれ自由性が導かれる。
• 残渣的有限性が非自明な元を避ける有限指数部分群の存在と同値であることを利用し、Malcevの定理とSelbergの補題をPlatonovの定理から導出する。

実験結果

リサーチクエスチョン

• RQ1 有限生成線型群に対して、Malcevの定理（残渣的有限性）とSelbergの補題（仮想的ねじれ自由性）を、より一般な原理として統合する方法は何か？
• RQ2 有限生成線型群が仮想的 $p$-有限である範囲は、どの程度で、これは基礎体の標数にどのように依存するか？
• RQ3 なぜSelbergの補題は正標数で失敗するのか？また、$\ell \neq p$ に対して仮想的 $p$-有限でない原因となる構造的障害は何か？
• RQ4 既存の文献と比較して、Platonovの定理の証明を簡略化し、よりアクセスしやすくすることは可能か？
• RQ5 有限生成環上の線型群の代数的構造において、整域と正規化の役割は何か？

主な発見

• Platonovの定理により、標数0の体上の有限生成線型群は、すべての素数 $p$ に対して（有限個の例外を除き）仮想的 $p$-有限であることが示され、Malcevの定理とSelbergの補題はその系として包含される。
• 標数 $p > 0$ では、有限生成線型群は仮想的 $p$-有限であるが、他の任意の素数 $\ell$ に対してはそうではない。これは $\mathrm{GL}_n(A)$ に無限大の $p$-ねじれ部分群が存在するためである。
• $n \geq 3$ に対して $\mathrm{SL}_n(\mathbb{F}_p[t])$ は有限生成であり、仮想的 $p$-有限であるが、$\ell \neq p$ に対しては仮想的 $\ell$-有限でない。これは、「仮想的 $p$-有限」⇒「残渣的有限」の逆は成り立たないことを示している。
• $n \geq 3$ に対して $\mathrm{Aut}(F_n)$ は線型でないが、すべての素数 $p$ に対して仮想的 $p$-有限である。これは、仮想的 $p$-有限性が線型性を意味しないことを示している。
• 証明により、有限生成 $\mathbb{Z}$-代数 $A$ において素数 $p$ が可逆であるならば、$p$ は正規化パラメータの分母に割り込む必要があり、そのような素数の集合は固定された整数 $m$ の素因数に制限される。これにより、例外的集合の有限性が証明される。