Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

技术摘要：双全纯等价但不代数等价的实代数曲面

问题陈述
本文探讨了复几何与实代数几何中一个长期悬而未决的问题：对于 $\mathbb{C}^n$ 中实代数流形的芽，双全纯等价是否蕴含代数等价？具体而言，给定 $\mathbb{C}^n$ 中两个光滑实代数流形的芽 $(M, 0)$ 和 $(M', 0)$，若存在将 $M$ 映射到 $M'$ 的双全纯映射 $\Phi$，是否必然存在一个由代数幂级数（即满足具有多项式系数的非平凡多项式方程的幂级数）定义的双全纯映射 $\Psi$，使得 $\Psi(M) = M'$？

虽然对于若干重要流形类，答案已知为肯定——包括 Levi 非退化的实代数超曲面（Webster, 1977）以及全纯非退化的有限型实代数一般流形（Berteloot, Ebenfelt, 和 Rakhimov, 1996）——但实代数流形的一般情形此前仍未解决。Moser 和 Webster（1983）先前的工作表明，形式等价并不总能推出 Bishop 曲面的收敛（双全纯）等价，但收敛等价是否蕴含代数等价这一具体问题此前尚未定论。

方法论
作者利用Bishop 曲面构造了一个反例。Bishop 曲面是 $\mathbb{C}^2$ 中的一类实曲面，其特征是除原点外每处的切空间均为全实切空间，而在原点处切空间为复直线。

1. 反例的构造：
   本文考虑由以下公式定义的 Bishop 曲面族 $M_\gamma$：
   $$M_\gamma := \{(z, w) \in \mathbb{C}^2 \mid w = |z|^2 + \gamma(z^2 + \bar{z}^2)\}$$
   其中 $\gamma \in (0, 1/2)$ 是一个超越数。

2. 双全纯等价的存在性：
   引用 Moser 和 Webster（1983）的结果，本文指出对于 $\gamma \in (0, 1/2)$，曲面 $M_\gamma$ admits 一个收敛的双全纯映射 $\Phi$ 到其正规形 $N_{\gamma, \epsilon, s}$（具体而言，是由 $w = |z|^2 + (\gamma + \epsilon w^s)(z^2 + \bar{z}^2)$ 且 $\text{Im}(w)=0$ 定义的曲面）。因此，$M_\gamma$ 双全纯等价于其正规形。

3. 非代数等价的证明：
   证明的核心采用反证法。作者假设存在一个双全纯映射 $\Phi = (\phi_1, \phi_2)$，其分量属于代数幂级数环 $\mathbb{C}\langle z, w \rangle$，并将 $M_\gamma$ 映射到该正规形（具体而言，将其映射到实超平面 $\text{Im}(w)=0$ 中）。

   • 代数结构分析： 证明利用了代数幂级数环的性质，包括隐函数定理、忠实平坦性以及系数在域扩张下的行为。
   • 系数域约化： 利用引理 6 和引理 5，作者将假设的代数映射的系数约化到 $\mathbb{Q}(\gamma)$ 的一个有限生成域扩张 $L$ 上。通过进一步分析（引理 7，一个 Eisenstein 型定理），证明了系数是超越参数 $\gamma_1, \dots, \gamma_r$ 的有理函数。
   • 参数形变： 作者构造了一个由 $\delta \in \mathbb{R}$ 参数化的曲面族 $M_\delta$。通过利用超越数 $\gamma$ 的代数独立性，证明表明：如果对于超越数 $\gamma$ 存在代数等价，那么对于从实数稠密集中选出的“邻近”参数 $\delta_1$，也必须存在代数等价。
   • 通过例外参数导出矛盾： 作者选取 $\delta_1 > 1/2$ 作为一个“例外”参数（在此参数下，方程 $\gamma T^2 - T + \gamma = 0$ 的解不是单位根）。Moser 和 Webster（1983, 定理 6.1）证明了对于此类例外参数，不存在将曲面映射到正规形的收敛双全纯映射。由于代数幂级数是收敛的，若 $\delta_1$ 存在代数映射，则意味着存在收敛映射，而这已知是不可能的。

主要贡献与结果

• 定理 1： 本文确立了：若 $\gamma \in (0, 1/2)$ 是超越数，则 Bishop 曲面 $M_\gamma$ 双全纯等价于其正规形，但并非通过代数双全纯映射实现。
• 对一般问题的否定回答： 这一结果为 [BER00] 和 [Mir13] 中提出的问题提供了明确的否定答案：一般而言，实代数流形芽的双全纯等价并不蕴含代数等价。
• Bishop 曲面理论的细化： 该工作阐明了在 Bishop 曲面语境下形式等价、收敛等价与代数等价之间的区别，突显了超越不变量的作用。

意义
本文解决了关于实代数结构在双全纯映射下刚性问题的一个具体且开放的难题。它表明，尽管这些曲面的解析结构足够刚性以允许收敛正规形的存在（对于 $\gamma \in (0, 1/2)$），但这种等价性并未保持其代数结构。该结果强调，在映射实代数流形的语境下，代数幂级数类严格小于收敛幂级数类，即使流形本身是代数的。作者谦逊地将这项工作表述为对一般猜想提供了一个具体的反例，并依赖 Moser 和 Webster 关于例外参数不收敛的既定结果来推导矛盾。