[논문 리뷰] $L^2$-signatures, homology localization, and amenable groups

Jae Choon, Kent E. Orr|ArXiv.org|2009. 10. 19.

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

한 줄 요약

이 논문은 Cohn과 Bousfield의 군 및 환 국소화를 기반으로 한 새로운 국소 유도 계열을 사용하여, Strebel의 클래스 $D(R)$에 속하는 약한 아벨 군에 대해 $L^2$-베티 수와 $L^2$-서명 결함이 호모로지 코바디즘에 대해 불변임을 입증한다. 핵심 기여는 바나흐-바나흐 공간 계수를 가진 호모로지에 대한 새로운 $L^2$-차원 0 정리로, 이는 이전의 다항-토르션-자유 아벨 군에 대한 결과를 일반화하며, 3차원 이상의 위상수학에 새로운 응용 가능성을 제공한다.

ABSTRACT

Aimed at geometric applications, we prove the homology cobordism invariance of the $L^2$-betti numbers and $L^2$-signature defects associated to the class of amenable groups lying in Strebel's class $D(R)$, which includes some interesting infinite/finitenon-torsion-free groups. The proofs include the only prior known condition, that $Γ$ is a poly-torsion-free abelian group (or potentially a finite $p$-group.) We define a new commutator-type series which refines Harvey's torsion-free derived series of groups, using the localizations of groups and rings of Bousfield, Vogel, and Cohn. The series, called the local derived series, has versions for homology with arbitrary coefficients, and satisfies functoriality and an injectivity theorem. We combine these two new tools to give some applications to distinct homology cobordism types within the same simple homotopy type in higher dimensions, to concordance of knots in three manifolds, and to spherical space forms in dimension three.

연구 동기 및 목표

• 다항-토르션-자유 아벨 군을 초월하여 호모로지 코바디즘에 대해 $L^2$-서명과 $L^2$-베티 수의 불변성을 확장하기.
• 체수군이 체의 체로 삽입되지 않는 경우, 즉 이전 접근 방식의 한계를 극복하기.
• Cohn과 Bousfield의 국소화를 활용하여 하비의 토퍼션-자유 유도 계열을 정교화하는 새로운 공변형 유도 계열—바울-코른 $R$-국소 유도 계열—정의하기.
• $R$-호모로지가 자명할 경우, $\mathcal{N}\Gamma$-계수 호모로지에 대한 $L^2$-차원 0 정리 증명하여 새로운 위상수학적 응용 가능하게 하기.
• 이 도구들을 활용해 동일한 단순 호모토피 유형 내에서 호모로지 코바디즘 유형을 구별하고, 링크 및 공간 형상의 코herentence를 연구하기.

제안 방법

• 환과 모듈의 Cohn 국소화를 사용하여, 유도 계열의 함자성이고 계산 가능한 정교화인 바울-코른 $R$-국소 유도 계열 도입.
• Bousfield 국소화 기반의 유도 계열 변형 정의로, 다양한 국소화 유형으로의 프레임워크 확장.
• Lück의 $L^2$-차원 0 모듈에 대한 정리 사용: 만약 $H_*(C_* \otimes_{\mathbb{Z}\Gamma} R) = 0$ 이면, $D(R)$ 내 약한 아벨 군에 대해 $H_*(C_* \otimes_{\mathbb{Z}\Gamma} \mathcal{N}\Gamma)$ 는 $L^2$-차원 0을 가짐을 증명.
• 국소 유도 계열에 대해 스탤링스 유형의 단사성 정리 수립: 오레 국소화가 아닌 국소화를 사용한 코흐란-하비 결과와 유사하나, 국소화 기반으로 구현.
• 이를 통해 $R$-호모로지 코바디즘 하에서 $D(R)$-군에 대해 $L^2$-서명의 불변성 증명.
• 새로운 계열을 사용해 동일한 단순 호모토피 유형 내에서 비자명한 호모로지 코바디즘 유형 탐지, 특히 토퍼션 기본군을 가진 다양체에서의 적용.

실험 결과

연구 질문

• RQ1 다항-토르션-자유 아벨 군을 초월하여, 더 넓은 군의 범주에서 $R$-호모로지 코바디즘 하에서 $L^2$-서명이 불변임을 입증할 수 있는가?
• RQ2 군 $\Gamma$ 가 어떤 조건을 만족하면, $R$-호모로지가 자명할 경우 $\mathcal{N}\Gamma$-계수 호모로지의 $L^2$-차원이 0이 되는가?
• RQ3 국소화 기법을 사용하여 토퍼션-자유 유도 계열을 정교화하고 더 세밀한 대수적 구조를 탐지할 수 있는 유도 계열을 어떻게 구성할 수 있는가?
• RQ4 새로운 국소 유도 계열은 동일한 단순 호모토피 유형 내에서 서로 다른 호모로지 코바디즘 유형을 식별할 수 있는가?
• RQ5 국소 유도 계열의 몫에서 생존하는 토퍼션 원소가 존재할 경우, 어떤 위상수학적 결과가 도출되는가?

주요 결과

• $\pi_1(W)$ 가 $D(R)$ 내 약한 군으로 사상되는 $R$-호모로지 코바디즘을 가진 다양체 $M$ 과 $M'$ 에 대해, $L^2$-서명 결함 $\rho(M, \phi)$ 와 $\rho(M', \phi')$ 는 서로 같다.
• $C_*$ 가 $\mathbb{Z}\Gamma$ 위의 유한 생성 자유 체인 복합체이고 $H_*(C_* \otimes_{\mathbb{Z}\Gamma} R) = 0$ 이면, $D(R)$ 내 약한 군 $\Gamma$ 에 대해 $H_*(C_* \otimes_{\mathbb{Z}\Gamma} \mathcal{N}\Gamma)$ 는 $L^2$-차원 0을 가진다.
• 바울-코른 $R$-국소 유도 계열은 함자적이며 스탤링스 유형의 단사성 정리를 만족하여, 몫에서 비자명한 원소 탐지 가능.
• 기본군이 $\pi$ 인 닫힌 $(4k-1)$-다양체 $M$ 에 대해, 만약 토퍼션 원소가 $\mathbb{Z}_p$ 또는 $\mathbb{Z}_{(p)}$-계수 국소 유도 계열의 몫에서 여전히 비자명하면, $M$ 과 단순 호모토피적이고 탄성적으로 동치인 무한히 많은 쌍으로 비동치인 호모로지 코바디즘 유형을 가진 다양체가 존재한다.
• 새로운 국소 유도 계열은 하비의 토퍼션-자유 유도 계열보다 엄밀히 더 정교하며, Cohn과 Bousfield 국소화를 활용한 계산 가능한 정교화를 제공한다.
• 결과적으로 이전의 다항-토르션-자유 아벨 군의 경우를 포함하며, 무한군 및 유한군, $p$-군, $\mathbb{Z}_p$-국소화를 포함한 비토르션-자유 군으로 $L^2$-서명 불변성을 확장한다.