[論文レビュー] Meyer functions and the signatures of fibered 4-manifolds

Yusuke Kuno|arXiv (Cornell University)|Apr 8, 2012

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

ひとこと要約

本稿は、特に3、4、5の値をとる非双曲的ファイバーファイバー4次元多様体の符号数を研究するために、Meyer関数を補助不変量として開発する。普遍的なリーマン面の族を構成し、モノドロミーを分類空間の基本群に上げることで、モノドロミーが自明であっても位相的寄与を捉えることができる局所符号数不変量を定義する。これは、アティヤの1次元の場合の研究を一般化し、等長コホモロジーとリーマン・ピルラーティー理論を用いて高次元に拡張する。

ABSTRACT

We give a survey on Meyer functions, with emphasis on their application to the signatures of fibered 4-manifolds.

研究の動機と目的

• Meyer関数の理論を、元来1次元および2次元に対して定義されたものから、高次元、特に4次元多様体の非双曲的ファイブレーションにまで拡張すること。
• 特異ファイバー回りのモノドロミーが自明であっても、位相的寄与を検出できる局所符号数不変量を定義すること。
• 3次元の非双曲的リーマン面の普遍族を、ヴェロネーゼ埋め込みとPGL(3)-等長幾何を用いて構成すること。
• この普遍族の底空間の基本群に、符号数コサイクルの引き戻しをコボンドする一意的な有理数値1次コチェーン（Meyer関数）が存在することを示すこと。
• この構成を用いて、一般の非双曲的ファイブレーション（3、4、5次元）に対して、位相的局所符号数を定義し、コンノの例を一般化すること。

提案手法

• 本稿は、3次元の非双曲的リーマン面の普遍族を、ヴェロネーゼ埋め込み $v_4: \mathbb{P}^2 \to \mathbb{P}^{14}$ を用いて構成する。その一般な超平面切断は滑らかな平面四次曲線を与える。
• 底空間 $U^X$ を、グリスマンニアン $G_k(\mathbb{P}_N)$ 内の判別式除集合 $D_X$ の補集合として定義し、滑らかなファイバーをパラメトライズする。
• $\mathcal{G} = PGL(3)$ の $U^X$ への作用を用い、ボレル構成 $U^X_{\mathcal{G}} = E\mathcal{G} \times_{\mathcal{G}} U^X$ を用いることで、$\mathcal{G}$-等長族を構成し、普遍的性質を持つ。
• モノドロミー $\rho_u: \pi_1(U^X_{\mathcal{G}}) \to \mathcal{M}_g$ が符号数コサイクル $\tau_g$ を上昇させることで、$\rho_u^*\tau_g$ のコバウンダリーに等しい有理数値1次コチェーンとしてのMeyer関数 $\phi_3^{NH}$ を定義する。
• 特異点 $b$ の周囲のファイバーの局所的胚 $\mathcal{F}_b$ に対して、局所符号数 $\sigma_3^{NH}(\mathcal{F}_b)$ を $\phi_3^{NH}(x_{\mathcal{F}_b}) + \mathrm{Sign}(f^{-1}(\Delta))$ として定義する。ここで $x_{\mathcal{F}_b}$ は境界ループ $\partial\Delta$ の像である。
• 同様の普遍族と等長上昇技術を用いて、4次元および5次元に対してもこの構成を一般化する。

実験結果

リサーチクエスチョン

• RQ1 1次元および2次元に対するMeyer関数の構成を、特に4次元多様体の非双曲的ファイブレーションに高次元にまで拡張できるか。
• RQ2 特異ファイバー回りのモノドロミーが自明である場合に、ファイバード4次元多様体に対してどのように局所符号数不変量を定義できるか。
• RQ3 普遍族 $U^X_{\mathcal{G}}$ の基本群が、モノドロミーを越えて位相的不変量を検出するために果たす役割は何か。
• RQ4 $PGL(3)$-等長構造が、グローバルなMeyer関数の構成にどのように寄与するか。
• RQ5 $x_{\mathcal{F}_b}$ が $\pi_1(U^X_{\mathcal{G}})$ 内では非自明だが $\mathcal{M}_3$ 内では自明である場合、$\phi_3^{NH}(x_{\mathcal{F}_b})$ の位相的意義は何か。

主な発見

• $\pi_1(U^X)$ 上に一意的な $\mathbb{Q}$-値1次コチェーン $\phi_X$ が存在し、そのコバウンダリーはモノドロミー $\rho_X$ を介した符号数コサイクル $\tau_g$ の引き戻しに一致する。これは、Meyerの元来の構成を一般化する。
• 条件がやや弱い場合に、Meyer関数 $\phi_X$ は有界でない。これは、$\pi_1(U^X)$ が非アーメンであることを示唆する。
• 3次元の場合、局所符号数 $\sigma_3^{NH}(\mathcal{F}_b)$ を $\phi_3^{NH}(x_{\mathcal{F}_b}) + \mathrm{Sign}(f^{-1}(\Delta))$ として定義する。これは、モノドロミー $x_{\mathcal{F}_b}$ が $\mathcal{M}_3$ 内で自明であっても非自明であり、モノドロミーを超えた位相的検出を示している。
• $\phi_3^{NH}$ の $\pi_1(U^X_{\mathcal{G}})$ 上での構成は、正確な列 $\mathbb{Z}/3\mathbb{Z} \to \pi_1(U^X) \to \pi_1(U^X_{\mathcal{G}}) \to 1$ に依存し、Meyer関数を $U^X$ から等長的底空間に上昇可能にする。
• 局所符号数 $\sigma_3^{NH}$ は、コンノの例の位相的解釈を提供する。非自明な寄与は、普遍被覆へのループの非自明な上昇に起因する。
• この手法は4次元および5次元に対しても一般化され、同様の普遍族と等長コホモロジーを用いて、高次元非双曲的ファイブレーションにおける局所符号数のフレームワークを確立する。