[论文解读] Proper superminimal surfaces of given conformal types in the hyperbolic four-space

Franc Forstnerič|arXiv (Cornell University)|May 5, 2020

Geometric Analysis and Curvature Flows参考文献 34被引用 4

一句话总结

本文证明了从带边界的黎曼曲面到双曲4维空间 H⁴ 的任意光滑共形超极小浸入，均可在紧集上被恰当的共形超极小浸入一致逼近。通过Bryant对应关系以及在扭量空间 Ω ⊂ ℂℙ³ 中的全纯Legendre曲线，作者证明了对于任意给定的有限拓扑类型和无奇点的共形结构，均存在恰当嵌入的超极小曲面。

ABSTRACT

Let $H^4$ denote the hyperbolic four-space. Given a bordered Riemann surface, $M$, we prove that every smooth conformal superminimal immersion $\overline M o H^4$ can be approximated uniformly on compacts in $M$ by proper conformal superminimal immersions $M o H^4$. In particular, $H^4$ contains properly immersed conformal superminimal surfaces normalised by any given open Riemann surface of finite topological type without punctures. The proof uses the analysis of holomorphic Legendrian curves in the twistor space of $H^4$.

研究动机与目标

• 建立双曲4维空间 H⁴ 中具有指定共形类型的恰当浸入共形超极小曲面的存在性。
• 将Legendre曲线的逼近定理推广至双曲情形，同时控制拓扑与共形结构。
• 证明任一有限拓扑类型、无奇点的开黎曼曲面均可作为 H⁴ 中恰当浸入的超极小曲面的共形结构。
• 提出一种在保持有限点处的喷射阶数的同时，将超极小浸入逼近为恰当浸入的方法。
• 分析 H⁴ 的扭量空间 Ω ⊂ ℂℙ³ 的几何性质及其全纯Legendre曲线，以通过投影实现超极小曲面。

提出的方法

• 利用Bryant对应关系：H⁴ 中的超极小曲面对应于扭量空间 Ω ⊂ ℂℙ³ 中的全holomorphic Legendre曲线。
• 使用支撑函数 ρ(z) = (|z₃|² + |z₄|²)/(|z₁|² + |z₂|²) 定义子水平集 Ω_c，并控制Legendre映射的像。
• 为 z ∈ Ω \ π⁻¹(0) 构造一族恰当嵌入的Legendre圆盘 L_z ⊂ Ω，每个均投影为 ℝ⁴ 中的双曲曲面 B ⊂ ℝ⁴。
• 在扭量空间中应用带参数的Riemann-Hilbert型问题，将曲面边界向外变形。
• 通过引理6.2的归纳逼近，将边界像推进至 Ω_{c',c''} 区域，同时保持喷射阶数与全纯Legendre结构。
• 通过每一步应用一般位置定理并利用 ρ 在 Ω \ π⁻¹(0) 上无临界点，确保极限映射为恰当的全纯Legendre嵌入。

实验结果

研究问题

• RQ1 能否将任意从带边界的黎曼曲面到 H⁴ 的光滑共形超极小浸入，在紧集上一致逼近为恰当的此类浸入？
• RQ2 在 H⁴ 中恰当浸入的超极小曲面的共形类型在多大程度上可被控制？
• RQ3 H⁴ 的扭量空间构造是否允许将任意有限型、无奇点的开黎曼曲面实现为恰当浸入超极小曲面的共形结构？
• RQ4 逼近过程能否在保持有限个点处喷射阶数的同时确保恰当性？
• RQ5 在双曲度量下，扭量空间 Ω ⊂ ℂℙ³ 中的全纯Legendre曲线的行为如何？它们与 H⁴ 的双曲几何有何关联？

主要发现

• 任一从带边界的黎曼曲面 M 到 H⁴ 的光滑共形超极小浸入 f: M → H⁴，均可在紧集上被恰当的共形超极小浸入 ˜f: M → H⁴ 一致逼近。
• 该逼近可与原映射在 M 中有限个点处至任意给定阶数一致。
• H⁴ 的扭量空间 Ω ⊂ ℂℙ³ 定义为 |z₁|² + |z₂|² > |z₃|² + |z₄|²，其水平全纯接触结构由1-形式 β = z₁dz₂ − z₂dz₁ − z₃dz₄ + z₄dz₃ 给出。
• 任一有限拓扑类型、无奇点的开黎曼曲面均可作为 H⁴ 中恰当浸入超极小曲面的共形结构。
• 该证明依赖于在扭量空间中使用Legendre圆盘 L_z 及Riemann-Hilbert型问题，将边界像推进至适当区域的变形过程。
• 支撑函数 ρ(z) = (|z₃|² + |z₄|²)/(|z₁|² + |z₂|²) 在 Ω \ π⁻¹(0) 上无临界点，使得可通过引理6.2实现归纳逼近。