[논문 리뷰] The fundamental group of the harmonic archipelago

Paul Fabel|ArXiv.org|2005. 01. 24.

Genomics and Phylogenetic Studies참고 문헌 5인용 수 21

한 줄 요약

이 논문은 조화 분지대(Harmonic Archipelago, HA)의 기본군에 대한 정확한 대수적 및 위상적 특성화를 제공하며, π₁(HA)가 히브레인 히어로(HE)의 기본군 π₁(HE)의 비가산 몫임을 보여주고, 무한 단어 관계를 통해 핵(kernel)을 기술한다. 주요 기여는 π₁(HA)가 비가산 기수를 지닌다 해도 여전히 이산 위상을 지닌다는 것을 증명한 것이다. 이는 이전 연구에서 애매하게 다뤄진 야생 공간의 위상적 기본군 문제를 해결한다.

ABSTRACT

The harmonic archipelago HA is obtained by attaching a large pinched annulus to every pair of consecutive loops of the Hawaiian earring. We clarify the fundamental group pi1(HA) as a quotient of the Hawaiian earring group, provide a precise description of the kernel, show that both pi1(HA) and the kernel are uncountable, and that pi1(HA) has the indiscrete topology.

연구 동기 및 목표

• 조화 분지대의 기본군 π₁(HA)의 구조를 명확히 하여, 이전 문헌에서 잘못 기술된 바를 정정하는 것.
• 포함에 의해 유도된 전성사상 j*: π₁(HE) → π₁(HA)의 핵에 대한 기술에서 애매함을 해결하는 것.
• 히브레인 히어로 군의 원소 중 j*의 핵에 속하는 원소를 완전하고 정확하게 기술하는 것.
• π₁(HA)가 비가산임을 증명하고, 그 크기가 큰데도 불구하고 이산 위상을 지닌다는 것을 보여주는 것.
• Biss(2002)의 정리 8.1에서 잘못 주장된 바, π₁(HA)의 원소들이 유한한 치환과 취소 연산에 의해 동치임을 부정하는 것.

제안 방법

• 논문은 자유군의 역극한을 사용하여 π₁(HE)를 모델링하며, 무한 알파벳 {x₁, x₂, ...} 위에서 최대로 축약된 단어의 표준 수열로 원소를 표현한다.
• G^N 은 x_{n+1}를 항등원으로 축약시키는 준동형사상에 의해 연결된 자유군 F_{N,n}의 역극한으로 정의되며, 히브레인 히어로의 루프의 호모토피류를 기록한다.
• 핵 ker(j*) 는 정리 7을 통해 특성화된다: 수열 (w₁, w₂, ...)이 ker(j*)에 속하려면, 어떤 N에 대해 wₙ에 있는 모든 xᵢ (i ≤ N)을 x_N로 치환하면 F_{N,n}에서 항등원으로 축약된다는 조건을 만족해야 한다.
• 비가산성의 증명은 홀수 인덱스 루프의 치환을 사용하여 Y₁에 비가산 개의 서로 다른 루프를 구성함으로써 이루어지며, 이들이 π₁(HA)에서 서로 다른 원소로 대응됨을 보여준다.
• π₁(HA)의 이산 위상은, 기저 루프의 경로 성분이 컴act-open 위상에서 기반 루프 공간 전체에 밀도를 이룬다는 것으로 증명된다.
• 이 증거는 HA – {z_{n+1}, z_{n+2}, ...} 가 Y^N로의 변형 수축되며, 루프들이 유한 부분复합체 Y^M에서 균일하게 근사됨을 이용한다.

실험 결과

연구 질문

• RQ1 π₁(HA)의 정확한 대수적 구조는 무엇이며, 히브레인 히어로의 기본군과 어떻게 관련되어 있는가?
• RQ2 π₁(HE)의 어떤 원소들이 자연스러운 전성사상 j*: π₁(HE) → π₁(HA)의 핵에 속하는가?
• RQ3 π₁(HA)는 비가산인가? 만약 그렇다면, 그 기수의 비가산성은 무엇에 기인하는가?
• RQ4 π₁(HA)는 비자명한 위상을 지닐 수 있는가? 만약 그렇다면, 그 위상적 구조는 무엇인가?
• RQ5 비가산이지만 π₁(HA)의 위상적 기본군이 이산이 아닌 이유는 무엇인가?

주요 결과

• j*: π₁(HE) → π₁(HA)의 핵은, 특정한 단어 구성법을 통해 G₃에 비가산 개의 서로 다른 원소를 구성함으로써 비가산임을 보였다.
• π₁(HA)는 비가산이며, 기반 루프 공간의 비가산 개의 서로 다른 경로 성분을 제시함으로써 증명되었다.
• 기본군 π₁(HA)는 이산 위상을 지닌다. 즉, 공집합이 아닌 유일한 열린 집합은 전체 군이다.
• ker(j*) 는 모든 N에 대해, wₙ에 있는 모든 xᵢ (i ≤ N)을 x_N로 치환한 결과 F_{N,n}에서 항등원으로 축약되는 수열 (w₁, w₂, ...)로 구성된다.
• Biss(2002)에서 주장한 바, π₁(HA)의 원소들이 유한한 치환과 취소 연산에 의해 동치임은 잘못된 것으로 드러났다. 이는 무한 단어가 HA에서 항등원이지만, 유한한 연산으로는 축약되지 않는 반례를 통해 입증되었다.
• 표준 단사 사상 ψ₁: π₁(HE) → G¹ 는 전사가 아니며, 예를 들어 (1, x₁x₂x₁⁻¹x₂⁻¹, x₁x₂x₁⁻¹x₂⁻¹x₁x₃x₁⁻¹x₃⁻¹, ...)와 같이 무한히 많은 문자를 포함하는 순서수적 단어를 포괄하지 못한다.