[论文解读] Harmonic maps into conic surfaces with cone angles less than $2\pi$

Jesse Gell‐Redman|arXiv (Cornell University)|Oct 20, 2010

Analytic and geometric function theory参考文献 20被引用 6

一句话总结

本文证明了从闭或带 puncture 的黎曼曲面到锥角小于 $2\pi$ 的锥面的能量极小化调和映射的存在性、唯一性及光滑依赖性，特别证明当目标曲面的锥角 $\leq \pi$ 时，此类映射为同胚。主要贡献在于为在同伦类中固定低角度锥点原像的相对极小化问题建立了严格框架，将Teichmüller理论推广至锥度量。

ABSTRACT

We prove the existence and uniqueness of harmonic maps in degree one homotopy classes of closed, orientable surfaces of positive genus, when the target has conic points with cone angles less than $2\\pi$. For a cone point $p$ of cone angle less than or equal $\\pi$ we show that one can minimize, uniquely, in the relative homotopy class of a homeomorphism sending a fixed point $q$ in the domain to $p$. The latter can be interpreted as minimizing maps from punctured Riemann surfaces.

研究动机与目标

• 证明从亏格 > 0 的闭、可定向曲面到具有非正曲率及锥角 < $2\pi$ 的锥面的能量极小化调和映射的存在性与唯一性。
• 通过证明当锥角 $\leq \pi$ 时，固定锥点原像的相对极小化定理，将理论推广至带 puncture 的曲面。
• 证明此类极小化映射为同胚，并且其依赖于目标度量的方式是光滑的。
• 证明相对极小化映射的空间构成一个复流形，其复维数等于锥角 $\leq \pi$ 的锥点数量。
• 为将Teichmüller理论与统一化结果推广至带 puncture 的曲面的锥度量奠定基础。

提出的方法

• 使用连续法，结合扰动与收敛性论证构造调和映射。
• 对张力场算子 $\tau(u,g,G)$ 应用隐函数定理，该算子作为能量泛函的Euler-Lagrange方程出现。
• 在加权 Hölder 空间 $C^{k,\gamma}_{b}$ 和 $r^{\epsilon}C^{k,\gamma}_{b}$ 中工作，以处理锥奇点并确保Fredholm性质。
• 定义一个扰动空间 $\mathcal{P}(u)$ 及一个度量扰动子空间 $\mathcal{M}^*(g)$，以确保 $\tau$ 的非退化微分。
• 利用能量泛函的共形不变性及锥点附近的局部坐标，将问题约化为坐标计算。
• 通过平行移动 $\Xi$ 引入拉回拓扑，以定义丛 $\mathsf{E}$ 中截面的光滑性，确保张力场算子的 $C^1$-正则性。

实验结果

研究问题

• RQ1 在从亏格 > 0 的闭曲面到具有锥角 < $2\pi$ 且非正曲率的锥面的每个度数为一的同伦类中，是否存在唯一的能量极小化调和映射？
• RQ2 当锥角 $\leq \pi$ 时，能否构造出固定锥点原像的相对极小化映射？
• RQ3 此类相对极小化映射的空间作为几何对象如何表现——具体而言，它是否为复流形？
• RQ4 这些极小化映射的正则性及其对几何数据（度量、锥角）的依赖性如何？
• RQ5 能否将调和映射理论扩展，以利用锥度量参数化带 puncture 的曲面的Teichmüller空间？

主要发现

• 对于亏格 > 0 的闭曲面，每个度数为一的同伦类中存在唯一的能量极小化调和映射，且每个锥点的原像为单个点。
• 当锥角 $\leq \pi$ 时，固定锥点原像的相对极小化问题存在唯一解，且极小化映射为同胚。
• 在固定几何数据下，相对极小化映射的空间构成一个复流形，其复维数等于锥角 $\leq \pi$ 的锥点数量。
• 极小化映射对目标度量的依赖是光滑的，且张力场算子 $\tau$ 在适当的Banach空间设定下为 $C^1$。
• 证明的关键在于表明张力场算子在扰动空间中具有非退化微分，从而可应用隐函数定理。
• 在共形坐标下的局部计算证实张力场属于加权Hölder空间，确保了隐函数论证所需的正则性。