Non-Runge Fatou-Bieberbach Domains in Stein Manifolds with the Density Property

この論文は、密度性を持つ Stein 多様体において、$\mathbb{C}^n$ または $X$ 自身に双正則同型であるが $X$ の Runge 部分集合ではないような、2 種類の非 Runge 型 Fatou-Bieberbach 領域を構成する方法を提示し、その適用例を示すものである。

要約

この論文は、数学の中でも特に「複素幾何学」という分野の、少し難解で美しい世界の話です。専門用語を並べると難しく聞こえますが、実は**「形のある空間を、くしゃくしゃに折り曲げたり、引き伸ばしたりして、別の形に変えることができるか？」**という、とても直感的な問いが核心にあります。

これを一般の方にもわかりやすく、日常の例え話を使って解説してみましょう。

1. 舞台設定：「無限の広さ」と「完璧な変形」

まず、この話の舞台は**「複素空間（Complex Space）」**という、私たちが普段住む 3 次元の空間よりももっと自由度が高い、不思議な空間です。

• ファトゥ・ビエーバーバッハ領域（FB 領域）とは？
  想像してください。無限に広がる平らな地面（これを「$\mathbb{C}^n$」と呼びます）があります。この地面の一部を、魔法のように「くしゃくしゃに丸めて」別の場所に貼り付けるとします。
  不思議なことに、この「丸められた部分」は、元の無限の地面と**「全く同じ形（数学的には双正則）」になっているのです。
  しかし、問題なのは、この丸められた部分は、元の無限の地面の「すべて」を覆い尽くしていないことです。どこか一部が欠けています。
  この「欠けたまま、でも元の形と全く同じ」な空間の断片を、この論文では「ファトゥ・ビエーバーバッハ領域」**と呼んでいます。

• 「ランゲ（Runge）」というルール
  数学の世界には**「ランゲ」というルールがあります。これは「ある空間の形を、その外側の大きな空間の形と完全に一致させることができるか**」という基準です。

  • ランゲな領域： 外側の空間と完全に調和している、滑らかな断片。
  • 非ランゲな領域： 外側の空間とは「ズレ」が生じている、少し不自然な断片。

これまでの研究では、「ファトゥ・ビエーバーバッハ領域」を作る方法は 2 つありましたが、どちらも**「ランゲな（調和した）」領域**しか作れませんでした。
「非ランゲ（ズレている）」な領域は作れるのか？という疑問が、長年残っていました。

2. この論文の発見：「ズレ」を作る新しい魔法

この論文の著者たちは、**「密度性（Density Property）」という特別な性質を持った空間（ステーン多様体）において、「非ランゲなファトゥ・ビエーバーバッハ領域」**を作る新しい方法を発見しました。

彼らは 2 つの異なる「魔法の技」を使いました。

技その 1：「穴」を避けて通る方法（第 1 種）

• イメージ：
  広い部屋（空間）の中に、壊してはいけない「柱（H）」があるとします。
  著者たちは、「柱を避けて、部屋の隅っこに小さな『無限の部屋』を作り出す魔法」を考えました。
  この魔法で作られた部屋は、柱を避けて作られたので、柱がある「元の部屋」とは**「調和（ランゲ）」していません**。柱のせいで、部屋の形が歪んで見えるからです。
  しかし、柱がない「部分空間」の中では、それは完璧な形をしています。
  • 例え： 大きな公園（空間）に、壊してはいけない大きな木（柱）があります。その木を避けて、公園の隅に「公園全体と同じ広さの芝生」を作ったとします。でも、木があるせいで、その芝生は公園全体とは「つながり」が不完全（非ランゲ）です。

技その 2：「壁」を押しやる方法（第 2 種）

• イメージ：
  これはもっと大胆です。部屋の中に「壁（H）」があるとき、その壁を魔法で**「部屋の外へ押しやる」ことを考えます。
  「壁を押しやった結果、残った空間」が、実は「元の部屋と全く同じ形」になっている、というパラドックスのような現象です。
  でも、押しやられた壁のせいで、残った空間は「元の部屋全体」とは「調和（ランゲ）」していません**。
  • 例え： 家の中に「壁」があります。魔法でその壁を家の外へ押しやると、家の中は広くなります。しかし、押しやられた壁のせいで、家の中は「元の家」とは少し違う「歪んだ」空間になってしまいます。でも、不思議なことに、その歪んだ空間は、元の家と「同じ形」なのです。

