동형군 위 위상과 부분군 위상의 비교 연구

본 논문은 고차 동형군 πₙ(X, x₀) (n≥2) 에 정의된 여러 위상들을 한데 모아, 부분군 위상의 관점에서 체계적으로 비교·분석한다. 서론에서는 지난 20년간 기본군에 적용된 다양한 위상(whisker, compact‑open quotient, τ, lim, Spanier 등)이 고차 동형군에도 자연스럽게 확장될 수 있음을 언급하고, 이러한 위상들을 비교하는 필요성을 제시한다. 2장에서는 동형군의 유명한 부분군들을 정의한다. n‑small subgroup πˢ는 모든 작은 루프(임의의 열린 이웃 안에 포함되는 루프)들의 동형류로 이루어진 부분군이며, n‑small generated subgroup πˢᵍ는 경로에 의해 전이된 πˢ의 원소들의 생성군이다. n‑Spanier subgroup πˢᵖ는 열린 커버 U에 대해 각 원소가 U 안에 들어가는 루프들의 합으로 생성된 부분군이며, 이를 모든 열린 커버에 대해 교집합을 취해 πˢᵖ를 얻는다. 두께가 있는 Spanier 부분군(πᵗˢᵖ)과 약한 두께가 있는 Spanier 부분군(πʷᵗˢᵖ)은 각각 두 개의 열린 집합을 이용한 합성 루프와 두 개의 집합에 걸친 루프를 허용한다. 새롭게 도입된 n‑path Spanier subgroup eπˢᵖ는 경로에 따라 선택된 열린 커버 V에 대해 정의되며, πˢᵍ ≤ eπˢᵖ ≤ πˢᵖ 가 성립한다. 3장에서는 위에서 정의한 부분군들을 이용해 여러 위상을 부분군 위상으로 재구성한다. Σ_wh는 모든 열린 집합 U에 대한 πₙ(i)πₙ(U, x₀) 로 구성된 이웃족이며, 이를 통해 whisker 위상 π_whⁿ을 정의한다. compact‑open quotient 위상 π_qⁿ은 n‑루프 공간 Ωₙ에 compact‑open 위상을 주고, 동형류 사상 qₙ을 통해 유도한다. τ‑위상은 기존 위상에서 최소한의 열린 집합을 제거해 위상군 구조를 확보하는 과정이며, 이를 적용한 π_τⁿ은 π_qⁿ 위상의 조정판이다. lim‑위상은 각 열린 이웃 U에 대해 “루프가 U 안에 전부 들어감”이라는 필터 기반을 이용해 정의하고, 이는 π_n을 위상군으로 만든다. Spanier, thick Spanier, weak‑thick Spanier 위상은 각각 Σ_Span, Σ_tS, Σ_wtS 를 부분군 위상으로 사용한다. 마지막으로 path Spanier 위상 π_pSⁿ은 경로 기반 열린 커버 V에 대한 eπˢᵖ를 이용한다. 4장에서는 위들 간의 포함 관계와 동등성 조건을 상세히 논한다. 부분군 위상의 일반 이론에 따라 Σ₁⊆Σ₂이면 G_{Σ₂}≼G_{Σ₁}가 되며, 특히 H⊆K이면 G_K≼G_H가 성립한다. 이를 이용해 다음과 같은 사슬을 얻는다. π_shⁿ ≼ π_wtSⁿ ≼ π_tSⁿ ≼ π_Sⁿ ≼ π_pSⁿ, π_τⁿ ≼ π_qⁿ ≼ π_limⁿ = π_whⁿ ≼ π_πˢⁿ, 그리고 부분군 측면에서는 πˢ ≤ πˢᵍ ≤ eπˢᵖ ≤ πˢᵖ ≤ πᵗˢᵖ ≤ πʷᵗˢᵖ. 위 포함이 엄격한 경우와 동등한 경우를 구분하기 위해 n‑semilocally H‑connected 개념을 도입한다. 정의에 따르면, X가 n‑semilocally H‑connected이면 H가 π_whⁿ 위상에서 열린 부분군이 되고, 반대도 성립한다. 따라서 π_whⁿ = π_πˢⁿ 은 X가 n‑semilocally H‑connected일 때와 정확히 동치임을 증명한다. 또한 각 위상의 정상성(정규성)과 연속성 조건을 조사한다. Σ에 포함된 모든 부분군이 정규이면 해당 부분군 위상은 실제 위상군이 된다. 특히, Σ_H에 대해 H가 정규이면 G_H는 위상군이며, H=1이면 이산 위상, H=G이면 무구분 위상이 된다. 마지막으로 논문 전체 결과를 하나의 비교 다이어그램으로 정리한다. 이 다이어그램은 연구자가 특정 공간(예: locally path‑connected, semilocally simply connected, 또는 n‑semilocally H‑connected) 에 대해 가장 적합한 위상을 선택하도록 돕는다. 결론적으로, 저자는 부분군 위상이라는 통일된 틀을 통해 기존에 산재해 있던 다양한 동형군 위상을 비교·통합하고, 새로운 지역 연결성 개념을 통해 위상 동등성의 필요충분조건을 제시함으로써 고차 동형군 위상 이론의 구조적 이해를 크게 확장하였다.