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

ひとこと要約

本稿は、準逆元とベルグマン作用素を用いて、単位球から高ランク有界対称領域へのモク型有理正則等長埋め込みを、明示的かつジョルダン代数的構成により与える。これらの埋め込みは、第二基本形式の消滅条件によって特徴付けられ、Lie球へのすべての正則等長埋め込みはモク型または無理写像に分類され、等長写像のグラフが多項式的概形を介して新たな代数的特徴付けを受ける。

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.

研究の動機と目的

• 有界対称領域のジョルダン三重系構造を用いて、単位球から高ランク有界対称領域へのモク型有理正則等長写像の明示的かつ初等的な構成を提供すること。
• 次元 d+1 のLie球へのすべての正則等長写像を、モク型写像と無理写像に分類すること。
• 任意ランクの対称領域へのモク型埋め込みを、像の第二基本形式の消滅によって微分幾何学的に特徴付けること。例外的領域を含む。
• 正則等長写像のグラフを複素代数的部分概形として代数的に記述することにより、モクの結果を拡張すること。

提案手法

• 有界対称領域のジョルダン三重系構造、特に行列領域におけるベルグマン作用素 $ B_{u,v} $ と準行列式 $ \Delta(z,w) = \det(1 - zw^*) $ を用いる。
• ジョルダン理論的枠組みにおいて、準逆元の構成を用いてモク型写像を明示的に実現し、有理的および正則的であることを保証する。
• 群作用下での幾何的構造の保存を保証する共変性性 $ B(h^{-1}u, h^*v) = h^{-1} B(u,v) h $ for $ h \in K^\mathbf{C} $ を適用する。
• フィッシャー＝フォック内積と同次多項式 $ 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 $ の像の第二基本形式を解析し、その消滅が任意ランクの領域におけるモク型埋め込みを特徴付けることを示す。

実験結果

リサーチクエスチョン

• RQ1 ジョルダン代数的道具を用いて、単位球から高ランク対称領域へのモク型有理正則等長写像をどのように明示的に構成できるか？
• RQ2 任意ランクの対称領域、特に例外的領域を含む領域へのモク型埋め込みを特徴付ける微分幾何学的条件は何か？
• RQ3 次元 d+1 のLie球への単位球からの正則等長写像は、モク型写像と無理写像にどのように分解されるか？
• RQ4 正則等長写像のグラフを複素代数的部分概形として記述できるか。また、これとベルグマン核および内積とはどのように関係するか？

主な発見

• モク型有理正則等長写像は、ジョルダン理論的準逆元とベルグマン作用素を用いて明示的に構成され、すべての高ランク対称領域に対して具体的な実現が得られる。
• 任意ランクの対称領域、特に次元16および27の例外的領域を含む領域において、モク型埋め込みは像の第二基本形式の消滅によって特徴付けられる。
• 単位球 $ \mathbf{B}_d $ からLie球 $ D \subset \mathbf{C}^{d+1} $ へのすべての正則等長写像は、自己同型再パrametrizationの下で、モク型写像または無理写像に分類される。
• 任意の正則ベルグマン等長写像 $ F: \mathbf{B} \to D $ のグラフは、正確に $ \mathbf{B} \times D $ と複素代数的部分概形 $ \mathcal{V} \subset \mathbf{C}^d \times Z $ の交差 $ \mathcal{G}_F = \mathcal{V} \cap (\mathbf{B} \times D) $ として与えられ、フィッシャー＝フォック内積と $ 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) $ が正当であることが確認される。