[论文解读] 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

一句话总结

该论文针对复单位球 $\mathbb{B}^n$ 到类型 IV 经典域 $D^{IV}_m$ 的全纯映射建立了刚性与分类结果，其中 $n \geq 4$ 且 $n+1 \leq m \leq 2n-3$。证明了代数全纯映射在 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$。
• 在弱边界正则性条件下（具体为边界之间的 $C^2$-光滑 CR 横截映射）对 $\mathbb{B}^n$ 到 $D^{IV}_{n+1}$ 的全纯映射进行分类。
• 证明此类映射在 Bergman 度量下是等距嵌入，并确定其在自守变换下的显式标准形。
• 证明即使整体测地性不成立，等距性质依然成立，并阐明代数性与边界正则性假设的必要性。

提出的方法

• 作者使用归一化程序将问题转化为 $\mathbb{C}^n$ 与 $\mathbb{C}^m$ 中实超曲面之间的全纯映射，利用类型 IV 域作为光锥上管域的结构。
• 应用 Huang 首次引入的移动点技术，分析映射的 jet 展开，推导出幂级数展开系数之间的递推关系。
• 证明依赖于对 Hermitian 内积 $<\varphi(z,w), \overline{\varphi(\xi,\eta)}>_{1}$ 的详细分析，并利用 [BEH2] 中的推论 2.2 证明高阶项的消失。
• 通过假设 CR 横截性并使用 Cayley 变换将 Heisenberg 群映射到球面，作者将问题约化为已知模型空间，并应用 [BER2] 和 [BH] 中的结果，得出在某点处的横截性。
• 通过求解由等距条件 $F^*(\omega_{D^{IV}_{m}}) = \frac{m}{n+1}\omega_{\mathbb{B}^n}$ 导出的方程组，获得 $m = n+1$ 时的分类，从而得到显式有理形式。
• 作者对映射进行归一化，以确保 $f(z,w) \equiv z$ 且 $g(z,w) \equiv w$（至高阶项），然后应用酉变换以消除 $\varphi$-映射中的非对角分量。

实验结果

研究问题

• RQ1 在何种条件下，从 $\mathbb{B}^n$ 到 $D^{IV}_m$ 的全纯映射是 Bergman 度量下的等距嵌入？
• RQ2 当 $m = n+1$ 时，即使在弱边界正则性（如 $C^2$-光滑 CR 横截性）下，此类映射是否仍可分类？
• 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}$ 的全纯等距映射。
• 所有此类等距映射都与以下两个显式有理映射之一等价：(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$ 时等距结论也失效，表明存在严格的维度约束。