[論文レビュー] The space of closed subgroups of $R^n$

Benoît Kloeckner|ArXiv.org|Dec 11, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 6

ひとこと要約

この論文は、$ℝ^n$ の閉部分群のチャバウルト空間を調査し、$n \geq 2$ のとき、それがゴレスキー＝マクファーソンの局所的分割を備え、擬多様体であることを示している。局所化定理と局所構造の位相的解析を用いて、著者たちはすべての $n$ に対してその空間が単連結であることを証明し、ハッバーク＝パウレッツァの定理（$ℝ^2$ の $ℝ(ℝ^2)$ がトレフォイル結び目を含む4次元球面であることを記述する）に対して、Seifert フibration を用いた新しい証明を提供している。

ABSTRACT

The Chabauty space of a topological group is the set of its closed subgroups, endowed with a natural topology. As soon as $n>2$, the Chabauty space of $R^n$ has a rather intricate topology and is not a manifold. By an investigation of its local structure, we fit it into a wider, but too wild, class of topological spaces (namely Goresky-MacPherson stratified spaces). Thanks to a localization theorem, this local study also leads to the main result of this article: the Chabauty space of $R^n$ is simply connected for all $n$. Last, we give an alternative proof of the Hubbard-Pourezza Theorem, which describes the Chabauty space of $R^2$.

研究の動機と目的

• $n > 2$ のとき、あまり理解されていない $ℝ^n$ のチャバウルト空間 $\mathscr{C}(\mathbb{R}^n)$ の大域的および局所的位相を理解すること。
• $n > 2$ のとき多様体でないにもかかわらず、$ℝ^n$ のチャバウルト空間 $ℝ(ℝ^n)$ がゴレスキー＝マクファーソンの局所的分割空間の枠組みに適合することを示すこと。
• $ℝ(ℝ^n)$ の基本群を確立し、すべての $n$ に対して単連結であることを証明すること。
• ハッバーク＝パウレッツァの定理（$ℝ(ℝ^2)$ がトレフォイル結び目を除いた4次元球面として記述されること）に対する代替的で、Seifert フibration を用いた証明を提供すること。

提案手法

• 局所化定理を用いて、$ℝ(ℝ^n)$ の局所的位相を分析し、その局所的分割構造を理解すること。
• 最大ランク部分群の開かつ稠密で可縮な部分集合 $ℝ_m$ が $ℝ(ℝ^n)$ において codimension $n$ をもつという事実を用いて、位相的性質を導出すること。
• $ℝ^1$（ランク1部分群の空間）に Seifert フibration を構成し、$ℝ(ℝ^2)$ の位相をモデル化すること。
• 識別 $\mathop{\mathrm{SL}}\nolimits(2;\mathbb{R})/\mathop{\mathrm{SL}}\nolimits(2;\mathbb{Z}) \cong S^3 \setminus K$ を用いて、ファイブレーションを $S^3 \setminus K$ にマッピングすること。ここで $K$ はトレフォイル結び目である。
• $\mathscr{C}^1 \setminus \mathscr{Z}^1$ と $\mathop{\mathrm{SL}}\nolimits(2;\mathbb{R})/\mathop{\mathrm{SL}}\nolimits(2;\mathbb{Z})$ の間のホメオモーフィズムを用いて、位相的不変量を導出すること。
• Seifert フibration が非正規化された不変量 $(0|(3,2),(2,-1))$ と有理数オイラー数 $1/6$ をもつことを確立し、ファイブレーション構造を確認すること。

実験結果

リサーチクエスチョン

• RQ1 チャバウルト空間 $\mathscr{C}(\mathbb{R}^n)$ はゴレスキー＝マクファーソンの意味で局所的分割されているか？ そして、これはそれが三角形分割可能であることを示唆するか？
• RQ2 $\mathscr{C}(\mathbb{R}^n)$ に代数的多様体の構造を導入できるか？
• RQ3 $\mathscr{C}(\mathbb{R}^n)$ の交差ホモロジーは何か？
• RQ4 $\mathscr{C}(\mathbb{R}^3)$ は明示的に記述できるか？ 特に、単位ノルム部分群の集合 $L^3(0)$ は？

主な発見

• すべての $n$ に対して、チャバウルト空間 $\mathscr{C}(\mathbb{R}^n)$ はゴレスキー＝マクファーソンの局所的分割を備え、$n \geq 2$ のとき擬多様体である。
• 最大ランク部分群の軌道の可縮性と codimension の議論を用いて、すべての $n$ に対して $ℝ(ℝ^n)$ が単連結であることが確立された。
• ハッバーク＝パウレッツァの定理は Seifert フibration を用いて再証明され、$ℝ(ℝ^2)$ が $(S^3, K)$ のサスペンションにホメオモーフィックであることが示された。ここで $K$ はトレフォイル結び目である。
• 同相 $\mathop{\mathrm{SL}}\nolimits(2;\mathbb{R})/\mathop{\mathrm{SL}}\nolimits(2;\mathbb{Z}) \cong S^3 \setminus K$ が確認され、結び目の補空間構造が裏付けられた。
• Seifert フibration は非正規化不変量 $(0|(3,2),(2,-1))$ と有理数オイラー数 $1/6$ をもち、結び目補空間へのファイブレーション構造と整合的である。
• ファイブレーションにおける特異ファイバーの近傍の境界が、$3d_0 + 2\ell = x$ および $2d_1 - \ell = y$ に対応するミリディアンを与えることから、ファイブレーションの位相的型が確認された。