[논문 리뷰] Groups of small homological dimension and the Atiyah Conjecture

Peter H. Kropholler, Peter A. Linnell외 1명|ArXiv.org|2004. 01. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 7

한 줄 요약

이 논문은 L²-Betti 수에 관한 Atiyah 추측을 만족하는 동치 차수 ≤1인 군이 국소적으로 자유군이어야 한다는 것을 증명하며, 기존에 알려진 국소적으로 자유군은 동치 차수 ≤1을 가진다는 사실의 역을 제공한다. 또한 유한 생성인 기본 아벨 군의 코homological 차수 ≤2를 가진 군은 BG에 대해 유한한 2차원 모델을 가지며, 자명한 ℤG-모듈 ℤ에 대해 2차원 해상이 존재함을 보인다.

ABSTRACT

A group G has homological dimension less or equal to 1 if it is locally free. We prove the converse provided that G satisfies the Atiyah Conjecture about L^2-Betti numbers. We also show that a finitely generated elementary amenable group G of cohomological dimension less or equal to 2 possesses a finite 2-dimensional model for BG and in particular that G is finitely presented and the trivial ZG-module Z has a 2-dimensional resolution by finitely generated free ZG-modules.

연구 동기 및 목표

• Atiyah 추측을 가정할 때, 기존에 알려진 국소적으로 자유군은 동치 차수 ≤1을 가진다는 사실의 역을 증명하기 위해.
• 그룹 표현과 기하 모델을 통해 코homological 차수 ≤2인 유한 생성 기본 아벨 군을 특성화하기 위해.
• 그러한 군들이 유한한 2차원 분류공간 BG와 자명한 ℤG-모듈 ℤ에 대해 2차원 해상을 가짐을 보여주기 위해.
• Atiyah 추측 하에서 동치 대수학, von Neumann 차원, 군론적 성질 간의 상호작용을 조사하기 위해.

제안 방법

• L²-Betti 수에 관한 Atiyah 추측을 사용하여 군 von Neumann 대수 𝒩(G) 위의 모듈의 von Neumann 차원을 제어한다.
• 레마 4를 적용하여 𝒩(G)와의 텐서곱에서 0차원 몫을 가지는 프로젝티브 모듈이 유한 생성임을 보인다.
• 레마 5를 활용하여 유한한 von Neumann 차원을 가진 모듈에서 0차원 몫을 가지는 유한 생성 부분모듈을 추출한다.
• Stallings의 결과를 활용하여, FP 조건 하에서 코homological 차수 1인 군은 자유군임을 안다.
• Gildenhuys의 정리를 적용하여 코homological 차수 2인 가환군의 일종의 표현을 다룬다.
• 호모로지가 열린 극한(colimits)과 가환하므로, 유한 생성 부분군에서의 결과를 전체 군으로 확장한다.

실험 결과

연구 질문

• RQ1 동치 차수 ≤1인 군이 반드시 국소적으로 자유군이 되는 조건은 무엇인가?
• RQ2 Atiyah 추측은 낮은 동치 차수를 가진 군의 군론적 구조를 특성화하는 데 사용될 수 있는가?
• RQ3 유한 생성 기본 아벨 군의 코homological 차수 ≤2의 기하학적 및 대수적 구조는 무엇인가?
• RQ4 그러한 군은 BG에 대해 유한한 2차원 모델을 가질 수 있는가, 그리고 이는 그들의 해상에 어떤 의미를 갖는가?
• RQ5 𝒩(G) 위의 모듈의 von Neumann 차원은 프로젝티브 모듈의 유한 생성성에 어떤 제약을 가하는가?

주요 결과

• Atiyah 추측을 만족하는 동치 차수 ≤1인 군은 반드시 국소적으로 자유군이어야 하며, 이는 기존에 알려진 국소적으로 자유군은 동치 차수 ≤1을 가진다는 사실의 역을 제공한다.
• 코homological 차수 ≤2인 유한 생성 기본 아벨 군의 경우, BG에 대해 유한한 2차원 모델이 존재하며, 이는 군이 유한히 표현 가능하다는 것을 암시한다.
• 자명한 ℤG-모듈 ℤ는 유한 생성 자유 ℤG-모듈들로 이루어진 2차원 해상을 가진다. 이는 강력한 유한성 조건이다.
• 그러한 군은 가산적이지만 유한 생성이 아닌 경우 ℚ의 비순환 부분군이거나, 어떤 n ∈ ℤ에 대해 ⟨x,y | yxy⁻¹ = xⁿ⟩ 형태의 표현을 가진다.
• 증명은 Atiyah 추측을 통해 𝒩(H) 위의 프로젝티브 모듈이 유한한 von Neumann 차원을 가질 경우 유한 생성임을 보장함으로써 Stallings의 정리를 적용할 수 있도록 한다.
• 동치 차수 ≤2인 기본 아벨 군은 메타아벨군이며, 그 구조는 Hirsch 길이와 G/N이 Fitting 부분군에 작용하는 방식에 의해 제약을 받는다.