[논문 리뷰] Group cocycles and the ring of affiliated operators

Jesse Peterson, Andreas Thom|arXiv (Cornell University)|2007. 08. 31.

Advanced Operator Algebra Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 ℓ²G 값의 군 1-코호몰로지와 소속 연산자 링 𝒰G 간의 관계를 조사하며, 애매한 군의 경우 모든 이러한 코호몰로지가 유계이거나 적절한 성질을 가짐을 증명한다. 주요 기여는 비영인 첫 번째 ℓ²-Betti 수가 약한 Atiyah 추측 조건 하에서 순환군이 아닌 군에 자유군의 존재를 암시한다는 것을 증명하고, 양의 ℓ²-Betti 수를 가진 정상 및 s-정상 부분군에 대한 결과를 일반화하는 것이다.

ABSTRACT

In this article we study cocycles of discrete countable groups with values in l^2(G) and the ring of affiliated operators UG. We clarify properties of the first cohomology of a group G with coefficients in l^2(G) and answer several questions from [CTV]. Moreover, we obtain strong results about the existence of free subgroups and the subgroup structure, provided the group has a positive first l^2-Betti number. We give numerous applications and examples of groups which satisfy our assumptions.

연구 동기 및 목표

• 첫 번째 코호몰로지 군 H¹(G; ℓ²G)의 구조와 소속 연산자 링 𝒰G 간의 관계를 명확히 하기.
• 논문 [ctv]에서 제기된 문제들, 즉 이산 가산 군에서의 ℓ²-코호몰로지 및 코호몰로지의 행동에 대한 열린 문제를 다루기.
• 양의 첫 번째 ℓ²-Betti 수를 가진 군이 자유군을 포함하는 조건을 설정하기, 특히 순환군이 아닌 경우에 중점을 두기.
• Karrass–Solitar, Baumslag 등이 제시한 고전적 정리들을 일반화하여, ℓ²-Betti 수에 대해 정상 및 s-정상 부분군에 대한 결과를 확장하기.
• ℓ²-불변량을 통합 도구로 사용하여 극한 군, 거듭제곱 흡수 부분군, 자유군과 측도 동치인 군들에 응용을 탐색하기.

제안 방법

• c: G → ℓ²G를 만족하는 1-코호몰로지 c(gh) = g·c(h) + c(g)를 분석하고, 내부 코호몰로지(c(g) = (g−1)ξ)와 일반 코호몰로지 간의 차이를 구분한다.
• LG ⊂ ℓ²G ⊂ 𝒰G의 포함 체인을 이용하여 다양한 모듈러스에서의 코호몰로지 간의 관계를 설정하고, Z¹(G; ℓ²G)에서 Z¹(G; 𝒰G)로의 사상 연구를 수행한다.
• 특히 H¹(G; ℓ²G)의 von Neumann 차원으로 정의된 첫 번째 ℓ²-Betti 수 β₁⁽²⁾(G)를 포함한 ℓ²-불변량 이론을 적용한다.
• 하나의 부분군 H ⊂ G에 대해 s-정상성과 wq-정상성 개념을 활용하며, 여기서 H ∩ H^g 는 모든 g ∈ G 에 대해 무한하다.
• 군의 확장과 부분군의 교차에서 ℓ²-Betti 수가 잘 행동하도록 보장하기 위해 약한 Atiyah 추측 조건을 적용한다.
• Gaboriau 등이 제시한 측도 동치 및 극한 군에 관한 결과를 활용하여 주요 정리의 적용 범위를 더 넓은 군의 범주로 확장한다.

실험 결과

연구 질문

• RQ1 애매한 군에 대해 H¹(G; ℓ²G)가 언제 자명한가, 그리고 이는 코호몰로지의 유계성 또는 적절성과 어떻게 관련되는가?
• RQ2 비영인 첫 번째 ℓ²-Betti 수가 순환군이 아닌 군에서 자유군의 존재를 암시하는 조건은 무엇인가?
• RQ3 주변 군의 β₁⁽²⁾(G) > 0 이면 s-정상 또는 wq-정상 부분군 H ⊂ G 는 어떻게 행동하는가?
• RQ4 자기 공액에 의해 무한한 교차를 가지는 부분군에서, ℓ²-Betti 수는 인덱스의 유한성을 감지할 수 있는가?
• RQ5 소속 연산자 링 𝒰G 는 군 코호몰로지 및 부분군 성장의 구조를 어떻게 통제하는가?

주요 결과

• 애매한 이산 가산 군에 대해, ℓ²G 값의 모든 1-코호몰로지가 관련 벡터 ξ 가 ℓ²G 에 속해 있는지 여부에 따라 유계이거나 적절한 성질을 가짐을 보였다.
• 비영인 첫 번째 ℓ²-Betti 수 β₁⁽²⁾(G) > 0 이면, 약한 Atiyah 추측 조건 하에서 순환군이 아닌 군에서 자유군의 존재를 암시한다.
• G 가 순환군이면서 β₁⁽²⁾(G) > 0 이면, G = {e} ∪ ⨆ᵢ Gᵢ 로 분할 가능하며, 각 Gᵢ 는 mal-정상이면서 β₁⁽²⁾(Gᵢ) = 0 이다.
• s-정상 또는 wq-정상 부분군 H ⊂ G 에 대해, β₁⁽²⁾(G) > 0 이면 H 는 그 공액군의 생성군 또는 그 공액군의 공액군에서 유한 인덱스를 가진다.
• G = ⟨g₁,…,gₙ | r₁^{w₁},…,rₖ^{wₖ}⟩ 와 같은 비중복 표현을 가진 군에 대해 β₁⁽²⁾(G) ≥ n−1 − ∑ⱼ 1/wⱼ 를 만족하며, 이는 많은 순환군에 대해 하한을 제공한다.
• 자유군과 측도 동치인 군에서, 유한 생성 부분군 H 가 무한한 공액군을 가질 경우, 공액군이 애매하거나 H 가 그 안에서 유한 인덱스를 가진다.