[논문 리뷰] Toroidal homology spheres and SU(2)-representations

Tye Lidman, Juanita Pinzón‐Caicedo외 1명|arXiv (Cornell University)|2021. 01. 07.

Geometric and Algebraic Topology참고 문헌 30인용 수 6

한 줄 요약

이 논문은 인stanton Floer homology, holonomy perturbation, 그리고 surgery exact triangle를 사용하여, 매끄러운 토로이드럴 정수 환원 3차원 구면이 그 기본군에 대해 비가역적 SU(2)-표현을 가짐을 증명한다. 주요 결과는 토로이드럴 정수 환원 3차원 구면에 대한 추측을 확인하며, 이는 이전의 Seifert fibered 및 쌍곡 기하학적 경우의 결과를 일반화한다.

ABSTRACT

We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible SU(2)-representations. Our methods use instanton Floer homology, and in particular the surgery exact triangle, holonomy perturbations, and a non-vanishing result due to Kronheimer-Mrowka, as well as results about surgeries on cables due to Gordon.

연구 동기 및 목표

• 임베디드로 압축 불가능한 토러스를 포함하는 정수 환원 3차원 구면에 대해 그 기본군에 대한 비가역적 SU(2)-표현의 존재를 확립하기 위해.
• Kirby의 기본군 비자명성 문제의 맥락에서 SU(2)-표현에 대한 기존 결과를 확장하기 위해.
• Boileau-Rubinstein-Wang의 유한성 추론을 피하여 Corollary 1.2( SL₂(ℂ)-표현에 관한)의 새로운 증명을 제공하기 위해.
• S³ 내의 비자명한 코일에 한정되지 않은 holonomy perturbation 기법을 satellite 및 spliced 다양체로 일반화하기 위해.
• 일부 조건 하에서 토러스 경계의 pillowcase에 있는 코일 외부의 표현 다양체의 표준 다양체 이미지가 본질적인 고리들을 포함함을 보여주어, spliced 다양체에서 비가역적 표현을 구성할 수 있도록 하기 위해.

제안 방법

• 기본군의 표현을 분석하기 위해 인stanton Floer homology와 surgery exact triangle를 사용한다.
• 가역적 표현을 피하고 Floer 이론적 불변량이 0이 되지 않도록 하기 위해 holonomy perturbation을 적용한다.
• splicing 구조를 활용한다: 토로이드럴 정수 환원 3차원 구면은 정수 환원 3차원 구면 내의 두 코일 외부의 스플라이스로 유도된다.
• 토러스의 SU(2)-표현 다양체(즉, pillowcase)에서 코일 외부의 표현 이미지를 분석하여 본질적인 고리를 탐지한다.
• 스플라이스된 두 코일 외부에서 온 본질적인 고리들이 비자명하게 만남으로써, 스플라이스된 다양체에서 비가역적 SU(2)-표현의 존재를 확보한다.
• Kronheimer-Mrowka의 결과와 Gordon의 코일에 대한 수술 결과를 바탕으로, 인stanton Floer homology에서의 비영 결과를 적용하여 논증을 뒷받침한다.

실험 결과

연구 질문

• RQ1 모든 토로이드럴 정수 환원 3차원 구면은 그 기본군에 대해 비가역적 SU(2)-표현을 갖는가?
• RQ2 holonomy perturbation 기법은 스플라이스된 다양체에서 비가역적 SU(2)-표현의 존재를 증명하기 위해 확장될 수 있는가?
• RQ3 코일 외부의 표현 다양체의 이미지가 pillowcase에 본질적인 고리를 포함하는 조건은 무엇인가?
• RQ4 pillowcase 내에서 두 본질적인 고리의 비자명한 만남은 스플라이스된 다양체에서 비가역적 SU(2)-표현의 존재를 암시하는가?
• RQ5 유한성 정리에 의존하지 않고도, 토로이드럴 정수 환원 3차원 구면에서 비가역적 SU(2)-표현의 존재를 확립할 수 있는가?

주요 결과

• 모든 토로이드럴 정수 환원 3차원 구면은 그 기본군에 대해 비가역적 SU(2)-표현을 갖는다.
• 이 증명은 Boileau-Rubinstein-Wang의 유한성 결과를 피하여, 이전의 Corollary 1.2에 대한 증명보다 더 단순한 대안을 제공한다.
• 해당 정수 환원 3차원 구면이 비가역적 SU(2)-표현을 갖지 않는 한, 경계 토러스의 표준 다양체 이미지(즉, pillowcase)에 본질적인 고리가 포함된다.
• 스플라이스된 두 코일 외부에서 온 본질적인 고리들이 비자명하게 만남으로써, 스플라이스된 다양체에서 비가역적 SU(2)-표현의 존재가 보장된다.
• 비영 결과는 인stanton Floer homology에서 핵심 요소로 사용되며, Kronheimer-Mrowka의 작업과 surgery exact triangle에 기반한다.
• 이 결과는 Kirby의 문제 3.105(A)의 핵심 사례를 확인하며, S³를 제외한 모든 정수 환원 3차원 구면이 비자명한 SU(2)-표현을 갖는다는 광범위한 추측을 지지한다.