[论文解读] Extremal metrics on Hartogs domains

Andrea Loi, Fabio Zuddas|arXiv (Cornell University)|May 15, 2007

Geometry and complex manifolds参考文献 11被引用 4

一句话总结

该论文证明，若一个具有强拟凸边界且配备极值凯勒度量的哈特格斯域，则其必全纯等距微分同构于复双曲空间 $\mathbb{C}H^n$。证明依赖于通过显式凯勒度量分量分析数量曲率与极值条件，推导出数量曲率必为常数，从而得出该度量等价于双曲度量。

ABSTRACT

An $n$-dimensional Hartogs domain $D_F$ with strongly pseudoconvex boundary can be equipped with a natural \K metric $g_F$. In this paper we prove that if $g_F$ is an extremal \K metric then $(D_F, g_F)$ is biholomorphically isometric to the $n$-dimensional complex hyperbolic space.

研究动机与目标

• 确定哈特格斯域在何种条件下可配备极值凯勒度量。
• 研究非紧复流形（特别是哈特格斯域）上极值度量是否蕴含某种典型几何结构。
• 建立刚性结果：若哈特格斯域 $D_F$ 上的自然凯勒度量 $g_F$ 为极值，则 $D_F$ 必须全洁等距微分同构于 $\mathbb{C}H^n$。
• 将极值度量的理解从紧致情形拓展至非紧、强拟凸域。
• 通过曲率与度量分量分析，对哈特格斯域上的极值度量进行表征。

提出的方法

• 通过定义 $[0, x_0)$ 上的严格递减光滑函数 $F$，构造哈特格斯域 $D_F \subset \mathbb{C}^n$，其中 $x_0 \in \mathbb{R}^+ \cup \{\infty\}$。
• 由凯勒形式 $\omega_F = \frac{i}{2}\partial\bar{\partial}\log\frac{1}{F(|z_0|^2) - \sum_{j=1}^{n-1}|z_j|^2}$ 构造凯勒度量 $g_F$。
• 利用强拟凸性条件（等价于 $-(xF'(x)/F(x))'$ 为正）确保 $\omega_F$ 为凯勒形式。
• 显式计算 $g_F$ 的里奇曲率与数量曲率，将数量曲率表示为 $\mathrm{scal}_{g_F} = -n(n+1) + G(F - \sum |z_j|^2)$，其中 $G = -L F / B$。
• 通过局部坐标公式 $\frac{\partial}{\partial \bar{z}_\alpha} \left( \mathrm{scal}_{g_F} \cdot g^{\beta\bar{\alpha}} \right) = 0$（$\alpha \neq \beta$）施加极值条件。
• 推导出 $G = c/F$（$c$ 为某常数），并通过分析 $GF'x$ 的二阶导数，证明 $c = 0$，从而得出数量曲率恒定。

实验结果

研究问题

• RQ1 哈特格斯域 $D_F$ 在何种条件下可配备极值凯勒度量？
• RQ2 在非紧、强拟凸域上，极值凯勒度量是否可导致典型几何结构？
• RQ3 复双曲空间 $\mathbb{C}H^n$ 是否是具有极值度量的哈特格斯域的唯一可能结果？
• RQ4 数量曲率在此类哈特格斯域上极值度量的表征中起何种作用？
• RQ5 当施加极值性条件时，度量结构 $g_F$ 如何约束函数 $F$？

主要发现

• 若 $g_F$ 是哈特格斯域 $D_F$ 上的极值凯勒度量，则其数量曲率 $\mathrm{scal}_{g_F}$ 必为常数。
• 由极值条件导出 $G = c/F$，其中 $G$ 为依赖于 $F$ 及其导数的函数。
• 常数 $c$ 必须为零，此结论由 $(xF'(x)/F(x))'$ 的正性推出。
• 当 $c = 0$ 时，$G = 0$，故 $\mathrm{scal}_{g_F} = -n(n+1)$，为常数，表明该度量具有常数量曲率。
• 数量曲率的常数性与 $g_F$ 的结构共同表明 $(D_F, g_F)$ 全纯等距微分同构于配备双曲度量的 $\mathbb{C}H^n$。
• 该结果建立了刚性：唯一可配备极值凯勒度量的哈特格斯域是那些全纯等距微分同构于 $\mathbb{C}H^n$ 的域。