[论文解读] The space of closed subgroups of $R^n$

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

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

一句话总结

本文研究了 $\mathbb{R}^n$ 的闭子群的 Chabauty 空间，表明其具有 Goresky-MacPherson 分层结构，且当 $n \geq 2$ 时为伪流形。通过局部化定理和局部结构的拓扑分析，作者证明该空间对所有 $n$ 均是单连通的，并基于 Seifert 纤维丛给出了 Hubbard-Pourezza 定理的新证明，该定理描述 $\mathscr{C}(\mathbb{R}^2)$ 为去掉一个三叶结的 4-球面。

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$.

研究动机与目标

• 理解 Chabauty 空间 $\mathscr{C}(\mathbb{R}^n)$ 的整体与局部拓扑结构，该空间对 $n > 2$ 的情况尚不明确。
• 证明 $\mathscr{C}(\mathbb{R}^n)$ 尽管对 $n > 2$ 不是流形，但仍可纳入 Goresky-MacPherson 分层空间的框架。
• 确定 $\mathscr{C}(\mathbb{R}^n)$ 的基本群，证明其对所有 $n$ 均为单连通。
• 提供一种基于 Seifert 纤维丛的替代证明，以重新阐释 Hubbard-Pourezza 定理，即 $\mathscr{C}(\mathbb{R}^2)$ 同胚于去掉格点的 4-球面。

提出的方法

• 利用局部化定理分析 $\mathscr{C}(\mathbb{R}^n)$ 的局部拓扑，以理解其分层结构。
• 利用最大秩子群的开、稠密且可缩子集 $\mathscr{R}_m$ 在 $\mathscr{C}(\mathbb{R}^n)$ 中余维为 $n$ 的事实，推导其拓扑性质。
• 在空间 $\mathscr{C}^1$（即秩-1 子群空间）上构造 Seifert 纤维丛，以模拟 $\mathscr{C}(\mathbb{R}^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 纤维丛的未归一化不变量为 $(0|(3,2),(2,-1))$ 且有理欧拉数为 $1/6$，从而确认纤维丛的结构。

实验结果

研究问题

• RQ1 Chabauty 空间 $\mathscr{C}(\mathbb{R}^n)$ 是否在 Goresky-MacPherson 意义下分层，这是否意味着它可以被三角剖分？
• RQ2 $\mathscr{C}(\mathbb{R}^n)$ 是否可赋予代数簇结构？
• RQ3 $\mathscr{C}(\mathbb{R}^n)$ 的交化解是什么？
• RQ4 $\mathscr{C}(\mathbb{R}^3)$ 是否可显式描述，特别是单位范数子群集合 $L^3(0)$？

主要发现

• 对所有 $n$，Chabauty 空间 $\mathscr{C}(\mathbb{R}^n)$ 具有 Goresky-MacPherson 分层结构，且当 $n \geq 2$ 时为伪流形。
• 通过最大秩子群轨迹的可缩性及余维论证，确立了 $\mathscr{C}(\mathbb{R}^n)$ 对所有 $n$ 均为单连通。
• 基于 Seifert 纤维丛重新证明了 Hubbard-Pourezza 定理，表明 $\mathscr{C}(\mathbb{R}^2)$ 同胚于 $(S^3, K)$ 的悬垂，其中 $K$ 为三叶结。
• 同胚关系 $\mathop{\mathrm{SL}}\nolimits(2;\mathbb{R})/\mathop{\mathrm{SL}}\nolimits(2;\mathbb{Z}) \cong S^3 \setminus K$ 确认了结补的结构。
• 在 $\mathscr{C}^1$ 上的 Seifert 纤维丛具有未归一化不变量 $(0|(3,2),(2,-1))$ 与有理欧拉数 $1/6$，与结补上的纤维丛结构一致。
• 纤维丛中奇异纤维邻域的边界产生对应于 $3d_0 + 2\ell = x$ 与 $2d_1 - \ell = y$ 的经线，确认了纤维丛的拓扑类型。