3. なぜこれが難しいのか？（トポロジーの壁）

著者たちは、この「非ランゲな領域」を作るのが、実はとても難しいことに気づきました。

• 矛盾する 2 つの力：

  1. 変形の力（密度性）： 空間を自由自在に動かす力。
  2. 形を保つ力（トポロジー）： 空間の「穴」や「輪っか」のような根本的な形は、簡単には変えられないというルール。

  著者たちは、この 2 つが**「喧嘩」**していることに気づきました。
  「壁を押しやる（非ランゲにする）」ためには、空間を大きく動かす必要があります。でも、空間の根本的な形（例えば、球体のような穴）を壊さずに動かそうとすると、物理的に不可能なことが起こります。

  • 例え： 風船（空間）に、ゴムバンド（壁）を巻いています。ゴムバンドを風船の外へ外そうとすると、風船自体が割れてしまったり、形が変わってしまったりします。「風船を割らずに、ゴムバンドを外す」というのは、ある条件下では不可能なのです。

4. 結論と今後の展望

この論文は、**「特定の条件（密度性を持つ空間）を満たせば、この『非ランゲな』不思議な空間を作ることができる」**ことを証明しました。

• 具体的な例：
  著者たちは、$SL_n(\mathbb{C})$（行列の空間）や、コラス・ラッセルという特定の 3 次元曲面など、具体的な数学的な空間で、この「非ランゲな領域」が存在することを示しました。

• 残された課題：
  「第 1 種（柱を避ける方法）」の例は比較的簡単に見つかりましたが、「第 2 種（壁を押しやる方法）」の例を見つけるのは、前述の「トポロジーの壁」のせいで、非常に難しいことがわかりました。
  著者たちは、「次はもっと多くの例を見つけたい」と意欲を示しており、特に「行列の空間」で、この「壁を押しやる」現象が本当に起こるのかどうか、という新しい問いを投げかけています。

まとめ

この論文は、**「数学的な空間を、ルール（ランゲ）に縛られずに、自由に変形して新しい形を作る」**という、いわば「空間の折り紙」の新しい技法を開発したものです。

• これまでの常識： 「変形しても、元の空間と調和しなきゃいけない（ランゲ）」
• この論文の発見： 「いや、調和しなくてもいい（非ランゲ）変形も実は可能だ！」

これは、私たちが空間の「柔軟性」について、これまで思っていたよりもさらに深く、不思議な可能性を持っていることを示唆しています。数学の奥深さと、その美しさが感じられる研究です。

技術概要

1. 問題設定と背景

ファトウ・ビーバーバッハ（FB）領域とは：
$n \ge 2$ 次元の複素空間 $\mathbb{C}^n$ において、全単射かつ非全射な正則写像 $F: \mathbb{C}^n \to \mathbb{C}^n$ の像 $\Omega = F(\mathbb{C}^n)$ をファトウ・ビーバーバッハ領域と呼びます。これは $\mathbb{C}^n$ と双正則同型ですが、$\mathbb{C}^n$ の真部分集合です。

ランゲ（Runge）性と非ランゲ性：
領域 $\Omega \subset X$ が「ランゲ（Runge）」であるとは、$\Omega$ 上の任意の正則関数が、$X$ 上の正則関数によって $\Omega$ の任意のコンパクト集合上一様近似できることを意味します。
従来の FB 領域の構成法（吸引 basin や push-out 法）は、通常、ランゲ領域を生成します。しかし、Wold (2008) は $\mathbb{C}^n$ 内に「非ランゲな FB 領域」が存在することを示しました。

本研究の目的：
Wold の結果を一般化し、**密度性（Density Property）**を持つ Stein 多様体 $X$ において、以下の 2 種類の非ランゲな FB 領域の存在を証明することです。

