[論文レビュー] On the uniform squeezing property and the squeezing function

Kang‐Tae Kim, Liyou Zhang|arXiv (Cornell University)|Jun 11, 2013

Holomorphic and Operator Theory参考文献 8被引用数 15

ひとこと要約

本稿では、すべての有界な凸領域が、正の定数によって下から有界な squeezing 関数 $\sigma_\Omega(p)$ を持つことを示すことにより、$\mathbb{C}^n$ 内のすべての有界な凸領域が、正則同調的正則性（HHR）または等価的に一様 squeezing（USq）であることを確立する。さらに、$\mathcal{C}^2$ 級境界を持つ有界な強擬凸領域に対しては、スケーリング法を修正し、正則不変量の幾何学的解析を用いて、$z$ が境界に近づくにつれて $\sigma_\Omega(z) \to 1$ となることを示す。

ABSTRACT

We describe the boundary behaviors of the squeezing functions for all bounded convex domains in $\mathbb{C}^n$ and bounded domains with a $C^2$ strongly convex boundary point.

研究の動機と目的

• 有界な凸領域がすべて $\mathbb{C}^n$ で正則同調的正則性（HHR）または等価的に一様 squeezing（USq）を満たすことを確立すること。これは、従来の結果がこのような領域を含まないことを補完する。
• 境界が $\mathcal{C}^2$ 級の有界な強擬凸領域に対して、 squeezing 関数 $\sigma_\Omega(z)$ の境界近傍における漸近的挙動を調査すること。
• 複素変数関数論におけるスケーリング法の修正版を用いた、新たな証明技法の提供。これは従来の手法とは明確に異なる。
• 正則不変量に関する既知の結果を、幾何学的解析によって明確化・簡略化すること。
• 強擬凸領域において $\sigma_\Omega(z) \to 1$ が境界点で成り立つかどうかという問題を、$\mathcal{C}^2$ 正則性のもとで肯定的に解決すること。

提案手法

• Pinchuk が考案し、[4] で洗練された、複素変数関数論におけるスケーリング法の修正版を用い、境界付近における正則不変量の漸近的挙動を分析する。
• squeezing 関数 $\sigma_\Omega(p)$ を、$p$ を原点に固定する正則埋め込みで $\mathbb{B}^n(0,r)$ が $\Omega$ に埋め込めるような $r$ の上限として定義する。
• squeezing 定数 $\hat{\sigma}_\Omega = \inf_{p \in \Omega} \sigma_\Omega(p)$ を導入し、有界な凸領域に対して $\hat{\sigma}_\Omega > 0$ を証明する。
• $\mathbb{C}^n$ 内の正規直交基底と直交補空間を用いた幾何的構成を用いて、境界点付近での正則埋め込みのサイズを推定する。
• $\{q_j\} \to \partial\Omega$ という点列を用い、$\sigma_\Omega(q_j) \to 0$ を仮定すると、コンパクト性と正則同型不変性から矛盾を導く。
• $G = L \circ \kappa \circ \Lambda_\lambda \circ A_q$ という写像の合成を用い、$G(\Omega) \subset \mathbb{B}^n(0;1+\epsilon)$ を示し、 squeezing 関数の一様な制御を示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{C}^n$ 内のすべての有界な凸領域は、一様 squeezing（すなわち HHR/USq）であるか？
• RQ2 境界が $\mathcal{C}^2$ 級の有界な強擬凸領域に対して、$z$ が境界に近づくにつれて squeezing 関数 $\sigma_\Omega(z)$ は 1 に近づくか？
• RQ3 $\mathbb{C}^n$ の自己同型を用いて、強擬凸領域の境界点を球面的極端点にできるか？
• RQ4 複素変数関数論におけるスケーリング法は、凸領域に対して squeezing 関数の一様下界を示すのに有効か？
• RQ5 強擬凸領域の単位球への exhaustion は、境界へのすべてのアプローチに対して一様に達成可能か？

主な発見

• $\mathbb{C}^n$ 内のすべての有界な凸領域は、正則同調的正則性（HHR）または等価的に一様 squeezing（USq）を満たす。これは $\hat{\sigma}_\Omega > 0$ を意味する。
• $\mathcal{C}^2$ 級の境界を持つ任意の有界領域 $\Omega \subset \mathbb{C}^n$ に対して、境界点 $p \in \partial\Omega$ に対して $\lim_{\Omega \ni z \to p} \sigma_\Omega(z) = 1$ が成り立つ。
• $\sigma_\Omega(p) = 1$ であることは、$\Omega$ が単位球 $\mathbb{B}^n$ に正則同型であることに必要十分である。
• 修正されたスケーリング法を用いた証明技法は、強擬凸領域における正則不変量に関する既知の結果を、新たな簡素なアプローチで再確認する。
• 本結果は、Fridman と Ma の exhaustion 定理が、横断的アプローチに限らず、境界へのすべての点列に対して一般に成り立つことを示唆する。
• 強擬凸領域の境界点を、$\mathbb{C}^n$ の自己同型を用いて球面的極端点にできるとは限らない反例を構成し、自然な予想を否定した。