[논문 리뷰] The space of closed subgroups of $R^n$

Benoît Kloeckner|ArXiv.org|2008. 12. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 $\mathbb{R}^n$ 의 닫힌 부분군의 Chabauty 공간을 조사하여, $n \geq 2$ 일 때 이것이 Goresky-MacPherson 분할 구조를 가지며, pseudo-manifold임을 보이고 있다. 국소화 정리와 국소적 구조의 위상적 분석을 통해 저자들은 모든 $n$ 에 대해 이 공간이 단순연결임을 증명하고, $\mathscr{C}(\mathbb{R}^2)$ 가 래티스의 보충에서 토르티유스 히드로드롬을 가진 4차원 구로 기술되는 Hubbard-Pourezza 정리에 대해 Seifert fibration 기반의 새로운 증명을 제공한다.

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)$ 이 Goresky-MacPherson 분할 공간의 프레임워크에 맞는지 보여주되, $n > 2$ 일 때 다양체가 아니라는 점을 감안하여 분석한다.
• $\mathscr{C}(\mathbb{R}^n)$ 의 기본군을 확립하여, 모든 $n$ 에 대해 단순연결임을 증명한다.
• Hubbard-Pourezza 정리에 대한 대체적이고 Seifert fibration 기반의 증명을 제공하여, $\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 fibration 을 구성하여 $\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)$ 의 교차 호몰로지(Intersection homology)는 무엇인가?
• RQ4 $\mathscr{C}(\mathbb{R}^3)$ 는 명시적으로 묘사될 수 있는가? 특히 단위 노름 부분군의 집합인 $L^3(0)$ 은 어떻게 기술되는가?

주요 결과

• $\mathscr{C}(\mathbb{R}^n)$ 은 모든 $n$ 에 대해 Goresky-MacPherson 분할 구조를 가지며, $n \geq 2$ 일 때 pseudo-manifold 이다.
• 최대 질량 부분군의 위치가 수축 가능하고 여부수가 $n$ 이라는 점을 바탕으로 한 코드림이론적 접근을 통해, 모든 $n$ 에 대해 $\mathscr{C}(\mathbb{R}^n)$ 이 단순연결임을 증명하였다.
• Seifert 분할 기반의 증명을 통해 Hubbard-Pourezza 정리를 재증명하였으며, $\mathscr{C}(\mathbb{R}^2)$ 가 $K$ 가 토르티우스 히드로드롬인 $(S^3, K)$ 의 스펜션과 위상동형임을 보였다.
• $\mathop{\mathrm{SL}}\nolimits(2;\mathbb{R})/\mathop{\mathrm{SL}}\nolimits(2;\mathbb{Z})$ 는 $S^3 \setminus K$ 와 위상동형임을 확인하여, 끈의 보충 구조가 확인되었다.
• Seifert 분할은 비정규화된 불변량 $(0|(3,2),(2,-1))$ 과 유리수 오일러 수 $1/6$ 을 가지며, 이는 끈 보충 위의 분할과 일치한다.
• 분할에서 특이 섬유의 이웃 영역의 경계는 $3d_0 + 2\ell = x$ 와 $2d_1 - \ell = y$ 와 대응하는 매리디언을 유도하며, 이는 분할의 위상적 유형을 확인한다.