[論文レビュー] Dense Random Finitely Generated Subgroups of Lie Groups

J. Winkelmann|ArXiv.org|Sep 7, 2003

Geometry and complex manifolds参考文献 5被引用数 3

ひとこと要約

本稿は、次元 $n$ の任意の連結な実 Lie 群 $G$ に対して、恒等元の十分に小さな相対コンパクトな開近傍 $W$ から独立に $n+1$ 個の元を選ぶと、確率 1 で $G$ に稠密な部分群が生成されることを証明している。証明は Zassenhaus 近傍の性質、正則元の性質、および正規部分群による商の構造に依拠しており、やや強い位相的条件のもとで稠密な生成が一般に成立することを示している。

ABSTRACT

Let G be a connected real Lie group of dimension n. Then there exists a relatively compact open neighbourhood W of e in G such that for n+1 randomly chosen elements g_0,..,g_n the generated subgroup will be dense in G with probability one.

研究の動機と目的

• Lie 群からランダムに選ばれた元が稠密な部分群を生成するための条件を確立すること。
• 連結な実 Lie 群における稠密な部分群を生成するのに必要な最小の生成数を特定すること。
• Zassenhaus 近傍と正則元が稠密な生成を保証する役割を分析すること。
• 可解群、完全群、一般の Lie 群における結果を比較し、ランダム生成における構造的差異を強調すること。

提案手法

• 反復交換子が恒等元に収束するような、局所的な群の性質を保証する Zassenhaus 近傍（開かつ相対コンパクトな部分集合）を用いることで、確率的解析に適した局所的群の挙動を確保する。
• Lie 群における正則元の概念を適用する。正則元の補集合は Haar 測度 0 を占めるため、ランダム生成における病理的ケースを回避できる。
• 商による還元の議論を用いる：正規部分群 $N$ に関して、部分群の像が $G/N$ で稠密であり、かつ $N$ がその部分群に含まれるならば、その部分群は $G$ で稠密である。
• 連結 Lie 群 $G$ の正則元 $g$ が、ある連結な閉じた正規部分群 $H$ を含むならば、$G/H$ は可解群である、という事実を活用する。
• $\mathbb{R}^n$ 上の測度論的議論を用いて、$n+1$ 個のランダムに選ばれたベクトルが、その係数が $\mathbb{Q}$-線形独立であるならば、稠密な部分群を生成することを示す。
• Breuillard と Gelander の完全 Lie 群に関する結果を応用し、特に半単純群では（例：2 個の生成元で十分）少ない生成数で稠密な生成が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 連結な実 Lie 群において、ランダムに選ばれた元が稠密な部分群を生成するのに必要な最小の生成数は何か？
• RQ2 恒等元の近傍 $W$ に対して、$W$ 内の $n+1$ 個のランダムな元が確率 1 で稠密な部分群を生成するための条件は何か？
• RQ3 正則元と Zassenhaus 近傍の性質が、稠密な部分群の一般性にどのように寄与しているか？
• RQ4 $n+1$ が一般の Lie 群において最適な生成数である理由は何か？また、可解群や完全群などの特殊クラスでは改善可能か？
• RQ5 特定の Lie 群では $n+1$ 個未満の元で稠密な部分群を生成可能か？その場合、どのような構造的条件が必要か？

主な発見

• 任意の次元 $n$ の連結な実 Lie 群 $G$ に対して、恒等元の近傍 $W$ が存在し、$W$ から独立に $n+1$ 個の元を選ぶと、確率 1 で $G$ に稠密な部分群が生成される。
• この結果は、$(\mathbb{R}^n, +)$ において $n+1$ 個の生成子が必要であるという点で最適であり、$n+1$ 未満の元では稠密な部分群を生成できない。
• 近傍 $W$ は Zassenhaus 近傍として取れるが、すべての相対コンパクトな開近傍が十分ではない。$n$ 個のランダムな元が正の確率で稠密な部分群を生成しない反例が存在する。
• 可解 Lie 群では、稠密な生成に必要な生成数は $\dim G + 1$ よりも少ない場合があり、一部のケースでは $k < \dim G + 1$ の生成元による部分群は、確率 1 で稠密でもなく離散でもない。
• 完全 Lie 群、特に半単純群では、少ない生成数で十分である。Breuillard と Gelander の結果により、2 個の生成元で十分であり、この場合 $n+1$ の境界はタイトではない。
• 稠密でない部分群を生成する組の集合は、$G^{n+1}$ 上で Haar 測度 0 を占めるため、与えられた条件下で稠密な生成は一般現象であることが確認された。