[论文解读] A characterization of the ball

Klas Diederich, John Erik Fornæss+1 more|arXiv (Cornell University)|Apr 18, 2016

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

一句话总结

本文通过分析全纯函数在边界处的行为，刻画了ℂⁿ中有界区域中的复单位球。证明了若一个𝐶²光滑有界区域的全纯函数满足𝑆(𝑧) ≥ 1 − 𝜀ᵢ𝑑(𝑧)，其中{𝜀ᵢ}沿趋近边界序列趋于0，则该区域与单位球之间存在全纯双芽映射——确立了早期估计的最优性，并表明在𝐶¹边界正则性下该结果不成立。

ABSTRACT

We study bounded domains with certain smoothness conditions and the properties of their squeezing functions in order to prove that the domains are biholomorphic to the ball.

研究动机与目标

• 确定ℂⁿ中有界区域全纯双芽同构于单位球的充分条件。
• 分析全纯函数𝑆Ω(𝑧)的边界行为及其对区域几何的影响。
• 确立强拟凸区域在𝐶⁴边界条件下𝑆Ω(𝑧) ≥ 1 − 𝐶𝑑(𝑧)估计的最优性。
• 证明𝐶²边界正则性条件是必要的，因为该结果在𝐶¹区域下不成立。

提出的方法

• 利用具有𝐶²边界区域的Kobayashi距离估计，控制原点到趋近边界的点之间的距离。
• 将全息函数𝑆Ω(𝑧)作为全纯双芽不变量使用，其定义为在单全纯解析映射下像中球体半径的上确界。
• 在单位球上构造一列自同构Ψᵢ，以控制全纯映射Φᵢ与之复合后区域的像。
• 通过比较Kobayashi度量并估计像中点的范数，证明𝐹ᵢ(Ω)包含半径为1 − 6𝐶𝜀ᵢ的球体。
• 利用若𝑆(0) = 1，则区域全纯双芽同构于球体的事实，得出主要结论。
• 通过构造Φ(𝑧) = 𝑧 log 𝑧的反例，表明即使满足相同全息函数估计，该结果在𝐶¹区域下仍不成立。

实验结果

研究问题

• RQ1 在何种全息函数条件下，ℂⁿ中的有界区域全纯双芽同构于单位球？
• RQ2 对于𝐶⁴区域，估计𝑆Ω(𝑧) ≥ 1 − 𝐶𝑑(𝑧)是否最优？能否改进或弱化？
• RQ3 在𝐶²边界正则性下，全息函数条件𝑆Ω(𝑧) ≥ 1 − 𝜀ᵢ𝑑(𝑧)且𝜀ᵢ → 0是否蕴含与球体的全纯双芽等价？
• RQ4 能否将𝐶²边界条件弱化至𝐶¹，同时保持该刻画结果成立？
• RQ5 Kobayashi度量在估计单全纯解析映射下像的大小时起到何种作用？

主要发现

• 对于具有𝐶⁴边界且强拟凸的区域，全息函数估计𝑆Ω(𝑧) ≥ 1 − 𝐶𝑑(𝑧)是最优的，且仅在单位球中取等。
• 若全息函数满足𝑆(𝑧) ≥ 1 − 𝜀ᵢ𝑑(𝑧)，其中{𝜀ᵢ}沿趋近边界的序列趋于0，则该区域全纯双芽同构于单位球。
• 该结果在𝐶¹区域下不成立：存在一个𝐶∞区域，其边界包含虚轴上的一段线段，经𝑧 log 𝑧映射后得到的区域满足𝑆Ω(𝑧) ≥ 1 − 𝐶𝑑(𝑧)，但不全纯双芽同构于球体。
• 对于𝐶²区域，Kobayashi距离估计𝑑𝐾,Ω(0,𝑝) ≤ ½ log(1/𝑑(𝑝)) + 𝐶成立，从而可与单位球的度量进行比较。
• 复合映射𝐹ᵢ = Ψᵢ ∘ Φᵢ将区域Ω映满一个包含半径为1 − 6𝐶𝜀ᵢ的球体的集合，从而证明𝑆(0) = 1。
• 反例表明，𝐶²条件是必要的，因为𝐶¹区域Ω = Φ(Ω′)（其中Φ(𝑧) = 𝑧 log 𝑧）虽满足全息函数估计，但不全纯双芽同构于球体。