솔레노이드 여집합의 기하와 기본군

초록

본 논문은 3차원 공간에 삽입된 솔레노이드의 여집합이 갖는 기하학적 구조와 기본군을 연구한다. 서로 다른 역극한으로 정의된 솔레노이드는 서로 다른 기본군을 가지며, 동일한 솔레노이드라도 삽입 방식에 따라 기본군이 아벨리안이 될 수도, 비아벨리안이 될 수도 있음을 보인다. 또한, 모든 솔레노이드는 비동형 여집합을 갖는 삽입이 연속적으로 존재함을 증명한다.

상세 분석

솔레노이드는 원의 역극한으로 정의되는 1차원 초연속체이며, 각 단계에서 원을 n_i-배 꼬는 매핑을 통해 구성된다. 이때 매핑의 차수 집합 {n_i}가 서로 다르면 서로 다른 위상동형 사상군을 형성한다. 논문은 먼저 솔레노이드를 3차원 유클리드 공간 ℝ³에 매끄럽게 임베딩하는 방법을 두 가지 범주로 구분한다. 첫 번째는 “정상적(unknotted) 임베딩”으로, 각 단계의 원이 3‑공간 내에서 매듭이 없고, 주변 고리와 교차하지 않으며, 따라서 각 단계의 보충체가 고리 여집합과 동형인 경우이다. 이러한 경우 보충체는 무한히 반복되는 토러스 빌딩 블록들의 연속적인 연결합으로 나타나며, 기본군은 각 단계의 매핑 차수들의 직접곱으로 표현되는 아벨리안 군 ℤ_{n₁}×ℤ_{n₂}×… 로 수렴한다.

두 번째는 “비정상적( knotted) 임베딩”으로, 각 단계에서 원을 비자명한 매듭(예: 토러스 매듭)으로 삽입한다. 이때 보충체는 각 단계마다 비자명한 매듭 여집합을 포함하게 되며, 매핑 차수와 매듭 구조가 상호작용해 기본군이 비아벨리안 자유군의 확장 형태를 띤다. 구체적으로, 각 단계의 기본군은 π₁(S³\K_i)와 ℤ_{n_i}의 반직접곱으로 구성되며, 이는 HNN 확장이나 아밀리언 서브그룹을 포함하는 복합 구조를 만든다.

논문은 이러한 두 경우를 구분하기 위해 JSJ 분해와 하이퍼볼릭 구조 이론을 활용한다. 정상적 임베딩에서는 보충체가 전적으로 Seifert‑fibered 조각들로 이루어져, 그 결과 기본군이 직교적인 순환군들의 직접곱으로 단순화된다. 반면 비정상적 임베딩에서는 적어도 하나의 하이퍼볼릭 조각이 등장하여, 기본군에 비아벨리안 자유군이 삽입되는 것을 보인다.

또한, 역극한 정의에 따라 차수열 {n_i}가 서로 다른 경우, 두 솔레노이드의 보충체는 기본군이 동형이 될 수 없음을 보여준다. 이는 기본군의 프로-피터슨 서브그룹 구조와 각 단계에서 발생하는 순환 서브그룹의 차수 분포가 완전히 다르기 때문이다.

마지막으로, 저자는 각 솔레노이드에 대해 연속적인 파라미터 공간을 이용해 삽입을 변형함으로써, 서로 비동형인 보충체를 무수히 많이 만들 수 있음을 증명한다. 구체적으로, 각 단계에서 매듭을 선택하는 자유도가 연속적이며, 이 자유도가 무한히 많은 선택을 허용함으로써 보충체의 위상 유형이 연속적으로 변한다. 따라서 “모든 솔레노이드는 비동형 보충체를 갖는 삽입이 연속적으로 존재한다”는 결론에 도달한다.