완비성 없는 계량가능 로컬 준볼록군의 매키성 부재

초록

본 논문은 로컬 준볼록(LQC) 범주에서 완비성 없이도 매키(Mackey) 군이 될 수 없음을 보인다. 컴팩트하고 계량가능한 아벨 군 X 에 대해 영점열군 c₀(X) 를 이용해, X가 연결이면 c₀(X)의 연속 문자군이 가산이며, 제품 위상으로 취하면 전치(precompact)하지만 매키 군이 아님을 증명한다. 이를 통해 완비성 가정이 LQC에서 매키성의 필요조건임을 입증한다.

상세 분석

논문은 먼저 MAP(모든 연속 문자들이 분리 가능한) 아벨 군들의 범주 𝔊 내에서 “매키 군”이라는 개념을 정의한다. 즉, 위상 μ 를 가진 군 (G,μ) 가 같은 연속 문자군을 갖는 다른 위상 ν 에 대해 ν ≤ μ 을 만족하면 매키 군이라 부른다. 이는 전통적인 바나흐-스테인베르크 매키 이론을 비선형 군으로 확장한 형태이며, LCS(실수 선형 연속 공간)에서는 모든 계량가능 완비 군이 매키 군이 되는 것이 잘 알려져 있다. 그러나 LQC(로컬 준볼록 군)에서는 완비성 가정이 필수인지 여부가 미해결 문제였다.

핵심 아이디어는 ‘영점열군’ c₀(X) 을 이용하는 것이다. 여기서 X는 위상 아벨 군이며, c₀(X) 는 Xⁿ(ℕ) 안에서 점점 0으로 수렴하는 수열들의 집합이다. 위상은 두 가지를 고려한다. 첫째는 각 좌표에 동일한 위상을 부여한 ‘균등 위상(Uniform topology)’이며, 둘째는 Xⁿ에 대한 ‘제품 위상(Product topology)’이다. 균등 위상 아래에서는 c₀(X) 가 완비이며, 로컬 준볼록성을 유지한다. 특히 X가 컴팩트하고 계량가능하면 c₀(X) 는 역시 계량가능하고 완비인 LQC 군이 된다.

다음 단계는 연속 문자군(dual group) (c₀(X))^∧ 의 구조를 분석하는 것이다. 저자는 X가 연결(compact connected)일 때, c₀(X) 의 연속 문자군이 가산임을 보인다. 이는 X가 비연결이면 문자군이 비가산이 되는 것과 대조된다. 가산성은 매키성 논의에 핵심적인데, 매키 군이 되려면 연속 문자군이 충분히 ‘풍부’해야 한다. 가산인 경우, 특히 제품 위상으로 전환하면 문자군이 변하지 않음에도 위상이 더 약해져(전치(precompact)하지만 비완비) 매키성 조건을 위반한다.

주요 정리(Theorem \ref{basth})는 다음과 같다. X가 비자명한 컴팩트 계량가능 연결 군이면, 균등 위상 아래의 c₀(X) 는 매키 군이지만, 동일한 집합에 제품 위상을 부여하면 전치이면서 매키 군이 아니다. 즉, 같은 연속 문자군을 공유하지만 위상이 더 약해져 매키성 정의를 위배한다. 이를 통해 LQC 범주에서 ‘완비성’이 매키성의 필요조건임을 반증한다.

논문은 또한 c₀(X) 의 토폴로지적 특성(완비성, 전치성, 로컬 준볼록성)과 문자군 구조를 세밀히 연결시켜, 기존 매키 이론이 선형 구조에 의존했던 한계를 넘어 비선형 군에서도 유사한 현상이 발생함을 보여준다. 특히, 전치 군이면서 매키가 아닌 예시를 제공함으로써, 매키 위상의 ‘최대성’ 개념이 LQC에서 자동으로 성립하지 않음을 명확히 한다. 이는 향후 비선형 조화해석, 강체 위상군, 그리고 신호 처리와 같은 응용 분야에서 위상 선택의 중요성을 재조명하는 계기가 될 것이다.