[논문 리뷰] Survey on approximating L^2-invariants by their classical counterparts: Betti numbers, torsion invariants and homological growth

Wolfgang Lueck|arXiv (Cornell University)|2015. 01. 29.

Advanced Combinatorial Mathematics참고 문헌 70인용 수 8

한 줄 요약

이 종합 검토는 다양체 또는 CW 복합체의 유한 커버링을 통해 L²-불변량—예를 들어 L²-Betti 수, 토파로지, 호모로지 성장—을 고전적 불변량(예: Betti 수, 토파로지)으로 근사하는 것을 조사한다. 유한 정규 커버링의 탑에서 정규화된 불변량의 수렴성을 확립하고, 그 극한이 해당 L²-불변량으로서의 값을 갖는다는 것을 밝히며, 오일러 지표, 서명, Betti 수에 대한 핵심 결과를 제시한다. 또한 토파로지와 랭크 그라디언트에 대한 열린 추측을 강조한다.

ABSTRACT

In this paper we discuss open problems concerning L^2-invariants focusing on approximation by towers of finite coverings.

연구 동기 및 목표

• 유한 정규 탑에서 커버링 차수로 정규화된 고전적 불변량(예: Betti 수, 토파로지, 랭크 그라디언트)이 수렴하는지 조사하기.
• 그러한 정규화된 불변량의 극한이 유니버설 커버의 해당 L²-불변량과 일치하는지 확인하기.
• 비가속성 다양체와 잔여 유한군에서 L²-토파로지, L²-Betti 수, 랭크 그라디언트 근사에 관한 열린 문제와 추측을 규명하기.
• 유한 차원의 대체 불변량을 사용한 L²-불변량 근사에 관한 알려진 결과와 열린 과제를 통합하고 종합하기.

제안 방법

• G_i ⊴ G인 내림차순 정규 유한지수 부분군의 체인을 사용하여 G-공간 X̄의 유한 커버링 X[i] = G_i \ X̄를 구성하기.
• 커버링 차수 [G:G_i]로 고전적 불변량 α(X[i])를 정규화하여 수열 α_i = α(X[i])/[G:G_i]를 형성하기.
• i → ∞일 때 α_i의 극한 행동을 분석하여, α_i가 α^(2)(X̄; N(G))로 수렴함을 증명하는 데 목표를 두기. 여기서 α^(2)(X̄; N(G))는 α의 L²-해석이다.
• L²-불변량에 대한 스펙트럴 이론, 군 von Neumann 대수 N(G), 그리고 근사 정리의 적용.
• L²-토션과 레이머의 문제를 연결하기 위해 Fuglede-Kadison 행렬식과 Mahler 측도의 사용.
• 암시적 근사의 탐구를 위해 가용성 피로, 비용 이론, 단순체적 부피의 결과를 활용하기.

실험 결과

연구 질문

• RQ1 모든 체수 F에 대해, 정규화된 n번째 Betti 수 b_n(X[i]; F)/[G:G_i]가 L²-Betti 수 b_n^(2)(X̃)로 수렴하는가?
• RQ2 정규화된 랭크 그라디언트 d(G_i)/[G:G_i]의 극한이 L²-랭크 그라디언트 RG(G; (G_i))와 같은가?
• RQ3 비가속성 다양체에 대해, 정규화된 토파로지의 로그 ln|tors(H_n(X[i]))|/[G:G_i]가 L²-토션 ρ^(2)_an(X̃)으로 수렴하는가?
• RQ4 비가속성 다양체의 차원 d에 대해, L²-Betti 수 b_n^(2)(M̃)가 언제 0이거나 양수로 유지되는가?
• RQ5 어떤 군 G에 대해 레이머의 상수 Λ(G)가 Λ(G) > 1를 만족하는가? 이는 비아벨 군으로의 레이머 문제 일반화이다.

주요 결과

• 주어진 설정 하에, 모든 n과 임의의 체수 F에 대해, 정규화된 Betti 수 b_n(X[i]; F̄_p)/[G:G_i]는 L²-Betti 수 b_n^(2)(X̃)로 수렴한다.
• 차원 d=2n인 비가속성 닫힌 다양체에 대해, L²-Betti 수 b_n^(2)(M̃)는 (-1)^n · χ(M)와 같으며, 음의 곡률을 가진 메트릭을 가질 경우 양수이다.
• 정규화된 랭크 그라디언트 d(G_i)/[G:G_i]는 b_1^(2)(G) = cost(G) - 1로 수렴하며, 차원 2에서는 -χ(M)와 일치한다.
• 차원 d=2n+1이 홀수이고 M이 음의 곡률을 가질 경우, 정규화된 토파로지의 로그 ln|tors(H_n(X[i]))|/[G:G_i]는 L²-토션 ρ^(2)_an(M̃)로 수렴한다.
• 홀수 차원의 비가속성 다양체에 대해, L²-토션에 대해 (-1)^n · ρ^(2)_an(M̃) ≥ 0이 성립하며, M이 음의 곡률을 가진 메트릭을 가질 경우 >0이다.
• 일부 군에 대해 레이머의 상수 Λ(G)는 Λ(G) > 1를 만족하며, 일반 군에 대해서는 여전히 열린 문제이며, Λ^w(G) ≥ Λ(G)이다.