[論文レビュー] Group actions on 4-manifolds: some recent results and open questions

Weimin Chen|arXiv (Cornell University)|Dec 14, 2009

Geometric and Algebraic Topology参考文献 34被引用数 6

ひとこと要約

本稿は、シンプレクティック4次元多様体上の有限群作用の分類に関する最近の進展と未解決問題を概説し、滑らかさとシンプレクティック構造、異種滑らか構造、ホモロジカル剛性に焦点を当てる。最小なシンプレクティック4次元多様体でKodaira次元2であるような場合、シンプレクティック${\mathbb{Z}}_p$-作用は、$c_1(K)^2$に依存する普遍定数によって有界であることが示され、ホモロジカル剛性に関する結果が得られ、標準的$K3$多様体上での非自明なホモロジカルに自明なシンプレクティック作用の非存在が証明されている。

ABSTRACT

A survey of finite group actions on symplectic 4-manifolds is given with a special emphasis on results and questions concerning smooth or symplectic classification of group actions, group actions and exotic smooth structures, and homological rigidity and boundedness of group actions. We also take this opportunity to include several results and questions which did not appear elsewhere.

研究の動機と目的

• シンプレクティック4次元多様体上の有限群作用に関する最近の結果と未解決問題を概説すること、特に滑らかさとシンプレクティック分類に焦点を当てる。
• 4次元多様体における群作用と異種滑らか構造の間の相互作用を調査すること。
• ホモロジカル剛性と群作用の有界性を探索し、特に${\mathbb{Z}}_p$-作用に焦点を当てる。
• 非自明な群作用の存在を制約する不変量を特定すること、特にシンプレクティックおよび滑らかのカテゴリーにおいて。
• 4次元多様体上の群作用に伴うデータ$\Gamma = (\rho, X^G, \{\rho_x\})$の複雑さを扱うこと。

提案手法

• 固定点集合とコhomology的作用に関する位相的制約を導くために、G-符号定理とLefschetz固定点公式を用いる。
• 局所的表現と固定点データを解析するため、擬全純曲線技法をシンプレクティック4次元多様体に適用する。
• $H^2(X;\mathbb{Z})$の${\mathbb{Z}}[\mathbb{Z}_p]$-加群への分解（正則、自明、円分）を用いて、群作用表現を研究する。
• 固定点データと$\text{Sign}(X)$のようなグローバル不変量を結びつけるために、$\cot$および$\csc^2$項を含む符号欠損公式を用いる。
• 微分幾何学的理論とSeiberg-Witten不変量の結果を応用して、滑らかさとシンプレクティック作用を研究する。
• 局所的に線形な作用の分類に依存し、データ$\Gamma = (\rho, X^G, \{\rho_x\})$を用い、${\mathbb{Z}}_p$-作用の実現定理を適用する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限群$G$がKodaira次元2の最小なシンプレクティック4次元多様体上のシンプレクトモーフィズムである場合、$|G| \leq c \cdot c_1(K)^2$を満たす普遍定数$c > 0$が存在するか？
• RQ2 シンプレクティック${\mathbb{Z}}_p$-作用における不等式$|G| \leq C \cdot c_1(K)^2$における定数$C$は、Seiberg-Witten基本クラスのような滑らか不変量で記述可能か？
• RQ3 偶数交差形式で非ゼロの符号を持つ simply connected な滑らかにできる4次元多様体に対して、ある素数$p > C$が存在し、任意の滑らか構造において${\mathbb{Z}}_p$-作用が存在しないか？
• RQ4 Kodaira次元2の最小なシンプレクティック4次元多様体で$c_1^2 = 0$かつ$b_2^+ > 1$を満たす場合、$p > 2$の非自明だがホモロジカルに自明な滑らか${\mathbb{Z}}_p$-作用が存在するか？
• RQ5 $c_1^2 = 0$かつ$b_2^+ > 1$である最小なシンプレクティック4次元多様体上でのホモロジカルに自明なシンプレクティック${\mathbb{Z}}_p$-作用が、常に自明である条件は何か？

主な発見

• 任意のシンプレクティック構造に関わらず、標準的$K3$多様体上には非自明なホモロジカルに自明なシンプレクティック群作用は存在しない。
• Kodaira次元2の最小なシンプレクティック4次元多様体に対して、有限シンプレクティック群作用のサイズは、シンプレクティック形式に依存しない$ c_1(K)^2 $の定数倍によって普遍的に有界である。
• $c_1^2 = 0$かつ$b_2^+ > 1$である最小なシンプレクティック4次元多様体上でのホモロジカルに自明な${\mathbb{Z}}_p$-作用は、$p \not\equiv 1 \pmod{4}$または$p \not\equiv 1 \pmod{6}$のとき、自明である。この条件を満たさない素数は無限に多く存在する。
• 固定点の局所的表現が$SL(2,\mathbb{C})$に属する場合、そのような多様体上での任意のホモロジカルに自明な擬自由${\mathbb{Z}}_p$-作用は自明である。
• ある4次元多様体上での滑らか${\mathbb{Z}}_p$-作用の存在は、滑らか構造に依存する。ある滑らか構造では作用が存在するが、他の構造では存在しない例が示されている。
• ${\mathbb{Z}}_p$-作用で$p$が奇数の場合、$G$-符号定理とねじれ条件を満たす限り、与えられたコhomology的表現$\rho$と固定点データの実現が可能である。