Kähler-Ricci Flow preserves negative anti-bisectional curvature

技術要約：ケーラー・リッチ・フローによる負のアンチ・ビセクショナル曲率の保存

問題設定
本論文は、ケーラー・リッチ・フローの下における「アンチ・ビセクショナル曲率（anti-bisectional curvature）」の挙動を調査するものである。偏極された $(1,0)$ ベクトル $V$ および $W$ に対して $R(V, W, V, W)$ と定義されるアンチ・ビセクショナル曲率は、最適輸送の正則性理論とチューブ領域上のケーラー多様体の幾何学との間の対応から生じる。具体的には、コスト関数 $c(x, y) = \Psi(x-y)$ の形式を持つ Ma-Trudinger-Wang (MTW) テンソルは、関連するケーラー計量のアンチ・ビセクショナル曲率に対応している。

リッチ・フローは、様々な正の曲率条件（例：非負のビセクショナル曲率）を保存することが知られているが、負の条件が保存されるかどうかについては一般に知られていない。ただし、リーマン面における負のガウス曲率は例外である。著者らは、非正のアンチ・ビセクショナル曲率がフローの下で保存されるかという問いに取り組んでいる。この性質は、最適輸送写像の正則性およびケーラー・アインシュタイン計量の幾何学に対して重要な意味を持つ。

手法
著者らは、凸領域 $\Omega \subset \mathbb{R}^n$ に対するチューブ領域 $T\Omega = \Omega + i\mathbb{R}^n$ 上のケーラー・リッチ・フローを研究する。これらの領域は、ケーラー・サキ・メトリックを備えたヘッセ・多様体の接束に対応している。フローは、曲率テンソルの進化を通じて解析される。

1. Uhlenbeck のトリック: 曲率の進化を支配する複雑な反応拡散方程式を簡略化するために、著者らは Uhlenbeck のトリックを用いる。複素接束と同型な抽象的なベクトル束と、時間依存の等長写像を導入することで、曲率テンソルを、二次的な反応項 $Q(\tilde{R})$ を持つ反応拡散系へと簡略化できる形式へと変換する。
2. 最大値原理: 検討されている多様体はしばしば非コンパクト（チューブ領域）であるため、コンパクトな多様体における標準的な最大値原理では不十分である。著者らは、Shi によって確立された、有界な曲率を持つ完備多様体のための最大値原理のバージョンを利用する。これには、反応項 $Q$ に関する「零ベクトル条件（null-vector condition）」の検証が必要となる。
3. 零ベクトルの検証: コアとなる技術的貢献は、アンチ・ビセクショナル曲率が非正（または、次元2における直交する場合の非負）であり、かつ特定のベクトル対においてゼロとなる場合、反応項 $Q$ が「内向き（inward-pointing）」であること（すなわち、それぞれ非正または非負であること）を証明することである。この検証は、曲率テンソルの対称性と、半正定値行列に関する特定の補題（Cao および Hamilton の研究に基づく）を用いた代数的な操作に依拠している。
4. 次元の制約: 解析においては、一般の次元と複素次元2の場合を区別する。非負の直交アンチ・ビセクショナル曲率の保存については、証明は $n=2$ の場合にのみ成立する特定の代数的相殺に依存している。

主要な貢献と結果

• 定理 1（非正アンチ・ビセクショナル曲率の保存）: 著者らは、有界な曲率を持つ完備ケーラー多様体が非正のアンチ・ビセクショナル曲率を持つ場合、フローが存在する限り、この条件がすべての時間においてケーラー・リッチ・フローの下で保存されることを証明した。これは、高次元のリッチ・フローにおいて、保存される「負性」条件を特定した稀な事例として重要な結果である。
• 定理 2（次元2における非負直交アンチ・ビセクショナル曲率の保存）: 複素次元2において、著者らは、非負の直交アンチ・ビセクショナル曲率（直交するベクトルに制限された MTW(0) 条件）もフローの下で保存されることを示す。彼らは、この結果が次元 $n \geq 3$ では二次反応項の符号のために一般化できないことを指摘している。
• 幾何学的帰結（系 1–4）:
  • ケーラー・アインシュタイン計量: 定理1と、負にピンチされた正則切断曲率を持つ計量に関する Tong の収束結果を組み合わせることで、チューブ領域上の結果として得られるケーラー・アインシュタイン計量は、非正のアンチ・ビセクショナル曲率を保持することを示す。
  • 負のコスト曲率: 滑らかで有界かつ強凸な領域に対して、ケーラー・アインシュタイン計量が「負のコスト曲率（negative cost-curvature）」（非正のアンチ・ビセクショナル曲率と負にピンチされた偏極正則切断曲率を包含するより強い条件）を持つことを示す。
  • 曲率の制御: 著者らは、正の時間 $t$ において、偏極正則切断曲率が、初期の正則切断曲率のピンチングとは独立に、直交アンチ・ビセクショナル・トレース曲率 ($O$) と初期スカラー曲率の境界に依存する項によって下から抑えられるという、定量的な評価を導出する。
• 最適輸送への応用:
  • KR 弱正則性: 次元2における非負直交アンチ・ビセクショナル曲率の保存により、「KR 弱正則（KR weakly regular）」なコスト関数の定義が可能になる。これらは、ポテンシャル $\Psi$ がパラボリック・フローの下で進化し、MTW(0) 条件を維持するコスト関数 $c(x,y) = \Psi(x-y)$ である。
  • 正則性評価: このフローを用いることで、著者らは2次元における $W^{2,p}$ 凸ポテンシャルに関連する最適輸送写像の内部ヘルダー評価を確立し、既存の正則性理論をより滑らかでないコスト関数へと拡張する。

意義と主張
本論文は、非正のアンチ・ビセクショナル曲率の保存が「いくぶん予想外である」と主張している。なぜなら、リッチ・フローの下で既知の不変な曲率条件のほとんどは、正性の条件だからである。著者らは、この結果が複素幾何学における正則切断曲率とリッチ曲率の関係を研究するための新しいツールを提供することを強調している。

最適輸送の文脈において、本研究は計量の幾何学的進化と輸送写像の正則性の間の溝を埋めるものである。次元2において MTW(0) 条件を保存するフローを示すことで、本論文は、近似を通じてより粗いコスト関数（例えば、モンジュの元のコスト $|x-y|$ など）への正則性を保証するために、コスト関数を変形させる標準的な手法を提示している。

また、著者らは、Calabi の単位球上のチューブ領域における計量や錐体上の計量など、これらの条件を満たす具体的な計量の例を提示しており、非正のアンチ・ビセクショナル曲率の仮定が空虚なものではないことを示している。最後に、結果は完備計量に対しては堅牢であるが、不完全な計量（最適輸送において一般的である）への拡張は、適切な境界条件を必要とする未解決の問題であることも述べている。