[論文レビュー] 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

ひとこと要約

この論文は、複素数平面 ℂⁿ 内の有界な領域において、スケーリング関数の境界挙動を分析することによって、複素単位球を特徴づけている。C²滑らかさを持つ有界領域について、そのスケーリング関数 S(z) が、境界に近づく点列に沿って εᵢ → 0 となるような S(z) ≥ 1 − εᵢd(z) を満たすならば、その領域は球にbiholomorphicであることを証明している。これは、以前の推定値の鋭さを示し、C¹境界正則性のもとでは結果が成り立たないことを示している。

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.

研究の動機と目的

• ℂⁿ 内の有界領域が単位球にbiholomorphicであるための十分条件を同定すること。
• スケーリング関数 SΩ(z) の境界挙動を分析し、その領域幾何学的意味を解明すること。
• C⁴境界を持つ強擬凸領域について、推定式 SΩ(z) ≥ 1 − Cd(z) の鋭さを確立すること。
• C²境界正則性条件が必要であることを示すこと。C¹領域では結果が成り立たないことを示す。

提案手法

• C²境界を持つ領域におけるKobayashi距離の推定を用いて、原点から境界に近づく点までの距離を評価する。
• スケーリング関数 SΩ(z) を、単射正則写像による像内に含まれる球の半径の上限として定義するbiholomorphic不変量として用いる。
• 単位球上で定義された自己同型の列 Ψᵢ を構成し、正則写像 Φᵢ との合成写像における像の制御を行う。
• Kobayashi計量の比較と像内点のノルムの推定を用いて、Fᵢ(Ω) が半径 1 − 6Cεᵢ の球を含むことを示す。
• S(0) = 1 ならば領域が球にbiholomorphicであるという事実を用いて、主要結果を結論づける。
• Φ(z) = z log z を用いた反例を構成し、C¹領域でも同様のスケーリング推定を満たすが、球にbiholomorphicでない領域が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 ℂⁿ 内の有界領域が単位球にbiholomorphicであるためのスケーリング関数の条件は何か？
• RQ2 C⁴領域について、推定式 SΩ(z) ≥ 1 − Cd(z) は鋭いか？また、これを改善または緩和できるか？
• RQ3 C²境界正則性のもとで、スケーリング関数の条件 SΩ(z) ≥ 1 − εᵢd(z) かつ εᵢ → 0 が球へのbiholomorphic同値性を示唆するか？
• RQ4 C²境界条件をC¹に弱めることが、特徴づけ結果を保つために可能か？
• RQ5 Kobayashi計量は、単射正則写像による像のサイズ推定において、どのように役立つか？

主な発見

• C⁴強擬凸領域について、スケーリング関数推定式 SΩ(z) ≥ 1 − Cd(z) は鋭く、等号が成り立つのは球の場合に限る。
• スケーリング関数が、境界に近づく点列に沿って S(z) ≥ 1 − εᵢd(z) かつ εᵢ → 0 を満たすならば、その領域は単位球にbiholomorphicである。
• C¹領域では結果が成り立たない：虚軸上に線分を含むC∞領域を Φ(z) = z log z で写像すると、SΩ(z) ≥ 1 − Cd(z) を満たすが、球にbiholomorphicではない領域が得られる。
• C²領域について、Kobayashi距離推定式 dK,Ω(0,p) ≤ ½ log(1/d(p)) + C が成り立ち、単位球の計量と比較可能である。
• 合成写像 Fᵢ = Ψᵢ ∘ Φᵢ は領域 Ω を、半径 1 − 6Cεᵢ の球を含む集合に写像する。これにより S(0) = 1 が証明される。
• 反例により、C²条件が必要であることが示された。C¹領域 Ω = Φ(Ω′) で Φ(z) = z log z とすると、SΩ(z) は推定式を満たすが、球にbiholomorphicではない。