의사콤팩트 군 위상과 ♯ 성질: 무한 콤팩트 부분집합이 없는 새로운 예시

본 논문은 ‘♯ 성질’이라 불리는 새로운 위상적 특성을 도입하여, 의사콤팩트 아벨 군의 구조를 심도 있게 탐구한다. 먼저, 전완전 아벨 군 \((G,T_H)\)이 의사콤팩트가 되기 위한 필요충분조건을 정리 2.1을 통해 제시한다. 이 조건은 모든 가산 부분군이 \(h\)-임베디드, 즉 그 부분군에 정의된 임의의 문자(동형사상) \(\varphi:H\to\mathbb T\)가 전체 군으로 연속적으로 확장될 수 있음을 의미한다. 이러한 군을 ‘♯ 성질을 가진 군’이라 정의하고, Lemma 2.3에서 ♯ 성질이 있으면 군은 무한 콤팩트 부분집합을 전혀 포함하지 않음을 증명한다. 이는 기존에 알려진 의사콤팩트 군이 ‘전완전이면서도 콤팩트 부분집합을 가질 수 있다’는 사실과 대비되는 중요한 결과이다. 다음 단계에서는 어떤 아벨 군이 ♯ 성질을 갖는 의사콤팩트 위상을 가질 수 있는지에 대한 충분조건을 제시한다. 핵심은 기수 함수 \(m(\alpha)\)와 카드 \(\sigma,\alpha\) 사이의 부등식 \(m(\sigma)\le\alpha\)와 \(\alpha^\omega\le\sigma\)이다. Lemma 3.1은 메트릭스 군 \(G^\sigma\) 안에 카드 \(m(\sigma)\)의 독립 \(G_\delta\)-밀집 집합 \(D\)를 구성하고, 좌표 집합 \(\{S_\theta\},\{N_\eta\}\)를 이용해 각 원소가 특정 좌표에만 영향을 미치도록 설계한다. 이를 바탕으로 Corollary 3.2는 주어진 서피스 문자 \(\chi:G_1\to G_2\)에 대해 \(\chi^\sigma(D)\)도 독립 집합이 되도록 조정한다. Proposition 3.3에서는 위의 독립 집합 \(F\subseteq G^\sigma\)와 그 이미지 \(\chi^\sigma(F)\)가 서로 동형이며, 두 군 모두 ♯ 성질을 만족함을 보인다. 구체적으로, 각 가산 부분군을 좌표 집합 \(D_\theta\)에 삽입하고, \(\mathbb T\)에 대한 연속 임베딩 \(j_\theta\)를 이용해 문자 \(\chi^\sigma\)가 연속적으로 확장될 수 있음을 확인한다. 이 과정에서 전완전 위상의 최대 전완전 위상이 실제로 적용됨을 Lemma 2.5와 Proposition 2.4를 통해 보장한다. 또한, 같은 방법을 torsion 군 \(\mathbb Z(p)^\sigma\)에 적용하여 Proposition 3.4를 증명한다. 결과적으로, ‘모든 가산 부분군이 h‑임베디드’인 전완전 위상이 존재함을 보이며, 이는 기존에 알려진 의사콤팩트 군들의 위상과는 구별되는 새로운 클래스이다. 주요 응용으로는 두 가지 질문에 대한 해답을 제시한다. 질문 1.1(모든 폰트라긴 반사 전완전 군이 콤팩트인가?)에 대해서는, ♯ 성질을 가진 전완전 군이 무한 콤팩트 부분집합을 갖지 않으므로, 이러한 군은 비콤팩트이면서도 폰트라긴 반사성을 유지한다는 부정적 답을 제공한다. 질문 2.2(의사콤팩트 아벨 군이 무한 콤팩트 부분집합이 없는 위상을 가질 수 있는가?)에 대해서는, \(|G|\le2^{2^{\mathfrak c}}\)인 모든 의사콤팩트 아벨 군이 위의 기수 부등식을 만족하므로 ♯ 성질을 갖는 의사콤팩트 위상을 가짐을 보이며, SCH를 가정하면 모든 의사콤팩트 아벨 군에 대해 동일한 결론을 얻는다. 결론적으로, 이 논문은 기수 이론과 위상대수학을 결합해 의사콤팩트 군의 새로운 구조적 특성을 밝혀냈으며, 전완전 군의 반사성, 콤팩트성, 그리고 가산 부분군의 임베딩 사이의 미묘한 관계를 심도 있게 이해하는 데 기여한다.