[论文解读] Milnor numbers for 2-surfaces in 4-manifolds

Marina Ville|ArXiv.org|Jan 30, 2007

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

一句话总结

本文为退化至分支曲面的4-流形中2-曲面序列引入了切向与法向Milnor数，量化了奇异点处的曲率集中。在有界亏格或极小性假设下，切向Milnor数的存在性蕴含法向Milnor数的存在性，且不等式 $-\mu_p^T \geq \mu_p^N$ 成立，将经典Milnor数概念推广至复曲线之外的非复2-曲面。

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).

研究动机与目标

• 将经典Milnor数从复曲面上的复曲线推广至退化至分支曲面的4-流形中2-曲面序列。
• 定义两个不同的不变量——切向与法向Milnor数，分别度量极限曲面奇异点处切丛与法丛中的曲率集中。
• 建立切向Milnor数存在性蕴含法向Milnor数存在性的条件。
• 将第二基本形式的渐近行为与有向Grassmannian $G_2^+(M)$ 中的泡化现象联系起来。
• 通过特征数分析，将邻接公式直觉推广至4-流形中的极小曲面。

提出的方法

• 将切向Milnor数 $\mu_p^T$ 定义为在极限曲面 $\Sigma_0$ 的奇异点 $p$ 附近，切丛 $T\Sigma_n$ 的度的极限，用于度量曲率集中。
• 类似地，对法丛 $N\Sigma_n$ 定义法向Milnor数 $\mu_p^N$，利用法丛曲率的度。
• 假设 $\Sigma_n$ 在 $p$ 以外光滑收敛至 $\Sigma_0$，并施加拓扑或几何约束（如嵌入性、链的连通性、极小性）以确保不变量的存在。
• 将第二基本形式的 $L^2$-有界性与Grassmannian $G_2^+(M)$ 中的泡化现象联系起来，将几何收敛性与拓扑不变量关联。
• 应用Eells-Salamon对调和映射的刻画，将 $G_2^+(M)$ 上的复结构与通过Gauss映射在曲面上存在的复结构联系起来。
• 利用环境曲率 $R^M$ 与第二基本形式 $B$ 推导法丛的曲率公式，得到 $\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 经典Milnor数概念能否推广至退化至分支曲面的4-流形中非复2-曲面？
• RQ2 在何种条件下，切向Milnor数 $\mu_p^T$ 的存在性蕴含法向Milnor数 $\mu_p^N$ 的存在性？
• RQ3 在极小曲面缺乏邻接公式的情况下，$\mu_p^T$ 与 $\mu_p^N$ 之间有何关系？
• RQ4 切丛与法丛中的曲率集中如何与Grassmannian $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$，将法曲率与第二基本形式的外微分联系起来。
• 当 $\Sigma_n$ 的第二基本形式 $L^2$-有界时，$\mu_p^T$ 与 $\mu_p^N$ 的极限行为对应于Grassmannian $G_2^+(M)$ 中的泡化现象，反映了Gauss映射的拓扑转变。
• 在复情形下，$|\mu_p^T| = |\mu_p^N|$，表明与经典邻接公式一致。
• 切向与法向Milnor数并非总是良定义，但在有界亏格或极小性等拓扑或几何约束下可保证其存在。
• 本文通过曲率公式与 $G_2^+(M)$ 上的复结构，为Eells-Salamon定理提供了几何解释，证实调和映射至Grassmannian对应于极小曲面。