[논문 리뷰] Proof of the simplicity conjecture

Dan Cristofaro‐Gardiner, Vincent Humilière외 1명|arXiv (Cornell University)|2020. 01. 06.

Geometric and Algebraic Topology참고 문헌 38인용 수 11

한 줄 요약

이 논문은 2차원 디스크의 컴actsupport된 면적보존 호메오모르피즘의 군이 단순하지 않으며, 완전하지도 않음을 증명함으로써 단순성 추측을 해결한다. 이는 주기적 플로어 호몰로지에서 유도된 스펙트럴 불변량을 사용하여 적절한 정규부군을 구성함으로써 이루어지며, 이 불변량들의 C⁰ 연속성과 허치링스의 칼라비 불변량에 대한 추측을 입증함으로써, 칼라비 준동형을 하밀토니안 호메오모르피즘으로 확장할 수 있게 된다.

ABSTRACT

In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for $n \ge 3$, asked if the same statement holds in dimension $2$. We show that the group of compactly supported area-preserving homeomorphisms of the two-disc is not simple. This settles what is known as the "simplicity conjecture" in the affirmative. In fact, we prove the a priori stronger statement that this group is not perfect. An important step in our proof involves verifying for certain smooth twist maps a conjecture of Hutchings concerning recovering the Calabi invariant from the asymptotics of spectral invariants defined using periodic Floer homology. Another key step, which builds on recent advances in continuous symplectic topology, involves proving that these spectral invariants extend continuously to area-preserving homeomorphisms of the disc. These two properties of PFH spectral invariants are potentially of independent interest. Our general strategy is partially inspired by suggestions of Fathi and the approach of Oh towards the simplicity question. In particular, we show that infinite twist maps, studied by Oh, are not finite energy homeomorphisms, which resolves the "infinite twist conjecture" in the affirmative; these twist maps are now the first examples of Hamiltonian homeomorphisms which can be said to have infinite energy. Another consequence of our work is that various forms of fragmentation for volume preserving homeomorphisms which hold for higher dimensional balls fail in dimension two.

연구 동기 및 목표

• 2차원 디스크의 컴팩트 지원을 가진 면적보존 호메오모르피즘의 군에 관한 오랫동안 남아있던 단순성 추측을 해결하기 위해.
• 적절한 정규부군을 구성함으로써 이 군이 완전하지 않음을 보여주어, 이로 인해 단순하지 않음을 암시하기 위해.
• 면적보존 호메오모르피즘에 대해 주기적 플로어 호몰로지(PFH) 스펙트럴 불변량의 C⁰ 연속성을 확립하기 위해.
• 단조 증가하는 토글 맵에 대해 PFH 스펙트럴 불변량의 游립적 행동에서 칼라비 불변량을 복원할 수 있는 허치링스의 추측을 검증하기 위해.
• 무한 토글 맵이 유한 에너지 호메오모르피즘이 아니라는 것을 보여주어 '무한 토글 추측'을 해결하기 위해.

제안 방법

• 주기적 플로어 호몰로지(PFH)를 사용하여 하밀토니안 미분형에 대해 스펙트럴 불변량을 정의하고, C⁰ 연속성을 통해 이를 호메오모르피즘으로 확장하기 위해.
• 호퍼 노름과 스펙트럴 불변량에 대한 추정을 사용하여, 항등원에서와 그 외에서 모두 PFH 스펙트럴 불변량이 C⁰ 위상에서 연속임을 증명하기 위해.
• 단조 증가하는 토글 맵의 PFH에 대해 조합적 모델을 구성하여 ECH 인덱스를 계산하고, 해석적 곡선의 양성값을 검증하기 위해.
• 양의 단조 증가하는 토글 맵에 대해 스펙트럴 불변량이 游립적으로 칼라비 불변량을 복원함을 보여주어 허치링스의 추측을 확인하기 위해.
• 무한 토글 맵이 스펙트럴 불변량이 발산함을 보여줌으로써 유한 에너지 호메오모르피즘이 아니라는 것을 입증함으로써 무한 토글 추측을 해결하기 위해.
• 칼라비 준동형의 핵이 비자명한 정규부군임을 이용하여 군의 비단순성과 비완전성을 결론짓기 위해.

실험 결과

연구 질문

• RQ1 2차원 디스크의 컴팩트 지원을 가진 면적보존 호메오모르피즘의 군은 단순한가?
• RQ2 칼라비 불변량은 2차원 디스크의 하밀토니안 호메오모르피즘의 군으로 확장될 수 있는가?
• RQ3 PFH 스펙트럴 불변량은 면적보존 호메오모르피즘으로 연속적으로 확장될 수 있는가?
• RQ4 단조 증가하는 토글 맵에 대해 PFH 스펙트럴 불변량의 근사적 행동이 칼라비 불변량을 복원하는가?
• RQ5 무한 토글 맵은 유한 에너지 호메오모르피즘인가?

주요 결과

• $\text{Homeo}_c(\text{D},\text{ω})$ 군은 단순하지 않으며, 이는 단순성 추측을 긍정적으로 해결한다.
• $\text{Homeo}_c(\text{D},\text{ω})$ 군은 비자명한 교환자부군을 갖기 때문에 완전하지 않다.
• PFH 스펙트럴 불변량은 면적보존 호메오모르피즘으로 연속적으로 확장되며, 이는 핵심적인 정규성 성질을 입증한다.
• 허치링스의 추측은 양의 단조 증가하는 토글 맵에 대해 성립한다: 칼라비 불변량은 PFH 스펙트럴 불변량의 근사적 행동에서 복원된다.
• 무한 토글 맵은 유한 에너지 호메오모르피즘이 아니며, '무한 토글 추측'이 확인된다.
• 칼라비 준동형은 하밀토니안 호메오모르피즘의 군 $\text{Hameo}_c(\text{D},\text{ω})$로 연속적으로 확장되며, 잘 정의된 실수값 불변량을 제공한다.