Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

技術的概要：双正則同値だが代数的同値ではない実代数曲面

問題提起
本論文は、複素幾何学および実代数幾何学における長年の未解決問題、すなわち $\mathbb{C}^n$ 内の実代数多様体の芽について、双正則同値が代数的同値を意味するかどうかという問いに取り組む。具体的には、$\mathbb{C}^n$ 内の 2 つの滑らかな実代数多様体の芽 $(M, 0)$ と $(M', 0)$ が与えられたとき、$M$ を $M'$ へ写す双正則写像 $\Phi$ が存在すれば、必ず $M$ を $M'$ へ写すような、代数的べき級数（すなわち、多項式係数を持つ非自明な多項式方程式を満たすべき級数）によって定義される双正則写像 $\Psi$ も存在するか？

この問いに対する答えは、いくつかの重要な多様体のクラスについては肯定されている。例えば、レヴィ非退化な実代数超曲面（Webster, 1977）や、正則非退化な有限型の実代数一般的多様体（Berteloot, Ebenfelt, および Rakhimov, 1996）などである。しかし、実代数多様体一般の場合については未解決のまま残されていた。Moser と Webster（1983）による先行研究は、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$ は正規形 $N_{\gamma, \epsilon, s}$ への収束する双正則写像 $\Phi$ を許容すると述べる（具体的には、$w = |z|^2 + (\gamma + \epsilon w^s)(z^2 + \bar{z}^2)$ で定義され、$\text{Im}(w)=0$ となる曲面）。したがって、$M_\gamma$ はその正規形と双正則同値である。

3. 代数的同値の非存在の証明:
   証明の核心は背理法による。著者は、$M_\gamma$ を正規形（具体的には実超平面 $\text{Im}(w)=0$ 内へ写す）へ写す、代数的べき級数の環 $\mathbb{C}\langle z, w \rangle$ に成分を持つ双正則写像 $\Phi = (\phi_1, \phi_2)$ が存在すると仮定する。

   • 代数的構造の解析: 証明は、陰関数定理、忠実平坦性、および体拡大における係数の挙動など、代数的べき級数の環の性質を利用する。
   • 係数体の縮小: 補題 6 と補題 5 を用いて、仮定された代数的写像の係数を $\mathbb{Q}(\gamma)$ の有限生成体拡大 $L$ へ縮小する。さらに解析（補題 7、Eisenstein 型の定理）を行うことで、係数が超越パラメータ $\gamma_1, \dots, \gamma_r$ の有理関数であることが示される。
   • パラメータの変形: 著者は、$\delta \in \mathbb{R}$ によってパラメータ付けられた曲面の族 $M_\delta$ を構成する。超越数 $\gamma$ の代数的独立性を利用し、超越的な $\gamma$ に対して代数的同値が存在すれば、実数の稠密集合から選ばれた「近傍」のパラメータ $\delta_1$ に対しても代数的同値が存在しなければならないことを証明する。
   • 例外パラメータによる矛盾: 著者は、$\gamma T^2 - T + \gamma = 0$ の解が単位根とならないような「例外」パラメータ $\delta_1 > 1/2$ を選択する。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 による例外パラメータに対する非収束の結果に依存して矛盾を導き出している。