[論文レビュー] Holomorphic maps from the complex unit ball to Type IV classical domains

Ming Xiao, Yuan Yuan|arXiv (Cornell University)|Jun 15, 2016

Holomorphic and Operator Theory参考文献 39被引用数 6

ひとこと要約

本稿は、$n \geq 4$ および $n+1 \leq m \leq 2n-3$ の条件下で、複素単位球 $\mathbb{B}^n$ からタイプIV古典的領域 $D^{IV}_m$ への正則な埋め込みに関する剛性および分類結果を確立する。代数的正則な埋め込みは、Bergman計量に関して等長埋め込みであることを示し、$m = n+1$ の場合、自己同型に関して分類可能であり、変数の二次および一次項を含む明示的な有理関数形に等価であることを示す。

ABSTRACT

We prove rigidity results for holomorphic proper maps from the complex unit ball $\mathbb{B}^n$ to the Type IV bounded symmetric domain $D^{IV}_m$ where $n \geq 4, n+1\leq m \leq 2n-3$. In addition, a classification result is established when $m=n+1.$

研究の動機と目的

• 複素単位球 $\mathbb{B}^n$ からタイプIV古典的領域 $D^{IV}_m$ への正則な埋め込みに関する剛性結果を確立すること。ただし $n \geq 4$ および $n+1 \leq m \leq 2n-3$ とする。
• $\mathbb{B}^n$ から $D^{IV}_{n+1}$ への正則な埋め込みを、弱い境界正則性条件（具体的には境界間の $C^2$-滑らかでCR横断的写像）の下で分類すること。
• このような写像がBergman計量に関して等長埋め込みであることを示し、自己同型に関してその明示的標準形を同定すること。
• 全測地線性が成立しない場合でも等長性が成り立つことを示し、代数的性および境界正則性の仮定がなぜ必要となるかを明確にすること。

提案手法

• 著者たちは、タイプIV領域が光円錐上へのチューブ領域としての構造を持つことを利用し、問題を $\mathbb{C}^n$ と $\mathbb{C}^m$ 内の実超曲面間の正則写像に還元する正規化手続きを用いる。
• Huang が最初に導入した「動く点の技法」を応用し、写像のジェット展開を解析し、べき級数展開の係数間に再帰的関係を導出する。
• 写像のホルモニック内積 $<\varphi(z,w), \overline{\varphi(\xi,\eta)}>_{1}$ の詳細な解析に依拠し、[BEH2] の補題2.2を用いて高次項の消滅を示す。
• CR横断性を仮定し、Cayley変換を用いてヘイゼンベルク群を球面に写像することで、問題を既知のモデル空間に還元し、[BER2] および [BH] の結果を応用して、ある点で横断性が成立することを結論づける。
• $m = n+1$ の分類は、等長条件 $F^*(\omega_{D^{IV}_{m}}) = \frac{m}{n+1}\omega_{\mathbb{B}^n}$ から得られる方程式系を解くことで得られ、明示的な有理関数形が得られる。
• 写像の正規化により $f(z,w) \equiv z$ および $g(z,w) \equiv w$ が高次項まで成り立つようにし、その後ユニタリ変換を適用して $\varphi$-写像の非対角成分を消去する。

実験結果

リサーチクエスチョン

• RQ1 複素単位球 $\mathbb{B}^n$ から $D^{IV}_m$ への正則な埋め込みが、Bergman計量に関して等長埋め込みであるための条件は何か？
• RQ2 境界正則性が弱く（例：$C^2$-滑らかでCR横断的）であっても、$m = n+1$ の場合にこのような写像を分類できるか？
• RQ3 代数的性または境界正則性の仮定を外した場合、等長性は依然として成り立つか？
• RQ4 なぜ剛性結果は $m \geq 2n$ または $n=1$ の場合に失敗するのか？次元範囲における臨界閾値は何か？
• RQ5 論文内の明示的形 (1) および (2) は、等長性およびCR横断性条件からどのように導かれるのか？

主な発見

• 任意の代数的正則な埋め込み $F: \mathbb{B}^n \to D^{IV}_m$ について、$n \geq 4$ および $n+1 \leq m \leq 2n-3$ の下で、$F^*(\omega_{D^{IV}_m}) = \frac{m}{n+1}\omega_{\mathbb{B}^n}$ を満たす等長埋め込みである。
• $m = n+1$ の場合、$\partial\mathbb{B}^n$ の開部分集合から $\partial D^{IV}_{n+1}$ への $C^2$-滑らかでCR横断的な写像は、$\mathbb{B}^n$ から $D^{IV}_{n+1}$ への正則な等長写像に拡張可能である。
• このようなすべての等長写像は、次の2つの明示的な有理関数写像のいずれかに自己同型に関して同値である：(1) $\frac{1}{2}\sum z_i^2 - z_n^2 + z_n$ と虚部 $\sqrt{2}(1 - z_n)$ を含む形、(2) $1 - \sqrt{1 - \sum z_j^2}$ を含む形。
• 等長定数 $\frac{m}{n+1}$ は鋭く、次元比とBergman計量の正規化から生じる。
• 横断性または非退化性条件 $F(U) \not\subset \partial D^{IV}_m$ を外した場合、反例により結果は成り立たない。
• 分類は $n=1$ の場合に成立せず、$m \geq 2n$ の場合に等長性の結論は破綻するため、次元の鋭い制約が存在する。