A counterexample to the bounded mass property

技術要約：有界質量特性に対する反例

問題提起
本論文は、コンパクト複素多様体における複素ポテンシャル論の根本的な問いである、**有界質量特性（bounded mass property）**の妥当性について扱っている。コンパクト・ケーラー多様体においては、ストークスの定理により、全モノー・アンペア質量 $\int_X (\omega + dd^c \phi)^n$ はポテンシャル $\phi$ に対して不変である。しかし、必ずしも閉ではないエルミート形式 $\omega$ を備えた一般的なコンパクト複素多様体においては、この質量は $\phi$ に依存する。

Boucksom–Guedj–Lu [BGL25] によって提起された中心的な問いは、すべてのコンパクト複素多様体において上部モノー・アンペア・ボリューム
$$\text{vol}(\omega) := \sup \left\{ \int_X (\omega + dd^c \phi)^n : \phi \in C^\infty(X, \mathbb{R}), \ \omega + dd^c \phi > 0 \right\}$$
が有限であるかどうかである。この性質は、次元 $n \le 2$ の多様体や藤木級数（Fujiki class）に属する多様体では成立することが知られているが、一般的な多様体、特に次元 $n \ge 3$ のホップ多様体においてそれが成立するかどうかは未解決のままであった。

手法と構成
著者らは、ホップ・スリーフォールド $X = (\mathbb{C}^3 \setminus \{0\}) / \langle z \mapsto e^{-1}z \rangle$ 上に反例を構成する。証明の戦略は、$X$ を楕円ファイブレーション $\pi: X \to \mathbb{P}^2$（ファイバーは $E = \mathbb{C}/(\mathbb{Z} + 2\pi i \mathbb{Z})$）とみなす幾何学的構造に基づいている。

1. 背景形式と質量の恒等式:
   著者らは、特定のエルミート形式 $\omega = \alpha + \beta$ を定義する。ここで $\alpha = \pi^* \omega_{FS}$ はフビニ・スタディ形式のプルバックであり、$\beta$ はファイバー方向に正であるランク1の半正定値形式である。重要な恒等式 $dd^c \beta = -\alpha^2$ が導かれる。
   ストークスの定理と $\omega$ の特定のコホモロジー的性質を用いて、以下の厳密な質量恒等式（補題 2.3）を確立する：
   $$\int_X (\omega + dd^c V)^3 = \int_X \omega^3 + 12\pi \int_{\mathbb{P}^2} \left( \int_{\pi^{-1}(y)} |V_w|^2 \, dA_E \right) \omega_{FS}^2(y),$$
   ここで $V_w$ はファイバー方向の微分、$dA_E$ はファイバー上の正規化されたハール測度である。この恒等式は、全質量が基底の体積を超え、ポテンシャルのファイバー方向ディリクレ・エネルギーに比例する項を持つことを明らかにしている。

2. 正値性基準:
   構成されたポテンシャル $V$ が有効なエルミート形式 ($\omega + dd^c V > 0$) を与えることを保証するために、著者らは正値性の条件を、$V$ の基底の径方向座標 $x$ およびファイバー変数 $w$ に関する3つのスカラー不等式に還元する。最も制限の厳しい条件は以下の通りである：
   $$Q[V] := V_{xx} + \mu - \frac{|\mu + V_x \bar{w}|^2}{1 + V_w \bar{w}} > 0,$$
   ここで $\mu$ は基底座標の関数である。

3. 熱核によるポテンシャルの構成:
   構成の核心は、正値性条件 $Q[V] > 0$ を維持しつつ、ファイバー方向のエネルギーを任意に大きくできるポテンシャルを作成することにある。

   • 熱核ポテンシャル: 著者らは、楕円ファイバー $E$ 上の熱核 $k_t$ を利用する。彼らは、ファイバー方向のエネルギーが $2\eta^2 \log(1/t)$ としてスケールする、熱核の積分に関連したポテンシャル $F_\eta(t, w)$ を定義する。
   • 大域的拡張とカットオフ: これらの局所的なポテンシャルをコンパクト多様体 $X$ へ拡張することが大きな困難である。滑らかさを確保するため、ポテンシャルは大きな基底座標に対して定数でなければならない。著者らは、熱核の時間パラメータ $t$ を特定のプロファイル関数 $q(x)$ を介して基底座標 $x$ に結合することにより、大域的なポテンシャル $V_\eta(x, w)$ を構築する。
   • 交差項の制御: $Q[V]$ における項 $|\mu + V_x \bar{w}|^2$ は、正値性を損なう可能性のある「輸送」効果を表している。著者らは、輸送速度（$q(x)$ の微分によって決定される）を慎重に選択することで、この交差項の負の寄与が正の項によって支配されるか、あるいは指数関数的に小さくなることを証明する。これは、熱核とその導関数の精密な評価（補題 3.2 および 3.3）に依拠している。
   • 補正項: $V_\eta$ にのみ依存する補正項を $V_\eta$ に加えることで、固定された基底の球体上のファイバー方向エネルギーを変えることなく、$Q[V] > 0$ を全域で厳密に強制する。

主要な結果
本論文は、ホップ・スリーフォールド $X$ 上において、滑らかなエルミート形式 $\omega$ と滑らかな関数の列 $\phi_j$ が存在し、$\omega + dd^c \phi_j > 0$ かつ
$$\int_X (\omega + dd^c \phi_j)^3 \to +\infty \quad (\text{as } j \to \infty)$$
を満たすことを証明する定理 1.1を示す。したがって、$\text{vol}(\omega) = +\infty$ であり、ホップ・スリーフォールドが有界質量特性を持たないことを示している。

意義と主張
本論文は、ホップ多様体の次元が3以上の場合における有界質量特性に関する、Boucksom–Guedj–Lu [BGL25] による特定の未解決問題を解決したと主張している。

• 普遍性の否定: この結果は、すべてのコンパクト複素多様体において有界質量特性が成立するという仮説を覆すものである。これにより、この性質が複素次元3ですでに破綻することを立証した。
• 理論的影響: モノー・アンペア・ボリュームの有限性は、最近のエルミート・ポテンシャル論（例：[ALS25; Li26]）や、ボット・チェルン・クラスの体積の理論 [BGL25] における標準的な仮定である。この反例は、これらの理論が追加の幾何学的制約なしには、すべてのコンパクト複素多様体へ普遍的に拡張できないことを示唆している。
• 方法論的貢献: 本研究は、ホップ多様体上の非閉なエルミート形式の特異な性質を利用して、ファイバー方向のディリクレ・エネルギーを通じていかにして非有界な質量を生成するかという具体的なメカニズムを提供している。

著者らは、最初の反例の構成にAIエージェント（Rethlas）の支援を受けたことを明記しているが、簡略化、厳密な証明、および論文内のすべての主張は、著者らの単独の責任であるとしている。