준동형성으로 보는 준불변성 군과 폰트리양 이중성

1. 서론에서는 로컬 콤팩트 군이 갖는 ‘준불변성 측도(Quasi‑invariant measure)’ 개념을 확장하여 QI‑group을 정의한다. 여기서 E(μ)=\{g∈X | μ_g∼μ\}는 μ의 이동이 μ와 동등한 원소들의 집합이며, QI‑group은 정확히 이 집합과 동형인 폴란 군이다. 기존 연구에서 E(μ)는 Gδσ‑집합이며, 폴란 군 위에 강한 연산자 위상으로 고유한 폴란 군 위상이 부여된다는 점을 인용한다. 2. 제1절에서는 QI‑group이 σ‑콤팩트임을 보이는 핵심 정리(Prop. 1)를 증명한다. 메트릭 d를 이용해 ε‑이웃 U_ε를 잡고, 그 폐포가 E(μ) 안에 포함되는지를 보이며, 밀도 있는 가산 부분집합 {h_n}와 결합해 E(μ)=⋃_n h_n Cl_X U_ε 형태로 표현한다. 이는 QI‑group이 로컬 콤팩트 군 안에서 ‘작은’ 부분집합임을 의미한다. 3. 다음으로 T_H^p 군을 정의한다. T_H^p={ω=(z_n)∈𝕋^∞ | ∑|1−z_n|^p<∞} (02에 대해 ℓ^p가 QI‑group인가? 논문은 Q1에 대해 T_H^1은 반사성을, T_H^p(p>1) 은 비반사성을 예시로 제시한다. Q2에 대해서는 𝕋_H^2의 이중군이 QI‑group이 아님을 증명한다. Q3은 부정 예시가 아직 없으며, Q4는 미해결 문제로 남긴다. 6. Prop. 3에서는 폴란 군 G에 대해 α_G: G→G∧∧(자연 사상)의 폐포 H가 G∧∧와 같다면 G∧(및 G∧∧)는 반사성을 가진다. 또한 G가 국소준볼록이면 α_G(G)는 폐쇄 임베딩이므로 H=G∧∧이면 G 자체가 반사성을 갖는다. 이를 이용해 T_H^p의 이중군 구조를 분석한다. 특히 p>1인 경우 T_H^p∧=Z_0^∞이며, 이는 반사성을 갖지만 원래 군은 비준볼록이다. 따라서 ‘반사성’은 삼공간 성질이 아님을 보여준다. 7. 마지막으로, QI‑group의 포화성(saturation) 문제를 다룬다. 기존 연구