아멘블 행동과 불변 평균 그리고 유계 코호몰로지

초록

이 논문은 가산 이산군이 콤팩트 공간에 작용할 때, 위상적 아멘블성, 불변 평균 존재, 그리고 특정 Banach G‑모듈에 대한 유계 코호몰로지 소멸이 서로 동치임을 증명한다. 특히 점 하나에 대한 경우는 Johnson의 고전 정리와 일치하고, βG(스톤‑Čech 컴팩티피케이션)에서의 경우는 군의 정확성(exactness)을 코호몰로지적으로 특징짓는다.

상세 분석

논문은 먼저 위상적 아멘블성(topological amenability)의 정의를 재검토한다. 이는 G가 X에 작용할 때, X×G에 대한 연속적인 확률 측도 열이 존재하여 G의 이동에 대해 거의 불변인 것을 의미한다. 저자들은 이 조건을 “불변 평균(invariant mean) 존재”와 정확히 동일시한다. 여기서 불변 평균은 C(X)∗의 선형 기능으로, 모든 f∈C(X)와 g∈G에 대해 μ(g·f)=μ(f)를 만족한다. 기존 문헌에서는 이 동치가 점 하나에 대한 경우에만 알려졌으나, 저자들은 일반 콤팩트 X에 대해 새로운 증명을 제시한다. 핵심 아이디어는 G‑모듈 ℓ∞(G, C(X))에 대한 평균화 연산자를 구성하고, 이를 통해 C(X)∗에 대한 G‑불변 선형 사상을 얻는 것이다.

다음으로 저자들은 이 동치가 유계 코호몰로지(bounded cohomology)와도 연결된다는 점을 보여준다. 구체적으로, X에 대한 연속 함수 공간 C(X)와 그 듀얼을 이용해 Banach G‑모듈 V_X를 정의한다. V_X는 C(X)∗에 ℓ^1‑형식으로 가중치를 부여한 공간으로, G의 작용이 자연스럽게 연장된다. 저자들은 H_b^n(G, V_X)=0 (모든 n≥1) 가 위상적 아멘블성과 동치임을 증명한다. 이때 사용되는 주요 도구는 G‑불변 평균을 이용한 코사인 연산자와, G‑불변 체인 복합체의 축소이다. 특히 n=2인 경우, 특정 2‑코사인 클래스