1. 第一種 FB 領域: $X$ の真部分集合であり、$\mathbb{C}^n$ ($n=\dim X$) に双正則同型な領域。
2. 第二種 FB 領域: $X$ の真部分集合であり、$X$ 自身に双正則同型な領域。

---

2. 主要な手法と理論的枠組み

この論文は、Andersén-Lempert 理論とその拡張を基盤としています。

A. 密度性（Density Property）と弱密度性

• 密度性: $X$ 上の全完備正則ベクトル場からなるリー代数が、$X$ 上のすべての正則ベクトル場のリー代数においてコンパクト・オープン位相で稠密であること。これにより、$X$ の大規模な自己同型群が得られます。
• 新しい概念の導入（弱密度性）: 論文では、部分多様体 $Y \subset X$ に対して「$Y$ に接する弱密度性（weak density property tangent to $Y$）」という概念を導入しました。
  • これは、相対的な密度性（relative density property）よりも弱い条件ですが、$Y$ 上でベクトル場がゼロになる必要はなく、$Y$ に接するだけでよいため、より柔軟な構成を可能にします。
  • 定理 2.7: この弱密度性を用いることで、$Y$ を避ける isotopy（連続変形）を、$Y$ を保存する $X$ の自己同型写像の列で近似できることが示されました。これが非ランゲ領域を構成する鍵となります。

B. 構成戦略

非ランゲ性を得るための核心的なアイデアは、**「ある集合 $W$ を FB 領域 $\Omega$ 内に移動させるが、その $W$ の多項式凸包（または正則凸包）が元の空間 $X$ において $\Omega$ を超えてしまう」**という構成です。

1. 第一種の場合（$\mathbb{C}^n$ 型）:

   • Wold の手法を一般化し、$X$ 内の複素超曲面 $H$ を除いた部分 $X \setminus H$ が密度性を持つ場合を考えます。
   • $X \setminus H$ 内に FB 領域 $\Omega$ を構成します。
   • $H$ に接するが $H$ 上にはない特定の集合 $W$（2 つの全実円盤の和集合など）を、$X \setminus H$ 内で $\Omega$ へ移動させます。
   • $W$ は $X \setminus H$ 内で正則凸ですが、$X$ 全体で見るとその凸包が $H$ と交わります。
   • 結果として、移動後の領域 $\Phi^{-1}(\Omega)$ は $X \setminus H$ ではランゲですが、$X$ 全体では非ランゲとなります。

2. 第二種の場合（$X$ 型）:

   • 「Push-out 法」を用います。
   • 超曲面 $H$ を、$X$ のコンパクト集合から「押し出す」ような自己同型写像の列を構成します。
   • これには、$X \setminus H$ の密度性に加え、$X$ 全体の「$H$ に接する弱密度性」と、$H$ をコンパクト集合から遠ざけることができる位相的性質（Property (PO)）が必要です。
   • 極限として得られる領域は $X$ に双正則同型ですが、$H$ のコピーを含まないため $X$ の真部分集合となり、かつ非ランゲとなります。

---

3. 主要な結果（定理）

定理 3.1（第一種 FB 領域の存在）

$X$ を Stein 多様体、$H$ を $X$ の複素超曲面とし、$X \setminus H$ が密度性を持つ Stein 多様体であると仮定する。
このとき、$X \setminus H$ 内に以下の性質を持つ第一種の FB 領域が存在する：

• $X \setminus H$ においてはランゲである。
• $X$ 全体においては非ランゲである。

定理 4.1（第二種 FB 領域の存在）

$X$ を Stein 多様体、$H$ を複素超曲面とし、以下の条件を満たすとする：

1. $X \setminus H$ は密度性を持つ。
2. $X$ は $H$ に接する弱密度性を持つ。
3. 対 $(X, H)$ は「Property (PO)」（コンパクト集合から $H$ を連続的に移動させる自己同型が存在する）を満たす。
   このとき、$X \setminus H$ に含まれ、$X \setminus H$ においてランゲだが $X$ において非ランゲな第二種の FB 領域が存在する。

