[论文解读] Degree Theory of Immersed Hypersurfaces

Harold Rosenberg, Graham Smith|arXiv (Cornell University)|Oct 9, 2010

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

一句话总结

本文为紧致、浸入的、在紧致可定向黎曼流形中具有预设椭圆曲率的超曲面建立了曲率度理论。通过为由函数预设曲率的浸入解空间构造映射度，作者证明了此类超曲面的代数计数——按局部符号加权——在包括平均曲率、外曲率和特殊拉格朗日子曲率在内的各种情形下，等于紧致流形的负欧拉示性数 $-\chi(M)$。

ABSTRACT

We develop a degree theory for compact immersed hypersurfaces of prescribed $K$-curvature immersed in a compact, orientable Riemannian manifold, where $K$ is any elliptic curvature function. We apply this theory to count the (algebraic) number of immersed hyperspheres in various cases: where $K$ is mean curvature; extrinsic curvature and special Lagrangian curvature, and we show that in all these cases, this number is equal to $-χ(M)$, where $χ(M)$ is the Euler characteristic of $M$.

研究动机与目标

• 为紧致、可定向黎曼流形 $M$ 中具有预设椭圆曲率函数 $K$ 的紧致、浸入超曲面建立度理论。
• 将解映射的拓扑度与周围流形的欧拉示性数 $\chi(M)$ 关联起来。
• 将怀特对极小曲面的度理论推广至一般曲率泛函，包括非 $L^2$-梯度情形。
• 解决由于未参数化浸入空间缺乏巴拿赫流形结构而引发的技术难题。
• 证明预设 $K$-曲率问题的解的代数计数与曲率函数无关，且恒等于 $-\chi(M)$。

提出的方法

• 定义解空间 $\mathcal{Z} = \{([e], f) \in \mathcal{I} \times \mathcal{O} \mid K_e = f \circ e\}$，其中 $\mathcal{I}$ 为未参数化浸入的空间，$\mathcal{O}$ 为 $M$ 上光滑函数的空间。
• 在椭圆性与恰当性假设下，证明投影映射 $\Pi: \mathcal{Z} \to \mathcal{O}$ 是指标为零的正则弗雷德霍姆映射。
• 引入“弱光滑”流形的概念，以处理 $\mathcal{I}$ 的非巴拿赫结构，从而能够应用标准微分拓扑工具。
• 通过线性化算子的谱分析，将每个解 $([e], f)$ 的局部符号定义为 $+1$ 或 $-1$，推广怀特的方法。
• 利用 Sard-Smale 定理及由共紧性与反函数定理导出的等度连续性论证，确保一般情形下解的有限性与度的良定义性。
• 证明度 $\text{Deg}(\Pi; f)$ 在 $f \in \mathcal{O}'$（$\mathcal{O}$ 的一个稠密子集）上为常数，并通过 $M$ 的拓扑不变量计算该值。

实验结果

研究问题

• RQ1 能否在紧致黎曼流形中为具有预设椭圆曲率的浸入超曲面构造度理论？
• RQ2 预设 $K$-曲率问题的解的代数计数是否依赖于曲率函数 $f$ 的选择？
• RQ3 解映射 $\Pi$ 的度是否与周围流形的欧拉示性数 $\chi(M)$ 相关？
• RQ4 在无限维度理论中，如何处理未参数化浸入空间缺乏巴拿赫流形结构的问题？
• RQ5 控制预设曲率问题解数的精确拓扑不变量是什么？

主要发现

• 在椭圆性与恰当性条件下，解映射 $\Pi: \mathcal{Z} \to \mathcal{O}$ 的映射度是良定义的且取整数值。
• 对一般 $f \in \mathcal{O}'$，原像 $\Pi^{-1}(\{f\})$ 为有限集，且每个解 $([e], f)$ 均有良定义的局部符号 $+1$ 或 $-1$。
• 总度 $\text{Deg}(\Pi; f)$ 与 $f$ 无关，构成周围流形 $M$ 的一个拓扑不变量。
• 在所有研究的情形中——平均曲率、外曲率和特殊拉格朗日子曲率——该度恒等于 $-\chi(M)$，即 $M$ 的负欧拉示性数。
• 该理论通过引入“弱光滑”流形并利用共紧性与等度连续性论证，解决了 $\mathcal{I}$ 中非巴拿赫结构带来的技术障碍。
• 该结果统一并推广了怀特对极小曲面的度理论，适用于一大类参数化曲率泛函，包括非梯度情形。