[논문 리뷰] A Generalization of Seifert-Van Kampen Theorem for Fundamental Groups

Linfan Mao|arXiv (Cornell University)|2010. 06. 18.

Digital Image Processing Techniques참고 문헌 1인용 수 7

한 줄 요약

이 논문은 위상공간에서 열린 집합들의 교차부가 경로연결이 아닐 수 있는 경우에도 일반화된 Seifert–Van Kampen 정리를 제안하여, 조합론적 다양체와 컴act 다양체의 기본군을 그 기초가 되는 위상그래프를 통해 계산할 수 있도록 한다. 주요 기여는 국소적 차트와 간선 유도 그래프를 포함하는 자유곱의 몫으로서 기본군을 표현하는 공식을 제시함으로써, 기존의 결과를 단순연결이 아닌 교차부로 확장하는 것이다.

ABSTRACT

As we known, the {\it Seifert-Van Kampen theorem} handles fundamental groups of those topological spaces $X=U\cup V$ for open subsets $U, V\subset X$ such that $U\cap V$ is arcwise connected. In this paper, this theorem is generalized to such a case of maybe not arcwise-connected, i.e., there are $C_1$, $C_2$,$..., C_m$ arcwise-connected components in $U\cap V$ for an integer $m\geq 1$, which enables one to find fundamental groups of combinatorial spaces by that of spaces with theirs underlying topological graphs, particularly, that of compact manifolds by their underlying graphs of charts.

연구 동기 및 목표

• 열린 집합들의 교차부가 반드시 경로연결이 아닐 경우에도 고전적인 Seifert–Van Kampen 정리를 일반화하는 것.
• 기초가 되는 위상그래프를 사용하여 조합론적 다양체의 기본군을 계산하는 방법을 제공하는 것.
• 다양체의 기본군과 그 간선 유도 그래프 $ G^\theta[M] $의 기본군 사이의 관계를 수립하는 것, 특히 교차부가 단순연결일 경우에 중점적으로 다룸.
• 다양체의 기본군의 보편 성질을 단순연결이 아닌 오버랩을 가진 코버링으로 일반화하는 것.

제안 방법

• 열린 집합들의 교차부가 $ m \geq 1 $개의 경로연결 성분 $ C_1, \dots, C_m $을 가진 공간 $ X = U \cup V $에 대해 일반화된 Seifert–Van Kampen 정리를 도입한다.
• 고전적 정리에서의 관계를 일반화하기 위해, $ g \in \prod_{i=1}^m \pi_1(C_i) $ 에 대해 $ (i_1^{-1}(g) \cdot i_2(g)) $ 가 생성하는 핵을 이용한 몫군 구조를 정의한다.
• 조합론적 다양체 $ \widetilde{M} $ 에 일반화된 정리를 적용하며, 이는 차트 $ M \in V(G[\widetilde{M}]) $ 로 분해되고, 위상그래프를 통해 교차를 모델링한다.
• 덮개의 뉴버로부터 구성된 간선 유도 그래프 $ G^\theta[\widetilde{M}] $ 를 사용하여 오버랩 차트의 접합 데이터를 코딩한다.
• 교차 성분에서 유도된 관계를 포함하여, 국소 기본군과 $ G^\theta[\widetilde{M}] $ 의 기본군의 자유곱의 몫으로서 $ \widetilde{M} $ 의 기본군을 유도한다.
• 컴팩트 $ n $-다양체에 대해 결과를 적용하기 위해 차트 $ U_\lambda \to \mathbb{R}^n $ 을 선택하고, $ \pi_1(M) \cong \pi_1(G^\theta[M]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \rangle $ 를 보인다.

실험 결과

연구 질문

• RQ1 열린 집합들의 교차부가 경로연결이 아닐 경우 Seifert–Van Kampen 정리를 어떻게 일반화할 수 있는가?
• RQ2 국소 차트들이 다수의 단순연결이 아닌 성분에서 교차할 경우 조합론적 다양체의 기본군은 무엇인가?
• RQ3 컴팩트 $ n $-다양체의 기본군은 그 기초가 되는 위상그래프와 오버랩 차트의 기본군으로부터 계산될 수 있는가?
• RQ4 다양체의 기본군이 그 간선 유도 그래프 $ G^\theta[M] $ 의 기본군과 일치하는 조건은 무엇인가?
• RQ5 일반화된 정리는 복잡한 교차構조를 가진 공간에서 기본군 계산을 어떻게 단순화하는가?

주요 결과

• 조합론적 다양체 $ \widetilde{M} $ 의 기본군은 그 차트들의 기본군과 간선 유도 그래프 $ G^\theta[\widetilde{M}] $ 의 기본군의 자유곱의 몫으로서, 교차 성분에서 유도된 관계를 모듈로 하여 동형임을 보인다.
• 모든 쌍별 교차부 $ M_1 \cap M_2 $ 가 단순연결일 경우 $ \pi_1(\widetilde{M}) \cong \left( \bigoplus_{M \in V(G[\widetilde{M}])} \pi_1(M) \right) \bigoplus \pi_1(G[\widetilde{M}]) $ 로 표현되며, 이는 [8]에서 알려진 결과를 복원한다.
• 컴팩트 $ n $-다양체 $ M $ 에 대해 $ \pi_1(M) \cong \pi_1(G^\theta[M]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \mid g \in \prod_{(U_\mu,U_\nu) \in E(G[M])} \pi_1(U_\mu \cap U_\nu) \rangle $ 로 표현되며, 고전적 정리를 일반화한다.
• 모든 차트 교차부 $ U_\mu \cap U_\nu $ 가 단순연결일 경우 $ \pi_1(M) \cong \pi_1(G[M]) $ 로 표현되며, 이는 기본군이 오직 뉴버 그래프에 의해 결정됨을 보여준다.
• $ G^\theta[M] $ 의 구성이 $ G^\theta[\widetilde{M}-M] \cup \bigcup_{(M,M') \in E(G[\widetilde{M}])} TB_{\mu(M,M')} $ 와 동형임을 보여주어 재귀적 계산이 가능함을 밝힌다.
• 결과적으로 $ \pi_1(\widetilde{M}) \cong \left( \prod_{M \in V(G[\widetilde{M}])} \pi_1(M) \right) * \pi_1(G^\theta[\widetilde{M}]) / \langle (i_1^E)^{-1}(g) \cdot i_2^E(g) \rangle $ 라는 동형관계를 확립하며, 이는 모든 교차 성분에서 생성된 핵을 기반으로 한다.