유의적 공간의 Property A를 코호몰로지로 규정하기

초록

이 논문은 Yu가 정의한 Property A를 히그슨이 제시한 “동형성 없는 amenability”의 동질적(동류) 설명으로 바꾸고자 한다. 저자들은 거리공간 X에 대해 군의 코호몰로지와 유한 코호몰로지의 구조를 모방한 두 종류의 코호몰로지 이론을 구축하고, 이 이론에서 모든 차수의 코호몰로지가 소멸할 때와 정확히 Property A가 성립함을 증명한다. 또한, 비대칭 평균(asymptotically invariant mean)의 존재와 코호몰로지 소멸 사이의 동등성을 보이며, 기존의 코호몰로지적 접근법이 없던 공간적 amenability 개념을 새로운 대수적 틀 안에 끌어들인다.

상세 분석

논문은 먼저 거리공간 X에 대해 “제어된 코체인 복합체(controlled cochain complex)”를 정의한다. 여기서 코체인들은 유한 지지(support)와 유계 변동성을 동시에 만족하는 함수들로 구성되며, 차수 n의 코체인 공간 Cⁿ(X;V)는 V‑값 함수 f: X^{n+1}→V 로, 각 인자 사이의 거리 차이가 일정 상수 R 이하일 때만 비제로가 되도록 제한한다. 이러한 제어 조건은 코호몰로지 연산 d가 잘 정의되게 하며, 거리공간의 대규모 기하학적 특성을 반영한다.

다음으로 저자들은 두 종류의 계수 모듈 V를 도입한다. 첫 번째는 일반적인 Banach X‑모듈로, 군의 경우와 마찬가지로 연산자 ‖·‖이 보존된다. 두 번째는 “유계” 모듈 ℓ^∞(X)와 그 변형인 ℓ^∞_0(X) 등을 포함하는, 코체인의 값이 전역적으로 유계인 경우를 다루는 구조이다. 이 두 모듈을 사용해 각각 “일반 코호몰로지 Hⁿ(X;V)”와 “유계 코호몰로지 H_bⁿ(X;V)”를 정의한다.

핵심 정리는 다음과 같다. 거리공간 X가 Property A를 만족하면, 모든 차수 n≥1에 대해 Hⁿ(X;ℓ^∞_0)=0 이며, 반대로 H¹(X;ℓ^∞_0)=0이면 X는 Property A를 가진다. 증명은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 Property A가 “점근적으로 불변하는 평균(asymptotically invariant mean)”의 존재와 동치임을 보인다. 평균 μ는 각 x∈X에 대해 확률 측도 μ_x를 할당하고, 거리 R이 커질수록 μ_x와 μ_y의 차이가 작아지는 특성을 갖는다. 이러한 μ를 이용해 코체인 f에 대해 “평균화 연산 A(f) = ∫ f dμ” 를 정의하면, A는 코체인 복합체의 사상이며 동형사상이다.

두 번째 단계에서는 A가 동형사상임을 이용해 코체인 복합체를 “사상 사상 사상”(chain homotopy) 수준에서 축소시켜, 모든 코사이클이 코바운더리로 표현될 수 있음을 보인다. 구체적으로, 적절한 “전이 사상” T를 구성해 dT+Td = Id - A 로 만들면, Id와 A가 동형동형이므로 코호몰로지가 소멸한다. 반대로, H¹이 소멸하면 위와 같은 전이 사상을 역으로 구축할 수 있어 평균 μ를 얻는다.

또한 저자들은 유계 코호몰로지 H_bⁿ와 일반 코호몰로지 사이의 장-단 정확한 관계를 살펴본다. 유계 코호몰로지는 “대규모 불변성”을 더 강하게 요구하므로, Property A가 성립하면 H_bⁿ도 모두 소멸한다. 이때 “비제한된 평균”이 존재함을 보이는 것이 핵심이며, 이는 기존에 알려진 “coarse amenability”와도 일치한다.

마지막으로, 논문은 몇 가지 예시와 응용을 제시한다. 예를 들어, 유한 차원 격자 ℤ^d는 전통적인 amenability 때문에 Property A와 코호몰로지 소멸을 동시에 만족한다. 반면, Expander 그래프 군집은 Property A를 만족하지 않으며, 이에 대응하는 코호몰로지 역시 비소멸한다는 것을 계산으로 확인한다. 이러한 예시는 제안된 코호몰로지 이론이 실제 거리공간의 대규모 기하학을 정확히 포착함을 보여준다.