[논문 리뷰] Knot concordance, Whitney towers and L^2 signatures

Tim D. Cochran, Kent E. Orr외 1명|ArXiv.org|1999. 08. 22.

Advanced Operator Algebra Research참고 문헌 21인용 수 47

한 줄 요약

이 논문은 웨이트니 타워와 고차원 불변량을 사용한 끈 조율 그룹의 기하적 필터링을 제안하며, 고전적 불변량으로는 탐지하지 못하는 비슬라이스 뭉치를 탐지하는 새로운 $L^2$-서명을 구축한다. 고전적 불변량으로는 탐지하지 못하는 무한히 많은 비슬라이스 뭉치가 존재함을 증명하며, 바르누이-볼츠만 $L^2$-서명을 사용해 $(1.5)$-해결 가능성을 차단하고, 대수적 차단과 4차원 위상수학 사이의 다리 역할을 한다.

ABSTRACT

We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory.

연구 동기 및 목표

• 3차원 위상 뭉치 조율 그룹의 기하적 필터링을 웨이트니 타워와 $n$-표면을 사용하여 개발한다.
• 뭉치 군의 교환자 계열에 관련된 스칼라 필드의 $L$-이론에 새로운 대수적 차단을 구축한다.
• 바르누이-볼츠만 대수를 사용한 $L^2$-서명을 정의하고 적용하여 고전적 불변량을 초월한 비슬라이스 뭉치를 탐지한다.
• 고차원 앨리오크스 모듈과 블랑시에 형식을 통해 대수적 차단과 4차원 위상수학 사이의 다리를 구축한다.

제안 방법

• 뭉치 외부의 해소 가능 커버에서의 교차 형식을 사용해 $h \in \frac{1}{2}\mathbb{N}_0$인 $(h)$-해결 가능성을 정의한다.
• 고전적 불변량의 비가환 일반화로서 고차원 앨리오크스 모듈과 블랑시에 연결 형식을 도입한다.
• 뭉치 군의 유리수 보편 해소 가능 군에 관련된 스칼라 필드의 $L$-이론에 있는 차단을 구축한다.
• 바르누이-볼츠만 대수의 차원 이론을 사용해 슬라이스 뭉치에서 0이 되는 불변량으로서 $L^2$-서명을 정의한다.
• $(h)$-해결 가능성과 $B^4$ 내에서 높이 $h+2$인 그로프와 웨이트니 타워의 존재를 연결하여 기하학적 조건과 대수적 조건을 연결한다.
• $L^2$-서명을 사용해 캐슨-고든 불변량을 초월한 차단 이론의 첫 번째 비자명한 단계를 탐지한다.

실험 결과

연구 질문

• RQ1 고전적 조율 불변량(예: 캐슨-고든 불변량)으로 탐지하지 못하는 뭉치를 $L^2$-서명이 탐지할 수 있는가?
• RQ2 $(h)$-해결 가능성의 기하학적 의미는 $B^4$ 내의 웨이트니 타워와 그로프로 어떻게 표현되는가?
• RQ3 고차원 연결 형식과 앨리오크스 모듈은 $(h)$-해결 가능한 뭇치에 대해 스스로를 제거하는 부분 모듈을 포함하는가?
• RQ4 $\mathcal{F}_{(2)}/\mathcal{F}_{(2.5)}$의 몫군은 비자명한가? 그리고 그 랭크는 무한한가?
• RQ5 $L^2$-서명은 $(1.5)$-해결 가능성을 차단할 수 있는가? 이전 불변량의 0화와는 어떤 관계가 있는가?

주요 결과

• 그림 6.1의 뭇치는 캐슨-고든 불변량이 0이지만 위상적으로 슬라이스가 아니며, 이는 이전에 탐지되지 못한 비슬라이스 뭇치의 존재를 보여준다.
• $\mathcal{F}_{(2)}/\mathcal{F}_{(2.5)}$의 몫군은 무한 랭크를 가지며, 이는 필터링이 두 번째 단계를 초월해 비자명함을 증명한다.
• 모든 고전적 조율 불변량, 즉 캐슨-고든, 질머, 키르크-라이브링턴, 레츠케의 차단은 $(1.5)$-해결 가능한 뭇치에서 0이 된다.
• $L^2$-서명은 유리수 보편 해소 가능 군의 바르누이-볼츠만 대수를 사용해 정의되며, 슬라이싱에 대한 새로운 차단이 된다.
• $B^4$ 내에서 높이 $h+2$인 웨이트니 타워를 둘러싸는 뭇치는 $(h)$-해결 가능하며, 이는 기하학적 조건과 대수적 조건을 연결한다.
• $(h)$-해결 가능한 뭇치의 고차원 앨리오크스 모듈은 고차원 연결 형식에 대해 스스로를 제거하는 부분 모듈을 포함한다.