[논문 리뷰] On the Cohomology of Actions of Groups by Bernoulli Shifts

Sorin Popa, Román Sasyk|ArXiv.org|2003. 10. 15.

Advanced Topology and Set Theory참고 문헌 3인용 수 9

한 줄 요약

이 논문은 약한 강성 조건을 만족하는 가산离산군의 베르누이 이동 작용에 대해 첫 번째 코homology 군 $ H^1(\sigma) $ 를 계산하며, $ G $ 가 무한 정규부분군을 가지며 상대적 성질 (T) 를 갖는 경우 $ H^1(\sigma) $ 가 $ G $ 의 특징군과 동형임을 증명한다. 이 결과는 성질 (T) 와 단순성에 관한 이전 연구를 확장하며, 프로젝티브 표현과 힐버트-슈미트 기법을 사용하여 이 맥락에서 처음으로 명시적인 코homology 계산을 제공한다.

ABSTRACT

We prove that if $G$ is a countable, discrete group having infinite, normal subgroups with the relative property (T), then the Bernoulli shift action of $G$ on ${\underset g \in G o Π} (X_0, μ_0)_g$ for $(X_{0},μ_{0})$ an arbitrary probability space, has first cohomology group isomorphic to the character group of $G$.

연구 동기 및 목표

• 가산 이산군의 베르누이 이동 작용에 대해 첫 번째 코homology 군 $ H^1(\sigma) $ 를 계산하는 것.
• G 가 약한 강성일 경우, 즉 $ (G,H) $ 가 상대적 성질 (T) 를 가지며 무한 정규부분군 $ H $ 를 갖는 경우 $ H^1(\sigma) $ 를 특징짓는 것.
• 성질 (T) 와 강한 혼합성에 관한 알려진 결과를 명시적인 코homological 계산으로 확장하는 것.
• 베르누이 이동의 맥락에서 군 코hom로, 유니터리 표현, 그리고 von Neumann 대수의 기하학 간의 구조적 연결 고리를 확립하는 것.

제안 방법

• 스칼라 모듈로의 약한 1-코사이클과 약한 코boundary를 사용하여 코homological 불변량을 분석하는 것.
• 약한 코사이클 $ w $ 로부터 유도된 스칼라 2-코사이클 $ \overline{\gamma} $ 를 갖는 프로젝티브 유니터리 표현 $ \sigma^w $ 를 $ L^2(X,\mu) $ 에 구축하는 것.
• 힐버트-슈미트 연산자 공간 $ \mathcal{HS} $ 를 적용하여 작용을 $ \mathcal{HS} $ 상의 유니터리 표현 $ \widetilde{\sigma}^w $ 로 올리는 것.
• 상대적 성질 (T) 를 갖는 $ (G,H) $ 를 이용하여 임의의 약한 1-코사이클 $ w $ 가 $ H $ 에서 약한 코boundary로 제한됨을 보이며, 이는 $ w|_H $ 가 $ \mathbb{C} $ 모듈로 스칼라 값이 됨을 의미함.
• 작용 $ \sigma|_H $ 의 약한 혼합성 을 이용하여 $ w_g $ 가 1의 스칼라 배수여야 하며, 이는 $ w $ 가 약한 코boundary임을 강제함.
• 각 $ A_n $ 에서 스칼라에 대해 유니터리 대표의 유일성과 $ \bigcap A_n = A_0 $ 를 이용하여 코boundary의 구조를 $ A_n $ 에서 $ A_0 $ 로 내림내림.

실험 결과

연구 질문

• RQ1 약한 강성 군 $ G $ 의 베르누이 이동 작용 $ \sigma $ 에 대해 첫 번째 코homology 군 $ H^1(\sigma) $ 의 구조는 무엇인가요?
• RQ2 상대적 성질 (T) 를 갖는 $ (G,H) $ 는 $ G $-작용의 코homology 에 어떤 영향을 미치나요?
• RQ3 베르누이 이동에 대해 약한 1-코사이클은 군 $ G $ 의 특징에 의해 분류될 수 있나요?
• RQ4 베르누이 이동에 대해 모든 약한 1-코사이클이 약한 코boundary가 되는 조건은 무엇인가요?
• RQ5 $ \sigma $ 의 코homology 와 특징군 $ \widehat{G} $ 간의 관계는 무엇인가요?

주요 결과

• 모든 약한 강성 군 $ G $ 에 대해, 베르누이 이동 작용 $ \sigma $ 의 첫 번째 코homology 군 $ H^1(\sigma) $ 는 특징군 $ \widehat{G} $ 와 동형이다.
• 약한 강성 군 $ G $ 를 갖는 $ G $-베르누이 이동에 대해 모든 약한 1-코사이클은 약한 코boundary이다.
• 만약 $ w $ 가 진정한 1-코사이클이라면, $ w $ 는 $ G $ 의 특징과 동치이며, 서로 다른 특징은 비동치인 코사이클을 유도한다.
• $ G = SL(n,\mathbb{Z}) \times \Gamma $ 이고 $ n \geq 3 $ 일 경우, 첫 번째 코homology 군 $ H^1(\sigma) $ 는 쌍대군 $ \widehat{\Gamma} $ 와 동형이다.
• $ \Gamma $ 가 자명할 경우, 즉 $ G = SL(n,\mathbb{Z}) $ 이고 $ n \geq 3 $ 일 경우, 코homology 군 $ H^1(\sigma) $ 는 자명하다.
• 증명은 상대적 성질 (T) 의 $ (G,H) $, 작용의 약한 혼합성, 그리고 힐버트-슈미트 연산자의 구조를 이용하여 코사이클의 스칼라 값 성질을 강제한다.