具体例（第 5 章）

これらの定理を具体的な多様体に適用し、非自明な例を構築しました。

• SL$_n(\mathbb{C})$ ($n \ge 2$):

  • $H = \{A \in \text{SL}_n(\mathbb{C}) \mid \text{tr}(A) = 0\}$ とする。
  • $X \setminus H$ は密度性を持ち、定理 3.1 が適用可能。
  • 定理 5.2: $\text{SL}_n(\mathbb{C})$ 内に、$\text{SL}_n(\mathbb{C}) \setminus H$ ではランゲだが $\text{SL}_n(\mathbb{C})$ では非ランゲな第一種 FB 領域が存在する。

• Koras-Russell 三次多様体 (KR):

  • $KR = \{x^2y + x + s^2 + t^3 = 0\} \subset \mathbb{C}^4$。
  • $H = \{x=0\} \cap KR$ とする。
  • 定理 5.4: $KR$ 内に、$KR \setminus H$ ではランゲだが $KR$ では非ランゲな第一種 FB 領域が存在する。

• 柔軟なアフィン代数多様体 $X$ と $X \times \mathbb{C}$:

  • $X$ が柔軟（flexible）な滑らかなアフィン代数多様体である場合、$X \times \mathbb{C}$ に対して定理 4.1 が適用可能。
  • 定理 5.9: $X \times \mathbb{C}$ 内に、$X \times \mathbb{C}^*$ ではランゲだが $X \times \mathbb{C}$ では非ランゲな第二種 FB 領域（$X \times \mathbb{C}$ に双正則同型）が存在する。
  • 具体例として、Calogero-Moser 空間 $CM$ が挙げられています。

---

4. 考察と課題

• 第二種 FB 領域の難しさ:
  第二種 FB 領域の存在を示すには、密度性だけでなく、位相的な障害（Property (PO) の存在）を克服する必要があります。

  • 例として、$\text{SL}_2(\mathbb{C})$ において $H = \{a=0\}$ とした場合、$H$ をコンパクト集合 $\text{SU}(2)$ から遠ざけることは、ホモトピー群 $\pi_3$ の議論により位相的に不可能であることが示されました。
  • 一方、次数の高い多項式で定義された超曲面は $\text{SU}(2)$ と交わらない可能性がありますが、そのような超曲面の補集合は一般に Kobayashi 双曲的となり、密度性を持たないというジレンマがあります。
  • この「密度性の成立」と「位相的障害の回避」の両立が、第二種 FB 領域の具体例発見を困難にしています。

• 未解決問題:
  $\text{SL}_n(\mathbb{C})$ において、$\text{tr}(A)=0$ となる超曲面 $H$ に対して、$H$ を含まない第二種 FB 領域（$\text{SL}_n(\mathbb{C})$ に双正則同型な領域）が存在するかどうかは、依然として未解決の問題として提示されています。

---

5. 意義と貢献

1. 理論的拡張:
   Wold の $\mathbb{C}^n$ における結果を、密度性を持つ広範な Stein 多様体（$\text{SL}_n(\mathbb{C})$ や代数多様体など）へと一般化しました。
2. 概念の革新:
   「$Y$ に接する弱密度性」という新しい概念を導入し、相対的な Andersén-Lempert 定理を強化しました。これにより、特異点や超曲面を避けたまま、かつそれらと相互作用する複雑な構成が可能になりました。
3. 具体例の提供:
   抽象的な存在定理だけでなく、$\text{SL}_n(\mathbb{C})$ や Koras-Russell 多様体、Calogero-Moser 空間など、具体的な代数多様体における非ランゲ FB 領域の存在を証明しました。
4. 今後の研究方向:
   第二種 FB 領域の存在が、位相的制約と解析的制約（密度性）の競合によってどのように決定されるかを明らかにし、この分野における新たな研究課題を提起しました。

総じて、この論文は、複素多様体の自己同型群の構造と、その中での「ランゲ性」の破れに関する理解を深める重要なステップであり、多変数複素解析における非線形現象の研究に大きな貢献をしています。