[论文解读] On the holomorphicity of isometries of intrinsic metrics in complex analysis

Harish Sheshadri, Kaushal Verma|ArXiv.org|May 13, 2005

Holomorphic and Operator Theory参考文献 23被引用 3

一句话总结

该论文证明，对于有界强拟凸域，若其在Kobayashi度量或Carathéodory度量下存在$C^1$-光滑等距同构，则其必可延拓为边界上的CR或反CR微分同胚，从而表明这些域是全纯或反全纯等价的。证明采用Pinchuk的缩放技术的度量形式，表明在边界点处，该等距同构的导数在水平子丛上为复线性或共轭线性。

ABSTRACT

Let $\1$ and $\2$ be $\s$ domains in $\Cn$ and $f: \1 t \2$ an isometry for the Kobayashi or Carathéodory metrics. Suppose that $f$ extends as a $C^1$ map to $ \bar \om_1$. We then prove that $f|_{\partial \1}: \partial \1 t \partial \2$ is a CR or anti-CR diffeomorphism. It follows that $\1$ and $\2$ must be biholomorphic or anti-biholomorphic. The main tool is a metric version of the Pinchuk rescaling technique.

研究动机与目标

• 确定Kobayashi和Carathéodory等内在度量的等距同构是否必然为全纯或反全纯映射。
• 通过分析其边界行为，研究复分析中等距同构的刚性性质。
• 建立$C^1$-光滑等距同构在强拟凸域之间可延拓为边界上的CR或反CR微分同胚。
• 表明此类等距同构意味着域之间全纯或反全纯等价。
• 将已知的Kähler度量（如Bergman度量、Kähler-Einstein度量）情形的结果推广至Kobayashi和Carathéodory等Finsler度量情形。

提出的方法

• 将Pinchuk的缩放技术适配至度量设定，构造在边界点附近对等距同构进行的一系列缩放。
• 利用Kobayashi距离的双侧估计，控制等距同构在边界附近的性质。
• 分析缩放后度量的极限，证明其收敛于球面无界模型上的标准度量。
• 证明缩放后等距同构的水平分量收敛于边界点处等距同构导数的水平部分。
• 表明缩放极限映射在边界模型上为全纯或反全纯，从而强制导数在水平子空间上保持或反转复结构。
• 通过将水平子空间与$\mathbb{C}^{n-1}$识别，并结合缩放极限的行为，推导出边界导数的$\mathbb{C}$-线性或共轭线性性质。

实验结果

研究问题

• RQ1 在强拟凸域之间，Kobayashi和Carathéodory度量的等距同构是否必然为全纯或反全纯？
• RQ2 等距同构在域闭包上的$C^1$-延拓是否意味着其边界行为为CR或反CR？
• RQ3 能否使用度量形式的Pinchuk缩放技术来分析等距同构导数在边界处的复结构性质？
• RQ4 等距同构的导数与边界模型的全纯自同构之间存在何种关系？
• RQ5 在何种条件下，强拟凸域之间CR或反CR边界映射可推出全纯等价？

主要发现

• 对于Kobayashi度量，任意有界强拟凸域之间的$C^1$-等距同构必可延拓为边界上的CR或反CR微分同胚。
• 对于Carathéodory度量，该结论在边界为$C^3$的附加条件下仍成立。
• 在任意边界点处，等距同构的导数在切空间的最大复子空间上为复线性或共轭线性。
• Pinchuk缩放过程的极限映射在边界模型上为全纯或反全纯，从而强制导数保持或反转复结构。
• 边界映射为CR或反CR意味着域之间可通过边界映射的全纯延拓实现全纯或反全纯等价。
• 利用Hartogs定理和CR映射的唯一性定理，可保证边界映射的全纯延拓，从而推出域之间的整体全纯同构。