[論文レビュー] Some aspects of profinite group theory

Dan Segal|ArXiv.org|Mar 29, 2007

Finite Group Theory Research参考文献 49被引用数 3

ひとこと要約

この論文は、有限群論および無限群論の両方の分野としてのプロフィニート群論を、またその方法論的応用として探求する。主に有限群の逆極限としての位相的構造を用いて一様性を研究する。主な結果には、Zelmanovによるプロ-p群に対するGolod–Shafarevich定理の一般化と、算術群における合同部分群問題への応用が含まれる。

ABSTRACT

A survey of recent results about profinite groups, and results about infinite and finite groups where the theory of profinite groups plays a leading role.

研究の動機と目的

• 逆極限と位相的構造を用いて、プロフィニート群論を有限群および無限群を研究する強力な道具として確立すること。
• 特に群の生成と表示の文脈において、有限群のそのプロフィニート完備化を通じて一様性を示す性質を調査すること。
• 特にSL₂(ℂ)格子において、算術群における合同部分群性質をプロフィニート的手法を用いて分析すること。
• Golod–Shafarevichのような古典的群論的定理を、特にプロ-p群に対してプロフィニート設定へと拡張すること。
• 一般化自由積および抽象群構造への応用を含む、プロフィニート木の理論を探索すること。

提案手法

• 有限群の全射逆系を用いて逆極限を構成し、コンパクトかつハウスドルフな位相的群としてプロフィニート群を構成する。
• ティコノフの定理を適用して逆極限にコンパクト位相を導入し、開正規部分群が近傍基底をなすように、プロフィニート群を構成する。
• 特にプロ-p群を含むプロ-𝒞群の概念を応用し、一様な生成と表示の性質を研究する。
• 関係モジュール $ N/[N,N] $ を用いてプロフィニート表示を分析し、抽象的表示に比べて必要な関係数を削減する。
• プロフィニート群に適応されたバース＝セール理論（特にプロフィニート木への作用を含む）を用いて、一般化自由積を研究する。
• Zelmanovの最小プロ-p表示に関する定理を応用し、生成元に対する関係数の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてプロフィニート群が逆極限を通じて有限群族を統合的に研究する枠組みとして機能できるか？
• RQ2 プロフィニート群が位相的群として有限生成であるための条件は何か？ また、その有限商群の一様生成性とどのように関係するか？
• RQ3 算術群が合同部分群性質を満たさない条件は何か？ そして、プロフィニート手法を用いてその欠落を検出できるか？
• RQ4 有限単純群のプロフィニート表示に必要な最小関係数は何か？ また、抽象的表示と比較するとどうなるか？
• RQ5 プロフィニート群がプロフィニート木に作用することは、古典的バース＝セール理論をどのように一般化し、抽象群の構造的洞察をもたらすか？

主な発見

• Zelmanovの定理により、非プロシクルで有限生成なプロ-p群は、最小表示において少なくとも $ |X|^2/4 $ 個の関係を持つ、または非アーベル自由プロ-p部分群を含む。
• すべての $ n $ および $ d $ に対して、位数 $ n $ の $ d $ 個の生成元からなる群の同型型の数は、$ f(n,d) o n^{2(d+1) ho(n)} $ で有界であり、これはプロフィニート表示を用いて得られる。ここで $ ho(n) = \text{ } n \text{ の素因数分解における指数の和} $ である。
• すべての $ \text{SL}_2(\bbC) $ の格子において、合同部分群性質は成立しない。これは $ d_p(\triangle) \to 4 $ を示すことで証明され、有限指数の可解部分群の存在を否定する。
• $ \text{SL}_2(\bbC) $ の格子の部分群成長は、任意の $ \rho > 0 $ に対して $ n^{(\text{log } n)^{2-\rho}} $ を超える。これは、合同部分群性質の著しい失敗を示している。
• 有限単純群のプロフィニート表示は、2つの生成元を用いて最大で $ 2\rho(n) $ 個の関係で可能であり、これは抽象的表示よりも効率的であることを示唆している。
• プロフィニート木の理論は、プロフィニート圏における一般化自由積およびHNN拡大の統合的枠組みを提供し、抽象的自由群およびその部分群への応用がある。