Calabi-Yau metrics on rank two symmetric spaces with horospherical tangent cone at infinity

技術要約：ホロスフェリックな無限遠における接錐を持つランク2対称空間上のカラビ・ヤウ計量

問題設定
本論文は、ランク2の複素対称空間において、ユークリッド的な体積増大を持つ完備なカラビ・ヤウ（リッチ平坦なケーラー）計量の存在について扱っている。具体的には、接錐（tangent cone）が所定の「ホロスフェリック（horospherical）」な錐となるような計量の構成を目的としている。この錐は、特異かつ不規則（irregular）な場合がある。これは、古典的なティアン・ヤウ（Tian-Yau）問題およびConlon-HeinやBiquard-Delcroixによる先行研究を拡張するものである。

核心となる困難は、漸近錐（asymptotic cone）の性質にある。先行研究（例：Biquard-Delcroys）では、特定のランク2の対称空間において、境界因子付近でCalabiアンス（Calabi ansatz）モデルを貼り合わせる手法を用いて特異な接錐を生成することに成功したが、そのアンスは、特定のケース（特にルート系 $A_2, BC_2, B_2$）において、有界でない正のホロモーフィック双曲曲率をもたらした。この有界性の欠如により、漸近解を真の大域的解へと摂動させるために必要な標準的なa priori推定の適用が妨げられた。さらに、本論文は、リーブ・ベクトル（Reeb vector）がリンク上で自由な $S^1$ 作用を生成しない「不規則な」ティアン・ヤウ問題を解決することを目指している。

手法
著者は、球状多様体の（$G$）等質退化および局所モデルの貼り合わせの理論に基づいた戦略を採用している。

1. 等質退化と接錐：
   本論文は、候補となる接錐を、負のワイル室（Weyl chamber）の内部における値（valuation）によって誘導される、対称空間 $G/H$ の $G$-等質退化の中心的ファイバーとして得られる、ホロスフェリックな錐 $C_0$ であると特定している。これらは、以前の研究で用いられたホロスォメトリック（horosymmetric）な錐（ワイル室の壁に沿った退化に対応するもの）とは異なり、すべてのランク2のケース（分解可能なケースを除く）において特異であり、一般に不規則である。

2. Calabiアンスと漸近解析：
   カルタン代数上で実モンジュ・アンペール方程式を解くことにより、ホロスフェリックな錐 $C_0$ 上に錐状のカラビ・ヤウ計量を構成する。著者は、このポテンシャルが $G/H$ のコンパクト化の境界因子付近でどのように振る舞うかを分析する。ポテンシャルは、特異点付近において漸近錐（AC）計量のワープト積（warped product）のように振る舞うことが示される。

3. 貼り合わせと減衰の改善：
   以前のアンスにおける曲率の非有界性の問題を克服するため、以下の要素を貼り合わせることで、大域的な漸近解を構成する：

• 「生成的（generic）」な領域（ワイル室の内部）における錐状のCalabiアンス。
• 境界因子 $D_1$ および $D_2$（ワイル室の壁に対応）付近における滑らかな「Stenzel型」モデル。

重要なステップは、リッチ・ポテンシャルの減衰率を反復的に改善することである。境界モデルに補正項を加えることで、著者はリッチ・ポテンシャルが十分な速さ（二次関数よりも速い速度）で減衰するようにし、Heinの存在性パッケージの適用を可能にする。これには、カットオフ関数の慎重な選択と、幾何学が有界であり続けることの検証が必要となる。

4. Heinのパッケージによる存在性：
   最終ステップは、非コンパクト多様体上の複素モンジュ・アンペール方程式に関するHeinの存在定理に依拠している。著者は以下の技術的条件を検証する：

• 有界幾何学： 構成された計量のリーマン曲率が有界であることを示す。これはルート・データと特定のリーブ・ベクトルに依存する非自明な条件であるが、すべての非-$G_2$ ランク2対称空間において成立することが証明されている。
• 体積増大： 計量はユークリッド的（最大）な体積増大を持つ。
• 準アトラス（Quasi-Atlas）： 有界な曲率と体積の束縛を通じて、$C^{k,\alpha}$ 準アトラスの存在が確立される。

主要な貢献と結果

• 定理A（主結果）： $G_2$ の制限ルート系を持つものを除き、すべてのランク2の複素対称空間 $G/H$ は、ユークリッド的な体積増大を持つ完備な $K$ 不変 $\partial\bar{\partial}$-正確なカラビ・ヤウ計量を有する。その接錐は、特異な $G$-ホロスフェリック錐 $C_0$ である。
  • $A_2$ のケースでは、錐は正則である。
  • $BC_2$ および $B_2$ のケースでは、錐は一般に不規則である。
  • 分解可能な $R_1 \times R_1$ のケースでは、錐はStenzel漸近錐の積である。
• 曲率の非有界性の解消： 構成された計量は、すべてのケースにおいて有界なホロモーフィック断面曲率を持ち、$A_2$ および $BC_2/B_2$ ファミリーにおけるBiquard-Delcroixの構成で見られた曲率の非有界性の問題を解決している。
• 特異／不規則な錐のアフィン平滑化： 本論文は、特異または不規則な接錐の、最初のアフィン・カラビ・ヤウ平滑化の例を提供している。これは、ランク2までの非-$G_2$ 対称空間が、そのホロスフェリックな特異接錐の等質アフィン平滑化として解釈できることを示している。
• 一ステップ退化（系 B）： 構成された計量は、単一のステップで接錐へと退化する。これは、接錐における二ステップ退化理論において、中間的なK-安定な錐が存在しないというSun-Zhang予想を支持するものである（すなわち、中間的なK-安定な錐はすでにK-安定である）。
• $G_2$ の除外： $G_2$ のケースが除外されている理由は、K-安定なリーブ・ベクトルがワイル室の外側に位置しており、提案された構成による大域的なポテンシャルの定義が妨げられるためである。著者は、$G_2$ 空間におけるホロスフェリックな接錐を持つ $K$ 不変なカラビ・ヤウ計体は存在しないと予想している。

意義
本論文は、ランク2の対称空間において、所定のホロスフェリックな接錐を持つカラビ・ヤウ計量を構成するという問題に対し、完全な回答を提供すると主張している。等質退化を利用して正しい特異および不規則な錐を選択し、幾何学の有界性を保証するために貼り合わせ技術を洗練させることで、著者は従来のメソッドが失敗した箇所においてこれらの計量の存在を確立した。

これらの結果は、最大体積増大を持つカラビ・ヤウ多様体の接錐への退化が、特異または不規則な接錐が存在する場合であっても、「一ステップ」のプロセスであることを支持している。これは、局所的な接錐理論において、しばしば中間的な半安定（semistable）なステップが必要とされることと対照的である。また、本研究は、漸近的コニカル（AC）なカラビ・ヤウ多様体の分類を、不規則および特異な漸近錐を含むように拡張し、Conlon-HeinやBiquard-Delcroixの研究に続く文献の空白を埋めるものである。