[论文解读] Holomorphic isometries into homogeneous bounded domains

Andrea Loi, Roberto Mossa|arXiv (Cornell University)|May 23, 2022

Holomorphic and Operator Theory参考文献 7被引用 5

一句话总结

本文建立了关于全纯等距嵌入到齐性有界域中的两个刚性定理：(i) 任意在可 admits 这类等距嵌入的流形上存在的 Kähler-Ricci 溶剂必须是 Kähler-Einstein（平凡溶剂）；(ii) 这类域不能是复欧几里得空间（定号或不定号）的亲属，即它们不共享任何正维数的 Kähler 子流形。这些结果通过 Calabi 的对距离函数和全纯 Nash 代数函数推广了先前关于双曲度量和 Bergman 度量的研究。

ABSTRACT

We prove two rigidity theorems on holomorphic isometries into homogeneous bounded domains. The first shows that a Kähler-Ricci soliton induced by the homogeneous metric of a homogeneous bounded domain is trivial, i.e. Kähler-Einstein. In the second one we prove that a homogeneous bounded domain and the flat (definite or indefinite) complex Euclidean space are not relatives, i.e. they do not share a common Kähler submanifold (of positive dimension). Our theorems extend the results proved in [A. Loi, R. Mossa, Proc. Amer. Math. Soc. 149 (2021), no. 11, 4931-4941] and [X. Cheng, Y. Hao, Ann. Global Anal. Geom. 60 (2021), no. 1, 167-180] respectively.

研究动机与目标

• 将全纯等距的刚性结果从复双曲空间和 Bergman 度量推广到有界域上的所有齐性 Kähler 度量。
• 证明在可等距嵌入到齐性有界域中的流形上存在的 Kähler-Ricci 溶剂必然是 Kähler-Einstein。
• 证明齐性有界域与复（定号或不定号）欧几里得空间不是亲属，即它们不共享任何正维数的共同 Kähler 子流形。
• 通过基于对距离函数和全纯 Nash 代数函数的新分析框架，推广 Calabi、Umehara 以及 Cheng-Hao 的先前结果。

提出的方法

• 证明依赖于 Calabi 的对距离函数，该函数通过其二阶导数在局部编码 Kähler 度量。
• 作者使用了 Hideyuki Ishi 的定理 3.1 推导出的有界域上齐性度量的对距离显式公式，涉及有理函数和正权重。
• 他们分析了对距离函数指数的结构，并证明其属于全纯 Nash 代数函数环。
• 一个关键的技术工具是定理 2.1，该定理指出：若一个实解析函数由全纯和反全纯部分组成，且为对距离型并属于某一特定函数环，则该函数必为常数。
• 定理 (i) 的证明利用了溶剂向量场的势函数导出一个对距离型函数，该函数必须为常数，从而推出度量为 Kähler-Einstein。
• 对于定理 (ii)，当假设存在一个全纯等距同时嵌入到齐性域和平坦空间时，矛盾产生，因为通过相同的函数论论证，平坦度量的势函数必须为常数，从而违反浸入条件。

实验结果

研究问题

• RQ1 能否将复双曲空间中全纯等距的刚性结果从 Bergman 度量推广到所有有界域上的齐性 Kähler 度量？
• RQ2 在可全纯等距嵌入到齐性有界域中的流形上，所有 Kähler-Ricci 溶剂是否必然是平凡的（即 Kähler-Einstein）？
• RQ3 齐性有界域与复欧几里得空间（定号或不定号）是否共享任何正维数的共同 Kähler 子流形？
• RQ4 对距离函数的结构在确定等距嵌入下 Kähler 度量的刚性中起什么作用？

主要发现

• 在可全纯等距嵌入到齐性有界域中的 Kähler 流形上，任意 Kähler-Ricci 溶剂必为平凡的，即度量为 Kähler-Einstein。
• 有界域上齐性度量的对距离函数的指数属于全纯 Nash 代数函数环，该结构迫使关键几何量为常数。
• 函数 $ e^{D^g_p} $（由对距离导出）属于 $ ilde{rak{F}}^{ ilde{ u}} $，由此推出相关函数的常数性，从而表明度量为 Kähler-Einstein。
• 假设齐性有界域与复欧几里得空间之间存在共同 Kähler 子流形，将导致矛盾，因为平坦度量的势函数必须为常数，违反浸入条件。
• 结果将定理 B（关于双曲空间）和定理 C（关于 Bergman 度量）推广到所有有界域上的齐性 Kähler 度量。
• 证明依赖于全纯 Nash 代数函数及其对距离型性质的创新应用，以在 Kähler 几何中建立刚性。