[論文レビュー] Symplectic $(-2)$-spheres and the symplectomorphism group of small rational 4-manifolds, II

Jun Li, Tianjun Li+1 more|arXiv (Cornell University)|Nov 25, 2019

Geometric and Algebraic Topology参考文献 45被引用数 8

ひとこと要約

本稿は、非単調なシンプレクティック形式を備えた有理的4次元多様体 $$\mathbb{C}P^{2}\#5\overline{\mathbb{C}P}^{2}$$ におけるTorelliシンプレクティック写像類群（Torelli SMCG）を完全に特定し、$$(-2)$$-シンプレクティック球面が8個より多い場合には自明であることを示し、存在しない場合には5個の穴あき球面の写像類群に同型であり、中間的な場合には4個の穴あき球面の群に同型である。また、シンプレクトモーフィズム群の基本群のランクを完全に計算し、$$\mathbb{A}$$および$$\u0024\mathbb{D}_{4}$$型のディンキン図形と関連づけ、有理的4次元多様体の滑らか同相問題を解決する。

ABSTRACT

For $(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}},ω)$, let $N_ω$ be the number of $(-2)$-symplectic spherical homology classes.We completely determine the Torelli symplectic mapping class group (Torelli SMCG): the Torelli SMCG is trivial if $N_ω>8$; it is $π_0(Diff^+(S^2,5))$ if $N_ω=0$ (by Paul Seidel and Jonathan Evans); it is $π_0(Diff^+(S^2,4))$ in the remaining case. Further, we completely determine the rank of $π_1(Symp(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}}, ω)$ for any given symplectic form. Our results can be uniformly presented regarding Dynkin diagrams of type $\mathbb{A}$ and type $\mathbb{D}$ Lie algebras. We also provide a solution to the smooth isotopy problem of rational $4$-manifolds.

研究の動機と目的

• 非単調なシンプレクティック形式を備えた $$\mathbb{C}P^{2}\#5\overline{\mathbb{C}P}^{2}$$ におけるTorelliシンプレクティック写像類群（Torelli SMCG）を特定すること。これは、$$\chi(X) \geq 8$$ を満たす有理的4次元多様体において未解決であった問題である。
• すべてのシンプレクティック形式に対して $$\pi_1(Symp(X,\omega))$$ のランクを計算すること。これは単調な場合に限らず、一般化されたものである。
• $$\mathbb{A}$$および$$\mathbb{D}_4$$型ディンキン図形のリー代数的構造を用いて、結果を統一的に扱い、シンプレクティック写像類群におけるより深い代数的・位相的パターンを明らかにすること。
• シンプレクティック$$(-2)$$-球面が一意にホモトピー的である条件を特定することで、有理的4次元多様体の滑らか同相問題を解決すること。

提案手法

• 著者たちは、負の平方クラスによる almost complex 構造空間 $$\mathcal{J}_\omega$$ の分割を用い、$$(-2)$$-シンプレクティック球面のホモロジー類の数 $$N_\omega$$ を分析することで、Torelli SMCG を分類する。
• 彼らはインフレーション定理を適用し、codimension-4 の層 $$\mathcal{J}^c_4$$ の補集合上での $$Symp_h(X,\omega)$$ の作用を研究し、スライス定理を用いてファイブレーション構造を確立する。
• 証明は、Fujiki-Schumacher の無限次元スライス定理に依拠しており、軌道射影 $$\mathcal{J}_\omega \setminus \mathcal{J}_4 \to (\mathcal{J}_\omega \setminus \mathcal{J}_4)/Symp_h$$ が、ファイバーが $$Symp_h$$ であるファイブレーションであることを示し、ホモトピー的解析を可能にする。
• $$\mathbb{A}$$型形式の場合、球面上の純粋なブレッド群構造と $$\mathbb{R}P^2$$-パッキングシンプレクティック形式を用い、$$Symp_h(X,\omega)$$ の連結性を確立する。
• $$\mathbb{D}_4$$型形式の場合、$$\pi_0(Symp_h(X,\omega)) \to \pi_0(\mathrm{Diff}^+(S^2,4))$$ の全射性を証明する。これには、適切な自由作用とファイブレーション系列を用いる。
• 上界と下界の推定を用いて $$\pi_1(Symp_h(X,\omega))$$ の境界を導出し、ディンキン図形分類を用いて、すべてのシンプレクティック形式にわたるランクを一様に計算する。

実験結果

リサーチクエスチョン

• RQ1 非単調なシンプレクティック形式を備えた $$\mathbb{C}P^2\#5\overline{\mathbb{C}P}^2$$ におけるTorelliシンプレクティック写像類群の構造は何か？
• RQ2 $$(-2)$$-シンプレクティック球面の数 $$N_\omega$$ は、Torelli SMCG をどのように特定するか？
• RQ3 この多様体上のすべてのシンプレクティック形式にわたって、シンプレクトモーフィズム群の基本群を一様に計算できるか？
• RQ4 結果は、$$\mathbb{A}$$および$$\mathbb{D}_4$$型ディンキン図形の表現論によってどのように統一されるか？
• RQ5 有理的4次元多様体の滑らか同相問題の解は、シンプレクティック$$(-2)$$-球面に関してどのように記述できるか？

主な発見

• $$N_\omega > 8$$ の場合、Torelli SMCG は自明である。これは、ホモロジーに自明に作用する非自明なシンプレクティック同相度が存在しないことを意味する。
• $$N_\omega = 0$$ の場合、Torelli SMCG は $$\pi_0(\mathrm{Diff}^+(S^2,5))$$、すなわち5個の穴あき球面の写像類群に同型である。
• $$N_\omega = 8$$ の場合、Torelli SMCG は $$\pi_0(\mathrm{Diff}^+(S^2,4))$$、すなわち4個の穴あき球面の写像類群に同型である。
• $$\mathbb{C}P^2\#5\overline{\mathbb{C}P}^2$$ 上のすべてのシンプレクティック形式に対して、$$\pi_1(Symp_h(X,\omega))$$ のランクが完全に特定され、その値は $$N_\omega$$ に依存する。
• 結果は、$$\mathbb{A}$$および$$\mathbb{D}_4$$型ディンキン図形を用いて一様に表現可能であり、シンプレクティック写像類群の背後にある深い代数的構造を明らかにする。
• 本稿は滑らか同相問題を解決した：シンプレクティック$$(-2)$$-球面は、$$N_\omega \neq 8$$ のときに限り、ハミルトニアン同相度に関して一意的である。一意性が失われる正確な条件は、$$N_\omega = 8$$ のときである。