Valuative independence and metric SYZ conjecture

ヤン・リーの論文「 Valuative independence and metric SYZ conjecture」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、カラビ・ヤウ（CY）幾何の文脈における計量ストリンガー・ヤウ・ザスロー（SYZ）予想に取り組む。具体的には、最大退化シナリオにおいてパラメータ $t \to 0$ となるコンパクトな CY 多様体の族 $X_t$ 上のリッチ平坦ケラー計量 ($\omega_{CY,t}$) の極限挙動に関するものである。

• 予想: 極性化された最大退化において、$t \to 0$ となるとき、$X_t$ の開部分集合上に、正規化された CY 体積測度の少なくとも $1-\delta$ を担う特殊ラグランジュ $T^n$-ファイバー束が存在するはずである。
• 現状: この予想は、アーベル多様体、特定の K3 曲面、トーリックファノ多様体内の超曲面といった特定のケースでは知られているが、完全な一般性においては未解決のままである。
• ギャップ: 非アルキメデス（NA）多重ポテンシャル理論（ブックスォム・ファヴル・ジョンソン）を用いた従来のアプローチは、この問題をNA カラビ・ヤウ ポテンシャル ($\phi_0$) の特定の性質の存在に帰着させた。この性質は弱比較性質と呼ばれ、$\phi_0$ が全測度集合上で双対複体（または本質的骨格）への縮小写像を通じて分解することを要求する。この性質を代数的に証明することが、欠けていたリンクであった。

2. 手法

著者は、複素幾何、非アルキメデス幾何、および凸解析を以下の枠組みを用いて架橋する。

A. 非アルキメデス設定

• 基底変更: 退化族 $\pi: X \to D^*$ は、形式の穴あき円板 $\text{Spec}(K)$（ただし $K = \mathbb{C}((t))$）へ基底変更される。
• ベルコビッチ空間: この族はベルコビッチ空間 $X^{\text{an}}_K$ に関連付けられる。本質的骨格 $\text{Sk}(X)$ は $X^{\text{an}}_K$ に埋め込まれた単体複体であり、退化のトロピカル極限を表す。
• NA モンジュ・アンペール方程式: NA カラビ・ヤウ ポテンシャル $\phi_0$ は、$\text{MA}(\phi_0) = (L^n)\mu_0$ なる NA モンジュ・アンペール方程式の（定数までの）一意な解であり、ここで $\mu_0$ は $\text{Sk}(X)$ 上のルベーグ測度である。

B. 重要な代数的入力：値独立性

核心的な革新は、切断環 $\bigoplus_{l \ge 0} H^0(X_K, lL)$ が値独立性を満たす標準基底 $\{\theta^l_\alpha\}$ を許容するという仮定（および最近のブルム・リューによる証明）である。

• 定義: 任意の点 $x \in \text{Sk}(X)$（値として見る）に対して、線形結合の値は各項の値の最小値に等しい：
  $$\text{val}_x\left(\sum a_\alpha \theta^l_\alpha\right) = \min_{\alpha: a_\alpha \neq 0} (\text{val}(a_\alpha) + \text{val}_x(\theta^l_\alpha))$$
• 直観: この基底はアフィノイドトーラス上の単項式のように振る舞い、結果として極限において CY 多様体がトーリック多様体に似るようになる。

C. 解析的道具

• コスト関数と c-変換: 著者は $\frac{1}{l} \log |\theta^l_\alpha|$ の漸近極限から導かれるコスト関数 $c(x, p; y)$ を構成する。これにより、骨格 $\text{Sk}(X)$ 上の関数とパラメータ空間 $B_y$ 間のc-変換（ルジャンドル変換の一般化）が可能となる。
• オクノコフ体: トロピカルシータ関数の勾配を用いて、切断環に関連するオクノコフ体 $\Delta_y$ を構成する。この凸体は、極限トロピカル関数のパラメータ空間として機能する。
• 直交性性質: 証明は、psh エンベロープの直交性（命題 2.7）を利用し、ポテンシャルが分解に失敗する「悪い」集合が測度ゼロであることを示す。

