[論文レビュー] Fundamental groups of complements of plane curves and symplectic invariants

Denis Auroux, Simon Donaldson+2 more|ArXiv.org|Mar 18, 2002

Geometry and complex manifolds参考文献 4被引用数 4

ひとこと要約

本稿は、$ℝ\mathrm{P}^2$ 内の平面曲線の補集合の安定化された基本群を導入し、ノードペアの生成およびキャンセル操作に対して不変なシンプレクティック不変量である。$k$ が十分に大きいとき、安定化基本群 $G_k$ 及びその縮小部分群 $G_k^0$ が 4 次元多様体 $(X,\omega)$ のシンプレクティック不変量であることを証明し、$Åb\,G_k^0$ から $(\mathbb{Z}^2/\Lambda_k)^{n_k-1}$ への全射な準同型を確立する。この準同型は、$H_2(X,\mathbb{Z})$ 内の交差形式のデータと群構造を結びつける。この構成は、モイシェゾンとティーチャーの不変量を一般化し、シンプレクティック 4 次元多様体に対して計算可能で、トポロジー的データを捉える不変量を提供する。

ABSTRACT

Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these invariants and formulate conjectures supported by calculations on new examples.

研究の動機と目的

• コンパクトなシンプレクティック 4 次元多様体で、整数シンプレクティッククラスを持つものに対して、$ℝ\mathrm{P}^2$ 内の分岐曲線の補集合の基本群を安定化することにより、新しいシンプレクティック不変量を定義すること。
• ブライトモノドロミー法におけるノードペアの生成およびキャンセル操作による基本群の不安定性を克服すること。
• ブレード群の技法と近似的正則写像を用いて、複素表面用のモイシェゾンおよびティーチャーの不変量をシンプレクティックな設定に一般化すること。
• 安定化基本群とそのアーベル化を通じて、シンプレクティック 4 次元多様体のトポロジー的データを捉える、計算可能で効果的な不変量を確立すること。

提案手法

• ノードペア操作に対して不変である、$π_1(\mathbb{C}^2 - D_k)$ の商として安定化基本群 $G_k$ を定義する。
• アウロックスとドナルドソンの定理を用い、整数クラスを持つシンプレクティック 4 次元多様体は、$L^{\otimes k}$ の切断を介した分岐被覆 $f_k: X \to \mathbb{CP}^2$ を持ち、分岐曲線 $D_k$ はノードとカスプのみを有することを用いる。
• 幾何的モノドロミー表現 $\theta_k: \pi_1(\mathbb{CP}^2 - D_k) \to S_{n_k}$ を定義し、基本群を安定化して $G_k$ 及び $G_k^0$ を得る。
• $\Lambda_k$ を $H_2(X,\mathbb{Z}) \to \mathbb{Z}^2$ の写像 $\lambda_k: \alpha \mapsto (\alpha \cdot L_k, \alpha \cdot R_k)$ の像とするとき、全射な準同型 $\phi_k: \mathrm{Ab}\,G_k^0 \to (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$ を構成する。
• ブレード群の技法と縮小正則表現 $\mathcal{R}_{n_k}$ を用いて $G_k^0$ の構造を解析し、$\phi_k$ が $(G_k, S_{n_k})$-不変であることを示す。
• $\mathbb{CP}^1 \times \mathbb{CP}^1$ の二重被覆で、複素曲線に沿った分岐を持つものにこの手法を適用し、$G_k^0$ を明示的に計算し、例において $\phi_k$ が同型であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 $ℝ\mathrm{P}^2$ 内の分岐曲線の補集合の基本群は、ノードペア操作に対して安定化可能であり、その結果としてシンプレクティック不変量が得られるか。
• RQ2 シンプレクティック 4 次元多様体の安定化基本群 $G_k^0$ は、$H_2(X,\mathbb{Z})$ 内の交差形式のデータを反映する $Åb\,G_k^0$ から $Åb\,\mathbb{Z}^2$ の商への自然な準同型を有するか。
• RQ3 $X$ が正則線形システムが豊富な複素表面であるとき、$k$ が十分に大きいと、安定化基本群 $G_k$ は元の $\pi_1(\mathbb{C}^2 - D_k)$ と同型であるか。
• RQ4 $X$ の交差形式、特に単連結な場合に、$G_k^0$ の構造はどの程度に決定されるか。
• RQ5 $\mathbb{CP}^1 \times \mathbb{CP}^1$ の複素曲線に沿った分岐を持つ二重被覆に対して、安定化基本群を明示的に計算できるか。

主な発見

• $k$ が十分に大きいとき、安定化基本群 $G_k(X,\omega)$ 及びその縮小部分群 $G_k^0(X,\omega)$ は 4 次元多様体 $(X,\omega)$ のシンプレクティック不変量であり、ノードペアの生成およびキャンセル操作に対して不変である。
• $\Lambda_k$ を $\lambda_k: H_2(X,\mathbb{Z}) \to \mathbb{Z}^2$ で $\lambda_k(\alpha) = (\alpha \cdot L_k, \alpha \cdot R_k)$ と定義するとき、自然な全射準同型 $\phi_k: \mathrm{Ab}\,G_k^0 \to (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$ が存在する。
• すべての既知の例において $\phi_k$ は同型であり、$\mathrm{Ab}\,G_k^0 \simeq (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$ であると示唆しており、群構造は交差形式と密接に結びついている。
• 交換子部分群 $[G_k^0, G_k^0]$ は $r \leq 2$ のとき $\mathbb{Z}_2^r$ に同型であり、パラメータ $a, b, p, q$ の偶奇に依存する。特定の偶奇条件を満たす場合、$(\eta,1)$ 及び $(1,\eta)$ はアーベル化写像の核に属する。
• $\mathbb{CP}^1 \times \mathbb{CP}^1$ の複素曲線に沿った分岐を持つ二重被覆に対して、安定化基本群 $G_k^0$ は明示的に計算可能であり、$\mathrm{Ab}\,G_k^0 \simeq (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$ で $\Lambda_k = \langle (p+a-2, a-2), (q+b-2, b-2) \rangle$ となる。これは一般構造を確認する。
• $X$ が複素表面で $|kL|$ が豊富であるとき、$k$ が十分に大きいと $G_k \simeq \pi_1(\mathbb{C}^2 - D_k)$ であるという予想は未解決だが、例の証拠により支持されている。