An Aubin-Yau theorem for transversally Kähler foliations

技術要約：横断的ケーラー・フォリエーションにおけるオービン・ヤウの定理

問題提起
本論文は、複素非ケーラー設定へとケーラー多様体を一般化した幾何学的構造である、横断的ケーラー・フォリエーション（transversally Kähler foliations）における特殊なエルミート計量の存在と一意性について扱っている。具体的には、この文脈におけるオービン・ヤウの定理の類似性を調査している。古典的なオービン・ヤウの定理は、負の第一チャーン類を持つコンパクトなケーラー多様体において、負のアインシュタイン定数を持つ一意のケーラー・アインシュタイン計量を保証するが、横断的ケーラー・フォリエーションにおける対応する結果は、これまで文献において厳密に確立されていなかった。これまでの先行研究（El Kacimi-Alaouiなど）では、そのような結果は「古典的な場合と同様に」導かれると主張されていたが、詳細な証明は示されていなかった。さらに、本論文は、このような証明に不可欠な横断的な$\partial\bar{\partial}$-補題（$\partial\bar{\partial}$-lemma）が、ホモロジー的方位性（homological orientability）という条件に依存していることを指摘しており、これはしばしば見落とされる細部である。

手法
著者は、自己完結的な解析的手法を用い、古典的なスコーダーの連続性法（Schauder continuity method）と楕円正則性理論を、フォリエーションの横断的な設定に適応させている。その手法は、以下の主要な段階を経て進行する。

1. 幾何学的枠組み： 本論文は、モリーノ理論（Molino theory）を用いて横断的ケーラー・フォリエーションを定義する。横断的フレーム束、横断的$G$構造、および基本ラプラシアンを含む、必要な幾何学的対象を確立する。ここで、横断的ラプラス・ベルトラーミ演算子（$\Delta_T$）と基本ラプラシアン（$\Delta_{bas}$）の間の決定的な区別がなされており、ホモロジー的方位性の条件下では、両者の差が零次演算子となることが述べられている。
2. 関数解析： 著者は、フォリエーション上の基本関数のヘルダー空間（$C^{k,\alpha}_{bas}$）およびソボレフ空間（$W^{k,p}_{bas}$）を定義する。これらの空間に関するコンパクト埋め込み定理（命題4.5）が確立されており、これが連続性法において極めて重要となる。
3. 楕円演算子： 解析の核心は、横断的ケーラー・オービン・ヤウ問題を符号化する、完全非線形二階微分演算子$\mathcal{C}al^-_T$に焦点を当てている。方程式は以下の形式をとる：
   $$\mathcal{C}al^-_T(u) = \log \left( \frac{(\omega_0 + \sqrt{-1}\partial_T \bar{\partial}_T u)^q}{\omega_0^q} \right) - u = f$$
   ここで、$\omega_0$は初期の横断的ケーラー形式である。
4. 連続性法： 存在を証明するために、著者はスコーダーの連続性法を適用する。これには以下が含まれる：
   • 開集合性（Openness）： 方程式 $\mathcal{C}al^-_T(u) = tf$ が解を持つパラメータの集合 $\{t \in [0,1]\}$ が開集合であることを証明すること。これは、演算子の線型化が同型写像であることを必要とする、バナッハ空間における陰関数定理に基づいている。著者は、線型化された演算子が本質的に摂動を受けた横断的ラプラス演算子であり、コンパクト多様体上のラプラス演算子のスペクトル特性により同型であることを示す。
   • 閉集合性（Closedness）： 解に対する一様ア・プリオリ評価（$C^0, C^1, C^{2,\alpha}$）を確立することにより、集合が閉集合であることを証明すること。著者は、解の最大点付近の局所的な議論に基づき、ヤウの古典的な評価（特に$C^2$評価）を横断的な設定に適応させている。
5. 正則性： 連続性法を通じて弱解が得られた後、楕円正則性理論を呼び出し、その解が滑らか（$C^\infty_{bas}$）であることを示す。

主要な貢献と結果

• 定理5.1（主結果）： 本論文は、第一チャーン類 $c_1(\nu\mathcal{F})$ が負（横断的に負の形式によって表される）である、コンパクトでホモロジー的方位性を持つ横断的ケーラー・フォリエーション $(M, \mathcal{F})$ に対して、一意の横断的ケーラー、かつ横断的アインシュタイン計量（アインシュタイン定数 $-1$）が存在することを証明する。
• 横断的 $\partial\bar{\partial}$-補題： 本論文は、ホモロジー的方位性の条件の下で成立する、横断的なバージョンの $\partial\bar{\partial}$-補題（補題3.3）を明示的に利用し、依拠している。これにより、幾何学的な問題を基本関数上のスカラー偏微分方程式へと還元することが可能となる。
• 一意性の証明： 二つの潜在的な解の差に対して最大値原理を用いることで、詳細な一意性の証明が提供されている。引数は、差の関数に対するヘッセ行列を背景となる計量に関して対角化することで、その差がゼロにならなければならないことを示す。
• ヴァイスマン多様体への応用： 本論文は、主定理をヴァイスマン多様体に適用している。これにより、ヴァイスマン多様体におけるオービン・ヤウの定理に対する、より簡潔で新しい証明（定理6.12）を提供している。準正則性（quasi-regularity）を確立するためにヴァイゼンベック型の公式に依存していた従来の証明とは異なり、この手法は横断的結果を直接適用するものである。著者は、ヴァイスマン多様体の標準的なフォリエーション上の横断的アインシュタイン計量の存在が、重み束のコホモロジー類が特定の条件（$c_1(L) = c_1(K_M^{\otimes 2})$）を満たす場合に、特定のチャーン・リッチ曲率特性を持つヴァイスマン計量の存在を意味することを明らかにしている。

意義と主張

著者は、横断的ケーラー・フォリエーションにおける横断的アインシュタイン計量の存在が、これまで証明なしに主張されていたという、文献における空白を本研究が埋めるものであると主張している。本論文は、古典的な手法をフォリエーションの設定に適応させることは非自明であり、基本コホモロジーおよび横断的ラプラス演算の特定の性質を注意深く扱う必要があることを強調している。

本研究の意義は二重である：

1. 理論的側面： 横断的ケーラー・フォリエーションの文脈におけるオービン・ヤウの定理の、厳密で自己完結的な証明を提供し、必要な解析的枠組み（フォリエーション上の楕円演算子、ア・プリオリ評価）を確立した。
2. 応用的な側面： ヴァイスマン・オービン・ヤウの定理に対する、より簡略化された代替的な証明を提供し、以前の文献で使用されていたより複雑な道具立てを回避した。著者は、ヴァイスマン多様体に関する結果は既知であったものの、ここで提示された証明の手法は独特であり、より単純であると述べている。

本論文は、より広い影響については控えめな姿勢を保っており、結果が文献から欠落していたこと、およびヴァイスマン多様体への応用が主定理の有用性の実証として機能していることを述べるにとどまっている。本研究は、確立された定理の範囲を超えた新しい実験的応用や将来の方向性を提案するものではない。