3. 主要な貢献と結果

主要定理（定理 1.8）

切断環に対して値独立な基底の存在を仮定すると、退化族に対して弱比較性質が成り立つ。

• 帰結: ルベーグ測度に関して全測度を持つ開部分集合 $U \subset \text{Sk}(X)$ が存在し、NA CY ポテンシャル $\phi_0$ は縮小写像 $r_X: X^{\text{an}}_K \to \Delta_X$ を通じて分解する（すなわち、$r_X^{-1}(U)$ 上で $\phi_0 = \phi_0 \circ r_X$ となる）。

計量 SYZ への接続（定理 1.4 + 1.8）

主要定理を以前の結果（定理 1.4）と組み合わせることで、本論文は、値独立な基底が存在する限り、コンパクトな CY 多様体の極性化された任意の最大退化に対して計量 SYZ 予想を証明する。

• 注記: 本論文は、任意の極性化された退化に対して（極性化を $m_0$ 倍する必要があるかもしれないが）そのような基底の存在を確立する**ブルムとリューの今後の結果（定理 1.6）**を引用している。これにより、計量 SYZ 予想が完全な一般性で解決されたことになる。

最適輸送解釈（第 4 節）

著者は NA モンジュ・アンペール方程式を最適輸送問題として再定式化する：

• 解 $\phi$ は汎関数 $F_\mu(\phi) = \int_{B} \phi^c d\nu + \int_{\text{Sk}(X)} \phi d\mu$ を最小化する。
• この方程式は、グローバルな実モンジュ・アンペール型条件と同等である：写像 $\bar{\nabla}\phi$（共役集合写像）は、確率空間 $(\text{Sk}(X), \mu)$ と補助空間 $(B, \nu)$ 間の測度保存写像である。
• 鏡像対称性との接続: 空間 $(B, \nu)$ は、ルベーグ測度を備えた鏡像族の本質的骨格であると予想されており、鏡像対称性の計量的実現を提供する。

4. 技術的ハイライト

1. 分解基準: 本論文は、半正定ポテンシャルが縮小写像を通じて分解するための厳密な基準（命題 3.27）を確立する。これは、ポテンシャルの勾配がオクノコフ体の内部に存在することを示すことに依存しており、これはポテンシャルがトロピカル座標において局所的にアフィン線形であることを意味する。
2. 悪い集合の測度ゼロ: psh エンベロープの直交性を用いて、勾配が一意でない、あるいはオクノコフ体の境界に存在する集合が NA モンジュ・アンペール測度に関して測度ゼロであることを著者は証明する。
3. トロピカルシータ関数: 極限関数 $\lim_{l \to \infty} \frac{1}{l} \log |\theta^l_\alpha|$ は、オクノコフ体の幾何と標準的に結びついた骨格上の凸関数のクラス $P_c$ の要素として同定される。

5. 意義

• 主要予想の解決: この研究は、一般の最大退化に対する計量 SYZ 予想を証明するために必要な最終的な代数幾何学的要素を提供し、複素微分幾何と非アルキメデス代数幾何を統合する。
• 代数幾何的架橋: CY 計量（特殊ラグランジュファイバー束）の深い解析的性質が、切断環の代数構造（基底の値独立性）によって制御されていることを実証する。
• 鏡像対称性への新たな視点: NA MA 方程式を元の族の骨格と双対空間 $(B, \nu)$ 間の最適輸送問題として解釈することにより、鏡像対称性の具体的な計量定式化を提供し、鏡像骨格が輸送写像の自然な目標空間であることを示唆する。
• 方法論的進展: ベルコビッチ空間の文脈におけるコスト関数と c-変換の導入は、非アルキメデス設定における退化とモンジュ・アンペール方程式を研究するための強力な新たな道具箱を提供する。

要約すると、ヤン・リーは、切断環に対する「良い」基底（値独立性）の存在が、カラビ・ヤウ計量を特殊ラグランジュファイバー束構造へと退化させることを証明し、それによって最大退化に対する計量 SYZ 予想を確認した。