[논문 리뷰] A topological approach to Cheeger-Gromov universal bounds for von Neumann rho-invariants

Jae Choon|arXiv (Cornell University)|2014. 05. 08.

Geometric and Algebraic Topology참고 문헌 25인용 수 5

한 줄 요약

이 논문은 $L^2$-서명이 있는 경계를 가진 $4k$-다양체를 사용하여, $(4k-1)$-다양체의 바나흐-바나흐 von Neumann $L^2$ $\rho$-불변량에 대한 체거-그로모프의 보편적 상한을 위상수학적으로 증명한다. 삼차원 다양체에 대해 삼등분, 히가드 분할, 수술 기술을 바탕으로 명시적인 선형 보편적 상한을 수립하며, 이러한 상한이 渐近적으로 최적임을 보이고, 삼차원 다양체 복잡도에 대해 이전에 알려진 것보다 훨씬 더 큰 하한을 제공한다.

ABSTRACT

Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $ρ$-invariants associated to arbitrary regular covers. We present a proof of the existence of a universal bound for topological (4k-1)-manifolds, using $L^2$-signatures of bounding 4k-manifolds. For 3-manifolds, we give explicit linear universal bounds in terms of triangulations, Heegaard splittings, and surgery descriptions respectively. We show that our explicit bounds are asymptotically optimal. As an application, we give new lower bounds of the complexity of 3-manifolds which can be arbitrarily larger than previously known lower bounds. As ingredients of the proofs which seem interesting on their own, we develop a geometric construction of efficient 4-dimensional bordisms of 3-manifolds over a group, and develop an algebraic topological notion of uniformly controlled chain homotopies.

연구 동기 및 목표

• 심층적인 해석적 방법을 피하고 순수 위상수학적 방법을 사용하여 $L^2$ $\rho$-불변량에 대한 체거-그로모프 보편적 상한을 증명하는 것.
• 삼등분, 히가드 분할, 수술 기술과 같은 기하학적 및 조합적 자료를 바탕으로 삼차원 다양체에 대한 명시적 선형 보편적 상한을 수립하는 것.
• $\rho$-불변량과 삼차원 다양체의 복잡도 사이의 위상수학적 관계를 드러내어 복잡도에 대한 개선된 하한을 도출하는 것.
• 군 위에서의 균일 제어 체인 호모토피와 효율적인 4차원 경계의 기하학적 구성과 같은 새로운 대수적 위상수학 도구를 개발하는 것.

제안 방법

• 위상수학적 범주에서 경계를 가진 $4k$-다양체의 $L^2$-서명 결함을 통해 체거-그로모프 $\rho$-불변량을 위상수학적으로 정의한다.
• 분류 공간에 대한 기하학적 및 단순체 세포 근사법을 사용하여 군 위에서의 삼차원 다양체에 대한 효율적 4차원 경계를 구성한다.
• 군 환의 위에서의 대수적 위상수학을 다룰 수 있도록, 제어된 약한 모형 및 아이レン버그-지르버 정리 포함한 균일 제어 체인 호모토피의 개념을 도입한다.
• 삼차원 다양체로부터 유도된 기하학적 및 조합적 자료를 사용하여 경계를 가진 $4k$-다양체의 2-핸들 복잡도를 추정한다.
• $L^2$-서명 결함 공식을 사용하여 $\rho^{(2)}(M,\phi)$를 경계 다양체의 2-핸들 복잡도로 유계함을 보인다.
• 주어진 준동형사상 $\phi: \pi_1(|X|) \to G$ 를 유도하는 단순체 세트의 사상 $f: X \to BG$ 를 구성하며, 함자성과 군 작용과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 $L^2$ $\rho$-불변량에 대한 체거-그로모프 보편적 상한을 해석적 기법에 의존하지 않고 순수 위상수학적 방법으로 확립할 수 있는가?
• RQ2 삼등분, 히가드 분할, 수술 표현을 바탕으로 삼차원 다양체에 대해 유도할 수 있는 명시적 선형 보편적 상한은 무엇인가?
• RQ3 이러한 명시적 상한은 渐近적으로 최적인가? 그리고 삼차원 다양체의 복잡도에 대해 훨씬 더 강력한 하한을 도출하는 데 사용될 수 있는가?
• RQ4 군 작용과 $L^2$-불변량의 맥락에서 균일 제어 체인 호모토피는 어떻게 정의되고 적용될 수 있는가?
• RQ5 경계를 가진 4차원 다양체의 2-핸들 복잡도와 $\rho$-불변량의 크기 사이의 관계는 무엇인가?

주요 결과

• 논문은 $L^2$-서명이 있는 경계를 가진 $4k$-다양체를 사용하여, 위상수학적 $(4k-1)$-다양체의 $L^2$ $\rho$-불변량에 대한 보편적 상한 존재성을 위상수학적으로 증명한다.
• 삼차원 다양체의 경우, 삼등분, 히가드 분할, 수술 기술을 바탕으로 명시적인 선형 보편적 상한을 유도하였으며, 이 상한은 渐近적으로 최적임을 입증하였다.
• $\rho^{(2)}(M,\phi)$ 에 대한 구성된 상한이 渐近적으로 최적임을 보였으며, 일반적으로 더 나은 선형 상한은 존재할 수 없다.
• 이 방법은 이전에 알려진 것보다 임의로 더 큰 하한을 삼차원 다양체의 복잡도에 대해 도출하며, 특히 렌즈 공간의 경우 특히 두드러진다.
• 군 위에서의 효율적 4차원 경계의 기하학적 구성은 저차원 위상수학에서 $\rho$-불변량과 복잡도를 연구하는 데 새로운 도구를 제공한다.
• 균일 제어 체인 호모토피의 개발, 특히 제어된 약한 모형 및 아이렌버그-지르버 정리 포함하여, 군 환 위에서의 $L^2$-불변량을 다루는 데 새로운 대수적 프레임워크를 제공한다.