[논문 리뷰] Amenable covers, volume and L2-Betti numbers of aspherical manifolds

Roman Sauer|ArXiv.org|2006. 05. 23.

Topological and Geometric Data Analysis참고 문헌 19인용 수 5

한 줄 요약

이 논문은 측정 가능한 군론과 가보리의 ρ-단순 복합체에 대한 L²-Betti 수 이론을 사용하여, 비가역 다각형의 L²-Betti 수와 그 부피 사이의 추측된 부등식을 증명한다. 유한한 패킹 조건이나 리치 곡률 조건과 같은 기하적 제약 조건 하에서, L²-Betti 수에 대한 부피에 대한 균일한 상한을 확립하고, 최소 부피가 충분히 작을 경우 L²-Betti 수가 0이 되는 갭 정리를 증명한다.

ABSTRACT

We provide a proof for an inequality between volume and L2-Betti numbers of aspherical manifolds for which Gromov outlined a strategy based on general ideas of Connes. The implementation of that strategy involves measured equivalence relations, Gaboriau's theory of L2-Betti numbers of R-simplicial complexes, and other themes of measurable group theory. Further, we prove new vanishing theorems for L2-Betti numbers that generalize a classical result of Cheeger and Gromov. As one of the corollaries, we obtain a gap theorem which implies vanishing of L2-Betti numbers of an aspherical manifold when its minimal volume is sufficiently small.

연구 동기 및 목표

• 그로모프가 콘네스의 아이디어를 사용하여 이전에 개략적으로 제시한, 비가역 다각형의 부피와 L²-Betti 수 사이의 추측된 부등식을 엄밀히 증명하는 것.
• 단순 복체 부피와 유계 코hom로지에 대한 고전적 소멸 정리들을 L²-Betti 수의 맥락으로 일반화하는 것.
• 비가역 다각형의 최소 부적이 충분히 작을 경우 L²-Betti 수가 0이 되는 갭 정리를 증명하는 것.
• 유니버설 코팅의 기하학을 제어하고 L²-Betti 수를 경계하기 위해 ρ-공간과 ρ-커버의 프레임워크를 개발하고 적용하는 것.
• L²-Betti 수 이론을 특이 분할된 호몰로지로 확장하고, 지지 질량을 사용하여 바르만 대수에서 차원을 추정하는 것.

제안 방법

• 가보리의 ρ-단순 복합체에 대한 L²-Betti 수 이론을 사용하여 비가역 다각형의 유니버설 코팅의 기하학을 분석한다.
• 오르노스트-우이스-로크힐 렘마를 적용하여 다중도가 제어되고, 커버의 뉘른의 세포 수를 추정할 수 있는 ρ-커버를 구성한다.
• 특이 분할된 호몰로지를 사용하여 X × ˜M에서 기본류의 지지 질량을 정의하고 계산한다.
• 기본류와의 캡 곱을 이용하여 L²-Betti 수를 L(X,Γ)-모듈로의 호몰로지 군 차원과 연결한다.
• 특히 덧셈성과 추적 기반 계산을 이용한 dimL(Γ)의 차원 이론을 활용한다.
• 앨렉산더-화이트니 공식을 사용하여 캡 곱 사상의 분해를 수행하고, 그 핵이 제어된 지지 질량을 가진 부분모듈로 식별한다.

실험 결과

연구 질문

• RQ1 패킹 조건 하에서, 비가역 다각형에 대해 b^{(2)}_i(˜M) ≤ const_{C,n} · vol(M) 부등식이 엄밀히 증명될 수 있는가?
• RQ2 비가역 다각형의 최소 부적이 그 L²-Betti 수의 소멸을 제어하는가?
• RQ3 측정 가능한 군론을 사용하여 단순 복체 부피에 대한 고전적 소멸 정리를 L²-Betti 수로 확장할 수 있는가?
• RQ4 X × ˜M에서 ˜H_n(X × ˜M)의 기본류의 지지 질량이 어떻게 L²-Betti 수를 경계하는 데 사용될 수 있는가?
• RQ5 곡률 경계(예: 리치 곡률)와 L²-Betti 수의 성장 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 n ∈ ℕ에 대해, const_n > 0 인 상수가 존재하여, M가 n차원, 닫힌, 비가역 다각형이고 Ricci(M) ≥ -(n-1)을 만족할 경우, 모든 i ≥ 0에 대해 b^{(2)}_i(˜M) ≤ const_n · vol(M) 이 성립한다.
• 패킹 조건 하에서 부등식 b^{(2)}_i(˜M) ≤ const_{C,n} · vol(M) 이 성립한다: 0 < r < 1 인 모든 r에 대해 반지름 1인 구 안에 반지름 r인 서로소 구가 최대 C r^{-n}개 존재한다.
• 갭 정리가 확립되었다: minvol(M) 이 충분히 작을 경우, 모든 i ≥ 0 에 대해 b^{(2)}_i(˜M) = 0 이다.
• X × ˜M에서 기본류 [M]의 지지 질량은 L(X,Γ)-모듈로의 차원 추정을 통해 L²-Betti 수를 제어한다.
• L²-Betti 수 b^{(2)}_{n-j}(˜M) 는 기본류의 대표 순환에서 함수의 지지의 총측도의 합으로부터 상한이 된다.
• 증명은 평가 사상 ev_j 의 핵이 기본류와의 캡 곱의 핵에 포함되어 있음을 이용하며, 이는 지지 질량을 통한 차원 추정을 가능하게 한다.