[論文レビュー] Milnor numbers for 2-surfaces in 4-manifolds

Marina Ville|ArXiv.org|Jan 30, 2007

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

ひとこと要約

本稿は、4次元多様体内の2次元曲面の列が分岐する曲面に退化する場合の接線および法線ミルナー数を導入し、特異点における曲率集中を定量化する。有界な genus または最小性の仮定の下で、接線ミルナー数の存在は法線ミルナー数の存在を意味し、不等式 $-\mu_p^T \geq \mu_p^N$ が成り立つ。これは、複素曲線に限らない古典的ミルナー数概念の一般化である。

ABSTRACT

In this paper (S_n) is a sequence of surfaces immersed in a 4-manifold which converges to a branched surface S_0. Up to sign, μ^T_p (resp. μ^N_p) will denote the amount of curvature of the tangent bundles TS_n (resp. the normal bundles NS_n) which concentrates around a singular point p of S_0 when n goes to infinity. By a slight abuse of notation, we call μ_p^T (resp. μ_p^N) the tangent (resp. normal) Milnor number of S_n at p. These numbers are not always well-defined; we discuss assumptions under which, if μ^T exists, then μ^N also exists and is smaller than -μ^T . When the second fundamental forms of the S_n's have a common L^2 bound, we relate μ^T and μ^N to a bubbling-off in the Grassmannian G_2^+(M).

研究の動機と目的

• 複素曲面内の複素曲線に対する古典的ミルナー数を、分岐する曲面に退化する4次元多様体内の2次元曲面の列へ一般化すること。
• 特異点における極限曲面の接空間および法空間における曲率集中を測る2つの異なる不変量、すなわち接線ミルナー数および法線ミルナー数を定義すること。
• 接線ミルナー数の存在が法線ミルナー数の存在を意味する条件を確立すること。
• 第二基本形式の漸近的挙動と、向き付けられたグラスマン多様体 $G_2^+(M)$ 内のバブル現象との関係を特定すること。
• 特性数の解析を用いて、4次元多様体内の最小曲面への接続公式の直感を拡張すること。

提案手法

• 特異点 $p$ の近傍における接 bundle $T\Sigma_n$ の次数の極限として接線ミルナー数 $\mu_p^T$ を定義し、曲率集中を測定する。
• 法 bundle $N\Sigma_n$ に対して同様に、法 bundle の曲率の次数を用いて法線ミルナー数 $\mu_p^N$ を定義する。
• 曲面 $\Sigma_n$ が $p$ を除いて滑らかに $\Sigma_0$ に収束すると仮定し、埋め込み性、リンクの連結性、最小性などの位相的・幾何的制約を課して不変量の存在を保証する。
• 第二基本形式の $L^2$-有界性とグラスマン多様体 $G_2^+(M)$ 内のバブル現象を関連付け、幾何的収束と位相的不変量を結びつける。
• Eells-Salamon による調和写像の特徴づけを応用し、グラスマン多様体 $G_2^+(M)$ 上の複素構造と、ガウス写像を介した曲面上の複素構造の存在を関連付ける。
• 環境曲率 $R^M$ と第二基本形式 $B$ を用いて法 bundle の曲率式を導出し、$\Omega^N = (B(e_1,e_1) - B(e_2,e_2)) \wedge B(e_1,e_2) + \langle R^M(e_1,e_2)e_3,e_4 \rangle$ を得る。

実験結果

リサーチクエスチョン

• RQ1 複素曲線に限らない4次元多様体内の非複素2次元曲面が分岐曲面に退化する場合、古典的ミルナー数概念を一般化できるか？
• RQ2 接線ミルナー数 $\mu_p^T$ の存在が、法線ミルナー数 $\mu_p^N$ の存在を意味する条件は何か？
• RQ3 最小曲面に対して接続公式が成立しない状況下で、$\mu_p^T$ と $\mu_p^N$ の関係は何か？
• RQ4 接空間および法空間における曲率集中は、グラスマン多様体 $G_2^+(M)$ 内の幾何的バブル現象とどのように関係するか？
• RQ5 第二基本形式の $L^2$-有界性を用いて、$T\Sigma_n$ および $N\Sigma_n$ の特性類の漸近的挙動を制御できるか？

主な発見

• 曲面 $\Sigma_n$ が埋め込まれているか、$p$ におけるリンクが連結であれば、$\mu_p^T$ が存在する限り $\mu_p^N$ も存在し、$-\mu_p^T \geq \mu_p^N$ を満たす。
• 最小曲面の場合、法曲率形式は $\Omega^N = 2dB(e_1,e_2) \wedge B(e_1,e_1) + \langle R^M(e_1,e_2)e_3,e_4 \rangle$ を満たし、法曲率が第二基本形式の外微分と関係づけられる。
• 第二基本形式が $L^2$-有界であれば、$\mu_p^T$ および $\mu_p^N$ の極限挙動はグラスマン多様体 $G_2^+(M)$ 内のバブル現象に対応し、ガウス写像の位相的遷移を反映する。
• 複素の場合には $|\mu_p^T| = |\mu_p^N|$ が成り立ち、古典的接続公式と整合的である。
• 接線および法線ミルナー数は常に定義されるとは限らないが、有界な genus または最小性などの位相的・幾何的制約の下では保証される。
• 本稿は、曲率式と $G_2^+(M)$ 上の複素構造を用いて Eells-Salamon の定理の幾何的解釈を提供し、調和写像がグラスマン多様体へ写像する場合、それが最小曲面に対応することを確認している。