Monge-Ampère-type equation for forms of positive degree and Demailly's transcendental Morse inequality

技術的要約：正の次数の形式に対するモンジュ・アンペール型方程式とデマイリーの超越的モルスの不等式

問題設定
本論文は、次元 $n$ のコンパクト・ケーラー多様体 $(M, \omega)$ 上の正の次数の形式に関するモンジュ・アンペール型方程式の可解性を扱っている。この方程式は、高次のコホモロジー類（具体的には $1 < m \leq n$ である $(m, m)$-形式）に対するデマイリーの超越的モルスの不等式の解析的な定性的部分を確立するために、ディネフとポポヴィッチによって導入されたものである。

核心となる困難は、方程式を解くために必要とされるゲージ固定条件にある。ディネフとポポヴィッチによる元の定式化では、$\Lambda$ をトレース演算子、$\Delta$ をラプラシアンとしたとき、カーネル条件 $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$ と並んで、条件 $\Lambda^{m-2}\Delta u = 0$ を課していた。著者は、この特定のトレース条件が解析的に「あまりに硬直的」であり、解を自明なもの（定数体積形式）に強制してしまい、その結果、一般的な体積形式 $dV$ に対して解を生成できないことを示している。したがって、モルスの不等式の無条件の証明は、これまで困難なままであった。

手法
元のゲージの硬直性を解消するために、本論文では、制約条件 $a + nb = m - n - 2$を満たす2つの実定数$a$および$b$ によってパラメータ化された、一般化されたゲージ固定条件を導入する。新しい条件は以下の通りである：
$$(m-1)\Lambda^{m-2}\Delta u = (1+a)i\partial\bar{\partial}\Lambda^{m-1}u + (1+b)\Lambda^{m-1}\Delta u \, \omega$$
これにより、$(a, b)$ モンジュ・アンペール型方程式は、$u$ の最低次原始形式である関数 $f$ を含むスカラー方程式へと帰着される：
$$\left( \star_\omega(\alpha \wedge \omega^{n-m-1}) + \frac{n!}{(n-m+1)!} [a i\partial\bar{\partial}f + b \Delta f \, \omega] \right)^n = dV$$

手法は主に3つの段階で進行する：

1. 一意性解析： 論文はまず、カーネル条件 $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$ を分析する。$u$ を原始座標 $\psi_k$ に分解し、ケーラー計量の交換関係を利用することで、著者はこれらの原始形式の間のカスケード的な関係を導出する。この解析により、元の条件 $\Lambda^{m-2}\Delta u = 0$ が $\Delta f = 0$ および $\Delta \psi_1 = 0$ を意味し、非自明な $dV$に対して方程式が解けないことを証明する。逆に、新しいゲージの下では、より強い一意性定理が確立される。すなわち、原始形式の差が特定の$\bar{\partial}^*$-完全性または閉性を満たす場合、解は定数および調和形式を除いて一意である。
2. ア・プリオリ推定： 著者は、一般化された方程式に対する2階および勾配の推定値を導出する。解析は2つのパラメータ領域に分割される：
   • 領域1 ($a+b \geq 0, b \geq 0$ または $a+b \leq 0, b \leq 0$)： この範囲では、方程式は無条件に可解である。著者は、最大値原理をヘッシアンの最大固有値を含むテスト関数に適用し、勾配推定を用いて $C^2$ 境界を確立する。
   • 領域2 ($a+b < 0, b > 0$ または $a+b > 0, b < 0$)： ここでは、方程式は条件付きで可解である。著者は連続性パス法を導入する。主要な課題は、一様楕円性を維持することであり、これは計量 $\tilde{g}$ の条件数 $\kappa(\tilde{g})$ に依存する。背景データ $X$ が条件数境界 $\kappa(X) < |a|/(n|b|)$ を満たすと仮定し、定量的暗黙関数定理（縮小写像原理）を利用することで、右辺の摂動が十分に小さい場合、解が一様楕円的な計量の円錐内に留まることを示す。
3. 存在と収束： エバンス・クリロフ理論およびシャウデル（Schauder）推定を用いて、$C^\infty$ 境界が確立される。開集合および閉集合の議論（逆関数定理およびアルツェラ・アスコリの定理による）を連続性パスに適用し、解の存在を証明する。

主な貢献と結果

• 硬直性の解消： 本論文は、元のラプラス・トレース条件 $\Lambda^{m-2}\Delta u = 0$ が、一般的な体積形式に対して解の存在と両立しないことを証明した。
• 一般化されたゲージ： $(a, b)$ ゲージの導入は、解を許容する柔軟な枠組みを提供する。
• 無条件の可解性（領域1）： 特定のパラメータ領域において、任意の滑らかな体積形式 $dV$ に対して、一意の解（定数を除いて）が存在することを証明した。
• 条件付き可解性（領域2）： 他の領域では、ターゲットとなる体積形式が（$C^{0,\gamma}$ ノルムに関して）背景の行列式に十分近い場合に限り、解が存在する。これには背景計量に関する条件数制約が伴う。
• 強化された一意性： カーネル条件の下で、解の最低次原始座標は調和形式を除いて一意であるという、従来よりも強い結果を確立した。
• デマイリーの不等式の証明： $b=0$ かつ $a=m-n-2$ と設定する（これは領域1に属する）ことで、この枠組みは古典的な複素モンジュ・アンペール方程式の文脈に帰着される。これにより、高次形式に対するデマイリーの超越的モルスの不等式の定性的部分の無条件の証明が可能となる。具体的には、積分体積閾値が保持される場合、コホモロジー類 $[(\alpha\omega)^m - \beta]$ は厳密に正な電流を含む。

意義
本論文は、ディネフとポポヴィッチの研究において必要であった、モンジュ・アンペール型方程式の可解性に関する条件付き仮定を取り除いたと主張している。解析的に実行可能なより広いゲージの下で方程式が可解であることを示すことにより、本論文は、高次コホモロジー類に対する定性的デマイリーの超越的モルスの不等式の無条件の証明を提供する。この結果は、擬的な有効錐（pseudo-effective cone）と移動可能類の錐（cone of movable classes）の間の双対性を、射影多様体から一般的なコンパクト・ケーラー多様体へと、高次の形式に対して拡張するものであり、複素幾何学において重要である。

著者は、「領域2」の結果については控えめな表現にとどめ、最小固有値の逆数に対する標準的な最大値原理の議論だけでは不十分であるため、現在のところ小さなデータ仮定（$|dV - \log \det X| < \epsilon$）が必要であることを指摘している。この仮定を取り除くことが未解決の課題であり、最小固有値の逆数に対する標準的な最大値原理の議論ではなく、PDEの新たな構造的特性が必要になる可能性を示唆している。