세포형 볼레인 분해와 무한군의 동형성

본 논문은 비대칭적 거리 개념을 일반화한 ‘볼레인(ballean)’이라는 구조를 연구한다. 볼레인은 집합 X와 반지름 집합 P, 그리고 각 (x,α)∈X×P에 대해 정의된 구 B(x,α)⊆X의 삼중체 (X,P,B) 로 구성되며, x∈B(x,α)와 전이성(α≤β ⇒ B(x,α)⊆B(x,β)), 합성성(∀α,β∃γ B(B(x,α),β)⊆B(x,γ)) 같은 공리를 만족한다. 이때 두 볼레인 사이의 동형 개념은 ‘asymorphism’이라 부르며, 이는 양쪽 방향 모두 반지름을 적절히 확대·축소하면서 구를 보존하는 전사적 매핑이다. 볼레인의 중요한 특수형은 ‘셀룰러(cellular)’이다. 이는 각 반지름 α에 대해 α‑경로 연결 성분 B^✷(x,α)와 원래 구 B(x,α)가 일치하는 경우를 말한다. 초당밀(ultrametric) 거리공간은 자연스럽게 셀룰러 볼레인을 제공한다. 저자들은 먼저 ‘ordinal’ 볼레인, 즉 반지름 집합 P에 최소공동극한(cf) 개념이 적용 가능한 경우를 분석한다. 정리 1에 따르면, cf(B)≤ℵ₀이면 볼레인은 메트릭 가능하고, cf(B)>ℵ₀이면 셀룰러가 된다. 이는 메트릭 가능성의 전통적 조건과 셀룰러 구조의 구분을 명확히 한다. 핵심은 정리 2, 즉 동질적인 셀룰러 볼레인의 직접곱 분해 정리이다. γ가 한계 순서(limit ordinal)인 경우, 볼레인 B가 다음 다섯 조건을 만족하면 B는 직접곱 Z=⊗_{λ<γ}(Z_λ,e_λ)와 asymorphic한다. (i) 셀룰러성, (ii) 반지름에 대한 엄격한 포함 관계 B(x,α)⊂B(x,β) (α<β), (iii) 한계 단계에서의 합 B(x,β)=∪_{α<β}B(x,α), (iv) 초기 구 B(x,0) 가 고정된 기수 κ₀를 갖고, (v) 각 단계 α+1에서 구가 κ_α개의 하위 구로 정확히 분할된다. 증명은 기준점 x₀를 잡고, 각 단계 α에 대해 전사적(또는 삽입적) 함수 f_α를 재귀적으로 정의한다. 한계 단계에서는 이전 단계들의 함수들을 한계 함수로 합치고, 후계 단계에서는 셀룰러성에 의해 구가 κ_α개의 동등한 부분구로 나뉘므로, 이를 새로운 좌표 Z_α와 연결시켜 전체 함수를 만든다. 최종적으로 f: X→Z가 양쪽 방향 모두 구 구조를 보존하므로 asymorphism이 된다. 이 정리를 바탕으로 두 가지 구체적 응용을 제시한다. 첫 번째는 가산 로컬리 피니트 군 G에 대한 코롤라리 1이다. G를 증가하는 유한 부분군 G_n의 합으로 표현하고, 각 단계의 지수 κ_n=|G_{n+1}:G_n|를 이용해 B(G) 를 직접곱 형태로 분해한다. 두 번째는 정규 기수 γ를 갖는 무한군 G에 대한 코롤라리 2이다. G를 γ‑길이 증가 사슬 G_α (α<γ) 로 구성하고, 각 단계의 크기 κ_α를 정의한다. 이때 B(G)는 γ‑길이 직접곱 Z와 asymorphic한다. 정리 3은 위 결과를 활용해 같은 정규 기수 γ를 가진 두 무한군 G와 H의 볼레인 B(G), B(H)가 서로 asymorphic임을 증명한다. 경우를 γ가 한계 기수인 경우와 후계 기수인 경우로 나누어 각각 동일한 파라미터 집합 {κ_α}에 의해 정의된 직접곱 Z와 동형임을 보인다. 따라서 두 군의 비대칭적 대수적 구조는 동일한 ‘대규모’ 위상적 형태를 공유한다는 결론에 도달한다. 논문은 또한 가산군에 대해서는 정리가 성립하지 않으며, 가산 로컬리 피니트 군들의 비동형성 예시를 인용한다. 마지막으로 singular(특이) 기수에 대한 정리 적용 가능성은 아직 미해결이며, 향후 연구 과제로 남겨둔다. 전체적으로 이 연구는 셀룰러 볼레인의 구조적 특성을 직접곱 형태로 단순화함으로써, 무한군 및 초당밀 공간 사이의 비대칭적 대칭성을 새로운 관점에서 이해하고, 대규모 대수적 구조의 위상적 분류에 기여한다.