위상군을 위한 새로운 공동동류 이론

초록

저자들은 국소적으로 연속인 가측 코체인을 이용한 새로운 공동동류 이론을 구축하고, G와 A가 국소 콤팩트·두 번째 가산성을 가질 때, 이러한 공동동류의 두 번째 군 H²가 G에 대한 A의 국소적으로 분할되는 확장들을 완전하게 분류함을 증명한다.

상세 분석

본 논문은 기존의 연속 공동동류(C⁰‑cohomology)와 Borel 공동동류(B‑cohomology)의 사이에 위치하는 새로운 공동동류 체계를 제시한다. 핵심 아이디어는 ‘국소 연속 가측 코체인(local‑continuous measurable cochain)’이라는 개념이다. 구체적으로, G가 위상군이고 A가 G‑모듈인 경우, n‑코체인 f : Gⁿ→A가 ‘단위 원소 e의 어느 이웃 U⊂G에서 연속’하고, 전체 Gⁿ에 대해 가측(measurable)인 경우를 허용한다. 이러한 코체인 집합을 Cⁿ_{lc‑meas}(G,A)라 두고, 표준적인 코바운더리 연산 δ를 그대로 적용하여 복합을 만든다.

첫 번째 주요 결과는 이 복합이 실제로 복합을 이루어 호몰로지군 Hⁿ_{lc‑meas}(G,A) 를 정의한다는 것이다. 저자들은 연속 공동동류 Hⁿ_{c}(G,A) 와 Borel 공동동류 Hⁿ_{B}(G,A) 사이에 자연스러운 비교 사상 i : Hⁿ_{c}→Hⁿ_{lc‑meas} 와 j : Hⁿ_{lc‑meas}→Hⁿ_{B} 를 구축하고, i가 동형인 경우(예: G가 1‑연결인 리 군)와 j가 전사인 경우(예: G가 σ‑컴팩트인 경우)를 구체적으로 분석한다.

두 번째 핵심 정리는 H²_{lc‑meas}(G,A)가 ‘국소적으로 분할되는 확장(Locally split extensions)’을 완전하게 분류한다는 점이다. 여기서 확장은 정확히 1→A→E→G→1 형태이며, E가 위상군이고 A가 정규 폐쇄 부분군일 때, 확장이 ‘국소적으로 연속 단면’을 갖는 경우를 말한다. 저자들은 이러한 확장을 코체인 수준에서 2‑코사이클에 대응시키고, 동형 클래스가 H²_{lc‑meas}(G,A) 의 원소와 일대일 대응함을 보인다. 이때 가정인 G와 A가 모두 로컬 콤팩트·두 번째 가산성을 만족하면, Haar 측도와 표준 Borel 구조를 이용해 가측성 문제를 회피할 수 있다.

또한, 논문은 장(長) 정확한 수열, 인플레이션‑제한(inflation‑restriction) 사상, 그리고 가환성에 대한 가법성(Exactness) 등을 일반적인 공동동류 이론과 동일한 방식으로 확장한다. 특히, 정상 부분군 N⊂G에 대해 0→A^{N}→A→A/A^{N}→0 라는 짧은 정확한 열을 적용하면 장(長) 연속 공동동류와 유사한 장(長) 시퀀스를 얻는다.

리 군에 대한 특수화도 다루어지는데, G가 리 군이면 코체인에 ‘국소적으로 부드러운(smooth)’ 조건을 추가하여 Hⁿ_{lc‑smooth}(G,A) 를 정의한다. 이 경우 저자들은 H²_{lc‑smooth}(G,A) 가 리 대수 공동동류 H²(𝔤,𝔞) 와 비교될 수 있음을 보이며, 특히 반단순 리 군에 대해 Van Est 정리의 변형을 제시한다.

마지막으로, 몇 가지 구체적인 예시가 제시된다. 예를 들어, G=ℝⁿ, A=𝕋(원형군)인 경우 H²_{lc‑meas}(ℝⁿ,𝕋)≅ℝ^{n∧2} 로 계산되며, 이는 전통적인 연속 공동동류와 동일하지만, G가 비가산적인 경우에는 H²_{lc‑meas} 가 더 풍부한 정보를 담는다. 또한, G가 p‑adic Lie group인 경우에도 Haar 측도와 가측성 조건을 이용해 동일한 분류 결과가 성립한다.

전반적으로 이 논문은 ‘국소 연속 가측 코체인’이라는 새로운 관점을 통해 기존 공동동류 이론의 한계를 보완하고, 위상군·리 군의 확장 이론에 실질적인 도구를 제공한다는 점에서 의미가 크다.