[論文レビュー] Positive Dehn Twist Expressions for Some Elements of Finite Order in the Mapping Class Group

Yusuf Z. Gürtaş|ArXiv.org|Jan 22, 2005

Geometric and Algebraic Topology参考文献 2被引用数 3

ひとこと要約

本稿では、$g = 1+p$ の genus を持つ閉じた向きつけ可能な曲面上で $2\pi/p$ 回転をなす有限位数の写像類群の元に対して、先行研究から得られた対合の合成を用いて、明示的な正のデーンねじれ表現を提示する。得られた単連結なシミプレクティック 4 次元多様体がルーファー・ファイブレーションとして実現可能であり、そのホメオモルフィズム不変量としてオイラー標記数 $\chi = 2p(p+7)$ とシグニチャ $\sigma = -12p$ が計算されている。

ABSTRACT

Positive Dehn twist products for some elements of finite order in the mapping class group of a 2-dimensional closed, compact, oriented surface $Σ_g$, which are rotations of $Σ_g$ through $2π/p$, are presented. The homeomorphism invariants of the resulting simply connected symplectic 4- manifolds are computed.

研究の動機と目的

• 閉じた向きつけ可能な genus $g = 1+p$ の曲面上で $2\pi/p$ 回転をなす有限位数の写像類群の元に対する明示的な正のデーンねじれ表現を構成すること。
• 先行研究における写像類群の対合の結果を、$180^\circ$ の対合の合成を用いて高次元の回転対称性へ拡張すること。
• モノドロミーがこれらの回転元によって与えられる $S^2$ 上のルーファー・ファイブレーションとして得られるシミプレクティック 4 次元多様体のホメオモルフィズム不変量（特にオイラー標記数とシグニチャ）を計算すること。
• これらのファイブレーションのシグニチャに対する閉形式の公式を確立し、[3] のアルゴリズムに基づく MATLAB 実装による計算的証拠を提示すること。
• 得られた 4 次元多様体が単連結であり、ほぼ複素構造を有することを示し、$c_1^2$ と $\chi_h$ の計算を可能にする。

提案手法

• 曲面 $\Sigma_{1+p}$ 上の位数 $p$ の回転 $\phi_p$ を、$\theta_1^p$ と $\theta_2^p$ という $180^\circ$ の対合の合成 $\phi_p = \theta_2^p \theta_1^p$ として構成する。ここで $\theta_1^p$ と $\theta_2^p$ は指定された軸に関する対合である。
• 定理 1.0.1 を適用し、曲面上のラベル付きサイクルを用いて、各対合 $\theta_1^p$ と $\theta_2^p$ を正のデーンねじれの積として表現する。
• $\theta_1^p$ と $\theta_2^p$ のデーンねじれ表現を並べて接続することで、$\phi_p = \theta_2^p \theta_1^p$ の完全な正のデーンねじれ表現を導出する。
• ルーファー・ファイブレーションの公式 $\chi(X) = 4 - 4g + s$ を用い、$s = 2p(p+9)$ を特異ファイバー（消えるサイクル）の数として、オイラー標記数を計算する。
• 文献 [3] のアルゴリズムに基づく MATLAB プログラムを用いてシグニチャ $\sigma(X)$ を計算し、$\sigma(X) = -12p$ という閉形式の予想に到達する。
• 標準的な公式 $c_1^2 = 3\sigma + 2\chi$ と $\chi_h = (\sigma + \chi)/4$ を用いて、$c_1^2(X) = 4p(p-2)$ と $\chi_h(X) = \frac{1}{2}p(p+1)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 genus-$g$ の曲面上で $2\pi/p$ 回転をなす有限位数の写像類群の元に対して、正のデーンねじれ表現を構成可能か？
• RQ2 このような回転対称性は、既知の $180^\circ$ の対合とその既知のデーンねじれ表現に分解可能か？
• RQ3 モノドロミー $\phi_p$ を持つルーファー・ファイブレーションとして得られるシミプレクティック 4 次元多様体のホメオモルフィズム不変量（特にオイラー標記数とシグニチャ）は何か？
• RQ4 これらのファイブレーションのシグニチャに対する閉形式の公式は存在するか？計算的証明は可能か？
• RQ5 得られた 4 次元多様体はほぼ複素構造を有するか？そのチャーン類不変量は何か？

主な発見

• 曲面 $\Sigma_{1+p}$ 上の $2\pi/p$ 回転 $\phi_p$ は、$\theta_2^p \theta_1^p$ として合成され、$\theta_1^p$ と $\theta_2^p$ は既知の正のデーンねじれ表現を持つ $180^\circ$ の対合である。
• デーンねじれ表現を $\theta_1^p$ と $\theta_2^p$ の順に連結することで、$\phi_p$ の完全な正のデーンねじれ表現が得られ、合計で $2p(p+9)$ 個のデーンねじれからなる。
• 関連するルーファー・ファイブレーションのオイラー標記数は $\chi(X) = 2p(p+7)$ であり、$g = p+1$ と $s = 2p(p+9)$ を用いた公式 $\chi = 4 - 4g + s$ から導出される。
• ファイブレーションのシグニチャは、文献 [3] のアルゴリズムに基づく MATLAB プログラムによる計算結果をもとに $\sigma(X) = -12p$ として計算された。
• $c_1^2(X) = 4p(p-2)$ および $\chi_h(X) = \frac{1}{2}p(p+1)$ が得られ、多様体が単連結であり、ほぼ複素構造を有することを確認した。
• 本稿では $p = 3, 5, 7, 9$ に対するシグニチャ計算の明示的出力を提供しており、これらは閉形式のシグニチャ公式を支持する一貫したパターンを示している。