[論文レビュー] A note on the Nielsen realization problem for K3 surfaces

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

Geometric and Algebraic Topology参考文献 13被引用数 4

ひとこと要約

この論文は、Seiberg-Witten理論とグローバルTorelli定理を用いて、K3表面におけるNielsen実現問題の主要な側面を解決する。有限部分群（位数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定理を用いて、微分同相群から第二コホホロジー格子の自己同型群への自然な写像のセクションを構成する。
• Seiberg-Witten理論の接合不等式を適用して、特定の有限群作用の滑らかな上への持ち上げを妨げる。
• 2次元トーラス上の連続的K3表面族の明示的例を、トーラスの2スケルトンにおける障害理論を用いて構成する。
• 滑らかでない族と滑らかでない族の非同型性を検出するため、コhomology群 $ H^2(T^2; \rho_1) $ における差の障害を分析する。
• ホモトピークォオシャント $ Q = \text{Homeo}(X) \times_{\text{Diff}(X)} E\text{Diff}(X) $ を用いて、\text{Homeo}(X) と \text{Diff}(X) の間の障害を関連付ける。
• T^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表面の微分同相群とホメオモルフィズム群のホモトピー群はどのように比較できるか？

主な発見

• 自然な写像 $ \pi_0(\text{Diff}(X)) \to \text{Aut}(H^2(X;\mathbb{Z})) $ に対して、$ \Gamma \to \text{Mod}(X) $ のセクション $ s $ が存在し、その像上にセクションが存在することが示された。
• 位数2の部分群 $ G \subset \pi_0(\text{Diff}(X)) $ が存在し、$ \text{Diff}(X) $ の位数2の部分群に持ち上がらないが、$ \pi_0(\text{Homeo}(X)) $ の中では持ち上がることが示された。
• 写像 $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ は全射でない。これは $ \pi_1(\text{Homeo}(X)) $ が非自明であることを示唆する。
• トーラス $ T^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理論、特に接合不等式の組み合わせから導かれた。