아벨 군의 히윗‑마르체프스키‑폰디체리 정리와 마르코프 잠재적 밀도 연구

본 논문은 두 부분으로 구성된다. 첫 번째 부분에서는 히윗‑마르체프스키‑폰디체리(Hewitt‑Marczewski‑Pondiczery) 정리의 아벨 군 버전을 제시한다. 무한 기수 τ와 아벨 군 G, 그리고 부분집합 S⊆G에 대해 다음 세 조건을 고려한다. (i) 모든 양의 정수 n에 대해 |{ns : s∈S}|≥τ, 즉 nS의 크기가 τ 이상이다. (ii) 군동형 π:G→T^{2^τ}가 존재하여 π(S)가 토러스 T^{2^τ}에 조밀하게 놓인다. (iii) 추가 가정 |G|≤2^{2^τ}가 주어지면, π를 단사(동형)까지 만들 수 있다. 저자는 “τ‑wide”라는 새로운 개념을 도입한다. 이는 모든 n∈ℕ와 |S′|<τ인 부분집합 S′⊆S에 대해 nS∖S′≠∅을 만족하는 성질이다. 이 정의를 이용해, τ‑wide인 S에 대해 크기 τ인 부분군 H⊆G와 단사 ϕ:H→T^{2^τ}를 구성하고, T^{2^τ}가 가분군이므로 ϕ를 전체 G에 연장할 수 있음을 보인다. 연장의 핵심은 p‑랭크(rp) 개념을 활용해 |H|=τ<2^{2^τ}=rp(T^{2^τ})임을 이용하는 것이다. 결과적으로 (i)⇔(ii)⇔(iii)가 성립한다는 정리를 얻는다. 이 정리는 기존의 위상학적 히윗‑마르체프스키‑폰디체리 정리와 직접적인 대수적 대응을 제공한다. 두 번째 부분에서는 마르코프가 1946년에 제기한 “잠재적 밀도”(potential density) 문제를 다룬다. 부분집합 S가 어떤 Hausdorff 군위상 𝒯에서 조밀해지려면, 그 위상에서 S가 조밀함을 의미한다. 저자는 먼저 필요조건을 도출한다. S가 𝒯‑조밀하면, 모든 n에 대해 nS는 nG에 조밀하고, 위상적 가중치 w(nG)≤2|nS|, 그리고 |nG|≤2^{2|nS|}가 된다. 여기서 w(X)는 공간 X의 가중치이며, 이를 통해 log log|nG|≤|nS|라는 부등식을 얻는다. 이 부등식은 잠재적 밀도의 기본적인 수량적 제한을 제공한다. 다음으로 충분조건을 제시한다. G가 (거의)무한 차수 자유군, 가분군, 혹은 거의 무한 차수 자유군 등 “큰” 구조적 성질을 가질 때, 모든 n에 대해 |nG|=|G|가 성립한다. 이 경우 τ=log log|G|를 정의하고, S가 τ‑wide이면 앞서 증명한 정리(히윗‑마르체프스키‑폰디체리형)로부터 G에 전압축(precompact) Hausdorff 위상 𝒯를 부여해 S가 𝒯‑조밀하도록 할 수 있다. 따라서 다음 세 조건이 서로 동치임을 얻는다. (a) S가 어떤 Hausdorff 위상에서 조밀, (b) S가 전압축 위상에서 조밀, (c) 모든 n에 대해 |nS|≥τ. 이 결과는 마르코프의 질문에 대한 부분적인 해답을 제공한다. 특히, G가 가분군이거나 거의 무한 차수 자유군이면, 단순히 |S|≥log log|G|이면 S가 잠재적으로 조밀함을 보장한다는 간단한 판정법을 얻는다. 논문은 또한 카운터예시를 제시한다. torsion 부분이 너무 크게(예: |t(G)|=|G|) 늘어날 경우, 위 조건이 깨져 잠재적 밀도가 성립하지 않음을 보인다. 이는 기존 문헌의 질문 45에 대한 부정적 답변이기도 하다. 마지막으로, 이전 연구와의 관계를 정리하며, 카운터예시와 함께 결과의 한계와 향후 연구 방향을 제시한다. 전체적으로 이 논문은 대수적 구조와 위상적 밀도 사이의 깊은 연관성을 밝히고, 히윗‑마르체프스키‑폰디체리 정리와 마르코프의 잠재적 밀도 문제를 통합적으로 다루는 중요한 기여를 한다.