[论文解读] Homotopy classes of harmonic maps of the stratified 2-spheres and applications to geometric flows

Jingyi Chen, Yuxiang Li|arXiv (Cornell University)|Nov 13, 2013

Geometric Analysis and Curvature Flows参考文献 9被引用 3

一句话总结

本文证明了从分层2-球面到具有能量一致有界的紧致黎曼流形的调和映射仅属于有限多个同伦类，该结果通过分层球面的归一化程序得以建立。该有限性结果被应用于证明：当 $M_1 \not\cong S^3$，$M_2 \not\cong S^3, \mathbb{R}\mathbb{P}^3$ 时，在 $M_1 \# M_2$ 的连通和上，调和映射流与平均曲率流会出现有限时间奇点，原因在于存在无穷多个同伦类互异但能量有界的映射。

ABSTRACT

We show that the set of harmonic maps from the 2-dimensional stratified spheres with uniformly bounded energies contains only finitely many homotopy classes. We apply this result to construct infinitely many harmonic map flows and mean curvature flows of 2-sphere in the connected sum of two closed 3-dimensional manifolds $M_1 ot=S^3$ and $M_2 ot=S^3,\R¶^3$, which must develop finite time singularity.

研究动机与目标

• 建立从分层2-球面到紧致黎曼流形的调和映射集合，若能量一致有界，则仅包含有限多个同伦类。
• 构建从 $S^2$ 到分层球面的归一化映射，以系统追踪不同定义域拓扑下的同伦类。
• 将有限性结果应用于证明在拓扑约束下，连通和 $M_1 \# M_2$ 上的调和映射流与平均曲率流存在有限时间奇点。
• 利用 $π_1(M)$ 和 $H_2$-类的拓扑性质，构造从 $S^2$ 到 $M_1 \# M_2$ 的无穷多个同伦类互异且能量有界的光滑映射。
• 证明当 $M_1, M_2 \neq S^3, \mathbb{R}\mathbb{P}^3$ 时，$M_1 \# M_2$ 的拓扑结构会强制几何流在有限时间内出现奇点，且该结果与初始能量水平无关。

提出的方法

• 引入从 $S^2$ 到分层球面 $\Sigma$ 的归一化映射，将由爆破点产生的多重连通区域坍塌为奇点，从而通过基于 $S^2$ 的映射实现同伦类的追踪。
• 利用 Parker 的泡泡树收敛定理分析能量有界下调和映射的极限，证明其收敛于从分层2-球面出发的调和映射。
• 应用 Qing-Tian 的紧致性定理 [11]，排除 Palais-Smale 序列中 $L^2$ 张力场有界时的颈部现象，确保收敛于从分层球面出发的调和映射。
• 借助庞加莱猜想与基本群结构，分析 $M = M_1 \# M_2$ 的万有覆盖中嵌入球面的原像的拓扑，特别关注具有两个边界分量的分支。
• 构造序列 $\{\gamma_i\} \subset \pi_1(M)$，使得对 $i \neq j$ 有 $[\gamma_i \circ \tilde{u}]_{H_2} \neq [\gamma_j \circ \tilde{u}]_{H_2}$，利用 $H_2(S^2 \times (-1,1)) = \mathbb{Z}$ 中的线性无关性。
• 利用归一化与同伦类追踪方法，证明若在某一给定同伦类中不存在从分层球面出发、能量 $\leq C$ 的调和映射，则调和映射流必然在有限时间内形成奇点。

实验结果

研究问题

• RQ1 从分层2-球面到紧致黎曼流形的调和映射集合，若能量一致有界，是否仅包含有限多个同伦类？
• RQ2 分层球面的归一化是否可用于通过 $S^2$ 上的映射系统追踪此类定义域上映射的同伦类？
• RQ3 是否存在从 $S^2$ 到 $M_1 \# M_2$ 的无穷多个同伦类互异且能量有界的映射，是否意味着在 $M_1 \# M_2$ 上的几何流中会出现有限时间奇点？
• RQ4 对 $M_1$ 和 $M_2$ 的何种拓扑条件可确保 $M = M_1 \# M_2$ 支持无穷多个同伦类互异且能量有界的从 $S^2$ 出发的映射？
• RQ5 若在某些从分层球面出发、能量有界的同伦类中不存在调和映射，是否可用于证明调和映射流与平均曲率流的有限时间爆破？

主要发现

• 对于任意 $C > 0$，从分层2-球面到紧致黎曼流形 $N$ 的调和映射集合，若能量 $\leq C$，则仅包含有限多个同伦类，此结论由定理 1.1 建立。
• 构造了从 $S^2$ 到分层球面 $\Sigma$ 的归一化映射，该映射将多重连通区域坍塌为奇点，并允许通过 $S^2$ 上的映射追踪 $\Sigma$ 上映射的同伦类。
• 当 $M = M_1 \# M_2$ 且 $M_1 \not\cong S^3$，$M_2 \not\cong S^3, \mathbb{R}\mathbb{P}^3$ 时，存在无穷多个光滑映射 $u_k: S^2 \to M$，其能量一致有界且像之间同伦类互异，如定理 5.1 所示。
• 从任意此类 $u_k$ 出发的调和映射流均会在有限时间内形成奇点，原因在于对应同伦类中不存在从分层球面出发的调和代表。
• 类似地，若嵌入映射 $w_k: S^2 \to M$ 的面积一致有界且像之间同伦类互异，则其平均曲率流也必须在有限时间内形成奇点，如定理 1.2(B) 所证。
• 关键的拓扑机制在于存在序列 $\{\gamma_i\} \subset \pi_1(M)$，使得 $H_2$-类 $[\gamma_i \circ \tilde{u}]_{H_2}$ 两两不同，从而保证存在无穷多个同伦类互异且能量有界的映射。