[论文解读] Holomorphic isometries from the unit ball into symmetric domains

Harald Upmeier, Kai Wang+1 more|arXiv (Cornell University)|Mar 11, 2016

Holomorphic and Operator Theory参考文献 14被引用 4

一句话总结

本文通过拟逆与Bergman算子，基于Jordan代数结构，显式构造了从单位球到高秩有界对称域的Mok型全纯等距映射。通过第二基本形式消失的条件刻画这些嵌入，并将所有映入Lie球的全纯等距映射分类为Mok型或非有理映射，同时以多项式代数簇形式首次给出了等距映射图像的代数特征。

ABSTRACT

We construct isometric holomorphic embeddings of the unit ball into higher rank symmetric domains, first discovered by Mok, in an explicit way using Jordan triple systems, and prove uniqueness results for all domains, including the exceptional domains of dimension 16 and 27.

研究动机与目标

• 通过Jordan三元系结构，显式构造从单位球到高秩有界对称域的Mok型有理全holomorphic等距映射。
• 将所有从单位球到维数为d+1的Lie球的全纯等距映射分类，区分Mok型与非有理映射。
• 通过图像的第二基本形式消失，对任意秩对称域（包括例外域）中的Mok型嵌入给出微分几何特征刻画。
• 建立全纯等距映射图像的代数描述，将其视为复代数子簇，推广Mok的结果。

提出的方法

• 利用有界对称域的Jordan三元系结构，特别是Bergman算子$ B_{u,v} $和矩阵域的拟行列式$ \Delta(z,w) = \det(1 - zw^*) $。
• 通过Jordan理论框架中的'拟逆'构造，显式实现Mok型映射，确保其有理性和全纯性。
• 应用协变性性质$ B(h^{-1}u, h^*v) = h^{-1} B(u,v) h $，其中$ h \in K^\mathbf{C} $，以在群作用下保持几何结构。
• 利用Fischer-Fock内积和齐次多项式$ E_w^\pm $，将等距条件编码为涉及$ \Delta(F(z_1), F(z_2)) = 1 - \langle z_1 | z_2 \rangle $的多项式恒等式。
• 构造代数簇$ \mathcal{V} \subset \mathbf{C}^d \times Z $，使得$ \mathcal{G}_F = \mathcal{V} \cap (\mathbf{B} \times D) $，证明图像为代数结构。
• 分析映射$ F $的像的第二基本形式，证明其消失性可刻画任意秩域中的Mok型嵌入。

实验结果

研究问题

• RQ1 如何利用Jordan代数工具显式构造从单位球到高秩对称域的Mok型有理全纯等距映射？
• RQ2 何种微分几何条件可刻画Mok型嵌入到任意秩对称域（包括例外域）的特征？
• RQ3 从单位球到维数为d+1的Lie球的所有全纯等距映射如何分解为Mok型与非有理映射？
• RQ4 全纯等距映射的图像能否被描述为复代数子簇？其与Bergman核及内积的关系如何？

主要发现

• 通过Jordan理论中的拟逆与Bergman算子，显式构造了Mok型有理全纯等距映射，为所有高秩对称域提供了具体实现。
• 对于任意秩对称域（包括维数为16和27的例外域），Mok型嵌入由其像的第二基本形式消失来刻画。
• 所有从单位球$ \mathbf{B}_d $到Lie球$ D \subset \mathbf{C}^{d+1} $的全纯等距映射，经自守变换重参数化后，要么是Mok型映射，要么是非有理映射。
• 任意全纯Bergman等距映射$ F: \mathbf{B} \to D $的图像，恰好是域$ \mathbf{B} \times D $与复代数子簇$ \mathcal{V} \subset \mathbf{C}^d \times Z $的交集，该子簇通过Fischer-Fock内积与$ E_w^\pm $多项式显式构造。
• 等距条件$ \Delta(F(z_1), F(z_2)) = 1 - \langle z_1 | z_2 \rangle $等价于多项式恒等式$ \langle E_{F(z_1)}^- | E_{F(z_2)}^- \rangle = \langle E_{F(z_1)}^+ | E_{F(z_2)}^+ \rangle + \langle z_1 | z_2 \rangle $，该恒等式定义了代数簇$ \mathcal{V} $。
• 证明表明，任意点$ (z_0, w_0) \in \mathcal{V} \cap (\mathbf{B} \times D) $必满足$ w_0 = F(z_0) $，从而确认$ \mathcal{G}_F = \mathcal{V} \cap (\mathbf{B} \times D) $。