위상 군체의 약한 풀백

본 논문은 위상 군체와 측도 이론을 결합한 새로운 범주 HG를 정의하고, 이 범주와 일반 위상 군체 범주에서 ‘약한 풀백(weak pullback)’이라는 범주론적 구조를 구축한다. 논문은 크게 네 부분으로 구성된다. 첫 번째 부분에서는 Haar 군체의 정의를 제시한다. 로컬 컴팩트, 2차 가산, Hausdorff 조건을 만족하는 위상 군체 G에 대해 연속적인 왼쪽 Haar 시스템 λ와 단위공간 G⁽⁰⁾ 위의 비영 Radon 측도 μ⁽⁰⁾를 동시에 부여한다. μ⁽⁰⁾는 λ에 대해 quasi‑invariant(준불변)해야 하며, 이는 μ와 그 역측도 μ⁻¹이 서로 절대 연속임을 의미한다. 이러한 구조를 갖는 군체를 ‘Haar 군체’라 부르고, Haar 군체 사이의 사상은 연속 군체 동형사상이며 Haar 시스템과 μ⁽⁰⁾의 측도 클래스가 보존되는 경우에만 허용한다. 이를 바탕으로 Haar 군체와 그 사상들로 이루어진 범주 HG를 정의한다. 두 번째 부분에서는 위상 군체 사이의 약한 풀백을 정의한다. 주어진 cospan S←p–G–q→T에 대해, 풀백 후보 P를 S×G×T의 부분집합으로 정의한다. 구체적으로 P는 (s,g,t)∈S×G×T 로서 r_G(g)=r_G(p(s)) 그리고 d_G(g)=r_G(q(t)) 를 만족하는 삼중항들의 집합이다. 이 정의는 사상 p와 q가 서로 다른 궤도에 있을 때도 원소가 존재하도록 허용한다는 점에서 ‘약함’이 드러난다. P에 대한 군체 구조는 (s,g,t)·(σ,h,τ) = (sσ, g, tτ) 로 정의되며, 여기서 h는 p(s)⁻¹·g·q(t) 로 결정된다. 단위공간 P⁽⁰⁾는 s∈S⁽⁰⁾, t∈T⁽⁰⁾, g∈G_{p(s)}^{q(t)} 로 구성된다. 위상은 S×G×T의 부분위상으로 유도되며, 연속성, 역원 연산, 합성 연산이 모두 연속임을 증명한다. 이때 기존 문헌에서 사용되는 ‘시스템 오브 메져스(system of measures)’와 ‘연속적 측도 시스템(CSM)’ 개념을 활용한다. 세 번째 부분에서는 위에서 만든 P에 Haar 시스템 λ_P와 단위공간 측도 μ_P⁽⁰⁾를 부여한다. λ_P는 기존의 λ_S, λ_G, λ_T 를 텐서곱하고, 합성 규칙에 맞게 푸시포워드와 풀백 연산을 적용해 정의한다. λ_P가 연속적이고 왼쪽 불변이며 열린 집합에 양의 값을 갖는지를 확인하기 위해 각 구성 군체의 Haar 시스템이 로컬 컴팩트와 2차 가산성을 만족한다는 가정을 사용한다. μ_P⁽⁰⁾는 S⁽⁰⁾×T⁽⁰⁾와 G의 궤도 공간을 적절히 결합한 형태로 정의되며, Fubini‑type 적분을 통해 μ_S⁽⁰⁾·μ_T⁽⁰⁾와 μ_G⁽⁰⁾를 결합한다. 모듈러 함수 Δ가 연속적인 군동형임을 가정함으로써 μ_P와 μ_P⁻¹이 서로 절대 연속함을 보이고, 따라서 μ_P⁽⁰⁾는 λ_P에 대해 quasi‑invariant임을 증명한다. 마지막 네 번째 부분에서는 위의 구조가 실제로 HG에서의 약한 풀백 사상을 만족함을 확인한다. 두 사상 π_S: P→S와 π_T: P→T가 Haar 군체 사이의 사상(연속 군체 동형사상 + 측도 클래스 보존)임을 보이고, 이 두 사상이 주어진 cospan을 ‘약하게’ 결합한다는 의미에서 범주론적 보편성을 만족한다. 추가적인 가정(예: Haar 시스템이 로컬리 바운드이며, μ⁽⁰⁾가 완전하게 지원되는 경우) 하에 P가 HG에서의 약한 풀백임을 정리 형태로 제시한다. 전체적으로 논문은 기존의 ‘강한’ 풀백(사상들이 정확히 교환되는 경우)과는 달리, 위상과 측도 구조를 동시에 보존하면서도 더 유연한 결합을 가능하게 하는 새로운 범주적 도구를 제공한다. 이는 향후 ‘위상 군체화(topological groupoidification)’라는 프로그램에서 복합적인 대수·해석 구조를 전이시키는 핵심 메커니즘으로 활용될 전망이며, 특히 Haar 군체 사이의 연산이 측도 이론과 C∗‑대수 이론에 미치는 영향을 탐구하는 데 중요한 기반을 제공한다.