[论文解读] Hyperbolic manifolds whose envelopes of holomorphy are not hyperbolic

Laura Geatti, Andrea Iannuzzi+1 more|ArXiv.org|Dec 7, 2006

Geometric and Algebraic Topology参考文献 1被引用 4

一句话总结

本文构造了一类二维的、Kobayashi双曲复流形 $D_\beta$，它们是 $SL(2,\mathbb{C})/U(1)^\mathbb{C}$ 的 $SU(1,1)$-不变域，即对称空间 $SU(1,1)/U(1)$ 的复化。尽管这些流形具有双曲性，但其全纯包被被证明双全纯同构于 $\Delta \times \mathbb{C}$，而后者并非双曲——从而提供了明确的反例，推翻了‘双曲流形的全纯包被必为双曲’的预期。

ABSTRACT

We present a family of examples of two dimensional, hyperbolic complex manifolds whose envelopes of holomorphy are not hyperbolic.

研究动机与目标

• 构造二维、Kobayashi双曲复流形的显式例子，其全纯包被非双曲。
• 利用李群复化方法分析这些流形的全纯结构与自同构群不变量。
• 确定 $G$-不变域 $D_\beta$ 在复对称空间 $G^\mathbb{C}/K^\mathbb{C}$ 中的全纯包被。
• 证明此类双曲域的全纯包被为斯坦流形但非双曲，具体为双全纯同构于 $\Delta \times \mathbb{C}$。

提出的方法

• 将域 $D_\beta$ 视为复化空间 $G^\mathbb{C}/K^\mathbb{C} \cong SL(2,\mathbb{C})/U(1)^\mathbb{C}$ 中的 $G$-不变子集，其中 $G = SU(1,1)$。
• 利用 $G^\mathbb{C} = SL(2,\mathbb{C})$ 在 $\mathbb{P}^1 \times \mathbb{P}^1$ 上的全纯作用，定义为 $g \cdot ([z_1:z_2], [w_1:w_2]) = (g \cdot [z_1:z_2], \overline{\sigma(g)} \cdot [w_1:w_2])$，其中 $\sigma(g) = I_{1,1} \,^t\bar{g}^{-1} I_{1,1}$。
• 通过 $\mathbb{P}^1 \times \mathbb{P}^1$ 中显式参数化的曲线 $\ell_1, \ell_2, \ell_3, \ell_4$，定义域 $D_\beta = G \cdot (z_1 \cup \ell_1((0,1)) \cup w_1 \cup \ell_2((0,\beta)))$，其中 $0 < \beta < \infty$。
• 构造极限域 $W = G \cdot (z_1 \cup \ell_1(0,1) \cup w_1 \cup \ell_2(0,\infty))$，并证明其通过映射 $(u,v) \mapsto ([1:u], [1+uv:v])$ 双全纯同构于 $\Delta \times \mathbb{C}$。
• 应用文献 [1] 中的等变黎曼域理论，证明 $D_\beta$ 的全纯包被是包含它的最小斯坦 $G$-不变域，即 $W$。
• 利用文献 [1] 中定理 7.5 的结论：全纯覆盖映射 $p: E(D_\beta) \to G^\mathbb{C}/K^\mathbb{C}$ 是单射，从而得出 $E(D_\beta) \cong W$。

实验结果

研究问题

• RQ1 是否存在二维、Kobayashi双曲复流形，其全纯包被非双曲？
• RQ2 在秩一对称空间的复化中，$G$-不变域的全纯包被结构如何？
• RQ3 $D_\beta$ 的全纯与几何性质如何与非双曲包被 $W \cong \Delta \times \mathbb{C}$ 相关联？
• RQ4 自同构群与 $G$-不变性在多大程度上约束了 $G^\mathbb{C}/K^\mathbb{C}$ 中域的全纯包被？

主要发现

• 对所有 $0 < \beta < \infty$，域 $D_\beta$ 均为双曲流形，因为它们同构于 Isaev 分类中具有三维自同构群的二维双曲流形。
• 每个 $D_\beta$ 的全纯包被为域 $W$，其双全纯同构于 $\Delta \times \mathbb{C}$。
• 域 $W$ 为斯坦流形但非双曲，因为 $\mathbb{C}$-因子引入了非双曲性。
• $W$ 是包含 $D_\beta$ 的最小 $G$-不变斯坦流形，且包含所有 $\beta < \infty$ 的 $D_\beta$。
• $W$ 显式表示为 $\{([1:z],[w_1:w_2]) \in \mathbb{P}^1 \times \mathbb{P}^1 : z \in \Delta, \, w_1 - z w_2 \neq 0\}$，从而确认其与 $\Delta \times \mathbb{C}$ 的双全纯同构关系。