[논문 리뷰] The limit of F_p-Betti numbers of a tower of finite covers with amenable fundamental groups

Peter A. Linnell, Wolfgang Lueck외 1명|arXiv (Cornell University)|2010. 03. 01.

Topological and Geometric Data Analysis인용 수 6

한 줄 요약

이 논문은 애먼 fundamental group을 가진 유한 커버의 계열에서 F_p-Betti 수의 극한에 대한 공식을 수립하며, 이 극한이 국소화된 군환 위의 호모로지 모듈러의 Ore 차원과 일치함을 보여준다. 이는 L^2-Betti 수 근사 정리가 임의의 체, 특히 양의 특성수를 가진 체로 일반화된 것으로, 가상으로 비자기적 애먼 군에 대해 오레 국소화와 호모로지 대수학을 사용한다.

ABSTRACT

We prove an analogue of the Approximation Theorem of L^2-Betti numbers by Betti numbers for arbitrary coefficient fields and virtually torsionfree amenable groups. The limit of Betti numbers is identified as the dimension of some module over the Ore localization of the group ring.

연구 동기 및 목표

• 애먼 fundamental group을 가진 잔여 체인을 따라 유한 커버의 계열에서 F_p-Betti 수의 극한을 결정하는 것.
• L^2-Betti 수 근사 정리를 특성 수가 임의인 체, 특히 양의 특성수로 일반화하는 것.
• 군환 모듈의 Ore 차원을 통해 극한을 대수적 형태로 표현하는 것.
• 스펙트럴 시퀀스와 같은 호모로지 대수학 기법을 사용해 극한을 계산 가능하게 하는 것.
• 이전의 비자기적 군에 대한 결과를 일반화하여 가상으로 비자기적 애먼 군에 대해 결과를 수립하는 것.

제안 방법

• kG의 영이 아닌 원소들의 곱셈 집합 S = kG ∖ {0} 에서 군환 kG의 오레 국소화를 사용하며, kG가 영원소를 가지지 않으면 이는 비가역체가 된다.
• 극한을 대수적으로 정의하기 위해 오레 차원 함수 dim^Ore_{kG}(M) = dim_{S^{-1}kG}(S^{-1}kG ⊗_{kG} M) 를 적용한다.
• 스펙트럴 시퀀스 추론(예: 호흐실드-세라)을 사용해 국소화된 환 위에서 호모로지를 계산한다.
• 애먼 군 이론의 하위加성 함수 수렴 원리(Lindenstrauss-Weiss, Weiss)에 의존하여 극한의 존재를 확립한다.
• 특성 수 0의 경우 복소수 C로의 체 임bedding을 통해 기존의 바르트만-바이어스트라우스 및 오레 차원 결과를 활용한다.
• 유니버설 계수 정리를 사용해 서로 다른 체 위에서의 Betti 수를 연결하며, 특히 특성 수 0과 p를 비교한다.

실험 결과

연구 질문

• RQ1 애먼 군에 대해 잔여 체인을 따라 유한 커버의 계열에서 정규화된 F_p-Betti 수의 극한이 존재하는가?
• RQ2 존재한다면, 이 극한은 군환과 그 국소화를 사용해 순수하게 대수적 형태로 표현될 수 있는가?
• RQ3 특성 수가 양의 특성수일 경우, 이 극한은 체의 선택에 따라 어떻게 달라지는가?
• RQ4 유한 자유 G-CW-복합체에 대해 극한이 호모로지 모듈의 오레 차원과 같은가?
• RQ5 스펙트럴 시퀀스와 같은 호모로지 대수학 기법을 사용해 극한을 계산할 수 있는가?

주요 결과

• 정규화된 F_p-Betti 수의 극한 lim_{n→∞} dim_k H_i(G_n\X; k) / [G:G_n] 이 존재하며, 유한 자유 G-CW-복합체 X에 대해 오레 차원 dim^Ore_{kG}(H_i(X)) 와 일치한다.
• 유한 생성 kG-모듈 M에 대해 극한 lim_{n→∞} dim_k (k ⊗_{kG_n} M) / [G:G_n] 이 dim^Ore_{kG}(M) 와 같다.
• 가상으로 비자기적 애먼 군이 영원소 추측을 만족할 경우, 잔여 체인에 관계없이 극한이 독립적이다.
• 특성 수 p에서 극한은 L^2-Betti 수보다 엄밀히 클 수 있으며, 이는 체 k에 대한 의존성을 보여준다.
• 예제 6.2는 dim^Ore_{kG}(H_i(X;k)) 가 체 k의 특성에 따라 달라짐을 보여준다: char(k) ≠ p 이면 0, char(k) = p 이면 1이다.
• 가상으로 비자기적 초등 애먼 군에 대해, 정규화된 Betti 수 b_i(G/G_n; k)/[G:G_n] 는 i ≥ 1 이어도 극한에서 0으로 수렴한다.