[논문 리뷰] A note on the Nielsen realization problem for K3 surfaces

David Baraglia, Hokuto Konno|arXiv (Cornell University)|2019. 08. 11.

Geometric and Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 Seiberg-Witten 이론과 전역 Torelli 정리(전역 Torelli 정리)를 사용하여 K3 표면에 대한 Nielsen 실현 문제의 핵심 측면을 해결한다. 이는 K3 표면의 매핑 클래스 군이 그 미분 동형군으로의 섹션을 갖지만, 특정 유한부분군(순서 2)은 매끄럽게 실현될 수 없고 연속적으로만 실현될 수 있으며, 또한 미분 동형군의 기본군이 홈오모르피즘 군의 기본군으로의 사상이 전사가 아님을 증명한다.

ABSTRACT

We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $π_{0}(Diff(K3)) o Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second is that, there exists a subgroup $G$ of $π_{0}(Diff(K3))$ of order two over which there is no splitting of the map $Diff(K3) o π_{0}(Diff(K3))$, but there is a splitting of $Homeo(K3) o π_{0}(Homeo(K3))$ over the image of $G$ in $π_{0}(Homeo(K3))$, which is non-trivial. The third is that the map $π_{1}(Diff(K3)) o π_{1}(Homeo(K3))$ is not surjective. Our proof of these results is based on Seiberg-Witten theory and the global Torelli theorem for $K3$ surfaces.

연구 동기 및 목표

• K3 표면에 대한 매끄럽고 연속적인 Nielsen 실현 문제를 조사한다.
• K3 표면의 매핑 클래스 군의 유한부분군이 미분 동형군 또는 홈오모르피즘 군의 부분군으로 실현될 수 있는지 확인한다.
• K3 표면의 미분 동형군과 홈오모르피즘 군의 호모토피 군을 분석한다.
• 연속적인 K3 표면의 가속화 가능성을 방해하는 장벽을 명확히 한다.

제안 방법

• K3 표면의 전역 Torelli 정리를 사용하여 두 번째 코homology 래티스의 자동형사상 군으로의 자연스러운 사상에 대한 섹션을 구성한다.
• Seiberg-Witten 이론의 조인션 불등식을 적용하여 특정 유한군 작용의 매끄러운 상향을 차단한다.
• 2-토러스의 2-스켈레톤 위에서 오브스터럭션 이론을 사용하여, 매끄럽지 않은 연속적인 K3 표면의 가속화 가능한 예를 구축한다.
• 매끄럽지 않은 가속화 가능한 가족 간의 비동형을 감지하기 위해 코homology 군 $ H^2(T^2; \rho_1) $ 에서의 차이 장벽을 분석한다.
• 홈오모르피즘 군과 미분 동형군 간의 장벽을 연결하기 위해 호모토피 몫 $ Q = \text{Homeo}(X) \times_{\text{Diff}(X)} E\text{Diff}(X) $ 에 의존한다.
• 2-토러스의 2-스켈레톤 위에서 오브스터럭션 이론을 사용하여, $ H^2(T^2; \rho_1) $ 에 있는 장벽 클래스가 $ H^2(T^2; \rho_1(Q)) $ 로 비자명하게 사상됨을 보여, $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ 가 전사가 아님을 유도한다.

실험 결과

연구 질문

• RQ1 K3 표면의 매핑 클래스 군의 모든 유한부분군이 미분 동형군의 부분군으로 실현될 수 있는가?
• RQ2 홈오모르피즘 군으로는 올라가지만, 미분 동형군으로는 올라가지 않는 매핑 클래스 군의 유한부분군이 존재하는가?
• RQ3 $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ 의 사상이 전사인가?
• RQ4 Seiberg-Witten 이론은 K3 표면에 작용하는 군 작용의 매끄러운 실현을 방해하는 데 어떤 역할을 하는가?
• RQ5 K3 표면의 미분 동형군과 홈오모르피즘 군의 호모토피 군은 어떻게 비교되는가?

주요 결과

• 섹션 $ s: \Gamma \to \text{Mod}(X) $ 가 존재하여, 자연스러운 사상 $ \pi_0(\text{Diff}(X)) \to \text{Aut}(H^2(X;\mathbb{Z})) $ 가 그 이미지 위에서 섹션을 가짐을 보여준다.
• 순서 2인 부분군 $ G \subset \pi_0(\text{Diff}(X)) $ 가 존재하여, 이는 $ \text{Diff}(X) $ 내의 순서 2 부분군으로 올라가지 않지만, $ \pi_0(\text{Homeo}(X)) $ 에서의 이미지는 $ \text{Homeo}(X) $ 내에서 올라간다.
• $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ 사상은 전사가 아니며, 이는 $ \pi_1(\text{Homeo}(X)) $ 가 자명하지 않음을 의미한다.
• 2-토러스 위에서 연속적인 K3 표면의 가속화 가능성을 방해하는 장벽은 $ H^2(T^2; \pi_1(\text{Homeo}(X))) $ 에 있으며, 이 장벽 클래스는 $ H^2(T^2; \pi_1(Q)) $ 로 비자명하게 사상된다. 여기서 $ Q $ 는 $ B\text{Diff}(X) \to B\text{Homeo}(X) $ 의 호모토피 피버이다.
• 특정 연속적인 K3 표면의 가속화 불가능성은 포함사상 $ \text{Diff}(X) \to \text{Homeo}(X) $ 가 $ \pi_1 $ 에서 전사가 아님을 보여준다.
• 결과들은 전역 Torelli 정리와 Seiberg-Witten 이론, 특히 조인션 불등식을 통합하여 유도된다.